Hacker News new | ask | show | jobs
by rystsov 3379 days ago
I don't know TLA+ yet but I'll assist anybody with an explanation on how Gryadka works.