Live data from Hacker News

Viewing profile — Ericson2314

Ericson2314

HN member
Joined
Mon, Apr 01, 2013, 6:58 AM UTC
HN karma
8,148
Public activity
5,035 items

About Ericson2314

Focuses on program languages and systems programming, with the ideal of formal correctness always in mind.

x should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary. - R^nRS

Nothing is more important than good abstractions.

Haskell is practical; it pays my bills. (https://www.obsidian.systems/ is where I work.)

Recent public activity

  1. comment
    Comment #49213563

    Sure. Nixpkgs cross support for Windows has been in there a while. Native windows support for Nix is a bit less advertised because it is pre-release/pre-MVP-on-master, but see http…

  2. comment
    Comment #49213530

    I totally agree with you on the first bit, but I also think that I am way better at deciding on how to refactor code bases than the LLM is. Right now, I put models in low thinking …

  3. comment
    Comment #49207184

    If your task has incremental rewards/feedback, you can push the "intelligence rate" simply by sampling the reward function faster. That's not fake, even if it not a substitute eith…

  4. comment
    Comment #49178457

    > PS: If anyone managed to combine Clang-based MinGW with AddressSanitizer and Wine without crashing at launch, please show me how and drop me an e-mail. Thank you! It's for proble…

  5. comment
    Comment #49113368

    No this isn't mindless reinventing --- this is finally having clear empiric evidence for something that we knew the entire time. This is a huge relief! Next up is demonstrating the…

  6. comment
    Comment #49102634

    > While using floating point? Where is this meme coming from? IEEE floating point is deterministic

  7. comment
    Comment #49102596

    Skill issue

  8. comment
    Comment #48987609

    Deterministic seed

  9. comment
    Comment #48987572

    Yeah maybe *both" sass and training companies are wiped, imagine that!

  10. comment
    Comment #48791481

    Good job, but the parent fork already did macOS, so this wasn't too hard.

  11. comment
    Comment #48728634

    Well put. That's exactly right. (And I don't even mind mouse studies!)

  12. comment
    Comment #48728633

    This neural network stuff does give me real divination vibes, not gonna lie.

  13. comment
    Comment #48663775

    There probably is no substitute for the state paying for it. We just need to balloon NPR/PBS into BBC scale (relative to the size of the US, so even bigger) and hope for the best. …

  14. comment
    Comment #48551446

    Oxford Brain

  15. comment
    Comment #48505824

    That's like saying "the US Constitution has clearly shown it's a model that is built to last" Sometimes bad designs stick around due to pure inertia

  16. comment
    Comment #48346330

    No, a layperson doing a bunch of math but barking up the wrong tree theory-wise is actually super instructive for this forum of autodidacts. And I say that as one of the autodidact…

  17. comment
    Comment #48238423

    As long as Apple doesn't change the license, I think this means we can make legal semi-hackintoshes good enough for CI purposes. That could be a real game-changer!

  18. comment
    Comment #47951961

    Do you think it will be possible to use them together? Having some sort of unified distributed system is intriguing to me. (e.g. can the Radical foundation and AT-proto foundation …

  19. comment
    Comment #47896378

    Stocks vs Flows! You can't compare (as in subtract and check sign) $ and $/s!

  20. comment
    Comment #47799747

    ISPs almost all offer IPv6. The reason the US number is not higher is lazy corporate networks.

  21. comment
    Comment #47778040

    I remember as a kid wondering if we could give humans chlorolaplasts.

  22. comment
    Comment #47767440

    Sapling and JJ can sort it out, the outside world will only care for one of them.

  23. comment
    Comment #47767373

    Good stuff. But I would blame the Trump admin more then data centers for coal power plants staying on line. Gas would substitute for the coal ata minimum otherwise. > Nine coal pow…

  24. comment
    Comment #47669254

    Ronan Farrow's expertise is investigations into elite amorality, not evaluating technical products. Why are you asking this question?

  25. comment
    Comment #47592788

    The economic force is the LLMs themselves are worse at maintaining slop than good good. Everything fundamental that makes good easier for humans to maintain also makes it easier fo…