» Etiket
programming
197 yayınPulse: Eşzamanlı Ayrım Mantığında Kanıta Dayalı Programlama
Pulse, F* içinde gömülü bir dil olarak eşzamanlı ayrım mantığı ile programlama ve kanıtlama desteği sunuyor.
El Yayster: Emacs'te Yerleşik Bir LLM
El Yayster, Emacs içinde yerleşik bir LLM olarak kullanıcıların anlık ortamlarını algılayıp etkileşimde bulunmasına olanak tanır.
Rust Glancer 0.2: Yeni Rust LSP Sunucusu ile <100mb Bellek Kullanımı
Rust Glancer 0.2.0, <100mb bellek kullanımı hedefiyle daha fazla özellik ve iyileştirme 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.comEn Güvenli Solana Ayrıştırıcısı Kötü Baytları Reddeder
Veri hatalarını önlemek için Solana'da ayrıştırmayı doğrulama ile birleştiren yeni bir yaklaşım.
57 Baytlık x86-64 Linux ELF: Gerçek Bir İşletim Sistemi Süreci
57 baytlık x86-64 ELF dosyası, Linux üzerinde geçerli bir süreç olarak çalışıyor. İnceleme ve yapı detayları burada.
ARM64X Çalıştırmasını Belirli Bir Mimari Olarak Zorlamak
ARM64X yürütülebilir dosyaların belirli bir mimari olarak çalıştırılması için yöntemler.
Ç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.
SerenityOS: 90'ların Estetiğiyle Yeniden Tasarlanan Bir Unix Sistemi
SerenityOS, 90'ların estetiğiyle tasarlanmış özgün bir Unix işletim sistemi. Hız ve sadelik sunuyor.
Rust'ta Arc Türü ile Downcasting İşlemleri
Rust'ta Arc türü ile downcasting işlemleri hakkında bilgi edinin. Arc<MyStruct> ve Arc<dyn MyTrait> arasındaki dönüşüm süreçlerini keşfedin.
TypeScript Derleyicisine Go'nun Defer'ini Eklemek
Go'daki defer ifadesinin TypeScript derleyicisine eklenmesi üzerine bir inceleme yapıldı.