‹ 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. azaras · · focus · HN ↗
      I am learning TLA+ but I do not know CSP, is CSP better?
      1. otterley · · focus · HN ↗
        They’re completely unrelated. The GP was making a joke.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.