sanjoy_das 的提交内容

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

Seemingly Impossible Turing Machines

Control Flow in TensorFlow and XLA's Auto-Clustering

[video] Falcon a New JIT Compiler in Zing JVM

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

Reference Counting: Harder Than It Sounds

Check Widening in LLVM

[pdf] Solving and Verifying the Boolean Pythagorean Triples Problem