## Articles

2023

A structure theorem for semimodules over rings

Three ways for functions to act on power sets

Googology (archived)

Regular commutative semigroups

Sequences with recurring finite differences

Fifth-repeating musical scales

The pyramid hotel

A tour of Inv (part 2)

The chopstick game

Cube rotation notation

Big and small numbers

A tour of Inv

2022

Classification of heptatonic scales

An infinite chain of fields

Free extensions

Overcategories and relations

The three utilities problem

How many cellular automata are there?

Cellular automaton: Symmetrica

Cellular automaton: Longevity

Generalising the mean of a list

Feasibility of regular polytopes

2021

Notation complaints

A pointfree proof

Lazy Javascript

Variants are monads

A clever means of numerical overloading

Zero-augmentation

Half derivative of sine

Weighted fibonacci sequences

The Lune type system

Zero = infinity?