The TLA+ Video Course by Leslie Lamport
108 by blopeur | 3 comments on Hacker News.
New top story on Hacker News: The TLA+ Video Course by Leslie Lamport
Related Posts
New top story on Hacker News: Uber and Waymo Reach Settlement
New top story on Hacker News: Postmortem of Service Outage at 3.4M Concurrent Users
New top story on Hacker News: What it feels like being an iPad on a stick on wheels (2013)
New top story on Hacker News: Impala: Scalable Distributed Deep Reinforcement Learning
New top story on Hacker News: Researchers giving psilocybin to religious leaders (2017)
0 comments: