» Etiket
software
8 yayınMCP Protokolü Yenileniyor: En Büyük Spesifikasyon Değişikliği
MCP, 2026-07-28'de önemli bir revizyona gitti ve oturum yönetimini kaldırdı. Yeni yapı, yük dengelemesini kolaylaştırıyor.
Rust Standart Kütüphanesi Doğrulama Yarışması: Manuel Kanıtlama Ötesi
Rust standart kütüphanesi için doğrulama yarışması, otomatik araçlarla önemli ilerlemeler kaydetti.
Openvisor: Kendi AI Yazılım Danışmanlığınızı Kurun
Openvisor ile kendi AI yazılım danışmanlığınızı oluşturun. GitHub ve OpenAI ile entegre çalışarak projelerinizi yönetin.
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.comWasmi 2.0: En Hızlı WebAssembly Yorumlayıcılarının Mühendisliği
Wasmi 2.0, WebAssembly yorumlayıcıları arasında 2.2 kat hız artışı sunuyor. Yeni özellikler ve geliştirmelerle mühendisler için önemli bir güncelleme.
Rust'ın Determinizm Efsanesi: Cargo'nun Derleme Zamanı Kaosu
Rust geliştiricileri, Cargo'nun paket yönetim mimarisindeki kararların derleme zamanı istikrarını nasıl etkilediğini öğrenin.
PgColumnar 1.0-alpha3 Sürümü Yayınlandı
pgColumnar 1.0-alpha3, PostgreSQL için yeni özellikler ve hata düzeltmeleri ile yayınlandı.
API Delta Manifest: Yapılandırılmış API Değişiklik Günlüğü
API Delta Manifest, AI ajanları ve geliştiriciler için yapılandırılmış API değişiklik günlüğü sağlar.
Bir Programlama Dili Matematiği Yeniden Yazdı ve Yazılım Sıra Dışında
Lean programlama dili, matematikte devrim yaratarak yazılım doğrulama süreçlerini dönüştürüyor.