» seçilmiş · sentezlenmiş
Gürültüyü geçin.
Sinyali okuyun.
Yazılımcılar ve teknoloji profesyonelleri için seçilmiş teknoloji haberleri ve sentezleri.
» Son yayınlar
2695 yayınLLM Destekli Formal Doğrulama nftables'ta İki Kritik Hata Buldu
Basis, LLM destekli formal doğrulama ile Linux'un nftables optimizasyoncusunda 2022'den beri süregelen iki kritik hata keşfetti.
Node.js Prototip Kirliliğine Karşı Güçlendirilemez
Node.js'te prototip kirliliği gadget'ları neden bir güvenlik açığı değil, uygulama sınırındaki bir hatanın semptomu olduğunu inceliyoruz.
Subrust: Rust alt kümesi için no_std, alloc'suz yorumlayıcı
Subrust, rustc ile aynı davranışı garanti eden no_std, alloc'suz, sıfır bağımlılıklı bir Rust alt kümesi yorumlayıcısı; 229 baytlık seed'den bootstrap edilebiliyor.
CommitBrief — terminalde yapay zekâ destekli kod incelemesi
Staged değişiklikleri, bir commit aralığını ya da bütün bir GitHub pull request'ini yerelde inceleyen sağlayıcı bağımsız CLI. Sıfır telemetri, sunucu yok. Açık kaynak, GPL-3.0.
commitbrief.comFable 5 vs GPT-5.6 Sol: NP-Zor Problemde /goal İşe Yarıyor mu?
Claude Fable 5 ve GPT-5.6 Sol, NP-zor bir fiber ağ optimizasyon probleminde /goal özelliğiyle test edildi; sonuçlar beklenmedik çıktı.
MCP Güvenliğinde Ölçme Devrimi: %9'dan %63'e Çıkan Proxy
Açık kaynak mcp-defense-bench kıyaslaması, MCP güvenlik proxy'si mcp-bastion'ın kapsamını %9'dan %63'e nasıl çıkardığını gösteriyor.
NVIDIA Nemotron 3 Super, Kodlamada GPT-OSS-120B'yi Geride Bıraktı
NVIDIA'nın açık modeli Nemotron 3 Super, SWE-Bench'te GPT-OSS-120B'yi 20 puan geçti ve 2,2x daha hızlı çıkarım sunuyor.
Steam'de Üç Yıllık Yapay Zeka Analizi: 53.600 Oyun Sayımı
53.600 Steam oyunluk sayım, yapay zeka bildirimlerinin 2024-2026'da yayılışını ve ticari başarı oranlarını ortaya koyuyor.
iPod Classic'in Belgesiz Mikey Çipi Tersine Mühendislikle Çözüldü
iPod Classic'in belgesiz Mikey çipi, register taraması ve eski bir reverse engineering yazısıyla çözüldü; Rockbox'a düğme desteği geldi.
LinkedIn için açık kaynak AI beceri seti: linkedin-skills
LinkedIn paylaşım sürecini sekiz göreve bölüp Claude Code/Codex için açık kaynak on beceri haline getiren linkedin-skills projesinin teknik analizi.
Engrava: Yapay Zeka Ajanları İçin SQLite Tabanlı Deterministik Bellek Kütüphanesi
Engrava, ajan belleğini SQLite'ta tipli graf olarak saklayan, LLM yeniden yazımı yerine deterministik konsolidasyon kullanan MIT lisanslı Python kütüphanesi.