new1시간 전· 1 sources
What TLA+ can and can't check
Why it matters
What TLA+ can and can't check Let's chill just a little bit on the "TLA+ will save AI from itself" narrative Last week Boris Cherny, the inventor of Claude Code, mentioned that Opus was able to use TL...
1
Sources
+1
24h
—
Growth
1d
Active