calculus

David Beazley's PyCon 2019 tutorial derives the lambda calculus from the ground up in Python, using only single-argument functions. He builds booleans, numerals and more with no other language features.

Mathologer shows a simple idea, the commutator, that lets anyone who can solve the first layer design their own full Rubik's cube solution. The same idea carries over to other symmetric twisty puzzles such as the Megaminx.