Tag Archives: game

Idea for a physics-based rolling ball puzzle game

For quite a while I’ve had this idea for a cool game, and had vague intentions to learn some game/physics framework well enough to make it, but I’ve finally admitted that this is never going to happen. Instead I’ll just … Continue reading

Posted in projects | Tagged , , , , , , | 2 Comments

Conversations with a six-year-old on functional programming

My six-year-old son walked up to me yesterday. “What are you reading?” At the time, I was reading part of Janis Voigtländer’s habilitation thesis. Unsure where to even start, I decided to just answer straightforwardly: “I’m reading a very long … Continue reading

Posted in teaching | Tagged , , , , , | 73 Comments

Pan-Galactic Division in Haskell

Summary: given an injective function , it is possible to constructively “divide by ” to obtain an injection , as shown recently by Peter Doyle and Cecil Qiu and expounded by Richard Schwartz. Their algorithm is nontrivial to come up … Continue reading

Posted in haskell, math, species | Tagged , , , , , , , , , | 6 Comments