Hacker News: "Using TLA+ in the Real World to Understand a Glib…" - Qoto Mastodon

Hacker News @HN@qoto.org

Using TLA+ in the Real World to Understand a Glibc Bug
https://news.ycombinator.com/item?id=24958504
#hackernews #tech

Nov 01, 2020, 18:12 · · HackerNewsBot · · ·

Sign in to participate in the conversation