4 ms·
no, that is not what i mean to say at scale, it is not possible for humans to hand-write C programs that are free of segmentation fault class errors this is n
by preseinger 3y ago
no, that is not what i mean to say
at scale, it is not possible for humans to hand-write C programs that are free of segmentation fault class errors
this is not controversial or in any way arguable
- throwawaymaths 3y agoSel4 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.
- int_19h 3y agoI'm not sure Sel4 can be considered "at scale", given the rather extreme amount of effort that went into it.
- throwawaymaths 3y agoyou just moved the goalposts.
- asveikau 3y agoYour opinion is common here. However, you can't just say your opinion is the consensus and that makes people who have other experiences wrong, end of debate. Popularity doesn't indicate truth. I'm sorry you haven't seen it working well, but there are counterexamples where people are productive with a relatively low number of issues.