CoreformGreg
Re:Announcing three new discoveries in mathematics, computer science, ...
on Monday October 26, 2026 @08:11PM (#50253045)
Knowing the answer to Fermat’s Last Theorem wasn’t valuable. But the pursuit of it led to many developments in other fields of mathematics that were valuable (where value is measured in terms of $).
Re:How an MIT research project became a global programming language
on Friday September 04, 2026 @09:27AM (#49564333)
Technically they explicitly said “how do I get the”
Re:A Friendly Introduction to Racket
on Sunday August 23, 2026 @12:46PM (#49410286)
We use it - specifically we use its Scribble package to define self-documented file formats that autogenerate C++ & Python sources.
Re:Blender 5.0
on Tuesday November 18, 2025 @08:31PM (#45974792)
The other reply is really good. To add to that, the intersection of two bi-cubic Bezier patches (each being but one part of a cubic B-spline surface) is an implicit equation of degree 18^2=324. This simply cannot be implemented exactly in a geometry kernel and thus must be approximated. How do you want to approximate this? If you choose trimming (the industry standard) now you have to handle gaps in your geometry. If you choose remapping into an unstructured watertight spline, you need to solve a constraint system that is NP-hard. If you choose reparameterizing… well, see nVariate’s watertight Boolean technique (disclaimer: I once sponsored a project with nVariate).
Now, generally speaking, in a CAD model most surfaces will be “analytic” (plane, torus, conical, arc, line, etc). But whenever some complex surface that joins these surfaces is required, (NUR)B-splines are the principal technique for “covering” the gap.
Re:Blender 5.0
on Tuesday November 18, 2025 @07:54PM (#45974479)
They’re (possibly) referring to “Scalable Geometric Modeler” (SGM)
https://github.com/sandialabs/sgm
Originally open-source, but since taken back in-house. As I understand, which should not be construed as an accurate accounting, Sandia wants to flesh out the basics further before (potentially) open-sourcing it again.
Re:Show HN: I've build a platform for writing technical/scientific doc...
on Monday October 06, 2025 @09:29PM (#45498444)
I wouldn’t, solely because it’s still in version 0.X - for any long-term, important project (e.g., PhD dissertation) I’d recommend LaTeX due to A) it’s mature and B) many universities provide LaTeX templates.
Re:Rubi: Symbolic integrator based on an extensive system of integrati...
on Friday August 30, 2024 @01:16PM (#41402693)
A team of four PhDs + seven other academics manage to unfold a single protein in an egg white using a "vortex fluid device" to produce a Couette flow, heat treatment, dilution in phosphate-buffered saline, dissolution in ureal, use of recombinant proteins, etc., etc.,
Meanwhile, my four-year old niece can boil a dozen eggs in the time it took me to read their paper.
I think it's still accurate to say unboiling an egg is "difficult"!
Re:MIT expericence after canceling the full Elsevier journals contract
on Tuesday August 20, 2024 @09:12PM (#41305782)
If you're not aware, you may be interested in checking out https://www.osti.gov and https://www.osti.gov/search-tools