» Etiket
rust
5 yayınKani: Rust için model checker doğrulama aracı
Kani, Rust'ın MIR temsilini CBMC doğrulama motoruna aktararak unsafe kod, fonksiyonel doğruluk ve panic içermemeyi kanıtlıyor; Rust standart kütüphanesinde binlerce harness ile üretimde çalışıyor.
Pon: Yorumlayıcısız Python 3.14 Derleyicisi Rust'ta
Pon, CPython yorumlayıcısı ve bytecode olmadan Python 3.14 kodunu Cranelift ile makine koduna derleyen Rust tabanlı JIT/AoT derleyicisidir.
Rings, dağıtık sistem doğruluğunu cebirsel yapılarla yeniden kuruyor
Rings projesi, kriptografi, CRDT tabanlı depolama ve Chord topolojisini grup, halka ve modül gibi cebirsel yapılarla birleştirerek doğrulanabilir bir mimari sunuyor.
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.comKars: AI Ajanları için Kubernetes Tabanlı Sıfır Güven Runtime
Kars, her AI ajanını izole Kubernetes sandbox'ında çalıştırır; tüm dış çağrılar Rust tabanlı router üzerinden denetlenir, kimlik bilgisi ajanda tutulmaz.
Alice Ryhl'dan Rust dersleri: derleyici neden güvenilir
Google Android Rust ekibinden Alice Ryhl, Rust'ın bellek güvenliği, ownership modeli, Cargo, sürüm yönetimi ve Linux çekirdeğindeki geleceğini anlatıyor.