» Etiket
software-verification
3 yayınYeşil Skor Bir Kanıt Değildir: Otorite Boşlukları Testten Kaçtı
16/16 geçen bir test paketi, otorite modelindeki üç kritik açığı gizliyordu. Yeşil skorun neden tek başına yeterli kanıt olmadığına dair bir analiz.
Prompt'tan Loop Engineering'e: Asıl Sorun Doğrulayıcı
Prompt, context, loop engineering: isim değişse de mühendislik birimi değişiyor. Son adımda asıl darboğaz model değil, doğrulayıcı (verifier).
Refactyl'ın doğrulayıcısı, kodun kendisinden daha hatalıydı
Vue 2'den Vue 3'e geçiş yapan Refactyl, geçerli kodu hatalı diye reddeden bir doğrulayıcı hatası buldu. AST paylaşımının doğrulama araçlarında neden tehlikeli olduğunu anlatıyoruz.
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.com