hexhex

6 ms·

1. 31.▲
   Automated deducted proof of the square root of a prime number is irrational(nevidal.org)

   2 points by hexhex 10y ago|0 comments
2. 32.▲
   Moving Fast with Software Verification at Facebook [pdf](scontent-fra3-1.xx.fbcdn.net)

   1 points by hexhex 11y ago|0 comments
3. 33.▲
   by hexhex 11y ago

   Especially strange: "If
 you
 already 
know
 the 
answer, 
don't
 just
 blurt 
it 
out!

 They 
will 
suspect 
that
 you
 already 
knew 
the
 answer
 and 
didn't 
tell 
them 
you've 
seen 
the 
question
 before.

 At 
le
4. 34.▲
   MIT on how to cheat on a Google interview [pdf](courses.csail.mit.edu)

   6 points by hexhex 11y ago|1 comments
5. 35.▲
   An Introduction to Quantum Computing for Non-Physicists (2000) [pdf](arxiv.org)

   74 points by hexhex 11y ago|3 comments
6. 36.▲
   by hexhex 12y ago

   I am not sure whether I understood everything right, but I think they computed just with the data they got from the links to Facebook-Profiles. Although their computing is very smart, the output cant be better than the input they used. Just