‹ BackHN Continuity

Thread

The internet discovers TLA+. Now what?

128 points · 71 comments · matt_d

  1. baq · · focus · HN ↗
    the secret's out, but I think I'm still in a minority which has alloy models in addition to TLA+ ones
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.