~/talk

Live Programming and Programming by Example: Better Together

on YouTube 25m
Talkat GPCE 2021 · 2021-10-17..10-18· [ai-assisted-development, developer-experience]

speaker

name:Sorin Lerner
links:none on file

resources

video:https://youtu.be/jGt-2LaNeeg
slides:none on file

summary

Live visualization of runtime values via Projection Boxes feeds concrete examples to a synthesizer, implemented as SnipPy, and extended to loop-aware synthesis in LooPy. Papers describe live execution (reifying s_in/s_out), an Intermediate State Graph for block-level synthesis, and a server-backed synthesizer; a 13-participant study reports SnipPy is easy to use and speeds finding compact solutions. Prototypes run in-browser for Python and synthesize many loop bodies at interactive speed.

AI-written summary · about

chapters (6)

  1. 0:00Introduction
  2. 0:24Live Programming
  3. 7:12Programming by Example
  4. 13:02User synthesizer gap
  5. 14:53Loops
  6. 22:20The Future

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.