Latest song on repeat: number one rockstar
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.
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
I don't know why I didn't make mango earlier this is so much better than wrapping lines by hand
I've decided to take revenge on all the scrapers poking /wp-admin on my
websites by redirecting them to a cool music video.
https://github.com/vEnhance/django-bot-rickroll
Back when I was still a teenager, Rusczyk showed me the sentence "The internet makes dumb people dumber and smart people smarter". I'm starting to feel the same about AI.
Spotted today in OTIS server logs:
⚠️ Not Found: /robots.txt
Freaking /wp-admin 404 errors polluting my server logs.
TIL http://nyarchlinux.moe/ exists this is so funny
omg the Papago app has a Christmas earmuffs it's so cute

Also I totally did not know this but:
The name Papago comes from the Esperanto word for parrot.
I finally know the difference between UTF-8, UTF-16, and Unicode. It was actually easy to understand, I just never thought to until now when I was surfing Wikipedia and actually read about character encodings. Wish I had earlier just for feeling less ignorant.
I am grudgingly trying out Pomodoro for my Anki study sessions to see if helps my concentration. Feels like a death knell.
Actually I find it kind of cute that in Korean, 결혼하다 (to marry) is an intransitive verb (unlike in English where it's transitive --- so you "marry with someone", rather than "marry someone").
OTIS-WEB is now on uv too and all the Django applications are in harmony
Technology tried out today:
Seem to be working as advertised.