» Etiket
rust
145 yayınAlerus: Rust'ta Olasılıksal Programları Formel Doğrulama
Alerus, Verus tabanlı yeni bir çerçeveyle gerçek Rust kodundaki olasılıksal algoritmaları formel olarak doğruluyor; ispat Rocq'ta mekanize edildi.
Uptime Barları İncidentlerden Değil Ölçümden Gelmeli
Uptime barının yayınlanan incidentlerden değil onaylı kontrollerden hesaplanması gerektiği ve donmuş 'public' flag'in kesintileri nasıl gizlediği.
Rust'ta 6 kat hızlı toplu ikili arama: dallanma tahmini optimizasyonu
scikit-learn'ün ikili arama kodu Rust'ta dallanma tahmini optimizasyonuyla 6 kat hızlandırıldı; CPU mekanik sempatisi üzerine teknik inceleme.
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.comArborDb: Kayıt büyüse de alan okuma hızını koruyan Rust veritabanı
ArborDb, ofset tabloları ve zero-copy blob depolamayla kayıt boyutundan bağımsız sabit süreli alan okuma sağlayan Rust doküman veritabanı.
crates.io'ya kaynak kodu görüntüleyici ve GitHub'dan bağımsız hesaplar geldi
crates.io'nun yeni kaynak kodu görüntüleyicisi, GitHub'dan bağımsız hesaplar RFC'si, güvenlik uyarıları ve Svelte geçişi dahil son altı aylık gelişmeler.
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.
Vite 8'de Rolldown, dev sunucusunu değil build'i 13x hızlandırdı
Vite 8, Rollup ve esbuild'i tek bir Rust bundler'ı olan Rolldown/Oxc'ta birleştirdi. Gerçek benchmark'lar production build'in 13x hızlandığını, dev sunucusunun ise değişmediğini gösteriyor.
PostgreSQL'i Rust'ta Yeniden Yazmak: Zorluklar ve Dersler
PostgreSQL'in Rust'a taşınması bellek yönetimi, eşzamanlılık ve uzantı uyumluluğunda karmaşık zorluklar doğuruyor. Performans kayıpları ve alınan dersler.
Apache Lakehouse'ta Yönetişim Haftası: Iceberg, Parquet, Polaris
Iceberg, Parquet ve Polaris toplulukları bu hafta yönetişim ve format evrimini tartıştı: istatistik sahipliği, erişim kontrolü ve birincil anahtar desteği öne çıktı.
Yeni Bir Tahta Oyunu İçin MLP Değerlendirici Nasıl Oluşturdum
Larss oyunu için geliştirilen MLP değerlendirme motoru ve sonuçları hakkında bilgi edinin.