2 ms·
Related: finding the same bug with TLA+ https://news.ycombinator.com/item?id=48730953 https://news.ycombinator.com/item?id=48730953
by archseer 2mo ago
Related: finding the same bug with TLA+ https://news.ycombinator.com/item?id=48730953 https://news.ycombinator.com/item?id=48730953