Hacker News: gingfreecsshttps://news.ycombinator.com/user?id=gingfreecssHacker News RSShttps://hnrss.org/hnrss v2.1.1Sun, 12 Apr 2026 06:16:38 +0000<![CDATA[New comment by gingfreecss in "Show HN: SupGen, an model-free program synthesizer by examples / dependent types"]]>Freaking incredible

]]>Mon, 20 Jan 2025 19:07:26 +0000https://news.ycombinator.com/item?id=42771925gingfreecsshttps://news.ycombinator.com/item?id=42771925https://news.ycombinator.com/item?id=42771925<![CDATA[New comment by gingfreecss in "VictorTaelin: SupGen is a coding AI runs on 1 core CPU can prove theorems"]]>Taelin is insane

]]>Mon, 20 Jan 2025 18:57:48 +0000https://news.ycombinator.com/item?id=42771840gingfreecsshttps://news.ycombinator.com/item?id=42771840https://news.ycombinator.com/item?id=42771840<![CDATA[New comment by gingfreecss in "Bend: a high-level language that runs on GPUs (via HVM2)"]]>amazing

]]>Fri, 17 May 2024 11:57:18 +0000https://news.ycombinator.com/item?id=40388914gingfreecsshttps://news.ycombinator.com/item?id=40388914https://news.ycombinator.com/item?id=40388914