Arquivo | GeekNews

◀ Ano anterior | ◁ Mês anterior | << Semana anterior | < Dia anterior | 2026-04-16 | Próximo dia > | Próxima semana >> | Próximo mês ▷

41

Lean comprovou a correção do programa, mas um bug foi encontrado dentro dele

(kirancodes.me)

Fuzzing de uma implementação de zlib formalmente verificada com Lean revelou um heap buffer overflow no runtime do Lean 4 e um bug de DoS no parser de arquivos do lean-zip.

1 pontos por GN⁺ 2026-04-16 | 1 comentários

42

Espanha amplia bloqueios de internet até durante transmissões de tênis, golfe e filmes

(bandaancha.eu)

A Espanha ampliou os bloqueios judiciais de internet para esportes e entretenimento, com impacto potencial também sobre sites legítimos.

2 pontos por GN⁺ 2026-04-16 | 1 comentários

43

Ferramenta para sincronizar automaticamente Skills do Claude Code/Codex a partir de um repositório Git

(github.com/leshleekor)

Ferramenta em bash e Python para sincronizar automaticamente Skills do Claude Code e Codex a partir de um repositório Git compartilhado.

1 pontos por leshlee 2026-04-16 | Comentários e discussão