Brutkey

John Regehr
@regehr@mastodon.social

he/him


Notes
5781
Following
0
Followers
0
professional interests
compilers, software testing, fuzzing, formal verification, lowkey shitposting, mountains, deserts, cats
my page
https://john.regehr.org/
John Regehr
@regehr@mastodon.social

"A Conjecture Regarding SMT Instability"

https://ceur-ws.org/Vol-4008/SMT_paper21.pdf

John Regehr
@regehr@mastodon.social

@chrisamaphone@hci.social on the other hand, I don't really consider someone a real friend unless they pass the 3am test ("would you call them at 3am without a second thought, and would they feel the same") and I don't think anyone I've met in the last decade falls into that category, even though I've met people during that time period who I like a lot

John Regehr
@regehr@mastodon.social

the older I get the more I believe that virtually nothing good in the world happens just because it's someone's job to do it, and everything good that happens is because someone actually gives a shit

https://alexw.substack.com/p/hire

John Regehr
@regehr@mastodon.social

I found a reddit that I think we can all enjoy

https://www.reddit.com/r/DeathStairs/

John Regehr
@regehr@mastodon.social

argh -- my favorite lentil salad recipe disappeared from the web! I recovered it from the internet archive but instead of linking to it., here's my modified version which is better anyway

https://gist.github.com/regehr/d8c713ef0cc3a26ad6476a9b2be45ae0

John Regehr
@regehr@mastodon.social

ok. who saved a copy of EVERYTHING.

John Regehr
@regehr@mastodon.social

intellectual backbone? what the fuck do words even mean

John Regehr
@regehr@mastodon.social

I like this Rob Pike piece. I recall seeing criticism of it but I forgot the details. is the problem that doing things Rob's way can be too slow?

https://commandcenter.blogspot.com/2012/04/byte-order-fallacy.html

John Regehr
@regehr@mastodon.social

my colleague Pavel wants bytes to be 9 bits

https://pavpanchekha.com/blog/9bit.html