HN Explorer

hexhex

↗ HN profile [ 190 ms ] full profile
Karma
169
Created
September 23, 2014 (11y ago)
Submissions
0
  1. Oxford and King’s developing prototype for rapidly deployable ventilator (oxvent.org)
    2 points 0
  2. Shared scooters don’t last long (qz.com)
    2 points 0
  3. The Philosopher Who Says We Should Play God (nautil.us)
    1 points 0
  4. First flight of ion-drive aircraft (nature.com)
    1 points 0
  5. Idris to PHP – Yes, really (github.com)
    3 points 0
  6. Logic and Proof – learning proving with Lean (avigad.github.io)
    1 points 0
  7. Boolean Blindness (existentialtype.wordpress.com)
    2 points 0
  8. How I made the switch to AI Research (2017) (medium.com)
    2 points 0
  9. Coinbase will support Segwit2x, but not Bitcoin Gold (blog.coinbase.com)
    3 points 0
  10. Ex Machina's Scientific Advisor – Murray Shanahan [video] [] (youtube.com)
    3 points 0
  11. Ask HN: Which realisation changed your view of the world, but seems trivial now?

    As soon as you understood something, it does not seem complex anymore. But before you understood it, it was a mystery. So what is it that you now think is obvious but where others (in particular, your former self)…

    1 points 2
  12. Automated deducted proof of the square root of a prime number is irrational (nevidal.org)
    2 points 0
  13. Moving Fast with Software Verification at Facebook [pdf] (scontent-fra3-1.xx.fbcdn.net)
    1 points 0
  14. MIT on how to cheat on a Google interview [pdf] (courses.csail.mit.edu)
    6 points 1
  15. An Introduction to Quantum Computing for Non-Physicists (2000) [pdf] (arxiv.org)
    74 points 3