polylog-cs

rubiks-cube-video

Using meet-in-the-middle to solve the Rubik's cube

universal-search

April fools' day videos explaining Levin's universal search

Astar

A video about the A* algorithm viewed as an application of the potential reweighting technique

fair_dice

byzantine-generals

Video explaining the problem of Byzantine generals and discussing its applications to database synchronization and cryptocurrencies

alpha-code

longest-path-video

Animations for the "Longest path in a tree" video

manim-rubikscube

A Manim implementation of the classic Rubik's Cube

simple_sort

voting-systems

A proof of Gibbard-Satterthwaite theorem, discussion of voting systems