» Etiket
webassembly
3 yayınTaetype-WASM: Tarayıcıda Çalışan Saf Rust Font Motoru
Taetype-WASM, unsafe kod içermeyen saf Rust font motorunun tarayıcı için WebAssembly derlemesi; decode, subset, shape ve rasterize hepsi istemci tarafında.
Formel 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.
Porffor: JavaScript'i AOT ile Native ve WASM'e Derleyen Yenilik
Porffor, JavaScript'i AOT ile WebAssembly ve yerel ikili dosyalara dönüştüren bir projedir.
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