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 throwawaymaths on Monday April 24, 2023 @12:16AM (#35683596)
Sel4 would like to have a word.

Inb4 you move the goalposts for "at scale". This is an operating system with capability-based access control which is not something that most operating systems even have.

Also the cryptographic constraints are part of the proof system.

[ Parent | on HN ]
Re:The two types of C programmers (a provocative thesis) by int_19h on Tuesday April 25, 2023 @06:04PM (#35707342)
I'm not sure Sel4 can be considered "at scale", given the rather extreme amount of effort that went into it.
[ Parent | on HN ]
Re:The two types of C programmers (a provocative thesis) by throwawaymaths on Wednesday April 26, 2023 @08:17PM (#35721670)
you just moved the goalposts.
[ Parent | on HN ]