I am learning about Coq, which is a theorem proving/proof checking system. The one problem with this or some AI code generating system is that we humans will start losing more contact with how things actually work.
LC On Friday, September 10, 2021 at 5:38:38 AM UTC-5 [email protected] wrote: > From The New York Times: > > A.I. Can Now Write Its Own Computer Code. That’s Good News for Humans. > > A new technology called Codex generates programs in 12 coding languages > and even translates between them. But it is not a threat to professional > programmers. > > > https://www.nytimes.com/2021/09/09/technology/codex-artificial-intelligence-coding.html?smid=em-share > -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/453c2c88-fcf0-4fac-9129-7798ad3b8f07n%40googlegroups.com.
