» Etiket
compilers
45 yayınScriptc: Vercel'in JS motorsuz TypeScript-native derleyicisi
Vercel'in scriptc'i, gerçek TypeScript'i JS motoru olmadan native binary'e derliyor; Node ile byte-byte eşleşen çıktı, düşük başlangıç süresi ve bellek kullanımı.
Gherkin Labs, Google TPU'larını Ters Mühendislikle Simüle Etti
Gherkin Labs, Google TPU sürücü protokolünü ters mühendislikle çözüp çevrim düzeyinde izleme sunan bir TPU simülatörü geliştirdi.
Headstart: Erken metadata ile Rust derlemeleri 2 kata kadar hızlanıyor
Headstart yaması, rustc'nin erken metadata yazmasıyla Rust derlemelerini cargo check'te %54'e, build'te %42'ye kadar hızlandırıyor.
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'ın Yeni Nesil Trait Çözücüsü Nightly'de Varsayılan Oldu
Rust'ın yeni nesil trait çözücüsü nightly'de varsayılan hale geldi; 200'den fazla hata düzeltildi, derleme performansı önemli ölçüde iyileşti.
Nvidia B200'de Komut Hattı Tehlikeleri: Statik Analiz Neden Yetersiz Kalıyor
Nvidia B200'de derleyici under-stall hataları: predicate bağımlılığı kaçırma ve sabit gecikmeli RAW tehlikelerinin silikon üzerinde analizi.
eBPF ile Linux çekirdeğinde, yama yapmadan DOOM çalıştı
BPF Capsule projesi, standart Linux eBPF doğrulayıcısı ve JIT'i ile hiç çekirdek yaması olmadan DOOM'u çekirdek içinde çalıştırmayı başarıyor.
Rust'ta Polonius Alpha Ödünç Denetleyicisi Kararlılığa Hazırlanıyor
Rust'ın Polonius alpha ödünç denetleyicisi kararlılığa hazırlanıyor: NLL sınırlamaları çözülüyor, formal model ve performans testleri sürüyor.
@ttsc/graph: TypeScript Derleyicisinden AI Ajanları için Kod Grafiği
@ttsc/graph, TypeScript derleyicisinden üretilen kod grafiğiyle AI ajanlarının token maliyetini yaklaşık yüzde 90 azaltan bir MCP sunucusu.
Lucen: iki yorumla Python döngülerini paralelleştirir, bit-bit aynı sonuç
Lucen, iki yorum satırıyla Python döngülerini paralelleştirir ve sıralı çalıştırmayla bit-bit aynı sonucu garanti eder. Rust çekirdekli, v1.1, Apache-2.0.
Proof-Carrying-BPF: eBPF Doğrulayıcısı İçin Kanıt Taşıyan Programlar
SOSP '26 makalesi, eBPF doğrulayıcısının reddettiği karmaşık BPF programlarını kanıt taşıyan (proof-carrying) yaklaşımla kabul ettirmeyi öneriyor.