• [^] # Re: Cuda

    Posté par . En réponse au journal Bureau indépendant de l'affichage réèl. Évalué à 5.

    Oui, ils sont nuls. Ils devraient s'intéresser à/investir dans la recherche en langages de programmation visant à empêcher ce genre de chose : systèmes de types, etc. Il me semble qu'il y a déjà une petite (?) communauté d'experts en méthodes formelles chez Intel, comme John Harrison, qui devrait être sensibilisée à ce genre de technologies.