HN Explorer

veselin

↗ HN profile [ 76.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Kissat SAT Solver (fmv.jku.at)
    111 points 61
  2. ILF: AI-Based Fuzzer for Ethereum Smart Contracts (github.com)
    5 points 1
  3. Ask HN: Why are GSuite and Office 365 not suggesting DMARC for new users?

    I have seen many security reports come to say that various websites do not support DMARC. However, I am very concerned that it is "scareware" and does not solve a problem and only tries to bring a large consulting…

    1 points 0
  4. The algorithm for precision medicine [video] (m.youtube.com)
    1 points 0
  5. It is possible to have both precise and robust neural networks (sri.inf.ethz.ch)
    1 points 0
  6. Show HN: Deobfuscate Android Apps (reverse ProGuard) with Machine Learning (apk-deguard.com)
    11 points 1
  7. Show HN: Predict JavaScript variable names and types with CRFs (paper+poll) (srl.inf.ethz.ch)
    17 points 0
  8. Show HN: EventRacer - find concurrency bugs in websites. (eventracer.org)
    4 points 0