Live data from Hacker News

Viewing profile — joelreymont

joelreymont

HN member
Joined
Mon, Jul 21, 2008, 4:29 PM UTC
HN karma
273
Public activity
196 items

About joelreymont

[ my public key: https://keybase.io/joelreymont; my proof: https://keybase.io/joelreymont/sigs/LggCRGdstZotd1x-FlJzj-M4ut-39swpjd9Wr8sB8ro ]

Recent public activity

  1. comment
    Comment #46310524

    Debugging Zig in LLDB is painful. Slices show up as { ptr, len }, optionals are unreadable, and slice[0] just errors out. Python formatters help a bit but don’t fix expressions. zi…

  2. story
  3. comment
    Comment #46077760

    Moving away from Github may end up killing the project.

  4. comment
    Comment #46071749

    [flagged]

  5. comment
    Comment #46071479

    I'll gladly discuss at length things that are near and dear to my heart. Facing random people in the public court of opinion is not one of them! Also, there's long-form writing in …

  6. comment
    Comment #46071469

    Remind me please, when did I sign up to meet your expectations?

  7. comment
    Comment #46071443

    With all due respect, try to read things before opining on them. The PR explains why I did the work.

  8. comment
    Comment #46069361

    It's both but the focus is on the future.

  9. comment
    Comment #46069113

    I'm not trying to say that this is now projects ought to work right now. I do think this is where we are heading, though. No, existing open source projects are not ready for this a…

  10. comment
    Comment #46068924

    Yep, that's me! I will look into renaming myself, although don't think HN allows this.

  11. comment
    Comment #46068843

    It was a bug in my own modes to the Zig compiler not in the stock compiler itself.

  12. comment
    Comment #46068838

    This ought to be automated using AI. It could first judge whether the PR is frivolous, then try to review it, then flag a human if necessary. The problem is that Github, or whateve…

  13. comment
    Comment #46068642

    This is an excerpt from the session where AI is writing my Lisp compiler. What do you call this? I call this doing what a competent developer does! 39/40 tests pass. The native rea…

  14. comment
    Comment #46068610

    Are you speaking from experience? Have you actually tried writing a "list" compiler?

  15. comment
    Comment #46068244

    Check the 2nd PR, the one in my repo and not the one that was rejected.

  16. comment
    Comment #46067798

    I agree with you.

  17. comment
    Comment #46067782

    It's not. It's absolutely justified for the OCaml maintainers to reject this PR. I feel completely different about my Zig PR [1] but, hey, it's not my playground and the Zig folks …

  18. comment
    Comment #46067623

    Which is something I agreed with and apologized for, and admitted was somewhat of a PR stunt. Now, what's your question?

  19. comment
    Comment #46067522

    I had $1000 in Claude credits to spend for the greater good.

  20. comment
    Comment #46067462

    I'm strictly talking about the 10-line Zig PR above. Well-documented and tested.

  21. comment
    Comment #46067278

    You can ask AI to write documentation for humans. Also, I'll try to break up the PR sometime but I'm already running Claude using two $200/mo accounts, in addition to another $200/…

  22. comment
    Comment #46067255

    It wouldn't do much. I find that ChatGPT 5.1 was much better at reviewing this code than writing it so I had it review Claude's output until the review was clean. This is in additi…

  23. comment
    Comment #46067236

    It's quite complicated in this case. The Jane St (OxCaml) DWARF implementation is also tightly coupled with the compiler.

  24. comment
    Comment #46067228

    I don't always use OCaml (meme coming in 1...2...3) and maintaining a fork is a significant undertaking. More importantly, being able to debug native OCaml binaries and actually se…

  25. comment
    Comment #46067216

    I challenge you to actually demonstrate that the code was taken instead of generated or derived. Otherwise, you are just shooting your mouth off.