Type Theory Forall

#49 Self-Education in PL - Ryan Brewer


Listen Later

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
  • Ryan's Website
  • Saber VM
  • Arctic, which is built on top of Lustre
  • Category Theory Wiki
  • ...more
    View all episodesView all episodes
    Download on the App Store

    Type Theory ForallBy Pedro Abreu

    • 5
    • 5
    • 5
    • 5
    • 5

    5

    11 ratings


    More shows like Type Theory Forall

    View all
    Software Engineering Radio - the podcast for professional software developers by se-radio@computer.org

    Software Engineering Radio - the podcast for professional software developers

    271 Listeners

    The Changelog: Software Development, Open Source by Changelog Media

    The Changelog: Software Development, Open Source

    283 Listeners

    Software Engineering Daily by Software Engineering Daily

    Software Engineering Daily

    627 Listeners

    Soft Skills Engineering by Jamison Dance and Dave Smith

    Soft Skills Engineering

    282 Listeners

    Late Night Linux by The Late Night Linux Family

    Late Night Linux

    161 Listeners

    CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

    CoRecursive: Coding Stories

    189 Listeners

    The Numberphile Podcast by Brady Haran

    The Numberphile Podcast

    451 Listeners

    Cautionary Tales with Tim Harford by Pushkin Industries

    Cautionary Tales with Tim Harford

    5,084 Listeners

    Iowa Type Theory Commute by Aaron Stump

    Iowa Type Theory Commute

    17 Listeners

    Last Week in AI by Skynet Today

    Last Week in AI

    297 Listeners

    2.5 Admins by The Late Night Linux Family

    2.5 Admins

    91 Listeners

    The Haskell Interlude by Haskell Podcast

    The Haskell Interlude

    13 Listeners

    The Joy of Why by Steven Strogatz, Janna Levin and Quanta Magazine

    The Joy of Why

    501 Listeners

    Oxide and Friends by Oxide Computer Company

    Oxide and Friends

    58 Listeners

    Latent Space: The AI Engineer Podcast by swyx + Alessio

    Latent Space: The AI Engineer Podcast

    87 Listeners