» Etiket
lean
5 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.
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.
Lean'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.
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 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?