» Etiket
verification
4 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.
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.
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.