we6251

4 ms·

1.
Spectacle – A browser-native playground for TLA+(github.com)
2 points by we6251 25d ago|0 comments
2.
by we6251 5mo ago
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" patterns (e.g. Sec 5.2 of [1]), and yet end
3.
Towards Autonomous Protocol Proofs(will62794.github.io)
2 points by we6251 6mo ago|0 comments
4.
One-Off Verified Transpilation with Claude(will62794.github.io)
1 points by we6251 9mo ago|0 comments
5.
Modern Views of Transaction Isolation(will62794.github.io)
2 points by we6251 10mo ago|0 comments
6.
Fixing a MongoDB Replication Protocol Bug with TLA+ [video](youtube.com)
2 points by we6251 1y ago|0 comments
7.
LittleData: Smart LED Display(old.tomorrow-lab.com)
3 points by we6251 1y ago|0 comments
8.
Logless Raft(will62794.github.io)
3 points by we6251 1y ago|0 comments
9.
by we6251 1y ago
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/legacy/event/nsdi09/tech/
10.
Interactive Formal Specifications(will62794.github.io)
2 points by we6251 1y ago|0 comments
11.
Transactions as Transformers(will62794.github.io)
1 points by we6251 1y ago|0 comments
12.
Transactions as Transformers(will62794.github.io)
1 points by we6251 1y ago|0 comments
13.
Spectacle: Interactive tool for exploring and visualizing formal specifications(github.com)
5 points by we6251 2y ago|0 comments
14.
Interactive Explorer for Formal Specifications(github.com)
3 points by we6251 2y ago|0 comments