Playing Angular

Since I found myself desperately lacking modern front end skills, I decide to spend some time in creating an example Angular app.

This article covers the following questions:

  • What are some interesting UI component libraries I discovered?
  • How can I embed my Angular app to my WordPress posts?

Read more“Playing Angular”

The color scheme

So far I have been living with a make-do color scheme. One of the reasons is that while Kahuna has lots of awesome options for controlling the color scheme, not everything is achievable from the settings, and some CSS hacking is needed. Of course, I am not afraid of CSS hacking. I just did not have the time to do it from the beginning.

Read more“The color scheme”

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 work is neither sound nor precise. I am horrified by the prospect of having an unsound point-to analysis, but the author rightly points to some justifications.