dolia

"make no mistakes", my guy. Some people took these habits to communication with other people nowadays.

Sure, it is philosophical. You could even go further and say that math exists in the same sense it exists in the Library of Babel, since it's also text.

I would say that this comparison oversimplifies things. Non-math stories in Library of Babel are less practically useful and are less possible to get checked than the math texts. Wrong math can exist, but we often have ways to figure out it's wrong.

For practical purposes I would assume (maybe others can correct me) that math is treated as something you discover when you work on it as mathematician. It's a more intuitive model.

Funnily enough, that's what mathematicians have been doing all along. I wonder how many of them truly think that they construct something new that just happens to then have practical applications and fit nicely with everything else.

And then you open the details mentioned in those cookie banners and see literally 600, 700 entities that get data about you shared by the website.

Malicious compliance is not the law-maker's fault.

I've seen the questionnaires from Moscow streets in the last few years on the topics of war. I've seen what different people write in social networks about it.

Maybe you can trick our naive western friends, but not me.

Being an indifferent somnambula is not the same as being against war.

I will treat this comment charitably and just say that it's yet another case of "definition of X sounds good, so X can't be bad". I believe in reality it's less about "please don't kill us" and more about getting officials to set up the "pleas profit us" situation. Yes, money don't change hands in an office, so it's TECHNICALLY not a bribery.

This applies to a lot of scientific and practical (like construction) topics in general. Everyone relies on someone else (or something else) knowing what to do.

"every time I have to type "as" my inner Haskell programmer screams." - most of the times you don't have to. You choose to.

"If I could add one feature to Typescript it would be something like "as" that actually validates the result against the type system and can fail." - I don't think it's fair to expect that since most of the statically typed languages will not guarantee things in runtime unless you specifically run a validation code in runtime.

There's also type guards and good old self-written validation functions you can use.

TIL, thanks.

The 2nd point stands though. A person with good or perfect pitch will quickly tune to another frequency.

Clearly, it makes sense to have perfect pitch only in connection with a particular instrument for practical purposes.

Besides being a neat party trick, it gives more possibilities and makes things easier if a person wants to work with music professionally, especially with academical (aka "classical") music.

Is there anything about notes and instruments tuning that is not arbitrary? But hear me out: there's few hundred years tradition behind it, at least in the west, so why not follow it for a kid?

"I assume that if the learner drifts later in life by under a semitone, then things will seem like they're between keys." - problem that never occurred to anyone with a perfect or just good pitch.

Are you opposed to F35s only or to army spendings in general?