4 ms·
Pretty huge promotional opportunity for AdaCore. You can tell because this was written by AdaCore. Still, I am a bit convinced. The NVIDIA name is increase the
by LeFantome 2y ago
Pretty huge promotional opportunity for AdaCore. You can tell because this was written by AdaCore.
Still, I am a bit convinced. The NVIDIA name is increase the chance that I will evaluate SPARK sometime soon. I have to admit, other than knowing it exists, I am not super familiar with it. What I have seen before now has felt like them using the popularity of Rust as a platform for promotion. This, at least, appears to be a use case where they came in on their own merits.
- transpute 2y ago> huge promotional opportunity Right? Yet they published this customer case study in 2022 and it never reached HN. Found in 2025 search on GPU firmware security.