Hacker News Reader

I think the new Nvidia driver is also being written in Rust, though it's not ready yet.

Didn't they announce hat they use Ada and SPARK for such things some years ago?

I believe this poster meant the new Linux driver for Nvidia cards called Nova (announcement: https://lore.kernel.org/dri-devel/Zfsj0_tb-0-tNrJy@cassiopei...), not the driver maintained by Nvidia.