Y Hacker News new | ask | show | jobs

user: onlydnaq created: 2011-01-11 karma: 103 submissions: 0 points | 0 comments 0 points | 0 comments Anatomy of a Ghost CVE 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Crux: Our new open-source tool for software verification 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Fair is not the default 2 points | 0 comments 0 points | 0 comments Pytorch 0.2.0 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments