buttondown.com

What TLA+ can and can't check • Buttondown

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

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.