» Etiket
programming
16 yayınLean Teorem Kanıtlayıcısının Tasarımı ve Gelişimi
Lean, matematiksel doğrulama ve yapay zeka alanında önemli bir rol oynuyor. Lean FRO, 2023'te kuruldu.
TypeScript Derleyicisine Go'nun Defer'ini Eklemek
Go'daki defer ifadesinin TypeScript derleyicisine eklenmesi üzerine bir inceleme yapıldı.
CUDA İkili Dosyasının Anatomisi
CUDA ikili dosyalarının yapısını ve EIATTR kodlamasını keşfedin. Nvidia'nın belgelenmemiş özellikleri hakkında bilgi edinin.
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.comKuna: Otonom Geliştirme Çağında Decompiler Gelişimi
Kuna, otonom geliştirme ile decompiler alanında yenilikçi bir yaklaşım sunuyor.
OpenCode için Güvenli AI Araç Çağrılarını Durduran Statik Doğrulayıcı
OpenCode için geliştirilen statik doğrulayıcı, güvenli AI araç çağrılarını engeller.
Linux'te 10, Mac'te 0 Yazan Aynı Kodun Sorunu
Dray programlama dilindeki bir hata, C'deki variadic argüman geçiş yöntemlerinin farklılıklarından kaynaklanıyor.