Hacker Next
Show HN: Railo – Deterministic security patch bot using AST and Z3 (no LLMs)railo.dev
4 points by mdzariflatif 1 days ago | 1 comment