News for hackers. Stuff that matters.

A comment on So You Want to Rust the Linux Kernel?. Parent comment

Re:So You Want to Rust the Linux Kernel? by shadowgovt on Monday October 11, 2021 @02:16PM (#28831208)
> It is already complicated

And specifically, one of the ways in which it is complicated is that it's mostly done in a language that doesn't natively enforce memory-safe constructs, forcing developers to walk a best-practices and tooling tightrope to avoid writing code that breaks.

[ Parent | on HN ]
Re:So You Want to Rust the Linux Kernel? by SavantIdiot on Monday October 11, 2021 @05:49PM (#28833497)
Why the heck is this comment grey?! At least reply and explain where they are wrong?
[ Parent | on HN ]
Re:So You Want to Rust the Linux Kernel? by b20000 on Monday October 11, 2021 @06:45PM (#28833961)
you know what they say - something about nature creating a better fool
[ Parent | on HN ]
Re:So You Want to Rust the Linux Kernel? by SavantIdiot on Monday October 11, 2021 @10:35PM (#28835475)
You mean like not incorporating formal verification theories? Yeah: fools, all of 'em.
[ Parent | on HN ]
Re:So You Want to Rust the Linux Kernel? by b20000 on Tuesday October 12, 2021 @03:16AM (#28836958)
the kernel and linux is about many important issues, not about chasing the latest language fad
[ Parent | on HN ]
Re:So You Want to Rust the Linux Kernel? by pdimitar on Wednesday October 13, 2021 @06:10PM (#28858275)
That's your misconception: you believe Rust is a fad. And there's also nothing "latest" about it; it's 10 years old.
[ Parent | on HN ]