corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0bba0-035f-7047-a6df-60eb685d0f5d

TLA+ mental models

Murat Demirbas · published 23 March 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at muratbuffalo.blogspot.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
16
Words captured
3,558

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
TLA+ as a Design Accelerator: Lessons from the Industry Read at the source ↗
muratbuffalo.blogspot.com
https://blogger.googleusercontent.com/img/a/AVvXsEjacRyGvPRyspuFGq8RTS_vVKq27l95eE8_GUwjscUSY-xiYcULY4PAM2X99gOYAQA2dX5QjKH8FxTvMogG2OFrRS_uZChJTl8HRMA2dlpTYR_3jVMeojY6HGVFGnv8uXBCjTVxciJZ41kXwAQu4lUS2bCEzQP19qHyTog-OMqoiC9WWqOBduF8q7q13X4
blogger.googleusercontent.com
Beyond the Code: TLA+ and the Art of Abstraction Read at the source ↗
muratbuffalo.blogspot.com
https://github.com/Azure/azure-cosmos-tla
github.com
https://lamport.azurewebsites.net/tla/paxos-algorithm.html
lamport.azurewebsites.net
Modeling the hygienic dining philosophers algorithm in TLA+ Read at the source ↗
muratbuffalo.blogspot.com
Hints for Distributed Systems Design Read at the source ↗
muratbuffalo.blogspot.com
https://x.com/muratdemirbas/status/1679535580110020611
x.com
https://www.cse.msu.edu/~sandeep/publications/adk10sss/main.pdf
cse.msu.edu
LLMs are bad at vibing specifications Read at the source ↗
buttondown.com
TLA+ modeling tips Read at the source ↗
muratbuffalo.blogspot.com
https://dl.acm.org/doi/epdf/10.1145/362575.362577
dl.acm.org
https://www.hillelwayne.com/post/refinement/
hillelwayne.com
LeaseGuard: Raft Leases Done Right! Read at the source ↗
muratbuffalo.blogspot.com
Modular verification of MongoDB Transactions using TLA+ Read at the source ↗
muratbuffalo.blogspot.com
https://will62794.github.io/spectacle/
will62794.github.io