Local Reasoning for Global Properties
- In the last couple of years, I’ve increasingly been asked questions that boil down to: will AI benefit from new kinds of programming languages?
- My answer has been “probably not” and, so far at least, that answer has held up well: AI is now able to generate large quantities of code in just about any programming language you or I can think of.
- Now that the technology has advanced, and its characteristics have started to become clearer, my answer has changed.
Unverified
- In the last couple of years, I’ve increasingly been asked questions that boil down to: will AI benefit from new kinds of programming languages?
- My answer has been “probably not” and, so far at least, that answer has held up well: AI is now able to generate large quantities of code in just about any programming language you or I can think of.
- Now that the technology has advanced, and its characteristics have started to become clearer, my answer has changed.
Sources: Tratt