Hacker News: pullrunhttps://news.ycombinator.com/user?id=pullrunHacker News RSShttps://hnrss.org/hnrss v2.1.1Wed, 15 Jul 2026 23:42:16 +0000<![CDATA[Show HN: Pullrun – Run One OCI Image as a Container, Firecracker, or Apple VM]]>Article URL: https://github.com/pullrun/pullrun

Comments URL: https://news.ycombinator.com/item?id=48910087

Points: 7

# Comments: 0

]]>Tue, 14 Jul 2026 17:19:20 +0000https://github.com/pullrun/pullrunpullrunhttps://news.ycombinator.com/item?id=48910087https://news.ycombinator.com/item?id=48910087<![CDATA[New comment by pullrun in "GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]"]]>I'd love to see the failed runs too. The success is impressive, but the distribution of attempts would be just as interesting.

]]>Fri, 10 Jul 2026 20:29:44 +0000https://news.ycombinator.com/item?id=48864822pullrunhttps://news.ycombinator.com/item?id=48864822https://news.ycombinator.com/item?id=48864822