Devin O’Keefe

Write-ups of things I’ve built or worked out, most with something you can run in the page.

Index

Game-playing AI

1 piece

Solving SenetOct 2026Every position of Senet, valued under perfect play, and a 0.8 MB network trained to play like the 34 GB table. White, who throws first, wins 50.25%.playable · finished

Mathematics

1 piece

The ambidextrous sofaOct 2026Every sofa that can take a corner both ways has area at most 1.765. How the proof works, and a piece of it to check in your browser.explainer · finished