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.

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, because there are just so many options for a particular requirement.

Hence why bored people, like me, turn to commercial options. I bought a webfont license for Adagio Serif a few years ago, and it seems a good opportunity to try them out.

Read more“Changing the typeface”

Settling on a theme

I am pretty sure that I am going to tinker with themes a lot. However, I am not good at building an entirely new theme from scratch, so I need to settle on a theme as a basis, and keep a list of interesting references.

Speaking of themes, I find out that the best way to know about themes is to try out as many as possible. Only through this, I learned what themes can do, and more importantly, how to clearly define what I want.

Read more“Settling on a theme”

Europa Universalis IV: Clanricarde (Part I)

Since finally I bought the DLC Rule Britannia, I decide to start a new game on the island of… well, Ireland.

Clanricarde is an Irish way to say “Clan Richard”. The territory is a region around Galway. Obviously, I picked this country because I visited Galway last year.

Not every place I visited is a good place to play in EU4: Dublin is “The Pale” in the game, so playing it equals playing England. Toronto was still a land of the first people, or to be precise, the Mississaugas. The Mississaugas are not available in the game, either.

Read more“Europa Universalis IV: Clanricarde (Part I)”

Supporting secure connections

This blog does not support proper HTTPS connection yet.

It bugs me. This is 2018. Everyone is educated about how bad a non-secure connection is. I just wrote the privacy policy but let’s be honest, no privacy policy can save a website that basically asks everyone to broadcast their comments. Not to mention that I am the only guy who has to actually log in this website in order to use it. Inputting my password via an insecure channel is very bad.

So here starts my little research in how to get a proper HTTPS support, in the modern way.

Read more“Supporting secure connections”

So it begins


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 computer science sense) of my article, and having a third party controlling everything they think I should not care about.

Anyway, better late than never, at least I finally take the efforts to bring it online.

Everything else is placeholder. Even the title, “de finibus”, refers to the book De finibus bonorum et malorum by Marcus Tullius Cicero, in which the famous placeholder text “lorem ipsum dolor sit amet…” is derived from.

The plans is to write about things that are not so relevant to my everyday job. That is, hobbies. So I might write about linguistics, board games, research areas that I am not really working at, et cetera.

I am trying to make blogging into my next hobby too, so there is going to be lots of self-referencing articles. I might change the site typeface and write an article about typefaces, for example.

In the end, I want this blog to be a place where I write articles as a fun and inspiring activity.