» Etiket
csg
2 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.
Forge3D Spaces: Cümleden 3D Eve, Tarayıcıda Parametrik CAD
Forge3D Spaces, metinden 3D bina üreten tarayıcı CAD aracı: LLM+slicing-tree solver, WebGPU/WebGL fallback ve CSG mimarisi incelemesi.
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.com