News

General Loading...

What TLA+ can and can't check

Last week Boris Cherny, the inventor of Claude Code, mentioned that Opus was able to use TLA+1 to find race conditions in code. And now everybody...

Read more