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 Psyladine on Wednesday February 05, 2020 @10:16AM (#22247385)
Bit like chicken & egg though, with processors chasing better implementations of C rather than better implementations of assembly:

https://queue.acm.org/detail.cfm?id=3212479

[ Parent | on HN ]

There are no comments on this comment yet.