HNHacker News
TopNewBestAskShowJobs

drhodes

718 karma · joined May 3, 2009

https://proofbased.org/assets/resume.pdf
submissionscomments
drhodes··on Show HN: The Lottery of Life
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

drhodes··on Ex-Tech –> Homeless in SF
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.
drhodes··on Proof of Corn
Yes, absolutely. And further still, handle the assembly and manufacturing up the supply chain; like factorio.
drhodes··on Show HN: Anonymous Age Verification
Just an FYI: In the US, 5.6 million households are unbanked.

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

drhodes··on Mexico to US livestock trade halted due to screwworm spread
A recent, relevant video from Kurzgesagt: How Nuclear Flies Protect You from Flesh-Eating Parasites https://www.youtube.com/watch?v=zxq60I5RSW8
drhodes··on The Wet History of Media in the Bathroom
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.
drhodes··on Show HN: Omiword – A daily, sector-based word puzzle
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.
drhodes··on M4 MacBook Pro
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-...

drhodes··on Ask HN: What's the "best" book you've ever read?
The Planiverse
drhodes··on Computer scientists combine two 'beautiful' proof methods
It does seem like the article touches on concerns relevant to homomorphic encryption. Maybe someone knows if there is a connection.
drhodes··on Show HN: Infinity – Realistic AI characters that can speak
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.
drhodes··on Show HN: Infinity – Realistic AI characters that can speak
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.
drhodes··on Why A.I. Isn't Going to Make Art
What about the art of elephants? https://elephantartgallery.com/
drhodes··on Ask HN: What are you working on (August 2024)?
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)

drhodes··on We need visual programming. No, not like that
another good one is https://sequencediagram.org/
drhodes··on A proof of proof by infinite descent
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.

drhodes··on Woman set up a table to share her collection of washers. Nothing was for sale
Yep, that is the building: https://pearlgallerymaine.com/
drhodes··on Show HN: I wrote a symmetry game with a daily puzzle
This knot game is really great, thank you for mentioning it.
drhodes··on An infinite canvas for code exploration
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...

drhodes··on Synth Emulation in MAME
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...

drhodes··on Learning For Mastery (1968) [pdf]
A more legible copy with selectable text: https://files.eric.ed.gov/fulltext/ED053419.pdf
drhodes··on MITx Differential Equations starts May 31
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.
drhodes··on MITx Differential Equations starts May 31
Hi, there is a integrated discussion forum with latex support.
drhodes··on MITx Differential Equations starts May 31
Well, the multivariable calculus series was released more recently. Work is ongoing for the 3rd part of that series.
drhodes··on MITx Differential Equations starts May 31
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.
drhodes··on MITx Differential Equations starts May 31
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/

drhodes··on My kids and I just played D&D with ChatGPT4 as the DM
I ran into this with my nuclear mage, (that's the only way I could get chatgpt to nuke something). Anyways, I had to convince it that the village's mayor was corrupt, then after weighing the ethics of capital punishment it allowed my mage to cast "fission strike" on the mayor. The town's people were mortified, however they were protected from the fallout by another spell, so - all's well that ends well.
drhodes··on Mathics: A free, open-source alternative to Mathematica
Hi, they did at one point: https://github.com/mathics/IMathics
drhodes··on Facts about State Machines
Here's a one that tracks the state of a button with mouse interactions

https://web.stanford.edu/class/archive/cs/cs103/cs103.1142/b...

drhodes··on There’s no speed limit (2009)
The first part of 18.02x (Multivariable Calculus) is open at the moment, not for certificate, but the autograder works. The second part starts next month

https://www.edx.org/course/multivariable-calculus-1-vectors-...

https://www.edx.org/course/multivariable-calculus-2-surfaces...

Page 1 of 8Next →