Live data from Hacker News

Viewing profile — renaicirc

renaicirc

HN member
Joined
Sat, Aug 15, 2020, 5:26 PM UTC
HN karma
53
Public activity
16 items

About renaicirc

No profile information was provided.

Recent public activity

  1. 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…

  2. comment
    Comment #24293585

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

  3. 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…

  4. comment
    Comment #24248135

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

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

  6. 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?

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

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

  9. 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?

  10. comment
    Comment #24179504

    I strongly doubt that "most" mathematicians are Platonists.

  11. 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!

  12. 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…

  13. 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…

  14. 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…

  15. 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…

  16. comment
    Comment #24170569

    It's a percentage, so why would the units matter?