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