Building Your First Program Synthesizer
Program synthesis promises a new way to build software. In this post we build a simple synthesizer from scratch in just a few lines of code.
A Plot Twist, Part II: In Praise of Scatter Plots
Drawing on numerous examples from papers published in PLDI 2019, I argue that scatter plots can be easier to understand than bar charts.
A Plot Twist: Drawing Better Graphs in PL Papers
Drawing on numerous examples from papers published in PLDI 2019, I argue that normalised data should usually be plotted on a logarithmic scale.
Understanding the World with Program Synthesis
Most applications of program synthesis are concerned with the engineering of software. However, because programming languages can be used to model the physical world, program synthesis can also offer a way of discovering and validating new hypotheses in the natural sciences. In this post, I elaborate on how.
