onlydnaq

Karma: 103
Created: 14 years ago

Recent Submissions

1. ▲ Anatomy of a Ghost CVE (daniel.haxx.se) 2 points · 3 years ago · 0 comments
2. ▲ Crux: Our new open-source tool for software verification (galois.com) 3 points · 5 years ago · 0 comments
3. ▲ Fair is not the default (design.google) 2 points · 7 years ago · 0 comments
4. ▲ Pytorch 0.2.0 (github.com) 2 points · 8 years ago · 0 comments

All submissions on HN · View profile on HN