Hacker News new | ask | show | jobs
by lemmster 2591 days ago
An review of the post is at https://lemmster.de/tla-liveness-review.html