4 ms·
What you mean to say is you have no shot at correct C, and so the language scares you, and you believe since you can't do it nobody does. It's true that the co
by asveikau 4y ago
What you mean to say is you have no shot at correct C, and so the language scares you, and you believe since you can't do it nobody does.
It's true that the community at large writes lots of bugs. But that doesn't mean some people aren't productive with the language and write a relatively low number of bugs. There are some projects with better track records at this than others.
- preseinger 4y agono, 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 4y 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 4y agoI'm not sure Sel4 can be considered "at scale", given the rather extreme amount of effort that went into it.
- throwawaymaths 4y agoyou just moved the goalposts.
- asveikau 4y 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.