Arquivo | GeekNews

◀ Ano anterior | ◁ Mês anterior | << Semana anterior | < Dia anterior | 2024-05-06 | Próximo dia > | Próxima semana >> | Próximo mês ▷ | Próximo ano ▶

21

Tecnologia de verificação em Rust aplicada a código de sistema de baixo nível

(github.com/verus-lang)

Verus é uma ferramenta de verificação formal para Rust que checa especificações estaticamente com um solver, ainda em fase inicial e com suporte ainda limitado a sintaxe do Rust.

1 pontos por GN⁺ 2024-05-06 | 1 comentários

22

Nintendo envia mais de 8.000 solicitações de remoção DMCA relacionadas a emuladores ao GitHub

(engadget.com)

A Nintendo enviou mais de 8.000 avisos DMCA ao GitHub contra repositórios de emuladores do Switch, reacendendo o debate entre proteção autoral e preservação de jogos.

4 pontos por GN⁺ 2024-05-06 | 1 comentários