In todayβs episode I invite two friends of mine Patrick Lafontaine and Supun Abeysinghe. We will talk about their experience learning Coq and we guide ourselves in a survey that I gave all the 83 students in the class. The class was thought by my advisor Benjamin Delaware and I was his TA.
Patrick researches compilers and have done work in particular with Rust. And Supun works more along the lines of machine learning in the context of systems.
π 2022-05-19 20:30 / β 02:50:14
π 2022-05-10 01:00 / β 03:32:38
π 2022-04-02 18:20 / β 01:36:53
π 2022-03-27 17:15 / β 01:17:36
π 2022-02-12 19:20 / β 00:56:30