<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Verified Code Transpilation with LLMs · HackerPapers discussions</title><link>https://hackerpaper.kaipfister.de/p/2406.03003/</link><description>Collected HN comments and submissions linking this paper.</description><language>en</language><lastBuildDate>Mon, 02 Nov 2026 11:27:26 GMT</lastBuildDate><atom:link href="https://hackerpaper.kaipfister.de/p/2406.03003/feed.xml" rel="self" type="application/rss+xml" /><item><title>Verified Code Transpilation with LLMs — HN submission</title><link>https://news.ycombinator.com/item?id=42994933</link><guid isPermaLink="false">urn:hackerpapers:submission:2406.03003:42994933</guid><pubDate>Sun, 09 Feb 2025 22:51:11 GMT</pubDate><description>&lt;p&gt;Ask HN: How do I learn more about LLM-assisted transpilation (e.g. Python-&amp;gt;C)?&lt;/p&gt;&lt;p&gt;I’ve been experimenting with Flet (a Python framework for Flutter) to quickly prototype cross-OS apps, mostly to easily get to iOS. It turns out Flet/Flutter is not great on iOS, and a number of packages don&amp;#x27;t work on iOS (PyTorch, Sentence-Transformer along with more usual ones). I got frusterated and had Aider+Claude just rebuild my app in Swift (+ some server calls for sentence-transformer) and it worked surprisingly quickly (and almost well)! This got me thinking ... maybe the future is building in janky expressive Python (or high level language of your choice) and using LLM enabled…&lt;/p&gt;&lt;p&gt;2 points; 1 discussion reply on HN. &lt;a href="https://hackerpaper.kaipfister.de/p/2406.03003/"&gt;Paper and source history&lt;/a&gt;. A submission is not an endorsement.&lt;/p&gt;</description><category>cs.PL</category></item><item><title>Verified Code Transpilation with LLMs — HN submission</title><link>https://news.ycombinator.com/item?id=40634775</link><guid isPermaLink="false">urn:hackerpapers:submission:2406.03003:40634775</guid><pubDate>Mon, 10 Jun 2024 15:42:41 GMT</pubDate><description>&lt;p&gt;Verified Code Transpilation with LLMs&lt;/p&gt;&lt;p&gt;&lt;/p&gt;&lt;p&gt;13 points; 4 discussion replies on HN. &lt;a href="https://hackerpaper.kaipfister.de/p/2406.03003/"&gt;Paper and source history&lt;/a&gt;. A submission is not an endorsement.&lt;/p&gt;</description><category>cs.PL</category></item></channel></rss>
