Sign up to save your podcasts
Or
Share #49 Self-Education in PL - Ryan Brewer
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
#49 Self-Education in PL - Ryan Brewer
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.
0:00 – Intro & Podcast Community
3:40 – How Ryan Started Learning Programming Languages
12:40 – Projects, Category Theory & Early Experiences
18:00 – College Life, Dropping Out & Study Strategies
27:00 – Landing a Developer Job Without a Degree
32:00 – Thoughts on JavaScript, TypeScript & WebAssembly
37:00 – Building Arctic: A Compiler for Blogs
41:00 – Introduction to Gleam & Its Unique Features
48:00 – Functional Programming at Work & Community Impact
59:00 – Diving into Haskell and Category Theory
1:08:30 – Ethical Considerations in Software Licensing
1:20:00 – Reflections on Academia & Learning
1:32:30 – Job Interviews & Practical Programming Tools
1:38:00 – Dan on Academia and Podcasting Philosophy
1:54:00 – Final Reflections & Advice for Self-Learners
2:05:00 – Closing Thoughts, Blog, Open Source
2:19:58 – Outro
Links
View all episodes
By Pedro Abreu
4.8
1313 ratings
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.
0:00 – Intro & Podcast Community
3:40 – How Ryan Started Learning Programming Languages
12:40 – Projects, Category Theory & Early Experiences
18:00 – College Life, Dropping Out & Study Strategies
27:00 – Landing a Developer Job Without a Degree
32:00 – Thoughts on JavaScript, TypeScript & WebAssembly
37:00 – Building Arctic: A Compiler for Blogs
41:00 – Introduction to Gleam & Its Unique Features
48:00 – Functional Programming at Work & Community Impact
59:00 – Diving into Haskell and Category Theory
1:08:30 – Ethical Considerations in Software Licensing
1:20:00 – Reflections on Academia & Learning
1:32:30 – Job Interviews & Practical Programming Tools
1:38:00 – Dan on Academia and Podcasting Philosophy
1:54:00 – Final Reflections & Advice for Self-Learners
2:05:00 – Closing Thoughts, Blog, Open Source
2:19:58 – Outro
Links
More shows like Type Theory Forall
View all
Marketplace
8,794 Listeners
The Knowledge Project
2,697 Listeners
The Changelog: Software Development, Open Source
289 Listeners
Conversations with Tyler
2,466 Listeners
The Quanta Podcast
544 Listeners
CoRecursive: Coding Stories
188 Listeners
Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
4,189 Listeners
Machine Learning Street Talk (MLST)
99 Listeners
Dwarkesh Podcast
530 Listeners
The Rest Is History
15,880 Listeners
The Haskell Interlude
14 Listeners
Software Unscripted
29 Listeners
Oxide and Friends
67 Listeners
Past Present Future
351 Listeners
Sharp Tech with Ben Thompson
95 Listeners