tech
Utensil's technical posts in Chinese (mostly 2005-2020)
writings
Utensil's writings in Chinese
pygae-GAlgebra.jl
Julia interface to GAlgebra via PyCall
utensil.github.io
My Github Home
awesome-stars
A curated list of my GitHub stars!
blog
A Hugo blog for my math-intensive learning notes.
profile
profile
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
pygae-galgebra
Symbolic Geometric Algebra/Calculus package for SymPy 🔮
poems
poems
native-land
A monorepo for my native projects, including on GPU
lean4_jupyter
A Lean 4 Jupyter kernel via repl
lean-ga
A partial formalization of Geometric Algebra in the Lean formal proof verification system.
slides
My slides using reveal-md
llm-playground
llm-playground
julia-playground
A series of experiments with Julia and Python
config
Personal checklist for setting up a development environment. Inspired by mdo/config
behind-programming
A book to gather and distill principles, patterns and templates behind programming.
dockerfiles
🐳 Dockerfiles https://hub.docker.com/u/utensil/
infra-land
infra-land — utensil's machine setup, configs, and infra code