Ryan Brewer is a college dropout who has an incredible blog about PL, Category Theory and Logic. He better define his goal as making Formal Theory more accessible outside the ivory tower of academia, and easier to put into practice where it matters.

He has a couple of very interesting main projects, such as the first Cedille 2 Interpreter, Saber VM, and Arctic.

In this episode we will talk about all of his projects. His trajectory becoming self-taught in PL, compilers and Formal Methods, and he shares with us the wealth of resources he used to navigate this sea of knowledge. We also have a brief but heated discussion on the ethics of Science.

Links

• Ryan's Website
• Saber VM
• Arctic, which is built on top of Lustre
• Category Theory Wiki