Archiv | GeekNews

◀ Vorheriges Jahr | ◁ Vorheriger Monat | << Vorherige Woche | < Vorheriger Tag | 2024-05-06 | Nächster Tag > | Nächste Woche >> | Nächster Monat ▷ | Nächstes Jahr ▶

21

Rust-Verifikationstechnologie für Low-Level-Systemcode

(github.com/verus-lang)

Verus ist ein noch ausbaubares Tool zur formalen, statischen Verifikation von Rust-Code, das besonders für sicherheitskritische Systemsoftware und Nebenläufigkeit relevant ist.

1 Punkte von GN⁺ 2024-05-06 | 1 Kommentare

22

Nintendo sendet über 8.000 DMCA-Takedown-Anfragen zu Emulatoren an GitHub

(engadget.com)

Nintendo hat über 8.000 DMCA-Takedown-Anfragen gegen emulatorbezogene Inhalte auf GitHub verschickt.

4 Punkte von GN⁺ 2024-05-06 | 1 Kommentare