HN Explorer

xenny

↗ HN profile [ 32.2 ms ] full profile
Karma
3
Created
June 10, 2015 (11y ago)
Submissions
0
  1. Automated proofs about floating-point numbers using Z3 Theorem Prover in Python (github.com)
    2 points 0
  2. CodeAgon – A hiring challenge by CodeNation – Jan 26, 2017 (hackerrank.com)
    1 points 0
  3. Convolutional network layers map the function of the human visual system (hal-cea.archives-ouvertes.fr)
    2 points 0