Viewing profile — renaicirc
renaicirc
HN member- Joined
- Sat, Aug 15, 2020, 5:26 PM UTC
- HN karma
- 53
- Public activity
- 16 items
- HN profile
- View on Hacker News ↗
About renaicirc
No profile information was provided.
Recent public activity
-
comment
Comment #24293660
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 typeclass…
-
comment
Comment #24293585
Then I guess the obvious question is: has it worked well for those projects?
-
comment
Comment #24293512
> 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 i…
-
comment
Comment #24248135
His point also misses the fact that Apple obviously denies you the ability to self-distribute.
-
comment
Comment #24191754
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.
-
comment
Comment #24190991
Excellent, but why enshrine the ability to do this in law only for sufficiently wealthy media companies ? Seems a bit ridiculous, doesn't it?
-
comment
Comment #24186280
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 …
-
comment
Comment #24186241
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.
-
comment
Comment #24186170
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?
-
comment
Comment #24179504
I strongly doubt that "most" mathematicians are Platonists.
-
comment
Comment #24179489
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!
-
comment
Comment #24175577
> 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 p…
-
comment
Comment #24173267
You've accused me of hypocrisy based on your claimed experiences with other people. How charming. In any case, sure, sustainable animal farms exist. Could they meet the meat demand…
-
comment
Comment #24171008
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…
-
comment
Comment #24170593
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 environm…
-
comment
Comment #24170569
It's a percentage, so why would the units matter?