xenny

3 ms·

1. 1.▲
   Automated proofs about floating-point numbers using Z3 Theorem Prover in Python(github.com)

   2 points by xenny 9y ago|0 comments
2. 2.▲
   CodeAgon – A hiring challenge by CodeNation – Jan 26, 2017(hackerrank.com)

   1 points by xenny 10y ago|0 comments
3. 3.▲
   Convolutional network layers map the function of the human visual system(hal-cea.archives-ouvertes.fr)

   2 points by xenny 10y ago|0 comments
4. 4.▲
   by xenny 10y ago

   Me: She groped me. LawBot: Did she have a pen*s? xD
5. 5.▲
   by xenny 10y ago

   Absolutely.
6. 6.▲
   by xenny 10y ago

   Can someone summarise the paper? Seems to complex for a lay-man. For example, what is Lattice QCD?