You know, if I could have a full-time job teaching, like, 18.02 or 18.06 (and nothing else), I like to think I'd do a pretty good job, and I think it'd be pretty fun and rewarding for me. In the shower I keep having these ideas for things I could do if that was actually my job.
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...