COPLAS talk: Phil Wadler: ChatGPT is Bullshit
Speaker
Phil is Professor of Theoretical Computer Science at Edinburgh University. He is one of the most prolific and impactful programming language researcher, with numerous contributions to the field of programming languages and their real-world realizations and applications. He has popularized and contributed to the development of fundamental programming notions such as parametric polymorphism, type classes, monads, software contracts, functional (XML) querying, the Curry-Howard isomorphism between logic and programming, the designs of Haskell and Generic Java (the basis of Scala), and more.
Title
ChatGPT is Bullshit
Abstract
Chatbots like ChatGPT and Google's Gemini dominate the news. But the answers they give are, literally, bullshit. Historically, artificial intelligence has two strands. One is machine learning, which powers ChatGPT and art-bots like Midjourney, and which threatens to steal the work of writers and artists and put some of us out of work. The other is the 2,000-year-old discipline of logic. This talk takes a tour of the risks and promises of these two strands, and considers how they may work better together.
[Based on, in Phil's words, sellout show at the Cabaret of Dangerous Ideas, part of the Edinburgh Fringe Festival.]
Host
All are welcome. No registration required.
The Copenhagen Programming Languages Seminar (COPLAS) is a collaboration between DTU, ITU, Roskilde University and UCPH. To be informed about COPLAS activities and related talks, join this mailing list.