Thread

1. alexnewman · 1790515238 · focus · HN ↗

   I did a lot of distsys work With tla+. I still think it’s the best use. It’s really hard to make sure your code matches what you prove.

   1. damianabramov · 1791121440 · focus · HN ↗

      [dead]

Unofficial Hacker News client; not affiliated with Y Combinator.