Comment by notriddle

The article is about Ada SPARK, and nVidia using it to develop their firmware today.