Hacker News with Generative AI: TLA+

TLA+ Monthly Development Update – December 2024 (tlapl.us)
Hello! You’re reading the inaugural edition of the TLA⁺ Foundation monthly development update.
TLA+, Software Development, Monthly Updates, Foundations
6 points by todsacerdoti 32 days ago | 0 comments
A Liveness Example in TLA+ (surfingcomplexity.blog)
If you’ve ever sat at a stop light that was just stuck on red, where there was clearly a problem with the light where it wasn’t ever switching green, you’ve encountered a liveness problem with a system.
TLA+, Software Engineering, Systems Design
78 points by skeptrune 93 days ago | 11 comments
Tlsd: Generate (message) sequence diagrams from TLA+ state traces (github.com/eras)
Tools, Programming, Modeling, TLA+
75 points by todsacerdoti 187 days ago | 7 comments
Modeling B-Trees in TLA+ (surfingcomplexity.blog)
Modeling, B-Trees, TLA+
10 points by todsacerdoti 194 days ago | 0 comments