Mathematics

The purest of subjects. Well, maybe besides philosophy.

xkcd - purity

Thumbnail for The Mathematics of Types
Thumbnail for The Mathematics of Types

The Mathematics of Types

Programming isn't about mindlessly typing away on a keyboard. There is an aesthetic quality that comes with approaching a problem.

Thumbnail for AOC 2021 Day 22 – Reactor Reboot
Thumbnail for AOC 2021 Day 22 – Reactor Reboot

AOC 2021 Day 22 – Reactor Reboot

Reboot reactors from a submarine using set theory.