HNHacker News
TopNewBestAskShowJobs

ukj

504 karma · joined August 19, 2013

[ my public key: https://keybase.io/tgenov; my proof: https://keybase.io/tgenov/sigs/cu4w17iBhHLdSF9M62sE6q-FgirOugHSl1WAGGBTCQY ]
submissionscomments

Language Aptitude Not Math Predicts Programming Skill

i-programmer.info·18 pts·ukj·
5

Confessions of an Apostate Mathematician [pdf]

web.math.princeton.edu·3 pts·ukj·
6

All of Mathematics is inconsistent. Turing machines are consistent

2 pts·ukj·
9

The death of Classical logic and the (re?)birth of Constructive Mathematics

forum.philosophynow.org·4 pts·ukj·
1

Introducing s2n, a New Open-Source TLS Implementation

blogs.aws.amazon.com·367 pts·ukj·
97