Q quantamagazine.org The deep link equating math proofs and computer programs 249 points digital55 3 years ago 162 comments