Hacker News new | ask | show | jobs
by trealira 918 days ago
Nvidia uses it: https://blog.adacore.com/nvidia-security-team-what-if-we-jus...