News for hackers. Stuff that matters.

A comment on ZZ is a modern formally provable dialect of C. Parent comment

Re:ZZ is a modern formally provable dialect of C by jdc on Wednesday February 05, 2020 @11:46AM (#22248517)
Doesn't C model the PDP-11 more so than ARM or x86?
[ Parent | on HN ]

There are no comments on this comment yet.