» Etiket
verification
36 yayınRust Standart Kütüphanesi Doğrulama Yarışması: Manuel Kanıtlama Ötesi
Rust standart kütüphanesi için doğrulama yarışması, otomatik araçlarla önemli ilerlemeler kaydetti.
Vero: AI Ajanları Formally Doğrulanmış Yazılım Depoları Oluşturabilir mi?
Vero, AI ajanlarının çok modüllü yazılım depolarında uygulama ve kanıt sentezini değerlendiren bir benchmark sunuyor.
ISNAD: Çok Ajanlı LLM Sistemleri için Güven Katmanı
ISNAD, çok ajanlı LLM sistemlerinde bilgi doğrulama için yeni bir güven katmanı sunuyor.
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.comFormel doğrulama, AI'nın inceleme darboğazını çözebilir
Formel doğrulama ve AI'nın birleşimi, yazılım geliştirmede insan incelemesini ortadan kaldırarak verimliliği artırıyor.
LLM'ler kodun çoğunu yazarken derleyici işinin yönü değişiyor
LLM'ler yazılım geliştirmede derleyici işinin yönünü değiştiriyor. Hata teşhisi ve sorgu tabanlı mimariler ön plana çıkıyor.
Chainlink AI Geliştirmiyor, Güvenlik Katmanı Kuruyor
Chainlink, yapay zeka geliştirmiyor; diğer AI sistemleri için güvenlik ve doğrulama katmanı kuruyor.
World, ProveKit'i Açık Kaynak Olarak Yayınladı: Post-Kuantum Araç Takımı
World, ProveKit'i açık kaynak olarak yayınladı; kullanıcıların telefonlarında sıfır bilgi kanıtları üretmesini sağlıyor.
seL4 Güvenlik Kanıtları AArch64 Üzerinde Tamamlandı
Proofcraft, AArch64 üzerinde seL4 çekirdeğinin gizliliği sağladığını kanıtladı. Bu, güvenlik izolasyonunu güçlendiriyor.
Ziyaretçi Onaylı İhraç: Tam Zincir DID Uygulaması
Ziyaretçi onaylı ihraç ile dijital cüzdan uygulaması, veri güvenliğini artırıyor.
350 bin yıldızlı açık API listesi denetlendi: %20'si bozuk
99 ücretsiz açık API'nin denetiminde %20'sinin bozuk olduğu belirlendi. API listelerinin doğrulanması önemlidir.