5 ms·

Show HN: CAA – Lightweight distributed session management [Go / TLA+]

• derpyderp1 7y ago
  Go is not a particularly good language, I guess there is some productivity gains for some.
  • endiangroup 7y ago
    fortunately there is a TLA+ spec so you can rewrite the system in any language you like!
    • aefdhkiodsa 7y ago
      TLA+ isn't a particular good or interesting formal specification language. I suppose some peons must get some value out of it