“What TLA+ Can And Can’t Check”, Hillel Wayne (buttondown.com/hillelwayne/...).
On HN: news.ycombinator.com/item?id=4990...
On Lobsters: lobste.rs/s/3ufaju/wha...
#TLA+ #FormalVerification #Programming #AIAssistedCoding #AutomatedTheoremProvers #LLMs #AI
buttondown.com
What TLA+ can and can't check
Let's chill just a little bit on the "TLA+ will save AI from itself" narrative