Straddling the boundary of impossible
(WIP) Trillium Devlog: Reproducible Python
A method of producing reproducible and containerized PyTorch environments via Nix and Poetry
tools    nix / python / torch
Announcing the Release of Pantograph v0.2.13
A machine-to-machine proof assistant interface
matp    nix / lean
Trillium Devlog: Calling Lean from Rust
tools / sde    nix / rust / lean
How I got into Computer Science
An unbelievable story
lore    culture
Trillium Devlog: A Rust development environment in Nix
tools / sde    nix / rust / emacs
LatexMk relative directory compilation hook
A method for finding project root in emacs
tools    configuration / emacs