Self proclaimed applied category theorist (aka functional programmer).
vangogh_oc_fix. A linux kernel module to override AMD Van Gogh APU PowerPlay limits for CPU
23dotfiles. Files that start with a period go here.
6weirdly_concrete. A simulator for xkcd 2529's weirdly concrete problem
6paragrai. A python program to add line breaks to text without line breaks
4noperthedron. A Lean4 formalization of "A convex polyhedron without Rupert’s property"
2