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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Rochus on Aug 31, 2024 \| parent \| context \| favorite \| on: Rust in Linux Revisited Didn't they announce hat they use Ada and SPARK for such things some years ago?

mixedCase on Aug 31, 2024 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact