mdzariflatif

4 ms·

1. 1.▲
   Show HN: Railo – Deterministic AST security patches verified with Z3 SMT(railo.dev)

   3 points by mdzariflatif 20d ago|0 comments
2. 2.▲
   Show HN: Railo – Deterministic security patch bot using AST and Z3 (no LLMs)(railo.dev)

   4 points by mdzariflatif 1mo ago|1 comments