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 REPOS
blog
A Hugo blog for my math-intensive learning notes.
forest
Utensil's Zettelkasten-style forest of evergreen notes on math and tech.
garden
My digital garden
formal-land
My monorepo for formalization, e.g. Lean, Aya
native-land
A monorepo for my native projects, including on GPU
infra-land
infra-land — utensil's machine setup, configs, and infra code

ACTIVITY

this month

created 22 repositories
tech
writings
pygae-GAlgebra.jl
utensil.github.io
awesome-stars
blog
profile
forest
garden
formal-land
pygae-galgebra
poems
native-land
lean4_jupyter
lean-ga
slides
llm-playground
julia-playground
config
behind-programming
dockerfiles
infra-land