arXiv cs.SE + cs.HC: vibe coding / human-in-the-loop
The Order Is the Guarantee: Verifier-Budgeted Code Deletion with Static-First Learned Proposals
질서는 보증이다: 정적 우선 학습 제안을 활용한 검증자 예산 코드 삭제
No write-up yet — this entry is still just the auto-fetched hook. Aaron's own summary (200–500 words) will replace this note once he's written it.