» Etiket
proofs
4 yayınseL4 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.
ProofCouncil: Açık Matematik Problemlerini Çözmek İçin Bir LLM Ajanı
ProofCouncil, matematikteki açık problemleri çözmek için tasarlanmış bir LLM ajanıdır.
GPT-5.6'nın 50 Yıllık Matematik Problemini Çözme İddiası
OpenAI, 50 yıllık Cycle Double Cover Conjecture için bir kanıt sundu. Ancak, bu kanıtın doğruluğu henüz doğrulanmadı.
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.comPulse: Eşzamanlı Ayrım Mantığında Kanıta Dayalı Programlama
Pulse, F* içinde gömülü bir dil olarak eşzamanlı ayrım mantığı ile programlama ve kanıtlama desteği sunuyor.