HN Explorer

ukj

↗ HN profile [ 72.1 ms ] full profile
Karma
474
Created
August 20, 2013 (12y ago)
Submissions
0
[ my public key: https://keybase.io/tgenov; my proof: https://keybase.io/tgenov/sigs/cu4w17iBhHLdSF9M62sE6q-FgirOugHSl1WAGGBTCQY ]
  1. Language Aptitude Not Math Predicts Programming Skill (i-programmer.info)
    18 points 5
  2. Confessions of an Apostate Mathematician [pdf] (web.math.princeton.edu)
    3 points 6
  3. All of Mathematics is inconsistent. Turing machines are consistent

    There is a conflation between identity and equality in Classical logic, but a distinction between these concepts on a Turing machine. IDENTITY means unique memory address. EQUALITY means contents-of-memory address. The…

    2 points 12
  4. The death of Classical logic and the (re?)birth of Constructive Mathematics (forum.philosophynow.org)
    4 points 1
  5. I proved God

    I think... I am probably wrong. https://repl.it/repls/PriceyRotatingDevelopments

    1 points 0
  6. Introducing s2n, a New Open-Source TLS Implementation (blogs.aws.amazon.com)
    367 points 103