pingucrimson

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.

This. Subsampling is kind-of the most primitive method of "lossy compression" there is.

I assume you can't just do that since GitHub might offer to give donors regular activity updates.

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?

> Maybe that is good.

How is that good?

That's a good point, but it's not implied by "JavaScript is functional and oh boy!" at all.

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 problem already exists with tables, doesn't it?

This is all standard HTML5.

You could try looking at what Fabrice Bellard (creator of QEMU and FFmpeg, among many other things) did for [JSLinux](https://bellard.org/jslinux/).

Edit: Although, it's a low-level emulation, not the insanely high-level emulation that you seem to be looking for.

Out of curiosity, why'd you decide not to use LLVM?

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".