Get the latest tech news

What TLA+ can and can't check

Let's chill just a little bit on the "TLA+ will save AI from itself" narrative

None

Get the Android app