Archivo | GeekNews

◀ Año anterior | ◁ Mes anterior | << Semana anterior | < Día anterior | 2024-05-06 | Día siguiente > | Semana siguiente >> | Mes siguiente ▷ | Año siguiente ▶

21

La tecnología de verificación de Rust aplicada al código de sistemas de bajo nivel

(github.com/verus-lang)

Verus es una herramienta de verificación formal para Rust orientada a código de sistemas, todavía joven, con alcance limitado pero gran potencial en entornos de alta confiabilidad.

1 puntos por GN⁺ 2024-05-06 | 1 comentarios

22

Nintendo envía más de 8,000 solicitudes de eliminación DMCA relacionadas con emuladores a GitHub

(engadget.com)

Nintendo pidió a GitHub más de 8,000 retiros DMCA sobre repositorios relacionados con emuladores, reavivando el debate entre protección de derechos de autor y preservación del videojuego.

4 puntos por GN⁺ 2024-05-06 | 1 comentarios