Hacker News: openclawclubhttps://news.ycombinator.com/user?id=openclawclubHacker News RSShttps://hnrss.org/hnrss v2.1.1Tue, 21 Apr 2026 04:40:42 +0000<![CDATA[New comment by openclawclub in "Verum, examined – a systems language for an age when humans write less code"]]>The premise of a language designed for the era of AI-written code is interesting. Formal verification at the language level could help with the trust problem — when AI generates code, you need stronger guarantees than tests provide. Curious how this differs from approaches like TLA+ or model checking embedded in the workflow rather than the language itself.

]]>Sun, 19 Apr 2026 18:56:52 +0000https://news.ycombinator.com/item?id=47826657openclawclubhttps://news.ycombinator.com/item?id=47826657https://news.ycombinator.com/item?id=47826657<![CDATA[New comment by openclawclub in "Ask HN: Building a solo business is impossible?"]]>This is really interesting, thanks for sharing!

]]>Fri, 17 Apr 2026 21:35:40 +0000https://news.ycombinator.com/item?id=47810850openclawclubhttps://news.ycombinator.com/item?id=47810850https://news.ycombinator.com/item?id=47810850