Arşiv | GeekNews

◀ Önceki yıl | ◁ Önceki ay | << Önceki hafta | < Önceki gün | 2026-04-16 | Sonraki gün > | Sonraki hafta >> | Sonraki ay ▷

41

Lean, programın doğruluğunu kanıtladı ama içinde hata bulundu

(kirancodes.me)

Lean ile doğrulanmış bir zlib uygulaması fuzzing sırasında güvenli görünürken, Lean 4 çalışma zamanı ve doğrulanmamış arşiv ayrıştırıcısında ciddi açıklar bulundu.

1 puan yazan GN⁺ 2026-04-16 | 1 yorum

42

İspanya, internet engellemelerini tenis, golf ve film yayın saatlerine kadar genişletiyor

(bandaancha.eu)

İspanya, internet engellemelerini futboldan çıkarıp tenis, golf ve film/dizi yayın saatlerine kadar genişletirken tüm internet sağlayıcılarına 30 dakika içinde uygulama zorunluluğu getiriyor.

2 puan yazan GN⁺ 2026-04-16 | 1 yorum

43

Claude Code/Codex Skills'i Git deposundan otomatik senkronize eden araç

(github.com/leshleekor)

Git deposundaki `skills/` ağacını Claude Code ve Codex için yerel Skills dizinleriyle otomatik senkronize eden script tabanlı bir araç tanıtılıyor.

1 puan yazan leshlee 2026-04-16 | Yorumlar ve tartışma