Skip to content

Cryptic News

The roadmap is not the territory

2023-04-18 by Tom Critchlow - (0 min read)

rc: a new shell for Unix

What TLA+ Can't Check