Verified Code Transpilation with LLMs | Dark Hacker News