[qbxk]

it's because software fundamentally has specific, measurable outcomes. it has to, that's why we build things: to do things. and in computing, necessarily, the things you do can be computed, which means they can be checked for correctness and reproducibility

much of an SWE's role is to artfully construct complex abstractions of reality in such a way that it can be understood by others, with the intent that it can be fixed or improved on in the future.

but if you don't _need_ artful construction in the first place, because you can just brute force AI slopped assembly language that's impossible (for MeatI) to comprehend, and the same AI is sufficient at improving and fixing it, then why do you need an SWE to bring artfulness to the table for you?

we're a long way off from this, ultimately, but imho, this is the broad strokes of it

[FirstClassTree]

How is software verifiable whatsoever for correctness? Ironically hardware is

I mean pure functions maybe verifiable for correctness, but I don't know how you verify facebooks codebase is 'correct'

Maybe try to run a maximizing function on the stock value, very unfeisable ofcourse