miniblog.

← Back to all posts
Jul 19, 2020 at 23:31
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")`.

Related Posts

Jan 30, 2023 at 00:34
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.)
Help - Codeforces
Help - Codeforces
Codeforces. Programming competitions and contests, programming community
Jan 25, 2020 at 04:27
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!
Augmented Example-based Synthesis using Relational Perturbation Properties (POPL 2020 - Research Papers) - POPL 2020
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages. The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.
Jan 24, 2020 at 05:10
I attended a bunch of great talks at #POPL yesterday. My highlight yesterday was a delightful talk applying program synthesis techniques for generating visualisations! Elegant and practical.
Visualization by Example (POPL 2020 - Research Papers) - POPL 2020
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages. The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.