veselin's submissions

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