Thread

1. ascent817 · 1789663996 · focus · HN ↗

   I’m working on a DO-178C compliant verification suite for avionics software with Z3 at work, criminally underrated

Unofficial Hacker News client; not affiliated with Y Combinator.