» Etiket
software-verification
2 yayın«8 Tem 2026
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.