We used Z a lot when dealing with modular arithmetic and complex roots of unity, mostly just to quantify our variables. I can't recall ever using N or Q in high school, though.
Also, you don't need to mention Dedekind cuts at all when dealing with R - it can be defined by the fact that it's the smallest extension of Q that's closed under limit-taking (and I think most high school math students do understand that).
I don't think so - I can't imagine Apple caring much about Hackintoshes, which are already a pain to install, when the main draws of Apple laptops are their trackpads and cases, and the tight integration between hardware and software.
Re representative democracies, why are opinions on disparate issues like the economy, abortion, climate change, etc. all packaged into one party? At least 99% of people won't find a party that agrees with them on every single issue, so it feels like there should be a better system.
Yeah, it's a shame the GitHub is starting to actually take advantage of their hosting monopoly, to the detriment of solutions like OpenCollective and Liberapay.
On the other hand, Git is distributed. Can't you just use GitHub as a mirror, and direct users elsewhere for actual development through the README?
What does "functional" mean to you? If "OO" has a hundred different meanings, then "functional" must have at least a thousand. To me, JavaScript is definitely not functional - it lacks a notion of purity, and its meaning is the evaluation of statements, not the construction of expressions.
That is exactly the same way Haskell does "parametrized enumerants", and in C terms, str is like any pointer to a string, while String is like a heap-allocated string. What's "new" about any of this? C++ has the same thing going on with string and string_view.
If anything, Rust's managed to be a whole lot simpler than other languages. Python, JavaScript and C++ have some of the worst string encoding stories I've ever seen. And most popular languages don't even have sum types, so it's like they have an "and" and no "or".
Also, you don't need to mention Dedekind cuts at all when dealing with R - it can be defined by the fact that it's the smallest extension of Q that's closed under limit-taking (and I think most high school math students do understand that).