» Etiket
rust
38 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.
LangGraph checkpoint'lerinde 737x hız: Rust'ın kazandığı ve kaybettiği yerler
fast-langgraph, LangGraph'ın deepcopy tabanlı checkpoint mekanizmasını Rust ile hızlandırıyor; büyük durumlarda 737x, küçük dict'lerde ise kazanç yok.
pdfmuse: Gerçek Verilerde Sınanan Deterministik PDF Ayrıştırıcı
pdfmuse deterministik PDF ayrıştırıcısı, gerçek özgeçmiş verilerinde %10 sessiz hata bulup form XObject işleme sorununu nasıl çözdü.
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.comgui-tool: Rust ile bağımsız masaüstü GUI otomasyon aracı
AI ajanlarının piksel tahmin etmeden, etiketli grid hücreleriyle masaüstü uygulamalarını tıklamasını sağlayan sıfır bağımlılıklı Rust CLI aracı gui-tool tanıtıldı.
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.
Homoglyph saldırıları LLM koruma filtrelerini nasıl atlatıyor
Cyrillic ve Yunanca görsel benzeri karakterlerle yazılan jailbreak komutları, basit anahtar kelime filtrelerini kolayca atlatabiliyor. Çözüm: eşleştirmeden önce normalize et.
Cargo'da Symlink Açığı: CVE-2026-5223 Duyuruldu
Cargo, üçüncü taraf registry'lerden gelen tarball'lardaki symlink'leri hatalı işliyordu. Rust 1.96.0 ile düzeltilen orta seviye açığın detayları.
PFL: pf güvenlik duvarını Linux'ta eBPF/XDP ile yeniden yazmak
pfSense kurucusunun yeni projesi PFL, OpenBSD pf dilini Linux XDP veri düzleminde çalıştırıyor; verifier kısıtları altında durum bilgili filtreleme ve NAT'ı nasıl mümkün kıldığını inceliyoruz.
AVTensor: Eğitim Verisi İçin Rust Tabanlı Medya Kod Çözücü
Runway'in açtığı Rust kütüphanesi AVTensor, ses ve görüntüyü tek geçişte eş zamanlı çözerek gizli senkronizasyon hatalarını ortadan kaldırıyor ve eğitim MFU'sunu artırıyor.
Bun'ın Rust Geçişi AI Altyapısında C#'ın Yükselişini Gösteriyor
Bun'ın Zig'den Rust'a geçişi, üretim AI altyapısında derlenmiş dillerin değerini ortaya koyuyor. TensorSharp benchmark sonuçları C#'ın bu katmandaki potansiyelini gösteriyor.