John Regehr

@regehr
5K Followers
978 Following
4.6K Posts
he/him
professional interestscompilers, software testing, fuzzing, formal verification, lowkey shitposting, mountains, deserts, cats
my pagehttps://john.regehr.org/
@wollman @purp @dan @ricci @dev yeah, my aunt was perfectly aware of this
@dan @purp @ricci @dev on the culinary map of the USA, Utah sits at the exact point where Iowa, Ohio, and Arkansas touch each other
@purp @dan @ricci @dev on a road trip long ago, at a rest stop in Limon CO, I saw "is it that Kansas sucks or Colorado blows" written on a bathroom stall.
@purp @dan @ricci @dev CO is a bit problematic. there's a pretty big chunk of it that's just "Kansas but worse" and then there's the rest.
@purp @dan @ricci @dev all midwest! except Colorado, which is unfortunately "intermountain west"
@purp @wollman @dan @ricci @dev when I was a kid, my aunt, who lives in Atlanta, sent my folks a letter asking how things in New England were going. we lived in Delaware.
@sunumbral have you read _Inherent Vice_?
@atsuzaki @dan @ricci @dev hahahaha omg you think you know someone!!!!!
@atsuzaki @dan @ricci @dev whole thing is fucking concerning for real, I was only dreading nuclear war tonight before this
@dan @ricci @dev "Steubenville" is near "Follansbee", "Weems", "Alikanna", "Pottery Addition", and "Weirton". this is like reading the map from a poorly done fantasy novel