Video: What P vs NP is actually about
What if we could run algorithms backwards? We discuss how we could do this by turning algorithms into circuits, and how it all connects to P vs NP.
Autoguitar
A robotic stringed instrument: one motor tunes the string, and another one plucks it. Fretless, since the pitch is controlled by tuning. Controllable via MID...
Video: And this year’s Turing Award goes to…
We explain why Avi Wigderson got this year’s Turing award: We show how you can make any randomized algorithm deterministic.
Video: I made maps that show time instead of space
The first video on my new personal YouTube channel, explaining how spacetime maps work.
Video: Why arguing generals matter for the Internet
A Polylog video about the Byzantine Generals Problem, a solution, and how it relates to distributed databases and blockchains.
Spacetime Maps
A map where distances mean time and not space. Points that are close but take a long time to travel between get pushed away from each other, and vice versa.
sinewavespeech
sinewavespeech.com is an interactive website for exploring how human speech can be reduced extremely and still be intelligible.
Video: The flaw in every voting system
Our entry to the Summer of Math Exposition 3 video contest. And this time, it’s actual math, none of that computer science mumbo jumbo.
Gandalf – a prompt injection game
Get a ChatGPT-powered Gandalf to reveal the secret password for each level. Every time you guess the password, he levels up and tries harder not to give it a...
Sine Wave Speech in Python
A Python package for sine wave speech. What’s that? Let’s listen to an example. Can you tell what the voice is saying? I bet not:
Video: The most powerful (and useless) algorithm
Another Polylog video! We teased this one on April Fools’ Day with a video claiming that we had found the optimal algorithm for factoring numbers. This video...
Video: The hidden beauty of the A* algorithm
An algorithm explainer video from our Polylog channel, this time on how A* is basically Dijkstra with some adjustments to the edge lengths.
Large game: Impromptu
Impromptu is a game I’ve been working on with a few friends since September 2022, shortly after Stable Diffusion was released.
Master Thesis: Accelerating Neural Audio Synthesis
My ETH Zürich Master Thesis. Making AI-generated instrument sounds fast enough to comfortably run in real-time.
Video: We designed special dice using math, but there’s a catch
A video we made with Vašek (Václav) Rozhoň on making dice that can select random permutations. This one was for Summer of Math Exposition 2 so we tried extra...
Video: The Simplest Sorting Algorithm (You’ve Never Heard Of)
A video we made with Václav Rozhoň on the simplest sorting algorithm. Turns out the algorithm’s weirder than you’d expect. We tried to keep it short and sw...
Game: Significant Other(s)
Living a double life must be hard. How about a quadruple life? Quintuple? Find out! Navigate all your partners through the city using crossroad directions an...
Math video: The Trick That Solves Rubik’s Cubes and Breaks Ciphers (Meet in the Middle)
A video we made with Václav Rozhoň on an algorithm to solve the Rubik’s cube, with several digressions on more general topics. The animations were created...
Game: Jose’s Hose
Play it here. Oh no! There’s a fire in the city and José and Grant have to save the day. A cooperative platformer we made in three days for Mini Jam 98. The...
Math video: How to Use Beads and Strings to Find the Diameter of a Tree
A video showcasing a surprising way to view a certain graph algorithm. Made together with Václav Rozhoň for 3blue1brown’s Summer of Math Exposition contest...
Game: Tower Tower Defence Defence
Play it here. Towers do all the work in TD games. But who will defend the defenders themselves? A recursive tower defence game we made for Ludum Dar...
Game: Overly Fragile Relationships
Play it here. A game about the transience of human relationships. We made it for Ludum Dare 46, whose theme was “Keep it alive”. Here’s the game’s L...
Game: The Skewery
Play it here. Begin your skewer journey and satisfy every customer’s specific request. A puzzle game about learning to create the best skewers. We m...
Game: Paper, Cork and Bugs
Play it here. You don’t like bugs. Get rid of the bugs to move on to the next level. We made it for Ludum Dare 44, whose theme was “Your life is curre...
Sieve of Erathostenes in Brainf*ck
I got really into esoteric languages at some point, which culminated in me writing the Sieve of Erathostenes in Brainf*ck, a programming language with only 8...
Game: 4-Player Tron
I re-implemented the classic game Tron to support 4 players. We used to play a Flash version of the game at school but it was only for two players, so I deci...