bookmark Technology

What TLA+ can and can't check

Article URL: https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/ Comments URL: https://news.ycombinator.com/item?id=49909056 Points: 9 # Comments: 1

Hacker News Vidnexa Newsroom

· schedule 1 min read · calendar_today Sep 30, 2026 · visibility 0

Hacker News

Article URL: https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/ Comments URL: https://news.ycombinator.com/item?id=49909056 Points: 9 # Comments: 1

Source

This article was originally reported by Hacker News. Read original

What TLA+ can and can't check

More from Technology