‹ BackHN Continuity

Thread

The internet discovers TLA+. Now what?

128 points · 71 comments · matt_d

  1. scrubs · · focus · HN ↗
    See:

    <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=48287718">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=48287718

    With link to pdf, github

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.