Hacker News new | ask | show | jobs
user: lemmster
created: 2019-05-15
karma: 25

submissions:

GenAI-Accelerated TLA+ Challenge
35 points | 16 comments
TLA+ Survey 2022 – Tell us what you love and hate
3 points | 0 comments
Leslie Lamport – TLA+: Viewed from 40k Feet and Ground Level
7 points | 0 comments
0 points | 0 comments
TLA+ spec finds bugs in Apache BookKeeper
2 points | 1 comments
Weeks of Debugging Can Save You Hours of TLA+
1 points | 0 comments
0 points | 0 comments
PlusPy: Python Interpreter for TLA+ Specifications
4 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments