Sam Tobin-Hochstadt on Composable and Compilable Macros

YouTube
PWLTO#8 – Donny Nadolny on Raft

YouTube

Erik Hinton on The Derivative of a Regular Type is its Type of One-Hole Contexts (2014)

https://www.youtube.com/watch?v=K7tQsKxC2I8

#PapersSoftware #ComputerScienceFieldOfStudy #papers_we_love

Erik Hinton on The Derivative of a Regular Type is its Type of One-Hole Contexts

YouTube