The internet discovers TLA+. Now what?
128 points · 71 comments · matt_d
Unofficial Hacker News client; not affiliated with Y Combinator.
typesafeJ · · focus · HN ↗