2024
03-18
(WIP) Trillium Devlog: Reproducible Python
A method of producing reproducible and containerized PyTorch environments via Nix and Poetry
03-17
Announcing the Release of Pantograph v0.2.13
A machine-to-machine proof assistant interface
2023
11-30
How I got into Computer Science
An unbelievable story
09-17
LatexMk relative directory compilation hook
A method for finding project root in emacs
02-23
The Philosophy of Colours
How colours impact the cognitive load of the reader
02-13
Cooking: Sichuan Fried Pork
Sichuan Style Fried Pork adaptable to frying tofu
02-12
02-12
Cooking: Curry
Japanese style flank plate, carrot, and potato curry
02-03
02-01