[kerabatsos]

But perhaps we should regard it as a major achievement.

[lmpdev]

I mean in the same way getting Wolfram Alpha to solve a really hard/ugly differential equation I suppose

[aspenmartin]

Insane that we have a system capable of making innovative math proofs and people dismiss it as unimpressive

[doginasuit]

The creation of the system is deeply impressive, so are compilers but I don't raise a toast to it each time I build my code. Like generated art, people aren't going appreciate it on the same level.

[aspenmartin]

Wow you consider this on the same level of impressiveness as a compiler?

[doginasuit]

I actually consider compilers more impressive, and a compiler was an important part of making this possible.

[brookst]

Are transistors more impressive than compilers then? And presumably accounting is more impressive than transistors?

I’m not sure I can get behind the “foundations are necessarily more impressive than edifices” view..

[aspenmartin]

To each their own. I mean compilers didn’t produce trillions of dollars of investment, and produce serious and profound philosophical questions about the nature of consciousness but you’re right, thank god we have C

[adampunk]

Mario Andretti could never have won a motor race without a car, yet we say he won the Indy500.

[dmbche]

A motor race is defined by someone pilotting a motor car no?

We might not think we rightfully won an on foot race driving a car, yeah?

[2wdfsd]

And? What a stupid post.

These race car drivers are lauded for steering a particular kind of car amongst their competitors.

The human is what people care about - the car whilst being spectacular is literally just a vehicle.

I swear many here don't understand human's at all.