A talk by Conal Elliott for ZuriHac 2023
Right now, in 2023, we are at a phenomenally powerful pivot point in human civilization. Thanks to progress made over the last 100 years, we now have the tools to construct reliable, efficient computation of unbounded sophistication. Moreover, Haskellers are prepared better than most to participate in this coming revolution and even help initiate it. As with the Scientific Revolution begun by Galileo and others in the 17th century, the correct computing revolution elevates us from guessing to knowing.
The slides at the end of the talk are from Symbolic and Automatic Differentiation of Languages.
See also my invitation to play/learn/work together.
Errata:
- At 13:43 I got the year of John Backus's Turing Award wrong. It was really 1977.
- At 38:32 I misattributed the paper "Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell", which was written by (only) Simon Peyton Jones.