Submissions from gregfjohnson.com

		Intuition on the Gödel Incompleteness Theorem via the Y Combinator (gregfjohnson.com)
		2 points by gregfjohnson on March 28, 2024 \| past
		Show HN: Interactive Rubik's Cube with sub-puzzles for solution steps (gregfjohnson.com)
		51 points by gregfjohnson on Dec 14, 2020 \| past \| 23 comments
		A libre interactive Rubik's Cube with a built-in solver (gregfjohnson.com)
		1 point by kick on Dec 11, 2019 \| past
		A libre interactive Rubik's Cube with a built-in solver (gregfjohnson.com)
		2 points by kick on Dec 10, 2019 \| past
		An elementary proof of a key lemma in Shor's quantum factoring algorithm (gregfjohnson.com)
		1 point by kick on Dec 8, 2019 \| past
		An elementary proof of a key lemma in Shor's quantum factoring algorithm (gregfjohnson.com)
		3 points by kick on Dec 6, 2019 \| past
		Red black tree builder (gregfjohnson.com)
		1 point by gregfjohnson on Aug 21, 2013 \| past