This certainly won't solve the problem, but I would at least like to banish the term "side load", which is a kind of Orwellian word that takes something everyone used to do all the time and makes it sound obscure and a bit nefarious. Maybe we, the tech literate, can start calling sideloading a "free install" or something. When asked, we can clarify that the 'free' stands for both freedom, and not paying middlemen 30%.
I’ve thought quite a bit about getting a teacher, but have hesitated for a few [somewhat legitimate] reasons. Among them, I’m partially disabled and can’t practice consistently. However, having a teacher berate me about my posture would actually probably help that at least a little bit, now that you mention in :-) Thanks for taking the time to share your experience and encouragement with me! Best of luck on your lessons as well.
I recently started learning the piano as an adult, and from what i've gathered from reading and watching videos, the 'folk wisdom' about how to avoid rsi-type injuries is to minimize tension in your wrist by maximizing relaxation of your fingers and wrists (especially the thumbs, which tend to get locked into a permanent state of mild tension on the piano keyboard). So you want to do your best to develop more finger independence, so that you can press with one finger while keeping the neighboring fingers relaxed. It's really hard.
Describing it as "Octopus DJ with no fingers" got rid of the hands for me, but interestingly, also removed every anthropomorphized element of the octopus, so that it was literally just an octopus spinning turntables.
I don't think that characterization is fair at all. It's certainly true that you, me, and most humans can't solve these problems with any amount of time or energy. But the problems are specifically written to be at the limit of what the actual high school students who participate can solve in four hours. Letting the actual students taking the test have four days instead of four hours would make a massive difference in their ability to solve them.
Said differently, the students, difficulty of the problems, and time limit are specifically coordinated together, so the amount of joules of energy used to produce a solution is not arbitrary. In the grand scheme of how the tech will improve over time, it seems likely that doesn't matter and the computers will win by any metric soon enough, but Tao is completely correct to point out that you haven't accurately told us what the machines can do today, in July 2025, without telling us ahead of time exactly what rules you are modifying.
I looked at the Typst documentation and from what I could tell, it has 3 hard-coded "Modes" for 3 hard-coded kinds of syntax (normal, math, code). I couldn't find any way to add any custom syntax - is there a way to do this?
Tex/LaTeX are completely syntactically extensible. For example, a logician might want to use the software with any number of their notations, or a physicist drawing Feynmann diagrams, etc. I think at one point Lillypad used it for typesetting sheet music.
"The researchers analyzed bilingual dictionaries between English and more than 600 languages, looking for what they call “lexical elaboration,” in which a language has many words related to a core concept. It’s the same phenomenon that fueled the Inuit debate. But this study brings a twist: rather than the number of words, it measured their proportion, the slice of dictionary real estate taken up by a concept."
This seems inadequate to make the kinds of claims the researchers are quoted as asserting in the article.
I think the issue was that they are representing a real as a product of a rational and that more complicated type, so without a symbolic representation for 1, when representing and rational, they would have to multiply it by a RRA representation of 1 which brings in all the decision problem issues.