HN
Hacker News
Top
New
Best
Ask
Show
Jobs
lemmster
25 karma · joined May 15, 2019
submissions
comments
GenAI-Accelerated TLA+ Challenge
foundation.tlapl.us
·
35 pts
·
lemmster
·
16
TLA+ Survey 2022 – Tell us what you love and hate
docs.google.com
·
3 pts
·
lemmster
·
0
Leslie Lamport – TLA+: Viewed from 40k Feet and Ground Level
youtube.com
·
7 pts
·
lemmster
·
0
TLA+ spec finds bugs in Apache BookKeeper
github.com
·
2 pts
·
lemmster
·
1
Weeks of Debugging Can Save You Hours of TLA+
youtube.com
·
1 pts
·
lemmster
·
0
PlusPy: Python Interpreter for TLA+ Specifications
discuss.tlapl.us
·
4 pts
·
lemmster
·
1