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
Aleksandr_NFA
Show HN: ProofForge, AI agents whose proofs have to compile in Lean
1 points
Aleksandr_NFA
2026-09-26T20:44:01Z
github.com
Show HN: Server hardening playbook where every item is failure/fix/verify
5 points
Aleksandr_NFA
2026-09-07T04:31:03Z
github.com
Show HN: Evidence-to-Skill – a gate between untrusted sources and agent skills
4 points
Aleksandr_NFA
2026-08-01T21:48:41Z
github.com
Show HN: Curated Claude Code – a small agent harness with an intake gate
4 points
Aleksandr_NFA
2026-07-25T11:14:36Z
github.com