Hacker News Reader

Comment by woeirua | Hacker News Reader

This makes no sense. To believe this you have to think that the models are somehow being overfit explicitly on academic mathematics and it doesn’t carry over at all to more practical software engineering. I wouldn’t make that bet.

View on HN

Unlike math, software is constrained by the physical world.

In what sense?

For example, pi can be computed to arbitrarily many digits, but could only even in principle be accurately represented with physical objects to a precision that many humans could memorize easily. This is thanks to physical constraints such as "diameter of the observable universe" and "Planck length", at a minimum.

Even if pi is an approximation, it is still representable mathematically. Floating-point arithmetic is an algebra (in this case, a magma [1]), which can be studied mathematically.

[1] https://en.wikipedia.org/wiki/Magma_(algebra)

This also makes the assumption that frontier math has all the long hanging fruits already taken... also very dubious.

Some of the problems solved here, at least in CS, have been open for decades, and have been worked on by very smart leading researchers in the field, including Turing Award winners.

Like, these would be best-paper awards at many top CS conferences.

Or, that the mathematical formalisms that model the limits of software performance are firm enough that barring P==NP, nothing much will change despite proofs of beautiful math.

Reply on news.ycombinator.com