Protocols Made Fun protocols-made-fun.com

All things about protocol specification, testing, and verification. Subject to the Creative Commons Attribution 4.0 International License.

TLC breadth-first search vs random simulation
protocols-made-fun.com·2w
Specification debugging as code generation
protocols-made-fun.com·7w
Specification debugging as code generation
protocols-made-fun.com·8w
All you need is a simulator? Nope
protocols-made-fun.com·9w
AI-generated shovels or second-order slop?
protocols-made-fun.com·13w
Property-based testing, adversarial developers, and LLMs
protocols-made-fun.com·20w
Interactive Symbolic Testing of TFTP with TLA+ and Apalache
protocols-made-fun.com·21w
Formal Verification of the Aztec Governance Protocol
protocols-made-fun.com·22w
Small scope hypothesis revisited
protocols-made-fun.com·23w
Running TLC with non-standard modules
protocols-made-fun.com·31w
Proving completeness of an eventually perfect failure detector in Lean4
protocols-made-fun.com·48w·Lobsters, Hacker News, r/programming
Proving consistency of two-phase commit in Lean4
protocols-made-fun.com·53w
Specifying and simulating two-phase commit in Lean4
protocols-made-fun.com·55w
The value of model checking in distributed protocols design
protocols-made-fun.com·57w·Lobsters, Hacker News, r/programming
Model checking safety of Ben-Or’s Byzantine consensus with Apalache
protocols-made-fun.com·79w
Model checking safety of Ben-Or’s Byzantine consensus with Apalache
protocols-made-fun.com·79w·Lobsters, Hacker News, protocols-made-fun.com
Why I use TLA+ and not(TLA+): Episode 1
protocols-made-fun.com·84w
Why I use TLA+ and not(TLA+): Episode 1
protocols-made-fun.com·84w·protocols-made-fun.com
Specification and Model-checking of the ZKsync Governance Protocol
protocols-made-fun.com·87w
Specification and Model-checking of the ZKsync Governance Protocol
protocols-made-fun.com·87w·protocols-made-fun.com

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help