a short piece about my people's food appeared in the NYT
| professional interests | compilers, software testing, fuzzing, formal verification, lowkey shitposting, mountains, deserts, cats |
| my page | https://john.regehr.org/ |
John Regehr
@regehr
- 5K Followers
- 978 Following
- 4.6K Posts
he/him
RE: https://vox.ominous.net/@occult/116317899239865990
SGI was way ahead of its time
https://velvetshark.com/ai-company-logos-that-look-like-buttholes
paintbrush out early this year!
alt: brilliant red paintbrush growing out of the desert sand with something greenish-white growing behind it
a couple weeks ago I got to hang out in the desert with my younger kid, and this coming weekend the older one and I are going backpacking. psyched!! being parents of college-aged kids, we really gotta take what we can get :)
not too often we get good political news out of Utah!
https://www.politico.com/news/2026/03/26/utah-redistricting-repeal-fail-00846191
(the just-found miscompile wasn't caught by Csmith in ~8 hours of testing, either)
I do enjoy using these things in ways that don't plagiarize and don't inflict slop on people. for example, when debugging an LLVM pass, this kind of thing can actually work. like, this actually found a miscompilation bug just now, and may find more if I ask it to keep going. it's an absolutely fresh LLVM pass, there is no chance that the LLM was trained on anything it's seeing here (much less on bug fixes to it).
I'm fundamentally a tool builder, and LLM coding agents work one million times better if you give them good tools, and I wrote a thing about this
(just a lil bit nsfw)
today I learned what a Throckmorton sign is, and now all of you need to learn this too
