Archiv | GeekNews

◀ Vorheriges Jahr | ◁ Vorheriger Monat | << Vorherige Woche | < Vorheriger Tag | 2026-04-16 | Nächster Tag > | Nächste Woche >> | Nächster Monat ▷

41

Lean hat die Korrektheit des Programms bewiesen, doch darin wurde ein Bug gefunden

(kirancodes.me)

Beim Fuzzing einer formal verifizierten zlib-Implementierung wurden ein Heap-Buffer-Overflow in der Lean-4-Runtime und eine DoS-Schwachstelle im nicht verifizierten Archiv-Parser entdeckt.

1 Punkte von GN⁺ 2026-04-16 | 1 Kommentare

42

Spanien weitet Internetsperren auf Tennis, Golf und sogar Sendezeiten von Filmen aus

(bandaancha.eu)

Spanien weitet gerichtlich angeordnete IP-Sperren auf weitere Sportarten sowie Filme und Serien aus, mit Auswirkungen auf alle Internetanbieter und mögliche Kollateralschäden für legitime Websites.

2 Punkte von GN⁺ 2026-04-16 | 1 Kommentare

43

Tool zur automatischen Synchronisierung von Claude Code/Codex Skills aus einem Git-Repository

(github.com/leshleekor)

Ein Bash-/Python-Tool synchronisiert Claude Code- und Codex-Skills automatisch aus einem Git-Repository in lokale Skills-Verzeichnisse.

1 Punkte von leshlee 2026-04-16 | Kommentare und Diskussion