drhodes
drhodes on Hacker News
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.
Yes, absolutely. And further still, handle the assembly and manufacturing up the supply chain; like factorio.
Posted by
drhodes on Monday September 15, 2025 @09:50AM
from the youtube.com dept.
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.
Posted by
drhodes on Friday June 06, 2025 @11:33PM
from the youtube.com dept.
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.
It does seem like the article touches on concerns relevant to homomorphic encryption. Maybe someone knows if there is a connection.
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.
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.
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)
Posted by
drhodes on Thursday August 08, 2024 @09:06AM
from the youtube.com dept.
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.
This knot game is really great, thank you for mentioning it.
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.
Hi, there is a integrated discussion forum with latex support.
Well, the multivariable calculus series was released more recently. Work is ongoing for the 3rd part of that series.
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.
Posted by
drhodes on Monday May 29, 2023 @01:47PM
from the mitxonline.mit.edu dept.