August 3, 2026 Karpathy가 Pelican 벤치마크 졸업 선언, LLM의 Collatz 반증으로 드러난 Lean 커널 soundness 버그, NetBSD 11.0 출시 KarpathyPelicanAI 벤치마크Lean
August 2, 2026 Cursor 비용 정보 제거와 harness 토큰 소비 29배 격차, NetBSD 11.0 출시, RipGrep musl segfault AI 분석에 커널 개발자 제동, Ruby Central 논란 지속 CursorAI 코딩 비용NetBSD 11.0RipGrep
