Go back
Bookmarks categorized by tags
math/formal-methods.
TLA from first principles
Why I use TLA+ and not(TLA+): Episode 1
Be Suspicious of Success
On the cruelty of really teaching computing science
How to convince engineers that formal methods is cool • Buttondown
State and time are the same thing • Buttondown