mastodon
4.7.0-nightly.2026-08-14
LLVM, compilers, architecture, low level computer stuff
Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
"2026 EuroLLVM - Capabilities Great and Small: CHERI, CHERIoT, and LLVM"
Thank you to Edoardo for presenting this for me on short notice!
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
Cleaned out a few stale RSS feeds from my reader. Realized that I'm down to barely a handful that are actually still active and that I still actively read.
I've been using RSS for almost 20 years, never getting caught up in the Google Reader debacle, but I'm finally wondering if this year might be the last.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
Mo' Moon
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
Moon and Venus
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
Moon
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
An evening well spent learning just enough Z3 to be dangerous at creating instruction encodings
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
@regehr@mastodon.social @whitequark@social.treehouse.systems @penguin42@mastodon.org.uk
Other tips for anyone wanting to learn to read it:
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
@regehr@mastodon.social @whitequark@social.treehouse.systems @penguin42@mastodon.org.uk
vmul.f64 d3, d3, d10
The D-registers are the low 64-bits of each vector register. So this operation does an f64 fmul on quantities that are only 64-bits wide, and writes then to the low 64-bits of the register, implicitly zero-filling the high part if it exists (which it presumably doesn't on a core that only implements VFP and not NEON).
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
> ls /opt/homebrew/*.md
/opt/homebrew/AGENTS.md /opt/homebrew/CLAUDE.md /opt/homebrew/README.md
/opt/homebrew/CHANGELOG.md /opt/homebrew/CONTRIBUTING.md
Looks like I may be needing a new package manager.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
Thinking about a common response to AI-bans, the claim that it should at least be allowed for summarization / code-base-exploration.
And you know what? Fuck that. Talk to your colleagues/community members/any other human. Ask someone how the turboencabulator works. Read the docs that someone put effort into writing.
The world is falling apart for lack of meaningful human connection. The last thing we need is to make engineering an even more isolating activity.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.
LLVM, compilers, architecture, low level computer stuff Currently maintaining the CHERIoT toolchain at SCI Semi.