Apparently "Häagen-Dazs" is an completely artificial invented name.
His daughter Doris Hurley reported in the 1996 PBS documentary An Ice Cream Show that her father sat at the kitchen table for hours saying nonsensical words until he came up with a combination he liked. The reason he chose this method was so that the name would be unique and original.
You miss N% of the shots you don't take for any every integer N.
You can tell I got nothing done today because my dotfiles repository has 265 lines of changes in the last 12 hours 🙃
tried out astral-sh's typechecker ty which i found out about today. as usual i'm blown away.
if i knew rust i would seriously consider applying for a job at astral
Today was another "oh crap the kernel broke time to regenerate fstab" day.
My laptop's /boot ran out of space.
Turns out there isn't actually any reason
that initramfs or vmlinuz-linux need to go on the EFI partition.
So the solution was to
/efi/boot folder (not a mount point) on the root partition.initramfs or vmlinuz-linux onto that folder.grub-install and grub-mkconfig./etc/fstab.Could've been worse. Thanks Reddit.
Anki reviews have become way less painful since changing desired retention from 90% to 84%. I guess my memory is just too bad for 90% to be a realistic goal.
Still love the feeling of having an idea for a feature at 10am on a Tuesday morning and having it shipped and live on production by noon. Gotta love Django.
The more I learn about Korean grammar, the more I'm convinced that English grammar makes no sense and is way less elegant.
Korean adjectives (형용사) behave quite similarly to as verbs (동사), so much so the term 용언 refers to both (= 형영사 + 동사 + copula), and sometimes people use the term "descriptive verb" instead.
And then there's a different part of speech called 관형사 for noun-modifiers ("adnouns") that actually goes before the noun. 형용사 can be conjugated into 관형사, but so can 동사 (analogous to "running" in "the running car", say).
I wonder if I should just ditch the English words and use the correct Korean terms instead. I don't think the English terms are used consistently between different textbooks.
I think the top idea in my head now is Korean, despite the fact I barely get any practice and haven't improved much.
One thing that's always surprised me about things like contest math or chess or StarCraft is how people can express a personality through their play style. For something formalizable with a clearly defined objective function, it's still not clear to me a priori that should happen.
Maybe that's a symptom of depth to look for in domains --- whether it naturally lets people express unique personalities.
I've learned that it's easier to respond to emails and questions with "please provide 1000% more detail" or "I don't understand what you're asking" than to try to guess what the question is.
Trying to understand 는 것 in Korean and it reminds me so much of doing category theory.
One OTIS student's reason for choosing the linear algebra unit:
If lin alg catches me doing non-school stuff i can say this is lin alg
Finished setting the last feeder for this year's OPAL hunt. I hope the audience enjoys it! So much work went into setting this 🥲
It's a sad work environment where I feel like I need to not only disobey higher-up orders, but also intentionally not tell my colleagues and assistants to give them plausible deniability. We all knew the higher-up orders were idiotic, but I still felt I needed to preemptively throw myself under the bus.
I still wish "Nash equilibrium" and "optimal play" weren't treated as synonyms.
We need more papers like this in the world:
Replication of Quantum Factorisation Records with an 8-bit Home Computer, an Abacus, and a Dog
From the paper:
2.1. Terminology New technologies, when introduced, are typically given names that overstate their capabilities, usually by equating them with existing familiar systems or technological artefacts. For example the first computers in the 1940s and 1950s, often little more than glorified electric adding machines, were nevertheless described as “electronic brains”. More recently, large language models (LLMs) have been touted as “artificial intelligence”, and complex physics experiments have been touted as “quantum computers”. In order to avoid any confusion with actual computers like the VIC-20 with which they have nothing in common, we refer to them here as “physics experiments”. Similarly, we refer to an abacus as “an abacus” rather than a digital computer, despite the fact that it relies on digital manipulation to effect its computations. Finally, we refer to a dog as “a dog” because even the most strenuous mental gymnastics can’t really make it sound like it’s a computer.
Spotted on a homework submission from one of my students:
I remember you are solving, and struggling with this hilarious problem on TV while I was eating breakfast before going to school
It was AMC 10B 2022 problem 18, which I must have done during one of my AMC 10 runs.
thinking about all the time i wasted during high school on writing inspid english essays or making posters or whatever
what if i'd spent that time learning something like ipad art instead
why don't high schools teach anything fun?