mpoteat

Am I having a stroke? This article has a lot of words but doesn't seem to have any actual meaning. A parody about business buzzwords?

Bitmain makes huge margins on selling equipment, not mining. They make shovels in the gold rush.

The language description declares it is safe, but since you can dereference raw pointers, the language is not memory safe. Maybe it should be made clear that you are not claiming memory safety.

I imagine the machines are also quite loud, which would be sensory input. I haven't read the paper, but I wonder how they handle that.

I don't see transparency as necessarily a virtue to optimize over everything else, or even a terminal good in itself.

Consider: Would it be wise for a CIA agent to run an "Everything I know" site? No, because they could be targeted through the information they blindly broadcast. I know you're not in such a high-risk role yourself, but do you never want to be important in the future, e.g. a CEO, founder, or a high-ranking software engineer?

Knowledge is power, and sharing unnecessary information to strangers will allow them to abuse it and you.

This may be against a TOS, but I'm sure if you changed your User Agent to match a common web crawler you would observe... something.

I wonder if this formalism can be applied to Typescript. I occasionally come across tricky typing problems with higher order functions like "flatten" that this might be helpful for.