Viewing profile — delhanty

It seems that AIs are really good at finding counterexamples now. Even if progress by AIs in proving conjectures lags, it seems likely that AIs collectively will, in the next few y…

2026-04-15 (10 days ago) Millennium Prize Problems Lecture posted yesterday on YouTube - watched 10 minutes so far - seems good level for HN - non-trivial but also no need to be a …

> Mordel's conjecture implies as a special case that for all n>=4 there are only a finite number of solutions to Fermat's equations with relative prime numbers I just learnt that f…

Oh, these are really nice Andrei! Thanks for posting them.

Thank you for the reply - appreciated.

For the vertex biconnected components can you say how your implementation compares technically with Boost Graph library's `biconnected_components` and `articulation_points`? https:…

Thank you very much for that concise explanation.

Congratulations! Can you say how the it's similar and how it's different to superficially similar sounding work? (1) https://github.com/linebender/vello , dual Apache/MIT, by Raph …

> They introduced a feature that took me hours and hours to disable (the file not downloaded until you try to open it thing). One bit of documentation pretty much lied about turnin…

As someone who has been mitigating and managing chronic pain for 25 years, with respect IMO your expectation is unrealistic. There isn't a "solution" - you're looking at a life-lon…

>Becoming a book publisher wasn’t on my bingo card when I started Shapr3D. Yet here we go! For now, it’s only available to select customers—but if there’s enough interest, we’ll ma…

Seeing as David Weisberg's "History of CAD" is trending today I submitted "History of Unigraphics" by 3 of the original Unigraphics 7 dwarfs. Edit: Unigraphics X SDRC became the sy…

Seeing as David Weisberg's "History of CAD" is trending today, I submitted "History of Unigraphics" by 3 of the original Unigraphics 7 dwarfs. The article came out at the end of 20…

"fully constrained" means that there are no degrees of freedom left so that there are only a finite number of valid solutions, which are then consequently disconnected in the space…

Good luck guys! I watched the video on YT - hopefully will get around to trying the Fusion 360 add-in at some point. Does the current add-in use AI at all? What is your plan when, …

> Wonder if the 2D sketch experience is much better in Onshape, NX, Catia, etc? Well those systems and pretty much all of the mechanical CAD industry is built upon D-Cubed's DCM, s…

> And if this add-in becomes popular, Autodesk can trivially release something that has the same functionality, built into Fusion 360 by default. And, as you are no doubt painfully…

> The Fusion sketch solver is badly compromised, it can't do more than two or so simple successive Tangent relations without bugging out. And, my experience with Solidworks is the …

> I've been using parametric CAD (Pro/E / Creo, Solidworks, and Onshape) for 30+ years. True - I implemented the first Solidworks Autodimension sketch as a contractor around 2002 b…

>Some caveats: It’s been nearly five years, and I have no doubt that I have misremembered some of the specific details, even though I’m confident in the overall picture. I’m also c…

Creatine and caffeine possibly have a negative interaction - search PubMed for papers - eg https://pubmed.ncbi.nlm.nih.gov/26219105/ I’m very slow and stiff in the mornings and I d…

DOI: 10.1056/NEJMoa2309822 Date: 2024-03-07 Publication: N Engl J Med 2024 Volume: 390 Pages: 900-910