HN Explorer

ukj

↗ HN profile [ 91.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  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 9
  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 97