Upload a new image (PNG or JPEG, max 5MB) or remove your current avatar.

utensil.tngl.sh

1 followers 8 following

Migrating...

https://github.com/utensil
https://x.com/_utensil_
https://bsky.app/profile/iutensil.bsky.social
https://app.radicle.xyz/nodes/iris.radicle.xyz/users/did%3Akey%3Az6Mkoi6L46Tr54sMQmctod6Q43VjYyLwBh8VwJvftMZwdiHt
22 Repositories

Vouch for

Punchcard 0 commits

Pinned repositories
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
TypeScript
1
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.