News for hackers. Stuff that matters.

A comment on The SeL4 Foundation: What and Why. Parent comment

Re:The SeL4 Foundation: What and Why by MaxBarraclough on Tuesday April 07, 2020 @07:14AM (#22802171)
Formal methods aren't just an academic curiosity, they have been used for real-world OS work. https://en.wikipedia.org/wiki/SLAM_project

> Less mainstream programming languages get better only if you have an expensive in-house team working on the compiler.

Not if you defer optimisation to an external (and actively maintained) backend like LLVM. Rust and Zig do this.

[ Parent | on HN ]
Re:The SeL4 Foundation: What and Why by antoinealb on Tuesday April 07, 2020 @12:13PM (#22804530)
"Better" is not only a compiler backend thing. Things like better static analysis could also matter. I believe some optimisations are also done by the front end but I don't know enough about compiler design to expand on that.
[ Parent | on HN ]