Hacker Newsnew | past | comments | ask | show | jobs | submit login

user: hmijail created: July 24, 2016 karma: 39 about: From system software to formal verification and still going submissions comments favorites