Show HN: CAA – Lightweight distributed session management [Go / TLA+] (endian.io) 5 points by endiangroup 7y ago ↗ HN
[–] 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
[–] 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
[–] 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
3 comments
[ 2.2 ms ] story [ 18.8 ms ] thread