» Etiket
software-engineering
72 yayınKodun Çoğunu Yapay Zeka Yazınca İnceleme Süreci Nasıl Değişir
Claude gibi ajanlar kodun çoğunu yazınca klasik PR onayı anlamını kaybediyor; yeni kontrol modeli spesifikasyon ve doğrulama planına kayıyor.
Programlamayı On Yılda Öğrenmek: Norvig'in 1998 Klasiği
Peter Norvig'in 1998 klasiği: Programlamada gerçek ustalık için neden on yıl/10.000 saatlik bilinçli pratik gerekiyor, kısayol neden yok.
Review-Loop Engineering: Ajan Döngülerinde İnsan Denetimini Tasarlamak
Ajan kodlama döngülerinde insan denetimini gerçek kılan 'review-loop engineering' yaklaşımı: üç döngü, inceleme paketleri ve rubber-stamp riski.
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.comBir AI kod tabanınızı gerçekten anlıyor mu? Bunu nasıl test edersiniz
Bir AI ajanının kod tabanı anlayışını nasıl test edersiniz? Teardown denetimi yöntemi, on üç Ruby projesinde sınandı; güçlü ve zayıf yanları.
Kani: Rust için model checker doğrulama aracı
Kani, Rust'ın MIR temsilini CBMC doğrulama motoruna aktararak unsafe kod, fonksiyonel doğruluk ve panic içermemeyi kanıtlıyor; Rust standart kütüphanesinde binlerce harness ile üretimde çalışıyor.
Refactoring, AI Ajanlarının Token Maliyetini %83 Düşürüyor
Ajan tabanlı bir kod tabanında yapılan refactoring deneyi, tekrarlayan değişikliklerde girdi token maliyetini %83 azalttı.
Yapay Zeka Kodlamasında Doğru Ajanı Doğru Aşamada Kullanmak
Shape Up, OpenSpec ve ADR'leri birleştiren bu çerçeve, yapay zeka destekli kodlamada işi insan kararı, ajan taslağı ve otomasyon arasında ayırıyor.
Kohezyon Serisi Tamamlandı: Beş Makale Bağımsız Değişim İlkesi'ne Bağlanıyor
Beş makalelik kohezyon serisi Zenodo'da tamamlandı: kohezyonun resmi tanımından Bağımsız Değişim İlkesi'ne (IVP) uzanan kanıtlanmış bir zincir.
Yapay Zekâ Ajanları Diff Tabanlı Kod İncelemesini Nasıl Geçersiz Kılıyor
Yapay zekâ kod ajanları diff tabanlı incelemeyi güvenilmez kılıyor; niyet artık test adları, builder API'leri ve kontrat testlerinde yaşıyor.
FOMO'yla AI Kodlama: Hız Efsanesi, Gizli İnceleme Borcu
GitHub'ın %55 hız kazancı ile METR'in %19 yavaşlama bulgusu arasındaki fark, AI kodlama araçlarının FOMO ile alınmasının inceleme ve doğrulama maliyetini nasıl gizlediğini gösteriyor.