#165 — Thu 05 February 2026 by Evan Chen

The name "AxiomProver" seems like kind of an oxymoron.

#164 — Thu 05 February 2026 by Evan Chen

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?".

#163 — Wed 04 February 2026 by Evan Chen

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.

#162 — Mon 02 February 2026 by Evan Chen

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.

#161 — Sun 01 February 2026 by Evan Chen

TIL that "braille" should not be capitalized. Never knew that, actually.