Viewing profile — xenny

xenny

HN member

No profile information was provided.

story
Automated proofs about floating-point numbers using Z3 Theorem Prover in Python
Thu, Feb 15, 2018, 7:52 PM UTC
story
CodeAgon – A hiring challenge by CodeNation – Jan 26, 2017
Thu, Jan 12, 2017, 8:45 AM UTC
story
Convolutional network layers map the function of the human visual system
Wed, Nov 23, 2016, 9:10 AM UTC
comment
Comment #12823318
Me: She groped me. LawBot: Did she have a pen*s? xD

Sat, Oct 29, 2016, 9:43 AM UTC
comment
Comment #12823312
Absolutely.

Sat, Oct 29, 2016, 9:42 AM UTC
comment
Comment #12713632
Can someone summarise the paper? Seems to complex for a lay-man. For example, what is Lattice QCD?

Sat, Oct 15, 2016, 11:49 AM UTC