» Etiket
rust
61 yayınCreusot: Rust Programlama Dili için Bir Dedüktif Doğrulayıcı
Creusot, Rust için bir dedüktif doğrulayıcıdır. Kod hatalarını önlemek için formal spesifikasyonlara uyumu kanıtlar.
bstr: Rust için Geçerli UTF-8 Olmayan Bir Dize Türü
bstr, Rust'ta geçerli UTF-8 gerektirmeyen bayt dizeleri kullanmanıza olanak tanır. I/O işlemleri için pratik örnekler sunar.
Sovereign Tech Bursası ile Rust Bakımı: Haziran-Temmuz 2026 Raporu
2026 Haziran-Temmuz döneminde Rust geliştirmeleri ve optimizasyonları üzerine yapılan çalışmaların özeti.
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.comRust ve TypeScript ile Satranç Uygulaması
Rust ve TypeScript ile geliştirilen satranç uygulaması, karmaşık tür sistemlerini keşfetmek için önemli bir örnek sunuyor.
Rust ile Geliştirilen Apache Flink Hızlandırıcısı
StreamFusion, Apache Flink SQL'i Rust ile hızlandırarak verimliliği artırıyor. Hızlandırılmış sorgular, stok Flink'e göre 1.2-3 kat daha hızlı çalışıyor.
Rust ve WebGPU ile Prosedürel Piksel Sanatı Çimi
Jarl, Rust ve WebGPU kullanarak piksel sanatı çimi nasıl oluşturduğunu açıklıyor. Prosedürel yöntemler ve performans optimizasyonlarıyla ilgili detaylar.
GreptimeDB'de Performans Artışı: Rust PR ile 10 Kat Hız
GreptimeDB, Rust PR ile Prometheus protokolü için performans artışı sağlıyor.
anydoc: 14 belge formatını Markdown'a dönüştüren Rust kütüphanesi
anydoc, 14 belge formatını hızlıca Markdown'a dönüştüren bir Rust kütüphanesidir. Hızlı ve tutarlı dönüşüm sağlar.
React Derleyici Linting, Rust Tabanlı Hız Artışıyla Gelişti
React Derleyici'nin Rust ile yeniden yazılması, linting hızını artırıyor. Oxlint v1.70.0 ile gelen yerel destek, geliştiricilere verimlilik sağlıyor.
Çift mimarili AI işletim sistemim QEMU, VirtualBox ve gerçek UEFI donanımında çalışıyor
Rust ile sıfırdan geliştirilen çift mimarili AI işletim sistemi, QEMU ve gerçek UEFI donanımında çalışıyor.