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! https://popl20.sigplan.org/details/POPL-2020-Research-Papers/31/Augmented-Example-based-Synthesis-using-Relational-Perturbation-Properties
Related Posts
Some delightful examples of good compiler error messages in the latest Gleam release: https://gleam.run/news/context-aware-compilation/
It's really satisfying to use a profiler for the first time on a project. I always find a big performance win with only a small code change.
It's never the code that I expected to be slow, however!
I'm experimenting with syntax in examples. I don't really like Rust's `assert(inc(1) == 2)` syntax, I find it a little distracting.
I'm trying `inc(1) //-> 2`. The comment is rendered differently, and there's nothing before the sample code. What do you think?