A playlist

[William ML Leslie]

Greetings,

I made a youtube playlist for people who want to dig into all things capabilities.  Is there anything I missed, or anything else I should refine?

https://youtube.com/playlist?list=PL27BLlHAN2wllWYWsWUYwbZDslrx5kKGa

--

William ML Leslie

[Matt Rice]

Here are a couple of talks giving introductions to their respective papers.
One related to verification and a PLT talk. Which I believe were given
to more general audiences.
Which you might have a look to see if it is the kind of thing which
you want to add.

https://www.youtube.com/watch?v=hLjtIQWU0gk
https://dl.acm.org/doi/10.1145/3408993

https://www.youtube.com/watch?v=qlqD4QDKIko
https://dl.acm.org/doi/10.1145/3133913

> --
> You received this message because you are subscribed to the Google Groups "cap-talk" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to cap-talk+u...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAHgd1hE_k8U5hbQQtuWj94W5rLQWHhz_ezyzsMredavk8dh0QA%40mail.gmail.com.

[Mike Stay]

Maybe some Pony vids?
https://www.youtube.com/watch?v=u1JfYa413fY
https://www.youtube.com/watch?v=GigBhej1gfI

> --
> You received this message because you are subscribed to the Google Groups "cap-talk" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to cap-talk+u...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAHgd1hE_k8U5hbQQtuWj94W5rLQWHhz_ezyzsMredavk8dh0QA%40mail.gmail.com.

--
Mike Stay - meta...@gmail.com
https://math.ucr.edu/~mike
https://reperiendi.wordpress.com