pingucrimson's comments

pingucrimson | 6 years ago | on: An Infinitely Large Napkin

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

pingucrimson | 6 years ago | on: DriverKit

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.

pingucrimson | 6 years ago | on: GitHub Sponsors

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

pingucrimson | 6 years ago | on: GitHub Sponsors

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?

pingucrimson | 6 years ago | on: Alan Kay and OO Programming

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.

pingucrimson | 6 years ago | on: TempleOS: Installation

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.

pingucrimson | 6 years ago | on: A final proposal for Rust await syntax

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

page 1