Hacker News new | ask | show | jobs
The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline (symbolic.software)
2 points by alpaylan 71 days ago