Having no favicon sucks. Hence, here is my first attempt at giving this site a favicon. I would also like to give my main website one, but I guess working out the blog icon first would be easier.
A closer look at the LaTeX2HTML plugin
In the previous post, I talked about installing a plugin called LaTeX2HTML and gave a quick test of its functionality.
Now, let me explore more of its functionalities, and fix the style discrepancies whenever I find them.
Europa Universalis IV: Clanricarde (Part IV)
A new era has begun: the era of reformation and colonialism!
And for our Clanricarde, it is also the era of constant war against the Kingdom of Saxain.
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 parentheses.
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.
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.
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.
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: