New Galois blog: “Specifications Don’t Exist”. If we want to formally verify more systems, we need formal specifications, but most real systems are hard to specify for very deep reasons

please read my insanely embarrassing piece in the NYT "It's Bad—Why I Revised My Thoughts Regarding Poo Poo" that I was paid $90000 to write

Last reading was so wonderful, looking forward to this one!

TIL (HT Aaron Eline) that Brown has one of the "finest private libraries" on magic and related content, the bequest of a collector who "put himself through Brown by giving magic performances". Libraries are amazing places. library.brown.edu/collatoz/info.…

I’ll be at USENIX Security next week if anyone wants to meet up and chat!

Need Seattle coffee must-try’s

Being in Seattle without having the time to visit the connections museum feels like a crime.

Attended USENIX last week. Wrote up some of the work I saw: aaronjeline.github.io/posts/usenix_2…

One more reorg and everything will be fixed. Just one more.

Classic ol Automated Reasoning gets some love here: youtube.com/watch?v=4NlrfO…

Coffee and a cat

Does anyone know how SMTLIB's String theory does unicode normalization?

He growed up

the thing about linux is that (a) you ship your org chart, and (b) linux's org chart is actually just a bunch of totally independent tiny fiefdoms that are all run by people who hate each other

so there's all this cool stuff you can do with, for instance, PAM, but none of the other software on your computer will actually talk to it correctly

> See formal methods/fuzzing job > Is it real critical software or web3slop? > Haha it's good job sir > It's web3slop