I wonder how different writing Lean code is from writing assembly code.
every time i read something on twitter i'm glad i'm not on twitter
I feel at this point I have three different versions of every linter: a system version, a mason version, and a prek version. Feels kind of wasteful.
Just discovered ln-hunt exists:
Puzzlehunting in another world with my absurd skills
So I was going to catch up on work this week, but maybe...
claire suggested naming this blog to wall-e(van) which i have to admit is super cute