Europa Universalis IV: Clanricarde (Part III)
This is part III of my Clanricarde game. It includes the first conquests outside Éire.
Europa Universalis IV: Clanricarde (Part II)
This time I survived the early game. So I will start writing about this run. And hopefully, this game will be a fun one. I will try to use Irish names over the Anglicized names. Sometimes they are hard to parse, and I will include the “better known names” in …
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, …
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 …
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 …
The LaTeX plugin
The first plugin I installed is the LaTeX plugin. How can I live without a way to typeset mathematical formulae? Here is a working example:
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. …
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 …