In recent years, researchers have explored component-based synthesis, which aims to automatically construct programs that operate by composing calls to existing APIs.  However, prior work has not considered efficient synthesis of methods with side effects that update a database.  Today on the show, Sankha Guria shares about his research in this area, introducing a new approach to type and effect-guided synthesis tools for Ruby.
In this episode…

What is program synthesis?
Lambda functions
Generating in Ruby
Assistive code generation
Benchmarking your code
Various tools
Co-pilot vs. pilot 
Scratch software for kids
Applying program synthesis to web assemblies
How to use program synthesis to generates tests
Sponsors
Top End Devs
Raygun | Click here to get started on your free 14-day trial
Coaching | Top End Devs
Links
UMD Department of Computer Science
RbSyn: Type- and Effect-Guided Program Synthesis
GitHub - ngsankha/rbsyn: Program synthesis for Ruby
ruby-rogues.md · GitHub 
Rosette: About
Twitter: @ngsankha
Sankha Narayan Guria
Picks
Luke- A better zip bomb

Luke- Shawn Hymel – Tiny ML

Sankha- Scythe

Valentino - Stripe