News for hackers. Stuff that matters.

A comment on Linus Torvalds on where Rust will fit into Linux. Parent comment

Re:Linus Torvalds on where Rust will fit into Linux by renox on Wednesday March 24, 2021 @08:46PM (#26575161)
I'll have a look thanks but note that seL4 is implemented in C because C has a formally verified compiler CompCert which Rust doesn't have..
[ Parent | on HN ]
Re:Linus Torvalds on where Rust will fit into Linux by steveklabnik on Wednesday March 24, 2021 @08:56PM (#26575241)
... not to mention that seL4 was started in 2006, a full four years before Rust was even conceived of. The proof was finished a year before.
[ Parent | on HN ]