News for hackers. Stuff that matters.

drhodes

Re:Show HN: The Lottery of Life on Wednesday March 18, 2026 @04:02AM (#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

Re:Ex-Tech –> Homeless in SF on Sunday February 15, 2026 @03:56AM (#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 plainly stating the sort of bigger than life delusions that come with the territory.
Re:Proof of Corn on Friday January 23, 2026 @03:37PM (#46737554)
Yes, absolutely. And further still, handle the assembly and manufacturing up the supply chain; like factorio.
Re:Show HN: Anonymous Age Verification on Sunday August 31, 2025 @03:18PM (#45086168)
Just an FYI: In the US, 5.6 million households are unbanked.

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

A recent, relevant video from Kurzgesagt: How Nuclear Flies Protect You from Flesh-Eating Parasites https://www.youtube.com/watch?v=zxq60I5RSW8
Re:The Wet History of Media in the Bathroom on Friday July 11, 2025 @12:27PM (#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 explain the thorough sourcing you're lamenting.
Re:Show HN: Omiword – A daily, sector-based word puzzle on Friday April 11, 2025 @11:00PM (#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.
Re:M4 MacBook Pro on Wednesday October 30, 2024 @11:20AM (#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 down the GPU hardware was one of the main topics.

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

Re:Ask HN: What's the "best" book you've ever read? on Monday October 07, 2024 @12:14PM (#41767499)
The Planiverse
Re:Computer Scientists Combine Two 'Beautiful' Proof Methods on Friday October 04, 2024 @05:34PM (#41745789)
It does seem like the article touches on concerns relevant to homomorphic encryption. Maybe someone knows if there is a connection.
Re:Show HN: Infinity – Realistic AI characters that can speak on Friday September 06, 2024 @04:00PM (#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 for not requiring a sign up.
Re:Show HN: Infinity – Realistic AI characters that can speak on Friday September 06, 2024 @03:41PM (#41469110)
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><PILC.
Re:Why A.I. Isn't Going to Make Art on Saturday August 31, 2024 @10:11AM (#41408996)
What about the art of elephants? https://elephantartgallery.com/
Re:Ask HN: What are you working on (August 2024)? on Saturday August 24, 2024 @09:42PM (#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 apartment applications. I have a tooth brush and will scrub makefiles for a living wage, I'm not picky! (resume in profile)

Re:We need visual programming. No, not like that on Sunday July 14, 2024 @09:27PM (#40964591)
another good one is https://sequencediagram.org/
Re:A Proof of Proof by Infinite Descent on Monday July 01, 2024 @07:35PM (#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 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.

Re:Show HN: I wrote a symmetry game with a daily puzzle on Wednesday May 15, 2024 @10:55PM (#40374773)
This knot game is really great, thank you for mentioning it.
Re:An infinite canvas for code exploration on Monday May 06, 2024 @09:39PM (#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:

https://marketplace.visualstudio.com/items?itemName=Debugger...

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=PL50UiFZSGF...

Re:Benjamin S. Bloom: Learning For Mastery (1968) [pdf] on Friday September 01, 2023 @08:37AM (#37350043)
A more legible copy with selectable text: https://files.eric.ed.gov/fulltext/ED053419.pdf
Re:MITx Differential Equations starts May 31 on Monday May 29, 2023 @03:37PM (#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 support on the forum in case you get stuck, or just want to talk about something cool you found related to differential equations or math.
Re:MITx Differential Equations starts May 31 on Monday May 29, 2023 @03:26PM (#36117111)
Hi, there is a integrated discussion forum with latex support.
Re:MITx Differential Equations starts May 31 on Monday May 29, 2023 @03:23PM (#36117078)
Well, the multivariable calculus series was released more recently. Work is ongoing for the 3rd part of that series.
Re:MITx Differential Equations starts May 31 on Monday May 29, 2023 @03:21PM (#36117054)
There are homeworks as well as lecture exercises, recitations and a final exam. As far as grading, there is an auto grader that uses sympy on the backend.
Re:MITx Differential Equations starts May 31 on Monday May 29, 2023 @01:47PM (#36116190)
Hey everyone, if you would like to get a grip on differential equations and are willing to put in the work, then you should know that an instructor paced run starts on May 31st. If you know single variable calculus then you're set to jet! Please sign up here:

https://mitxonline.mit.edu/courses/course-v1:MITxT+18.03.1x/

Incidentally, the prerequisite: 18.01x, also starts on May 31.

https://mitxonline.mit.edu/courses/course-v1:MITxT+18.01.1x/

Older »