» Etiket
programming
14 yayınRust'ta Yerinde Başlatmanın Dört Seviyesi
Rust'ta yerinde başlatma, bellek verimliliğini artırabilir. Dört seviyeli hiyerarşi ile türlerin inşası hakkında bilgi edinin.
CUDA C++, Rust ve Triton: Düzensizlik Maliyetleri
CUDA C++, Rust ve Triton ile GPU dilleri karşılaştırması. Düzensiz iş yüklerinde performans farkları incelendi.
Vero: AI Ajanları Formally Doğrulanmış Yazılım Depoları Oluşturabilir mi?
Vero, AI ajanlarının çok modüllü yazılım depolarında uygulama ve kanıt sentezini değerlendiren bir benchmark 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.comRust ile Veritabanı İç Yapıları: Ölçümler ve Açıklamalar
Veritabanı iç yapıları için Rust ile ölçülen bir müfredat. Her konu, kendi benchmarkları ile destekleniyor.
Yeni Bir Süreç Oluşturucu API'sinin Başlangıcı
Klasik Unix süreç oluşturma modeline alternatif olarak yeni bir API taslağı sunuldu.
Unity'de Yüksek Performans için Rust Kodu Kullanımı
Unity'de Rust kütüphanesi ile C# kodunu makine koduna dönüştürmek, performansı artırıyor.
Rust Standart Kütüphanesini Kazara Bozulmalardan Koruma
Rust standart kütüphanesi, kazara bozulmaları önlemek için cargo-semver-checks kullanmaya başladı.
Kotlin LSP 1.4.0-RC1 Test Aşamasında: Geliştiriciler İçin Yenilikler
Kotlin LSP 1.4.0-RC1, geliştiricilere daha iyi performans ve güvenilirlik sunuyor. Test edin ve geri bildirimde bulunun.
Creusot: 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.
Ç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.