One-Off Verified Transpilation with Claude | Dark Hacker News