HN Explorer

lemmster

↗ HN profile [ 40.4 ms ] full profile
Karma
25
Created
May 15, 2019 (7y ago)
Submissions
0
  1. GenAI-Accelerated TLA+ Challenge (foundation.tlapl.us)
    35 points 16
  2. TLA+ Survey 2022 – Tell us what you love and hate (docs.google.com)
    3 points 0
  3. Leslie Lamport – TLA+: Viewed from 40k Feet and Ground Level (youtube.com)
    7 points 0
  4. TLA+ spec finds bugs in Apache BookKeeper (github.com)
    2 points 1
  5. Weeks of Debugging Can Save You Hours of TLA+ (youtube.com)
    1 points 0
  6. PlusPy: Python Interpreter for TLA+ Specifications (discuss.tlapl.us)
    4 points 1
  7. Alloy for TLA+ Users (t.co)
    1 points 0
  8. Fixing a MongoDB Replication Protocol Bug with TLA+ (t.co)
    1 points 0