3 ms·
Didn't they announce hat they use Ada and SPARK for such things some years ago?
by Rochus 2y ago
Didn't they announce hat they use Ada and SPARK for such things some years ago?
- mixedCase 2y agoI believe this poster meant the new Linux driver for Nvidia cards called Nova (announcement: https://lore.kernel.org/dri-devel/Zfsj0_tb-0-tNrJy@cassiopeiae/ https://lore.kernel.org/dri-devel/Zfsj0_tb-0-tNrJy@cassiopei...), not the driver maintained by Nvidia.