News for hackers. Stuff that matters.

A comment on SeL4 Whitepaper [pdf]. Parent comment

Re:SeL4 Whitepaper [pdf] by person_of_color on Sunday December 27, 2020 @11:46PM (#25556757)
Seems like a dumb approach that only marketing would come up with.

The challenge is SDC is AI, not correctness of the kernel that the AI stack runs on. Is an SDC based on a formally verified OS but using logistic regression safe?

[ Parent | on HN ]
Re:SeL4 Whitepaper [pdf] by moonchild on Monday December 28, 2020 @03:03AM (#25557565)
A verifiably correct kernel is a necessary, but not sufficient condition for a self-driving vehicle to be trustworthy.
[ Parent | on HN ]
Re:SeL4 Whitepaper [pdf] by aidenn0 on Monday December 28, 2020 @01:31AM (#25557221)
It's at least safe from someone hacking into it and intentionally (or accidentally) causing harm.
[ Parent | on HN ]