The internet discovers TLA+. Now what?

by matt_d | View on Hacker News