alt Hacker NewsI think it would be interesting if professional engineering becomes more like producing formally correct documents for the AI to implement.
I think it would be interesting if professional engineering becomes more like producing formally correct documents for the AI to implement.
We have these tools that we use to write formally correct documents.
They're called programing languages, and a deterministic algorithm translates them to machine code.
Are we sure English and a probabilistic algorithm is any better at this?