» Etiket
lean
7 yayınFormel Doğrulamalı 3D CSG: 1000 Satır AI Kodu Değil, 93 Satır Spec'e Güvenin
Lean 4'te formel doğrulanmış 3D mesh kesişim çekirdeği: 93 satır spec, 60.000+ satır AI-üretimi kanıt, sıfır LLM güveni.
Flare: LLM Tabanlı Teorem Kanıtlamayla MILP Yeniden Formülasyon Doğrulama
FLARE, LLM ajanı ve Lean kanıt asistanını birleştirerek MILP yeniden formülasyonlarını makine tarafından doğrulanabilir şekilde kontrol ediyor.
TypeScript Derleyicisi ve JavaScript Motoru: Thales ile Tanışın
Thales, TypeScript'i Lean 4 modüllerine dönüştüren bir derleyicidir. Güvenli kod yazımını destekler.
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.comLean'in Rust'tan Daha Hızlı Olmasının Sebepleri
Lean, DEFLATE algoritmasında Rust'tan daha iyi performans gösterdi. Bu başarı, Lean'in doğrulama yetenekleri ile yapay zekaların optimizasyonuna dayanıyor.
Lean Teorem Kanıtlayıcısının Tasarımı ve Gelişimi
Lean, matematiksel doğrulama ve yapay zeka alanında önemli bir rol oynuyor. Lean FRO, 2023'te kuruldu.
Lean Yazılım Üretimi: Geleceğin Yazılım Geliştirme Yaklaşımı
Lean Yazılım Üretimi, yazılım geliştirmede insan merkezli sürekli iyileştirmeyi vurguluyor. Bu yaklaşım mühendisler için neden önemlidir?
Bir 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.