Mitchell Is Typing

I have a new post on the Topos blog.

The values of the impartial game Officers are probably periodic eventually.

(Previously, previously) To not bury the lede, we finally have our first new value for the OEIS sequence A000769: a(19)=32577 a(19) = 32577 a(19)=32577 This was calculated in 255 GPU-hours using eight RTX 4090s rented from Runpod.

For the last month I’ve been completely addicted to the logic puzzle game Tametsi.

In the Game of Life, which still lifes can be produced by crashing gliders together?

The code in the previous post is fairly quick, but of course we’d always prefer it to be quicker.

The No-three-in-line problem asks how many points can be placed on a n×nn \times nn×n grid so that no three points are on the same line, where the lines considered are of any slope and not just orthogonal and diagonal.

Benton’s Linear/Nonlinear Logic has models in (lax) monoidal adjunctions between monoidal and cartesian categories.

For years now I’ve been watching a movie in-person with friends every weekend that I’ve been able to.

When I walk around my neighbourhood, I am struck by the beautiful character of the houses here: the draughty Queenslanders and timber fences, the majestic external staircases, I could go on forever.