utensil.tngl.sh

Central hub for Utensil's infrastructure code: dev environment setup, just tasks, dotfiles, and container stacks

Utensil's monorepo for native projects: Rust, Zig, C++..., including code on GPU

Utensil's digital garden of Obsidian compatible notes via Quartz

Utensil's Hugo blog for math, tech and thoughts

Utensil's Zettelkasten-style forest of evergreen notes on math and tech.

Utensil's monorepo for formalization, e.g. Lean, Aya