The internet discovers TLA+. Now what?

 (reasonable.io)

78 points | by matt_d 10 hours ago ago

38 comments