Archivo | GeekNews

◀ Año anterior | ◁ Mes anterior | << Semana anterior | < Día anterior | 2026-04-16 | Día siguiente > | Semana siguiente >> | Mes siguiente ▷

41

Lean demostró la corrección de un programa, pero se encontró un bug dentro de él

(kirancodes.me)

El fuzzing de una implementación de zlib verificada con Lean reveló un desbordamiento en el runtime de Lean 4 y una vulnerabilidad DoS en un parser no verificado.

1 puntos por GN⁺ 2026-04-16 | 1 comentarios

42

España amplía el bloqueo de internet hasta los horarios de transmisión de tenis, golf y películas

(bandaancha.eu)

España ampliará los bloqueos de internet por IP a transmisiones de deportes, películas y series, con impacto potencial sobre sitios legítimos.

2 puntos por GN⁺ 2026-04-16 | 1 comentarios

43

Herramienta para sincronizar automáticamente Claude Code/Codex Skills desde un repositorio Git

(github.com/leshleekor)

Una herramienta basada en scripts para sincronizar automáticamente Skills de Claude Code y Codex desde un repositorio Git local o compartido.

1 puntos por leshlee 2026-04-16 | Comentarios y discusión