Hacker News 프런트페이지 · 발행 2026-10-01 · 수집 2026-10-03Anatomy of a Lean proof for software engineers ↗Comments원문 읽기자료 고유 링크