#49 - Self-Education in PL - Ryan Brewer | Type Theory Forall

The Type Theory Forall podcast features Ryan Brewer, a self-taught programming language enthusiast, to discuss his journey and projects. Brewer shares his early interest in programming languages, starting with Scratch and leading to creating his own languages. He emphasizes the importance of online resources, communities, and personal projects in self-learning, detailing his experience dropping out of college to pursue programming independently. The conversation covers his projects like SaberVM, a typed virtual machine, and Arctic, a web framework, alongside his work with languages like JavaScript, Haskell, and Elixir. Ethical considerations in open-source software and the nuances of type systems are also addressed.

Outlines

Part 1: Introduction, Self-Taught Journey

Part 2: Education, Academia, Career

Part 3: Languages, Tools, Ecosystems

Part 4: Ethics, Politics, Open Source

Part 5: Compilers, SaberVM, Technical Deep-Dive

Part 6: Virtual Machines, Elixir, Metaprogramming

Part 7: Learning Resources, Research Papers

Part 8: Philosophy, Mindset, Future Projects

Sign in to continue reading, translating and more.

Continue

#49 - Self-Education in PL - Ryan Brewer

Type Theory Forall

Part 1: Introduction, Self-Taught Journey

Introduction to Type Theory Forall and Ryan Brewer's Self-Taught PL Journey

Welcoming Ryan Brewer and Exploring Self-Learning in Programming Languages

Ryan's Early Programming Language Aspirations and Project-Based Learning

Part 2: Education, Academia, Career

Go Interfaces and Ryan's Transition to College Computer Science

Undergrad TA Experience and the Romanticism of Academia

The Realities of College and the Zybooks Hack

Navigating the Job Market Without a Degree

Part 3: Languages, Tools, Ecosystems

Ryan's Work Experience and Opinions on TypeScript and WebAssembly

WebAssembly's Development and Ryan's Transition to Elixir

Functional Programming and Gleam's Community

Part 4: Ethics, Politics, Open Source

Ethics in Software Licensing and Community Values

Open Source, Politics, and the Importance of Taking a Stand

Part 5: Compilers, SaberVM, Technical Deep-Dive

Ryan's Compiler Projects and SaberVM

SaberVM's Design and the Monad Tutorial

Learning by Doing and SaberVM's Memory Safety

Continuation Passing Style Explained

Part 6: Virtual Machines, Elixir, Metaprogramming

The Beam Virtual Machine and its Advantages

Elixir's Metaprogramming and the Future of its Type System

Part 7: Learning Resources, Research Papers

Resources for Self-Learning PL Theory

The Type Theory Forall Podcast and the Importance of Specific Questions

Humanizing Researchers and the Joy of Learning

Additional Resources and the Importance of Community

Reading Research Papers and the Importance of Skipping to the Conclusion

Part 8: Philosophy, Mindset, Future Projects

The Curry-Howard Isomorphism and the Importance of Living Your Life

The Importance of Feeling Okay Being Dumb

Dan's Postdoc Experience and the Importance of Freedom

Research in Industry and Creating Space for Exploration

The Pressure to Publish and Ryan's Projects

Arctic Web Framework and Closing Remarks

#49 - Self-Education in PL - Ryan Brewer

Type Theory Forall

Part 1: Introduction, Self-Taught Journey

00:07Introduction to Type Theory Forall and Ryan Brewer's Self-Taught PL Journey

Introduction to Type Theory Forall and Ryan Brewer's Self-Taught PL Journey

02:21Welcoming Ryan Brewer and Exploring Self-Learning in Programming Languages

Welcoming Ryan Brewer and Exploring Self-Learning in Programming Languages

05:35Ryan's Early Programming Language Aspirations and Project-Based Learning

Ryan's Early Programming Language Aspirations and Project-Based Learning

Part 2: Education, Academia, Career

11:17Go Interfaces and Ryan's Transition to College Computer Science

Go Interfaces and Ryan's Transition to College Computer Science

14:15Undergrad TA Experience and the Romanticism of Academia

Undergrad TA Experience and the Romanticism of Academia

20:20The Realities of College and the Zybooks Hack

The Realities of College and the Zybooks Hack

24:47Navigating the Job Market Without a Degree

Navigating the Job Market Without a Degree

Part 3: Languages, Tools, Ecosystems

28:30Ryan's Work Experience and Opinions on TypeScript and WebAssembly

Ryan's Work Experience and Opinions on TypeScript and WebAssembly

32:35WebAssembly's Development and Ryan's Transition to Elixir

WebAssembly's Development and Ryan's Transition to Elixir

35:46Functional Programming and Gleam's Community

Functional Programming and Gleam's Community

Part 4: Ethics, Politics, Open Source

44:24Ethics in Software Licensing and Community Values

Ethics in Software Licensing and Community Values

51:14Open Source, Politics, and the Importance of Taking a Stand

Open Source, Politics, and the Importance of Taking a Stand

Part 5: Compilers, SaberVM, Technical Deep-Dive

55:14Ryan's Compiler Projects and SaberVM

Ryan's Compiler Projects and SaberVM

1:01:31SaberVM's Design and the Monad Tutorial

SaberVM's Design and the Monad Tutorial

1:07:17Learning by Doing and SaberVM's Memory Safety

Learning by Doing and SaberVM's Memory Safety

1:11:11Continuation Passing Style Explained

Continuation Passing Style Explained

Part 6: Virtual Machines, Elixir, Metaprogramming

1:15:18The Beam Virtual Machine and its Advantages

The Beam Virtual Machine and its Advantages

1:20:34Elixir's Metaprogramming and the Future of its Type System

Elixir's Metaprogramming and the Future of its Type System

Part 7: Learning Resources, Research Papers

1:24:40Resources for Self-Learning PL Theory

Resources for Self-Learning PL Theory

1:30:06The Type Theory Forall Podcast and the Importance of Specific Questions

The Type Theory Forall Podcast and the Importance of Specific Questions

1:37:40Humanizing Researchers and the Joy of Learning

Humanizing Researchers and the Joy of Learning

1:42:24Additional Resources and the Importance of Community

Additional Resources and the Importance of Community

1:47:22Reading Research Papers and the Importance of Skipping to the Conclusion

Reading Research Papers and the Importance of Skipping to the Conclusion

Part 8: Philosophy, Mindset, Future Projects

1:53:00The Curry-Howard Isomorphism and the Importance of Living Your Life

The Curry-Howard Isomorphism and the Importance of Living Your Life

1:57:52The Importance of Feeling Okay Being Dumb

The Importance of Feeling Okay Being Dumb

2:02:37Dan's Postdoc Experience and the Importance of Freedom

Dan's Postdoc Experience and the Importance of Freedom

2:07:34Research in Industry and Creating Space for Exploration

Research in Industry and Creating Space for Exploration

2:11:14The Pressure to Publish and Ryan's Projects

The Pressure to Publish and Ryan's Projects

2:17:03Arctic Web Framework and Closing Remarks

Arctic Web Framework and Closing Remarks