Live data from Hacker News

Viewing profile — drhodes

drhodes

HN member
Joined
Sun, May 03, 2009, 3:05 PM UTC
HN karma
718
Public activity
283 items

About drhodes

https://proofbased.org/assets/resume.pdf

Recent public activity

  1. comment
    Comment #47422913

    My guess is diatoms. From the wiki: "[they] constitute nearly half of the organic material found in the oceans." https://en.wikipedia.org/wiki/Diatom

  2. comment
    Comment #47022158

    It seems clear to me that the author was experiencing an unmedicated psychotic disorder and gallantly owning the preposterous outlook he had at the time. So, not bragging, just pla…

  3. comment
    Comment #46737554

    Yes, absolutely. And further still, handle the assembly and manufacturing up the supply chain; like factorio.

  4. story
  5. comment
    Comment #45086168

    Just an FYI: In the US, 5.6 million households are unbanked. https://www.fdic.gov/news/press-releases/2024/fdic-survey-fi...

  6. comment
    Comment #44846969

    A recent, relevant video from Kurzgesagt: How Nuclear Flies Protect You from Flesh-Eating Parasites https://www.youtube.com/watch?v=zxq60I5RSW8

  7. comment
    Comment #44534088

    I for one enjoyed the article and found it coherent from top to bottom. The author is a historian, which means they are likely serious about justifying their claims. That might exp…

  8. story
  9. comment
    Comment #43660962

    You did a great job, the game is very polished .. (the misspelling feature!). The cross word constraint makes it a bit easier than the regular Jumble.

  10. comment
    Comment #41995946

    btw, there is a recent interview with an Asani dev focusing on GPUs, worth a listen for those interested in linux on apple silicon. The reverse engineering effort required to pin d…

  11. comment
    Comment #41767499

    The Planiverse

  12. comment
    Comment #41745789

    It does seem like the article touches on concerns relevant to homomorphic encryption. Maybe someone knows if there is a connection.

  13. comment
    Comment #41469261

    Hmm, maybe adding white noise would work. -- OK, that's quite enough unsolicited suggestions from me up in the peanut gallery. Nice job on the website, it's impressive, thank you f…

  14. comment
    Comment #41469110

    just an idea, but what if the appended audio clip was reversed to ensure continuity in the waveform? That is, if > <PILC.

  15. comment
    Comment #41408996

    What about the art of elephants? https://elephantartgallery.com/

  16. comment
    Comment #41343609

    Building out a free real analysis course that uses Lean4, https://proofbased.org/ I need help finding a full time job in Boston so I can move there.. Facing a catch 22 with apartme…

  17. story
  18. comment
    Comment #40964591

    another good one is https://sequencediagram.org/

  19. comment
    Comment #40851977

    The proof is not too bad in Lean4. I'm nothing special and I've got it down to 9 lines. But, maybe that is considered pretty tedious vs. what expectations one might have. In any ca…

  20. comment
    Comment #40628469

    Yep, that is the building: https://pearlgallerymaine.com/

  21. comment
    Comment #40374773

    This knot game is really great, thank you for mentioning it.

  22. comment
    Comment #40281377

    Some prior art from Brown university, code bubbles: https://cs.brown.edu/people/spr/codebubbles/ They have teamed up with Microsoft to develop a visual studio ultimate extension: h…

  23. comment
    Comment #38028507

    For any Metroid fans who fondly recall the soundtrack to the original NES game, here is a killer remake using a Korg MS20 Mini. https://www.youtube.com/watch?v=Q6fceLfjB4s&list=PL5…

  24. comment
    Comment #37350043

    A more legible copy with selectable text: https://files.eric.ed.gov/fulltext/ED053419.pdf

  25. comment
    Comment #36117217

    The difference is that there are also a bunch of other people learning the same thing at the same time. Peer pressure as well as due dates helps people stay on track, and there is …