Top New Best Ask Show Jobs

sanjoy_das

81 karma · joined June 22, 2015

http://playingwithpointers.com

submissions comments

Pyano: A formalization of first-order logic and Peano's axioms in Python

github.com·1 pts·sanjoy_das·

Seemingly Impossible Turing Machines

playingwithpointers.com·2 pts·sanjoy_das·

Control Flow in TensorFlow and XLA's Auto-Clustering

playingwithpointers.com·5 pts·sanjoy_das·

[video] Falcon a New JIT Compiler in Zing JVM

youtube.com·1 pts·sanjoy_das·

Hyderabad’s Human Library treats humans as books that can be 'borrowed'

scroll.in·2 pts·sanjoy_das·

Reference Counting: Harder Than It Sounds

playingwithpointers.com·53 pts·sanjoy_das·

Check Widening in LLVM

playingwithpointers.com·57 pts·sanjoy_das·

[pdf] Solving and Verifying the Boolean Pythagorean Triples Problem

arxiv.org·2 pts·sanjoy_das·