utensil.tngl.sh

1 followers 8 following

Migrating...

1 followers 8 following

https://github.com/utensil

https://x.com/_utensil_

22 Repositories

Punchcard 0 commits

blog

Utensil's Hugo blog for math, tech and thoughts

forest

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

garden

Utensil's digital garden of Obsidian compatible notes via Quartz

formal-land

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

native-land

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

infra-land

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

Activity

This user does not have any activity yet.