Show HN: CAA – Lightweight distributed session management [Go / TLA+]endian.io 5 pointsendiangroup7 years ago3 commentsSaveHideCopy link On HNComments−derpyderp17yGo is not a particularly good language, I guess there is some productivity gains for some.−endiangroupOP7yfortunately there is a TLA+ spec so you can rewrite the system in any language you like!−aefdhkiodsa7yTLA+ isn't a particular good or interesting formal specification language. I suppose some peons must get some value out of it
Comments
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