Viewing profile — we6251

we6251

HN member

No profile information was provided.

comment
Comment #48007757
Relatedly, another thing I found amusing/perplexing about SSI is that they already go to the effort of dealing with read-write dependencies in order to detect "dangerous structure"…

Mon, May 04, 2026, 12:18 PM UTC
story
Towards Autonomous Protocol Proofs
Sat, Apr 04, 2026, 3:16 AM UTC
story
One-Off Verified Transpilation with Claude
Thu, Jan 22, 2026, 3:24 PM UTC
story
Modern Views of Transaction Isolation
Tue, Nov 25, 2025, 4:22 PM UTC
story
Fixing a MongoDB Replication Protocol Bug with TLA+ [video]
Tue, Oct 21, 2025, 6:26 PM UTC
story
LittleData: Smart LED Display
Tue, Sep 16, 2025, 9:40 PM UTC
story
Logless Raft
Thu, Aug 28, 2025, 4:06 PM UTC
comment
Comment #44139611
Also a huge proponent of Antithesis and their current work, but there definitely were some notable precedents at or around that time e.g. MODIST from 2009 ( https://www.usenix.org/…

Fri, May 30, 2025, 8:30 PM UTC
story
Interactive Formal Specifications
Fri, May 16, 2025, 5:42 AM UTC
story
Transactions as Transformers
Fri, May 09, 2025, 3:26 AM UTC
story
Transactions as Transformers
Fri, May 09, 2025, 3:11 AM UTC
story
Spectacle: Interactive tool for exploring and visualizing formal specifications
Sat, Feb 22, 2025, 3:49 AM UTC
story
Interactive Explorer for Formal Specifications
Thu, Nov 21, 2024, 9:58 PM UTC