» Etiket
compilers
2 yayınProof-Carrying-BPF: eBPF Doğrulayıcısı İçin Kanıt Taşıyan Programlar
SOSP '26 makalesi, eBPF doğrulayıcısının reddettiği karmaşık BPF programlarını kanıt taşıyan (proof-carrying) yaklaşımla kabul ettirmeyi öneriyor.
Mold 3.0.0 Yayınlandı: Linker Artık Rust ile Yeniden Yazıldı
Mold linker 3.0.0, C++'tan Rust'a tam yeniden yazım sonrası ilk sürüm olarak yayınlandı; GNU ld uyumluluğu ve güvenlik artışı sağlıyor.
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.com