New Season πŸ§™β€β™‚οΈ, New Format πŸ“Ί

Hello, #{user.first_name}!

If you enjoyed Seasons 0 through 2 on YouTube, you probably liked the exploratory approach to building software with new technology. I know I do, too! πŸŽ‰ β€” unfortunately, not everyone has time (or patience!) to see me rant for over 2 hours just to dig out the Good Stuffℒ️  and maybe learn something new πŸ˜….

This time, Reasonable Coding is going to take a spin πŸš€

I'll be compressing the learnings of a live-stream in a bite-sized video you can watch between test-runs, right after stand-up, or in a bathroom break. Like a How I Met Your Mother episode (but without Jason Segel πŸ™ˆ).

This season will also be around a single project: in ~12 episodes we will be creating a non Turing-complete, statically typed language for declarative data modeling, and its corresponding compiler with a code generation target.

Through this project we will explore:

  • Grammars & Parsers
  • Compiler Design & Construction
  • Type Theory and Type Inference
  • CLIs and Nice Errors for Devs
  • Formal Verification
  • Fuzzy Testing
Since this will take considerable time and effort to plan and produce, I will continue doing some of the exploration in the original live-stream format. The final cut of the series will be available for buying at a Pay-what-you-can price, and the first episode will be free as a preview πŸ™ŒπŸΌ

In addition to the video content, the series will include:
  • πŸ“ A proper transcript for you to read along
  • πŸ’» All of the relevant code for you to play with
If you're interested sign up with the form below and I'll keep you posted on the status.

Thanks,

Leandro (aka. @leostera)