Answering emails at my desktop feels like clearing a field.
Like, I imagine I'm outside surrounded by grass that's taller than me, and I'm holding this farmer scythe (Vim + Mutt). And I just keep swinging it around wildly, until the emails are all cleared away and I can see in front of me again.
Look, kids, "I'm just being honest" is not an excuse for being mean. Believe me, I can tell the difference between someone who is being honest because they're trying to help, versus someone looking for an excuse to be mean.
One of the most surprising things you'll discover, if you start writing essays, is that people who disagree with you rarely disagree with what you've actually written. Instead they make up something you said and disagree with that.
Yeah, that sounds like what I remember on the few occasions I see people talking about math contests on Reddit.
Messenger.com won't be available after April 14, 2026
fml
TIL I learned that 않다 is a contraction for 아니하다, so -지 않다 is another example of a grammar pattern in Korean that is actually just the composition of simpler principles. I think that's the thing I find really nice about Korean grammar… so many constructions are actually composed from other ones.
oh wait I did not know that sl even has command line options. that's cute.
I'm going to miss having access to eduroam.
If anyone wants to follow the T-Mobile struggle bus, here's the link. I think at some point I'll make it into a blog post just for comedic effect.
I finally got around to cleaning up INSTALL.sh in my dotfiles and it feels so much better. That file was an utter mess for the longest time.
EWD 854 and EWD 1036 talk about the dangers of trying to make predictions about the future by using analogies to the past. Actually I feel like I haven't heard many other people say the same thing.
What happens if I tune out all predictions about radically new territory which are justified with a comparison to the past? Is that ignoring history?
TIL the story of Čech and higher homotopy groups. Bit of a sad story.
Nobody told me about tmux being able to detach (like nohup). I'd always
assumed it was just something like a window manager inside the terminal.
Glad to learn something new.
Achievement unlocked: file complaint with FCC.gov.
i thought i had no meetings today what a fool i was
Anguilla winning the TLD game:
"In the years before the real breakthrough of AI, revenue from .ai domains made up less than 1% of our state income, by 2025 it will be around 47%," explained Jose Vanterpool, Minister of Infrastructure and Communications (MICUHITES), in an interview with BBC.
The name "AxiomProver" seems like kind of an oxymoron.
Advertisement I enjoyed:
Boxaroo enjoys answering some of the world's hardest questions, like, "how do I get out of this room?" and "is this a puzzle?".
I could write a whole blog post about how mad I am T-mobile right now, but I'm so hosed I don't have the time right now.
I turned my Anki retention for Korean back to 88%, and it actually feels better somehow… fewer feelings of idiocy? But also 30% more reviews.
You get what you paid for, I guess.
TIL that "braille" should not be capitalized. Never knew that, actually.