Tried to play a few games of Hanabi after a long break and wow I have regressed so much it's embarrassing. Thank you to the patient experts who put up with me throwing every game.
"Mr Professor Sir Chen" has to be satirical, right…? Nobody thinks this is how you're supposed to address someone?
can i say how much i love django
i barely have to use javascript for any of my CRUD websites and it's great, python all the way
finally done reading several hundred otter applications
now on to reading the 136 problem set submissions that i've received in the last 3 days while i was busy reading applications
Exchanged in my email today.
Q: If you don't mind me asking, why did you choose Minun and not Plusle as your profile picture?
A: I don't know if you can tell but I'm a pretty negative person.
From Jacob Tsimerman:
But what I try to point out is that if the only way you’ll be scared, the only way you’ll finally take it seriously, is when it literally is better than you at literally everything, then you’re guaranteed to have no warning time. If there’s nothing else that will update your beliefs, then the only time you wake up is when it’s literally right there.
ah god why can't people stop uploading malware to AUR wtf
can we not have nice things in this world jfc
I never realized that Toriel's name (in Undertale/Delta rune) comes from the word "tutorial".
Oh heck apparently fstrim.timer was disabled on my device for years.
$ sudo fstrim -av
/home: 923.6 GiB (991699480576 bytes) trimmed on /dev/nvme0n1p4
/boot: 644.2 MiB (675508224 bytes) trimmed on /dev/nvme0n1p1
/: 419.7 GiB (450605842432 bytes) trimmed on /dev/nvme0n1p3Okay, sudo systemctl enable fstrim.timer it is.
Maybe this will actually fix the hard drive issues now?
(I celebrated too early in #266.)
I had a guest post at Center for Education Progress go out recently. It's a short overview for the US math contest world for people who aren't familiar with the scene.
Want to write more about that on my own blog sometime, but first gotta make sure this year's OTIS is going to run…
I feel like bar charts don't help me in domains I don't already understand. Like, "number go up", yay?
Visited the Japanese Tea Garden in San Mateo Central Park toady. It was nice. Surprised I haven't been earlier.
Extending off #171, I wish people would stop comparing AI to the calculator. Like, no. That analogy is not going to work anymore.
how is scribd legal
It should be illegal to be jetlagged and sick at the same time.
In digital security, offense seems fundamentally easier than defense:
It's not fair. As the designer of a secure system, you have to think of every possible means of attack and protect against them all, but a cryptanalyst only has to find one hole in your security and exploit it. (Bruce Schneier, Applied Cryptography)
I'm always amazed things are still standing.
It still boggles my mind that some households wear street shoes indoors.
… as much as I hate Twitter/X, posting a counterexample to the Jacobian conjecture as a tweet is actually pretty funny. gj levent.
Today's trivia question:
there's a unique IMO country code which is also a possible
subject distribution for an IMO day ([ACGN][ACGN][ACGN]).
Which country is it?
(Update: Actually there's more than one if you include countries that previously attended IMO but not the last five years.)
On flights I can never finish the provided meals before the flight attendants start collecting the trays.