Straddling the boundary of impossible
Hyprland/Swayfx and Eww Desktop Environment
tools    configuration
Pre-release announcement of Pantograph v0.3
A machine-to-machine proof assistant interface
matp    nix / lean
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