Hacker News: drhodes

New comment by drhodes in "Show HN: The Lottery of Life"

drhodes — Wed, 18 Mar 2026 08:02:28 +0000

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

New comment by drhodes in "Ex-Tech –> Homeless in SF"

drhodes — Sun, 15 Feb 2026 08:56:33 +0000

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 plainly stating the sort of bigger than life delusions that come with the territory.

New comment by drhodes in "Proof of Corn"

drhodes — Fri, 23 Jan 2026 20:37:03 +0000

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

3D NAND: The Most Scalable Semiconductor [video]

drhodes — Mon, 15 Sep 2025 13:50:22 +0000

Article URL: https://www.youtube.com/watch?v=KCWDzWG1BcI

Comments URL: https://news.ycombinator.com/item?id=45249738

Points: 1

# Comments: 0

New comment by drhodes in "Show HN: Anonymous Age Verification"

drhodes — Sun, 31 Aug 2025 19:18:32 +0000

Just an FYI: In the US, 5.6 million households are unbanked.

https://www.fdic.gov/news/press-releases/2024/fdic-survey-fi...

New comment by drhodes in "Mexico to US livestock trade halted due to screwworm spread"

drhodes — Sat, 09 Aug 2025 14:52:50 +0000

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

New comment by drhodes in "The Wet History of Media in the Bathroom"

drhodes — Fri, 11 Jul 2025 16:27:13 +0000

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 explain the thorough sourcing you're lamenting.

Astonishing discovery by computer scientist: how to squeeze space into time [video]

drhodes — Sat, 07 Jun 2025 03:33:56 +0000

Article URL: https://www.youtube.com/watch?v=p_AW6fomKPI

Comments URL: https://news.ycombinator.com/item?id=44207218

Points: 3

# Comments: 0

New comment by drhodes in "Show HN: Omiword – A daily, sector-based word puzzle"

drhodes — Sat, 12 Apr 2025 03:00:18 +0000

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.

New comment by drhodes in "M4 MacBook Pro"

drhodes — Wed, 30 Oct 2024 15:20:02 +0000

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 down the GPU hardware was one of the main topics.

https://softwareengineeringdaily.com/2024/10/15/linux-apple-...

New comment by drhodes in "Ask HN: What's the "best" book you've ever read?"

drhodes — Mon, 07 Oct 2024 16:14:04 +0000

The Planiverse

New comment by drhodes in "Computer scientists combine two 'beautiful' proof methods"

drhodes — Fri, 04 Oct 2024 21:34:21 +0000

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

New comment by drhodes in "Show HN: Infinity – Realistic AI characters that can speak"

drhodes — Fri, 06 Sep 2024 20:00:01 +0000

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 for not requiring a sign up.

New comment by drhodes in "Show HN: Infinity – Realistic AI characters that can speak"

drhodes — Fri, 06 Sep 2024 19:41:29 +0000

just an idea, but what if the appended audio clip was reversed to ensure continuity in the waveform? That is, if >< is the splice point and CLIP is the audio clip, then the idea would be to construct CLIP>

New comment by drhodes in "Why A.I. Isn't Going to Make Art"

drhodes — Sat, 31 Aug 2024 14:11:52 +0000

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

New comment by drhodes in "Ask HN: What are you working on (August 2024)?"

drhodes — Sun, 25 Aug 2024 01:42:43 +0000

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 apartment applications. I have a tooth brush and will scrub makefiles for a living wage, I'm not picky! (resume in profile)

Homomorphic encryption sees 5000x speedup using hardware accelerators [video]

drhodes — Thu, 08 Aug 2024 13:06:05 +0000

Article URL: https://www.youtube.com/watch?v=mMHn8msZgSk

Comments URL: https://news.ycombinator.com/item?id=41191092

Points: 2

# Comments: 0

New comment by drhodes in "We need visual programming. No, not like that"

drhodes — Mon, 15 Jul 2024 01:27:57 +0000

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

New comment by drhodes in "A proof of proof by infinite descent"

drhodes — Mon, 01 Jul 2024 23:35:07 +0000

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 case, it is an exercise in Heather MacBeth's free book: The Mechanics of Proof,

https://hrmacbeth.github.io/math2001/04_Proofs_with_Structur...

btw, that book is a lot of fun to work through.

New comment by drhodes in "Woman set up a table to share her collection of washers. Nothing was for sale"

drhodes — Sun, 09 Jun 2024 23:27:56 +0000

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