Az Nvidia Spark-ra vált
Az Nvidia a DEF CON 30 konferencián ismertette, hogy azt a folyamatot, amelynek során egyre több projektjüket állították át az évek során a C/C++ nyelvekrők a Spark nyelvre. A kétnyelven kódolt tartalmak teljesítményét, objektívítását és hatékonyságát összevetve azt vizsgálták, hogy a programozási nyelvek milyen hastással vannak a mérhető adatokra és a biztonságra. Az eddigi eredmények azt bizonyítják, hogy a még az oktatási, betanulási idővel együtt is érdemesebb és nem utolsó sorban biztonságosabb a Spark programozási nyelv használata.
A Spark nagy előnye, hogy formálisan lehet bizonyítani a kód megfelelőségét a specifikáció bizonyos elemeivel – ami valódi biztonsági garanciákat ad. Az Nvidia szerint ez rengeteg időt és energiát spórol meg a tesztelésesekkel szemben, amik nem is adnak valódi garanciákat, és nem is minden esetben működnek.