9 haber bu etiketle işaretlenmiş
Anthropic, Theorem iş birliğiyle yürüttüğü çalışmada büyük dil modellerinin makine kodu seviyesinde biçimsel yazılım doğrulaması (formal verification) yapabildiğini duyurdu. Geliştiriciler, Claude…
Güvenlik takip platformu pwn.watch, son bir yılda kaydedilen 191 kritik güvenlik olayını ve Ekim 2026 itibarıyla devam eden 35 aktif vakayı derledi. Canlı veri akışında ABD bankalarında yetkisiz…
Siber güvenlik kuruluşu Trail of Bits, yazılım mühendislerinin yama geliştirme ve gerileme (regresyon) kontrollerini yapay zeka ajanlarına devretmesini sağlayan iki yeni eklentisini yayımladı. Patch…
GitHub, yazılım paketlerinin kurulumu sırasında gerçekleşen zararlı yazılım saldırılarını engellemek amacıyla paket güvenlik duvarı özelliğini genel önizlemeye sundu. Güvenlik aracı, CI/CD sunucuları…
AOL bünyesinde 2014 yılında içerik yönetim sistemi geçişi sırasında geçici bir çözüm olarak yazılan 174 satırlık PHP polyfill paketi, Packagist üzerinde yaklaşık 20 milyon indirmeye ulaştıktan sonra…
Trail of Bits araştırmacıları, matematiksel kanıt doğrulama dili Lean üzerinde çalışırken sistemin her türlü teoremi sahte biçimde kanıtlamasına yol açan bir yazılım hatası buldu. 4.33.1 sürümüne…
macOS platformu için Rust ile geliştirilen açık kaynaklı terminal çoğullayıcı RACE, Google Ads üzerinden verilen reklamların ardından beklenmedik bir yaptırımla karşılaştı. Uygulamanın geliştiricisi…
Yazılım tedarik zinciri güvenliği alanında faaliyet gösteren Echo, faaliyetlerini sonlandırma kararı alan rakibi Minimus şirketinin temel teknolojik varlıklarını bünyesine kattığını duyurdu. Satın…
Avrupa Birliği Siber Dayanıklılık Yasası'nın yürürlüğe girmesine haftalar kala yapılan bir araştırma, Avrupalı yazılım şirketlerinin yüzde 76'sının standart güvenlik iletişim dosyasına sahip…
Tüm haberler yüklendi