| professional interests | compilers, software testing, fuzzing, formal verification, lowkey shitposting, mountains, deserts, cats |
| my page | https://john.regehr.org/ |
overall I don't think it's useful to talk about things we'd do if we were younger. but just this once, I'd fucking love to be there for this if I was younger
https://www.reddit.com/r/technomusic/comments/1orat4j/track_id/
https://aurorasaurus.org is totally slammed tonight, very hard to get a response.
anyway I'm just gonna leave my phone outside pointed at the sky in time lapse mode for an hour or two and see what happens! last night was spectacular
great job, institution whose thinking has admitted few new ideas since the year 450
https://www.npr.org/2025/11/12/g-s1-97651/gender-affirming-care-ban-catholic-hospitals
November office view
alt: looking out over some mildly colored trees towards downtown SLC with the lake and the Oquirrh range mostly hidden by some haze
from my parents' place in Kansas!
alt: a broad red sky with green in the bottom right of the frame, above some trees
this must be aurora, right??
alt: night view from a phone camera with a red glow near the horizon that isn’t usually there
51,000 square feet of 100% grade A liminal space. must relocate to Utah.
@regehr @dev took a while to realize what fruit this is. for some reason i thought "peaches". my mind refused to accept the reality presented to me.
i am holding on to my last shreds of sanity by convincing myself that a horse ate from this one. please. for all that is holy. let it have been a horse
[btw: i don't think the @ worked. i don't follow @dev and yet the post landed in my TL. figured too late i'm not supposed to be the first one to respond %) ]
Leonard Ritter
Dev
Bhargav Kulkarni