Fascinating, dynamic @alvinkcheung talk at @strangeloop_stl on using Program Synthesis to translate code snippets! https://casper.uwplse.org/