News for hackers. Stuff that matters.
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.
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.