News for hackers. Stuff that matters.
Re:A misalignment of AI in mathematics by andai on Friday September 11, 2026 @05:14PM (#49665484)
I note here an isomorphism with my essay from earlier this year, The deliverable is you! Programming as theory building:

A program is not the only output of programming. The other, arguably far more important output, is the programmer.

When you write the program — with your own hands — the program is proof that you have a solid mental model of the program.

When you let the computer write the program for you, the program is proof of … nothing.

https://nekolucifer.substack.com/p/the-deliverable-is-you-pr...

There are no comments on this comment yet.