Show HN: CAA – Lightweight distributed session management [Go / TLA+] (opens in new tab)

(endian.io)

5 pointsendiangroup7y ago3 comments

3 comments

3 comments · 1 top-level

derpyderp17y ago· 2 in thread

Go is not a particularly good language, I guess there is some productivity gains for some.

fortunately there is a TLA+ spec so you can rewrite the system in any language you like!

TLA+ isn't a particular good or interesting formal specification language. I suppose some peons must get some value out of it

j / k navigate · click thread line to collapse