News for hackers. Stuff that matters.

A comment on The two types of C programmers (a provocative thesis). Parent comment

Re:The two types of C programmers (a provocative thesis) by deterministic on Sunday April 23, 2023 @06:55PM (#35681552)
Not true. Check out CompCert, seL4 etc.
[ Parent | on HN ]

There are no comments on this comment yet.