Thread

The internet discovers TLA+. Now what?

128 points · 71 comments · matt_d

duhhhhh1212 · 1790543035 · focus · HN ↗
<a href="https://www.pangram.com/history/3bc29b94-49c9-4a82-ad3c-78d92a0736e3?ucc=t8c6BkzVOh8" rel="nofollow">https://www.pangram.com/history/3bc29b94-49c9-4a82-ad3c-78d9...
Don't waste your time.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.