Y Hacker News new | ask | show | jobs

user: we6251 created: 2024-11-09 karma: 8 submissions: 0 points | 0 comments Towards Autonomous Protocol Proofs 2 points | 0 comments One-Off Verified Transpilation with Claude 1 points | 0 comments Modern Views of Transaction Isolation 2 points | 0 comments Fixing a MongoDB Replication Protocol Bug with TLA+ [video] 2 points | 0 comments LittleData: Smart LED Display 3 points | 0 comments Logless Raft 3 points | 0 comments 0 points | 0 comments Interactive Formal Specifications 2 points | 0 comments Transactions as Transformers 1 points | 0 comments Transactions as Transformers 1 points | 0 comments Spectacle: Interactive tool for exploring and visualizing formal specifications 5 points | 0 comments Interactive Explorer for Formal Specifications 3 points | 0 comments