Building the verification layer for mission-critical software. https://xitter.cf/t.co/5cIghIYy6l
Joined August 2026
- Tweets12
- Following3
- Followers91
- Likes30
Reasonable retweeted
I had a wonderful time with the Reasonable team discussing how Anvil's style of TLA proof in Verus is used and our new work Welder. Very grateful for the recognition and super excited to work on FV+AI together! Also love the T-shirts with my name on them :-) @fhuszar
While everyone was busy asking Claude to write TLA+, we wrote up a tutorial on
- what it actually is
- why it’s not the formal verification silver bullet we are hoping for
- and what we have been working on ( to make a silver bullet out of it )
Complete with an interactive TLA+ playground!
reasonable.io/blog/tla-tutor…
