Arsip | GeekNews

◀ Tahun sebelumnya | ◁ Bulan sebelumnya | << Minggu sebelumnya | < Hari sebelumnya | 2026-04-16 | Hari berikutnya > | Minggu berikutnya >> | Bulan berikutnya ▷

41

Lean membuktikan kebenaran program, tetapi bug tetap ditemukan di dalamnya

(kirancodes.me)

Fuzzing terhadap implementasi zlib yang diverifikasi dengan Lean menemukan heap buffer overflow di runtime Lean 4 serta bug DoS pada parser arsip yang belum diverifikasi.

1 poin oleh GN⁺ 2026-04-16 | 1 komentar

42

Spanyol perluas pemblokiran internet hingga jam tayang tenis, golf, dan film

(bandaancha.eu)

Spanyol memperluas pemblokiran internet berbasis IP ke siaran olahraga dan hiburan, dengan dampak yang juga bisa memutus akses ke situs normal.

2 poin oleh GN⁺ 2026-04-16 | 1 komentar

43

Alat untuk menyinkronkan Claude Code/Codex Skills secara otomatis dari repositori Git

(github.com/leshleekor)

Alat berbasis skrip ini menyinkronkan Claude Code/Codex Skills dari repositori Git ke direktori lokal secara otomatis.

1 poin oleh leshlee 2026-04-16 | Komentar dan diskusi