undefined | Better HN

0 pointsaspenmartin21h ago0 comments

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

0 comments

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.

aspenmartinOP21h ago

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

doginasuit20h ago

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

1 more reply

j / k navigate · click thread line to collapse