Interactive Theorem Proving, Guest Lecture - Introduction to Agda, by Jeremy Siek
This is the first guest lecture in a course about interactive theorem proving. In this lecture, Jeremy Siek gives a gentle introduction to Agda, discusses th...
![[1hr Talk] Intro to Large Language Models](https://rdl.ink/render/https%3A%2F%2Fi.ytimg.com%2Fvi%2FzjkBMFhNj_g%2Fmaxresdefault.jpg?width=92&height=&ar=&mode=&format=avif&dpr=2)
[1hr Talk] Intro to Large Language Models
This is a 1 hour general-audience introduction to Large Language Models: the core technical component behind systems like ChatGPT, Claude, and Bard. What the...