Hacker News: Mkld27https://news.ycombinator.com/user?id=Mkld27Hacker News RSShttps://hnrss.org/hnrss v2.1.1Tue, 01 Sep 2026 09:05:46 +0000<![CDATA[Show HN: Prove your code produced your claims without making reviewers rerun it]]>Article URL: https://github.com/27-GROUP/kveritas-go/

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

Points: 12

# Comments: 8

]]>Mon, 31 Aug 2026 02:44:56 +0000https://github.com/27-GROUP/kveritas-go/Mkld27https://news.ycombinator.com/item?id=49505043https://news.ycombinator.com/item?id=49505043