One-Off Verified Transpilation with Claude / hacker news