Local Reasoning for Global Properties

Global Tech Thu, 02 Jul 2026 20:03:06 GMT Moderate confidence — 64/100

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.

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