Throwing PBT or formal methods is extra challenging because with nextest, the SUT includes roughly the OS/kernel/libc. You can build fake versions of some of this but then that's a test/prod divergence.

Show Post

I mean you can ask the author. I won't post details here bc maybe they had good reasons to pull it from the Internet, but a) they can be easily found online and b) they are on BSky

Show Post

Apparently Soteria Rust is gone? It was a formal methods mechanism for proving properties about Rust code with nondeterminism that I learned about from @sunshowers.io, but the GitHub repository appears to be gone and the org readme says they’re “embarking on a new adventure.”

Show Post

it was covariant in my heart 💜

Show Post

Last week was my last week at EPFL, and while packing I stumbled on the old pile of papers I was reading in the early days of my PhD. So, for the sake of nostalgia, here is a list of some of my favorites!

Show Post