» 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.
rustformal-verificationmodel-checkingsoftware-engineeringPon: 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.
pythonrustcompilersjitRings, 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.
distributed-systemscryptographycrdtrustKars: 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.
kubernetesai-agentssecurityrustAlice 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.
rustprogramming-languagesmemory-safetylinux-kernel