Leni Aniva
Posts
Categories
Tags
Publications
Archives
About
RSS
Tools
(WIP) Trillium Devlog: Reproducible Python
A method of producing reproducible and containerized PyTorch environments via Nix and Poetry
tools
nix
/
python
/
torch
2024-03-18
Trillium Devlog: Calling Lean from Rust
tools
/
sde
nix
/
rust
/
lean
2024-03-04
Trillium Devlog: A Rust development environment in Nix
tools
/
sde
nix
/
rust
/
emacs
2023-10-21
LatexMk relative directory compilation hook
A method for finding project root in emacs
tools
configuration
/
emacs
2023-09-17
Hyprland/Waybar Desktop Environment
tools
configuration
2023-04-29
The Philosophy of Colours
How colours impact the cognitive load of the reader
tools
configuration
/
notes
2023-02-23
Doom Emacs
tools
configuration
/
emacs
2023-02-12
New Website
tools
website
2023-02-01