Get the latest tech news

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.

None

Get the Android app