https://blog.gluegadget.com/post/ Recent content in Posts on Hugo en Tue, 22 Aug 2017 00:00:00 +0000 https://blog.gluegadget.com/post/2017-08-22-thinkpad-e470/ Tue, 22 Aug 2017 00:00:00 +0000 https://blog.gluegadget.com/post/2017-08-22-thinkpad-e470/ <p>Recently I&rsquo;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&rsquo;t want to spend that amount of money and was looking for cheaper alternatives.</p> <p>Browsing Lenovo website, I realised that a reasonably configured <a href="http://www3.lenovo.com/ie/en/laptops/thinkpad/edge-series/E470/p/22TP2TEE470">E470</a> would cost about €1000 which was about how much I was willing to pay. I configured it, so it has:</p> https://blog.gluegadget.com/post/2017-08-16-tapl/ Wed, 16 Aug 2017 00:00:00 +0000 https://blog.gluegadget.com/post/2017-08-16-tapl/ <p>February 2016, as a birthday present to myself I bought a copy of <a href="https://www.cis.upenn.edu/~bcpierce/tapl/">Types and Programming Languages</a>. 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.</p>