The internet discovers TLA+. Now what?reasonable.io
36 points by matt_d 8 hours ago | 17 comments