frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Can we have reachability properties in TLA⁺?

https://ahelwer.ca/post/2026-09-26-reachability/
1•ibobev•1h ago