News for hackers. Stuff that matters.

A comment on Google Announces KataOS: Security-Focused OS, Using Rust and SeL4 Microkernel.

Re:Google Announces KataOS: Security-Focused OS, Using Rust ... by nycdotnet on Sunday October 16, 2022 @08:11AM (#33222989)
How does Rust prevent off-by-one errors?
[ Parent | on HN ]
Re:Google Announces KataOS: Security-Focused OS, Using Rust ... by tbillington on Sunday October 16, 2022 @08:18AM (#33223018)
It can't really.. however the preference for "zero cost" iterators lessens the frequency with which you work with raw indices, so there's less opportunity to bungle things.
[ Parent | on HN ]
Re:Google Announces KataOS: Security-Focused OS, Using Rust ... by stjohnswarts on Sunday October 16, 2022 @12:30PM (#33224882)
Has rust ever claimed to fix logic errors?
[ Parent | on HN ]
Re:Google Announces KataOS: Security-Focused OS, Using Rust ... by nycdotnet on Monday October 17, 2022 @06:40PM (#33240423)
The linked page makes that specific claim.
[ Parent | on HN ]