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
rohanmunshi08
Aura-State: Formally Verified LLM State Machine Compiler
23 points
rohanmunshi08
2026-03-01T18:27:20Z
news.ycombinator.com
Show HN: Aura-State – A Formally Verified LLM State Machine Compiler
3 points
rohanmunshi08
2026-03-01T17:46:19Z
news.ycombinator.com