“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