Okay the following testimonial for shellcheck is actually great:
At first you're like "shellcheck is awesome" but then you're like "wtf are we still using bash"
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.