Archives | GeekNews

◀ Année précédente | ◁ Mois précédent | << Semaine précédente | < Jour précédent | 2026-04-16 | Jour suivant > | Semaine suivante >> | Mois suivant ▷

41

Lean a prouvé l’exactitude du programme, mais un bug a été découvert à l’intérieur

(kirancodes.me)

Le fuzzing d’une implémentation zlib vérifiée avec Lean a révélé un heap buffer overflow dans le runtime Lean 4 et un bug DoS dans un analyseur d’archives non vérifié.

1 points par GN⁺ 2026-04-16 | 1 commentaires

42

L’Espagne étend les blocages d’Internet jusqu’aux créneaux de diffusion du tennis, du golf et des films

(bandaancha.eu)

L’Espagne élargit les blocages Internet fondés sur les IP à tous les FAI, y compris pendant les diffusions de tennis, de golf, de films et de séries.

2 points par GN⁺ 2026-04-16 | 1 commentaires

43

Un outil pour synchroniser automatiquement les Skills Claude Code/Codex depuis un dépôt Git

(github.com/leshleekor)

Un script bash et Python qui synchronise automatiquement les Skills Claude Code et Codex depuis un dépôt Git vers les répertoires locaux.

1 points par leshlee 2026-04-16 | Commentaires et discussion