renaicirc

Do you have any example code? It's plain to see that Zig's comptime is powerful enough for typeclasses, but it's not at all obvious that it'd be as ergonomic as Haskell's typeclasses.

Then I guess the obvious question is: has it worked well for those projects?

> You lose soundness, but we don't have sound guarantees for functional correctness, anyway

This sounds like "we can't guarantee the most important thing, so it's unclear whether it's useful to guarantee this other thing," but that's a bizarre statement, so am I misinterpreting?

His point also misses the fact that Apple obviously denies you the ability to self-distribute.

Well yes, Facebook has an obvious right to moderate their own platform. News Corp, on the other hand, does not own the Fox News Facebook page.

Excellent, but why enshrine the ability to do this in law only for sufficiently wealthy media companies? Seems a bit ridiculous, doesn't it?

If they believe that Google should compensate them then they can already demand that Google stop linking their pages, and then bargain with Google the ordinary way. Why is it fair or necessary to add extra laws here?

I'd say News Corp (Fox News, Sky News, NY Post, etc.) ranks pretty high on the list of damaging companies, and this law was clearly written to benefit them.

I'm sorry, but funding media giants is obviously not a good reason to extort search giants. What is the nuance that I am missing?

I strongly doubt that "most" mathematicians are Platonists.

Good point, but bad example. Fourier developed his transform for the sole purpose of attacking the heat equation, which is definitely quite a physically important problem!

> trans people, might reasonably be described as people "whose attempts to make friends are odd and typically unsuccessful".

This is a thoroughly bizarre assertion. Why can trans people be described thus?

Have you tested on a variety of platforms? In my experience, some are very good about this (e.g Chrome on macOS) and some are a common source of problems (e.g. Firefox on Linux, at least with PulseAudio).

It's interesting how your response to the point that farming plants is far more efficient and sustainable than farming animals is "but some vegetable farms are bad for the environment, too!"