we6251

Recent Submissions

1. 1. ▲ Towards Autonomous Protocol Proofs (will62794.github.io) 2 points · 2 months ago · 0 comments
2. 2. ▲ One-Off Verified Transpilation with Claude (will62794.github.io) 1 point · 5 months ago · 0 comments
3. 3. ▲ Modern Views of Transaction Isolation (will62794.github.io) 2 points · 7 months ago · 0 comments
4. 4. ▲ Fixing a MongoDB Replication Protocol Bug with TLA+ [video] (youtube.com) 2 points · 8 months ago · 0 comments
5. 5. ▲ LittleData: Smart LED Display (old.tomorrow-lab.com) 3 points · 9 months ago · 0 comments
6. 6. ▲ Logless Raft (will62794.github.io) 3 points · 10 months ago · 0 comments
7. 7. ▲ Interactive Formal Specifications (will62794.github.io) 2 points · 1 year ago · 0 comments
8. 8. ▲ Transactions as Transformers (will62794.github.io) 1 point · 1 year ago · 0 comments
9. 9. ▲ Transactions as Transformers (will62794.github.io) 1 point · 1 year ago · 0 comments
10. 10. ▲ Spectacle: Interactive tool for exploring and visualizing formal specifications (github.com) 5 points · 1 year ago · 0 comments