HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
th0rgal2
Show HN: Verity, Formally verified smart contracts from spec to bytecode
1 points
th0rgal2
2026-02-26T08:14:25Z
github.com
Show HN: Open Agent, My attempt at a managed environment for AI coding agents
3 points
th0rgal2
2026-01-23T15:46:07Z
github.com
GraphGPT
1 points
th0rgal2
2025-10-25T07:38:49Z
news.ycombinator.com