Program synthesis is just magical. The next version of https://github.com/Wilfred/suggest.el will support nested functions. E.g. searching 0 => 3 here.
miniblog.
Related Posts
Codeforces is a huge website with a wealth of well-defined programming problems: https://codeforces.com/help#q1
(Useful for program synthesis and other situations where you want a large problem set to play with.)
I've been enjoying using Jest to run my tests, using the workflow where it re-runs the files on any change.
I wonder if it has the fuzzing/synthesis problem of running bad code though? I worry about writing `delete(".")` and it not waiting for me to finish `delete("./cache")`.
How do you do program synthesis when the user hasn't given enough examples? You find perturbation properties (e.g. change input => change output) to generate more examples!