Artwork

Вміст надано Charles M Wood. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Charles M Wood або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.
Player FM - додаток Podcast
Переходьте в офлайн за допомогою програми Player FM !

A Novel Type and Effect-Guided Synthesis Tool for Ruby with Sankha Guria - RUBY 553

56:01
 
Поширити
 

Manage episode 333882684 series 2333152
Вміст надано Charles M Wood. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Charles M Wood або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.
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…
  1. What is program synthesis?
  2. Lambda functions
  3. Generating in Ruby
  4. Assistive code generation
  5. Benchmarking your code
  6. Various tools
  7. Co-pilot vs. pilot
  8. Scratch software for kids
  9. Applying program synthesis to web assemblies
  10. How to use program synthesis to generates tests

Sponsors
Links
Picks
Advertising Inquiries: https://redcircle.com/brands
Privacy & Opt-Out: https://redcircle.com/privacy
Become a supporter of this podcast: https://www.spreaker.com/podcast/ruby-rogues--6102073/support.
  continue reading

717 епізодів

Artwork
iconПоширити
 
Manage episode 333882684 series 2333152
Вміст надано Charles M Wood. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Charles M Wood або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.
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…
  1. What is program synthesis?
  2. Lambda functions
  3. Generating in Ruby
  4. Assistive code generation
  5. Benchmarking your code
  6. Various tools
  7. Co-pilot vs. pilot
  8. Scratch software for kids
  9. Applying program synthesis to web assemblies
  10. How to use program synthesis to generates tests

Sponsors
Links
Picks
Advertising Inquiries: https://redcircle.com/brands
Privacy & Opt-Out: https://redcircle.com/privacy
Become a supporter of this podcast: https://www.spreaker.com/podcast/ruby-rogues--6102073/support.
  continue reading

717 епізодів

Усі епізоди

×
 
Loading …

Ласкаво просимо до Player FM!

Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.

 

Короткий довідник