from Hacker News

polyglotfacto2

joined 6/2/22, 6:10 AM has 12 karma

• Modelling Distributed Locking in TLA+

  by polyglotfacto2 on 7/4/22, 10:27 AM, with 0 comments

• Modelling the archetype of a message-passing bug with TLA+

  by polyglotfacto2 on 6/20/22, 3:44 AM, with 0 comments