» Etiket
verification
36 yayınOpenCode için Güvenli AI Araç Çağrılarını Durduran Statik Doğrulayıcı
OpenCode için geliştirilen statik doğrulayıcı, güvenli AI araç çağrılarını engeller.
OpenBase – AI Ajanları için Uçuş Kaydedici
OpenBase, AI ajanlarının yürütme kanıtlarını standartlaştırarak güvenilirliği artırır.
AI Ajanları Güvenlik Endişelerini E-posta ile İletiyor
AI ajanları, güvenlik sorunları hakkında e-posta gönderdi. Bu durum, mühendisler için önemli dersler içeriyor.
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.comBir Programlama Dili Matematiği Yeniden Yazdı ve Yazılım Sıra Dışında
Lean programlama dili, matematikte devrim yaratarak yazılım doğrulama süreçlerini dönüştürüyor.
LLM-as-a-Verifier Eklentisi ile DeepSeek Harness'i Geliştirin
DeepSeek Harness için LLM doğrulayıcı eklentisi, aday çözümleri değerlendiriyor ve en iyi sonucu veriyor.
LLM Önbellek Vuruşlarını Gerçek Zamanlı Doğrulamak: Zayıf Bir Evet
LLM önbellek vuruşlarının gerçek zamanlı doğrulaması üzerine yapılan deneyin sonuçları.