The recording of Marc Brooker's keynote will be published after post-processing in a week or two. Stay tuned. #tlaplus
PS: Thanks Marc for your keynote.

New blog post: 'Formal Methods: Just Good Engineering Practice?' brooker.co.za/blog/2024/04/1…

WOW, Will Wilson of Antithesis delivered a mind-blowing presentation

I need the rest of the day to process what I just watched

twitter.com/TigerBeetleDB/…

It took my brain a while to parse what's going on in this video. We are so obsessed with 'human-level' robotics that we forget it is just an artificial ceiling. Why don't we make a new species superhuman from day one? Boston Dynamics has once again reinvented itself. Gradually,

Murat Demirbas (Distributolog) There has to be just one fork in between any two people. And a TLA spec to avoid a deadlock

Towards Better Interactive Formal Specifications
William Schultz
#tlaplus

I'm experiencing major FOMO right now 😭 😭 😭

Can't wait for the recordings ❤️ ❤️ ❤️

twitter.com/muratdemirbas/…

Formal Methods in the Enterprise
David McNeil
#tlaplus

You Deserve Unicode TLA+, and Other Nice Things Too
Andrew Helwer
#tlaplus