‹ BackHN Continuity

Thread

The internet discovers TLA+. Now what?

128 points · 71 comments · matt_d

  1. fizlebit · · focus · HN ↗
    Time to discover communicating sequential processes instead :P
    1. usrnm · · focus · HN ↗
      That stuff gets rediscovered all the time, the latest example probably being golang
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.