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
mdzariflatif
Show HN: Fix Gate – verifies security-fix PRs, incl. AI-written ones
2 points
mdzariflatif
2026-11-10T18:26:35Z
github.com
Life Forge – Autonomous Flight Simulator for AI Agents
1 points
mdzariflatif
2026-09-27T17:00:44Z
github.com
Show HN: Life Forge – Open-source flight simulator for autonomous AI agents
2 points
mdzariflatif
2026-09-23T10:17:33Z
github.com
Show HN: Railo – Deterministic AST security patches verified with Z3 SMT
3 points
mdzariflatif
2026-09-13T19:51:41Z
www.railo.dev
Show HN: Railo – Deterministic security patch bot using AST and Z3 (no LLMs)
4 points
mdzariflatif
2026-08-26T17:50:07Z
www.railo.dev