| 1. | | Kissat SAT Solver (fmv.jku.at) |
| 111 points by veselin on July 28, 2020 | past | 60 comments |
|
| 2. | | ILF: AI-Based Fuzzer for Ethereum Smart Contracts (github.com/eth-sri) |
| 5 points by veselin on Dec 3, 2019 | past | 1 comment |
|
| 3. | | Ask HN: Why are GSuite and Office 365 not suggesting DMARC for new users? |
| 1 point by veselin on Nov 22, 2019 | past |
|
| 4. | | The algorithm for precision medicine [video] (youtube.com) |
| 1 point by veselin on Nov 7, 2019 | past |
|
| 5. | | It is possible to have both precise and robust neural networks (ethz.ch) |
| 1 point by veselin on Oct 1, 2019 | past |
|
| 6. | | Show HN: Deobfuscate Android Apps (reverse ProGuard) with Machine Learning (apk-deguard.com) |
| 11 points by veselin on Oct 17, 2016 | past | 1 comment |
|
| 7. | | Show HN: Predict JavaScript variable names and types with CRFs (paper+poll) (ethz.ch) |
| 17 points by veselin on Nov 6, 2014 | past |
|
| 8. | | Show HN: EventRacer - find concurrency bugs in websites. (eventracer.org) |
| 4 points by veselin on Sept 23, 2013 | past |
|
