+
+ +
+ + + + + + + + +
+ + +
+ + +
+ +
+
+
+ +
+

+ + ThinkPad E470 + +

+
+

Recently I’ve been looking for a Linux-friendly, budget laptop. I like ThinkPads, and all of my laptops have been either T-series or X-series but this time I didn’t want to spend that amount of money and was looking for cheaper alternatives.

+

Browsing Lenovo website, I realised that a reasonably configured E470 would cost about €1000 which was about how much I was willing to pay. I configured it, so it has:

+
+ read more +
+
+
+
+ +
+ +
+ +
+
+
+ +
+

+ + Types and Programming Languages + +

+
+

February 2016, as a birthday present to myself I bought a copy of Types and Programming Languages. At the time the only thing I did with it was to take a photo of it, sharing it on Twitter and congratulating myself. To be fair, I did try reading it, but it was so intimidating that I gave up very early in the book. One and a half years later I’m going to give it another go because a few things have changed.

+
+ read more +
+
+
+
+ +
+ +
+ + + +
+ + +