Re:“They introduce kernel bugs on purpose”
by chihuahua on Wednesday April 21, 2021 @11:20PM
(#26898365)
One could argue that when a safe language eliminates memory safety bugs (intentional or unintentional), it makes it easier for the reviewer to check for logic errors. Because you don't have to worry about memory safety, you can focus completely on logic errors.
Re:“They introduce kernel bugs on purpose”
by dumpsterdiver on Wednesday April 21, 2021 @11:30PM
(#26898408)
I would agree that it does, and I do agree that we should try to reach that point. I just want to point out that I think it's dangerous to assume safety in general because one thing is assumed to be safe.
> Nobody was hurt here.
This is where you got me, because while it's clear to me that short-term damage has been done, in the long term I believe you are correct. I believe this event has made the world a safer place.