Re: Rust kernel policy

Felipe Contreras
2025-02-26T02:43:06Z

On Mon, Feb 24, 2025 at 2:37 PM Boqun Feng <boqun.feng@gmail.com> wrote:
>
> On Thu, Feb 20, 2025 at 11:59:10PM -0600, Felipe Contreras wrote:
> > Boqun Feng wrote:
> > >
> > > On Thu, Feb 20, 2025 at 11:19:09PM -0600, Felipe Contreras wrote:
> > > > Greg KH wrote:
> > > > > But for new code / drivers, writing them in rust where these types of
> > > > > bugs just can't happen (or happen much much less) is a win for all of
> > > > > us, why wouldn't we do this?
> > > >
> > > > *If* they can be written in Rust in the first place. You are skipping that
> > > > very important precondition.
> > >
> > > Hmm.. there are multiple old/new drivers (not a complete list) already
> > > in Rust:
> >
> > That is a black swan fallacy. Just because you've seen 4 white swans
> > that doesn't mean all swans are white.
> >
> > > , so is there still a question that drivers can be written in Rust?
> >
> > I didn't say no driver can be written Rust, I questioned whether *all*
> > drivers can be written in Rust.
> >
>
> Huh? Your previous reply is:
>
> "*If* they can be written in Rust in the first place. You are skipping
> that very important precondition."
>
> how does that imply you questioned whether *all* drivers can be written
> in Rust.
>
> Care to explain your logic?

People should really stop thinking in black-and-white terms.

If I say I'm not convinced the coin landed heads does that mean I'm
convinced the coin landed tails? No. If I say I'm not convinced god
exists does that mean I'm convinced god doesn't exist? No.

Being skeptical of a claim is not the same thing as believing it's false.

One can hope all drivers can be written in Rust while at the same time
being skeptical that that is necessarily the case.

--
Felipe Contreras