we6251's submissions | Hacker News

1.		One-Off Verified Transpilation with Claude (will62794.github.io)
		1 point by we6251 45 days ago \| past
2.		Modern Views of Transaction Isolation (will62794.github.io)
		2 points by we6251 3 months ago \| past
3.		Fixing a MongoDB Replication Protocol Bug with TLA+ [video] (youtube.com)
		2 points by we6251 4 months ago \| past
4.		LittleData: Smart LED Display (tomorrow-lab.com)
		3 points by we6251 5 months ago \| past
5.		Logless Raft (will62794.github.io)
		3 points by we6251 6 months ago \| past
6.		Interactive Formal Specifications (will62794.github.io)
		2 points by we6251 9 months ago \| past
7.		Transactions as Transformers (will62794.github.io)
		1 point by we6251 10 months ago \| past
8.		Transactions as Transformers (will62794.github.io)
		1 point by we6251 10 months ago \| past
9.		Spectacle: Interactive tool for exploring and visualizing formal specifications (github.com/will62794)
		5 points by we6251 on Feb 22, 2025 \| past
10.		Interactive Explorer for Formal Specifications (github.com/will62794)
		3 points by we6251 on Nov 21, 2024 \| past