Untyped program synthesis from examples [video] | Dark Hacker News