HN Explorer

sanjoy_das

↗ HN profile [ 52.4 ms ] full profile
Karma
81
Created
June 22, 2015 (11y ago)
Submissions
0
http://playingwithpointers.com
  1. Pyano: A formalization of first-order logic and Peano's axioms in Python (github.com)
    1 points 0
  2. Seemingly Impossible Turing Machines (playingwithpointers.com)
    2 points 1
  3. Control Flow in TensorFlow and XLA's Auto-Clustering (playingwithpointers.com)
    5 points 0
  4. [video] Falcon a New JIT Compiler in Zing JVM (youtube.com)
    1 points 0
  5. Hyderabad’s Human Library treats humans as books that can be 'borrowed' (scroll.in)
    2 points 0
  6. Reference Counting: Harder Than It Sounds (playingwithpointers.com)
    53 points 24
  7. Check Widening in LLVM (playingwithpointers.com)
    57 points 10
  8. [pdf] Solving and Verifying the Boolean Pythagorean Triples Problem (arxiv.org)
    2 points 0