cover of episode #49 Self-Education in PL - Ryan Brewer

#49 Self-Education in PL - Ryan Brewer

2025/3/14
logo of podcast Type Theory Forall

Type Theory Forall
AI Chapters Transcript
Chapters
Ryan Brewer shares his journey into programming languages, starting with a fascination with making games using Scratch and Arduino. He discusses his early projects, self-teaching methods, and the role of online communities in his learning.
  • Ryan Brewer started programming with Scratch and Arduino.
  • He has been self-taught, leveraging podcasts, YouTube, and online communities.
  • Ryan's journey involved creating small projects to explore programming languages.
  • He emphasizes that while terminology can be intimidating, the concepts themselves are often elegant and simple.

Shownotes Transcript

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