Archives | GeekNews

◀ Année précédente | ◁ Mois précédent | << Semaine précédente | < Jour précédent | 2024-05-06 | Jour suivant > | Semaine suivante >> | Mois suivant ▷ | Année suivante ▶

21

Technologie de vérification de Rust appliquée au code système bas niveau

(github.com/verus-lang)

Verus est un outil de vérification formelle pour Rust qui prouve statiquement la correction du code, y compris dans les contextes système de bas niveau.

1 points par GN⁺ 2024-05-06 | 1 commentaires

22

Nintendo envoie plus de 8 000 demandes de suppression DMCA liées aux émulateurs sur GitHub

(engadget.com)

Nintendo a lancé plus de 8 000 demandes de suppression DMCA sur GitHub visant des dépôts liés aux émulateurs de la Switch, peu après l'accord avec Yuzu.

4 points par GN⁺ 2024-05-06 | 1 commentaires