sanjoy_das's submissions

1.		Pyano: A formalization of first-order logic and Peano's axioms in Python (github.com/sanjoy)
		1 point by sanjoy_das on June 27, 2023 \| past
2.		Seemingly Impossible Turing Machines (playingwithpointers.com)
		2 points by sanjoy_das on July 14, 2019 \| past \| 1 comment
3.		Control Flow in TensorFlow and XLA's Auto-Clustering (playingwithpointers.com)
		5 points by sanjoy_das on Nov 11, 2018 \| past
4.		[video] Falcon a New JIT Compiler in Zing JVM (youtube.com)
		1 point by sanjoy_das on March 11, 2018 \| past
5.		Hyderabad’s Human Library treats humans as books that can be 'borrowed' (scroll.in)
		2 points by sanjoy_das on June 13, 2017 \| past
6.		Reference Counting: Harder Than It Sounds (playingwithpointers.com)
		53 points by sanjoy_das on July 24, 2016 \| past \| 24 comments
7.		Check Widening in LLVM (playingwithpointers.com)
		57 points by sanjoy_das on July 17, 2016 \| past \| 10 comments
8.		[pdf] Solving and Verifying the Boolean Pythagorean Triples Problem (arxiv.org)
		2 points by sanjoy_das on May 19, 2016 \| past