Programming languages with machine learning techniques

This page will be actively maintained as a little survey. Any work that solves programming language problems with machine learning techniques counts. PLDI 2018 User-Guided Program Reasoning using Bayesian Inference: static analysis based bug checker + Bayesian inference. Active Learning of Points-To Specifications: point to analysis + active learning. This …

Changing the typeface

Pretty much all WordPress themes, Kahuna included, rely on Google Fonts. Google Fonts is a nice collection. But it is not large enough, and thus it occasionally becomes boring. Want a late-18th century Didot-style typeface? Use Playfair. Want a classical humanist serif typeface? Use Alegreya. These have become knee-jerk reactions, …

So it begins

Finally. Finally I have created my blog. It should have happened much earlier. I overestimated the cost of building and maintaining my own blog, and made do with alternatives such as social networks and blog hosting services. But there is always a difference between fully owning every bit (in the …