I found the OPLSS lectures on parallel cost semantics using lambda calculus quite enjoyable, but I don't really know much about it. https://www.youtube.com/wat

I found the OPLSS lectures on parallel cost semantics using lambda calculus quite enjoyable, but I don't really know much about it. https://www.youtube.com/watch?v=lSc0EtF6_Zk https://www.youtube.com/watch?v=lSc0EtF6_Zk