twisty puzzles

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.

3Blue1Brown walks through a very hard Putnam competition problem and its elegant solution, emphasizing the visual intuition and the thought process behind solving it.

Numberphile with Daniel Erman on the Josephus problem, where people in a circle are eliminated in turn. It shows how the survivor's position follows a neat pattern tied to powers of two and binary.

Numberphile talks with Grant Sanderson of 3Blue1Brown about a darts puzzle with a shrinking bullseye. Solving it takes the volumes of high-dimensional spheres, and the answer turns up Euler's number.

Tom7 explains how he built a SIGBOVIK 2017 paper made only of printable ASCII bytes that is also a valid DOS executable. He writes a C compiler targeting printable x86 without self-modifying code and solves the puzzles the constraint creates.

Michael Hendricks of PriceCharting shares tricks and pain points from running Prolog in production for 18 months at Strange Loop. It argues Prolog is a productive modern language beyond logic puzzles, and includes a demo of changing code mid-execution.

A silent PLOS ONE video of New Caledonian crows solving Aesop's Fable puzzles by dropping objects to raise water and reach food. It shows example trials from experiments testing causal understanding of water displacement.

Joseph Anderson's long critique of Jonathan Blow's puzzle game The Witness, covering its gameplay, its hundreds of puzzles and its philosophical pretensions. He argues it is a great game that he nonetheless advises against playing.

A DevOps YouTuber tests GitHub Copilot on a range of Leetcode problems and finds it solves most immediately, with a few needing tweaks and some far off. He concludes it would outperform him in a FAANG-style interview.