| professional interests | compilers, software testing, fuzzing, formal verification, lowkey shitposting, mountains, deserts, cats |
| my page | https://john.regehr.org/ |
earlier this week I detected an onset of a shitty attitude, and I don’t have a lot of good ways of dealing with that besides going outdoors. so here’s camp for the night! it’ll be well below freezing by morning but this spot should get the sun as soon as it comes up
alt: long shot out over the central Utah desert, the Book Cliffs in the background, p&j terrain in the middle and then my backpack close up
I now have my own Utah teapot!
This ordinary teapot is the "hello world" object of computer graphics and has cameos in countless productions.
A thread on teapots and UNIX… 🧵
Photo: My Melitta teapot, 2026-04-16.
well I don't know what to make of this, but someone tried to vibe code a proved-correct JS to WASM compiler
one of the reasons I keep visiting "the internet" is the bad food photographs. in this one, the cauliflower gratin appears to be pink. it should not be pink. and this same horrible photo appeared in about 50% of the matches for my search.
alt: the cauliflower gratin seems to be pink. if you cannot see this photograph, your life is richer for it.
I use a little Trangia alcohol stove when backpacking and consequently I measure success by how much ethanol I consume each year. this is a 1.75 l bottle and I’m doing ok!
alt: a mostly finished 1.75 liter bottle of 95% ethanol
in the same way that "star wars" and "rouge one" make a great web search, "computer security" and "treat model" did not disappoint
alt: just three little screenshots from papers about computer security that say "treat model" when I'm guessing they meant to say "threat model"
CF Bolz-Tereick
Thalia Archibald
Fesshole 🧻