lemmster

5 ms·

1.
GenAI-Accelerated TLA+ Challenge(foundation.tlapl.us)
35 points by lemmster 1y ago|16 comments
2.
TLA+ Survey 2022 – Tell us what you love and hate(docs.google.com)
3 points by lemmster 4y ago|0 comments
3.
Leslie Lamport – TLA+: Viewed from 40k Feet and Ground Level(youtube.com)
7 points by lemmster 5y ago|0 comments
4.
by lemmster 6y ago
https://github.com/apache/bookkeeper/issues/2614
5.
TLA+ spec finds bugs in Apache BookKeeper(github.com)
2 points by lemmster 6y ago|1 comments
6.
Weeks of Debugging Can Save You Hours of TLA+(youtube.com)
1 points by lemmster 6y ago|0 comments
7.
by lemmster 6y ago
Direct link to Github repo: https://github.com/tlaplus/PlusPy
8.
PlusPy: Python Interpreter for TLA+ Specifications(discuss.tlapl.us)
4 points by lemmster 6y ago|1 comments
9.
by lemmster 7y ago
Lamport lists various learning resources on his page: http://lamport.azurewebsites.net/tla/learning.html
10.
by lemmster 7y ago
I am the engineer who translated https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/... into Java ( https://github.com/tlaplus/tlaplus/blob/master/t
11.
by lemmster 7y ago
Below are a few specs related to refactoring/rewriting the TLA+ model checker to scale to more cores: * https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/... * https:/&#x2F
12.
by lemmster 7y ago
Did you also wire up trace expression evaluation in Emacs?
13.
by lemmster 7y ago
To what kernel release(s) do the flags apply?
14.
by lemmster 7y ago
An review of the post is at https://lemmster.de/tla-liveness-review.html