From 3e3b3596b4e0d720c68a2d3a3538055dae41a694 Mon Sep 17 00:00:00 2001 From: Amir Saeid Date: Sun, 15 Feb 2026 17:25:19 +0000 Subject: Convert from Jekyll --- public/post/2017-08-16-tapl/index.html | 146 ++++++++++++++++++++ public/post/2017-08-22-thinkpad-e470/index.html | 173 ++++++++++++++++++++++++ public/post/index.html | 159 ++++++++++++++++++++++ public/post/index.xml | 26 ++++ public/post/page/1/index.html | 9 ++ 5 files changed, 513 insertions(+) create mode 100644 public/post/2017-08-16-tapl/index.html create mode 100644 public/post/2017-08-22-thinkpad-e470/index.html create mode 100644 public/post/index.html create mode 100644 public/post/index.xml create mode 100644 public/post/page/1/index.html (limited to 'public/post') diff --git a/public/post/2017-08-16-tapl/index.html b/public/post/2017-08-16-tapl/index.html new file mode 100644 index 0000000..d0ce0d0 --- /dev/null +++ b/public/post/2017-08-16-tapl/index.html @@ -0,0 +1,146 @@ + + + + + + + Types and Programming Languages | + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ + +
+
+ + + +
+ + + +
+
+
+

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.

+

First of all, I should say that I’ve no academic background in computer science—I’ve studied Zoology. I easily get frightened by any text with more than a few lines of maths in it especially when it’s heavy on symbols which I don’t know, and Google doesn’t help. I’ve had many attempts at learning maths—watching YouTube videos, reading books—but I always gave up mostly due to lack of discipline in doing the exercises. A year ago I decided to do something about it and enrolled into DIT’s B.Sc. in Information Systems and Information Technology. I thought if I’m paying a substantial amount of money for a class in a relatively well-established institute it might help. To my unwelcome surprise, the course isn’t heavy on maths, but it was an immense help, discipline-wise, nonetheless.

+

The second thing was that due to some unforeseen circumstances, all of a sudden I found myself with plenty of free time and I didn’t want to waste this once in a lifetime opportunity.

+

After deciding that I want to read the book and be rigorous in doing the exercises, I had to choose a programming language to do the exercises in, and I found it a good excuse to give Rust a try.

+

I also decided to publish my progress both as in code as well as in a series of blog posts, as suggested by a wise man, Iain. Hence this blog.

+ + + +
+ +
+ + + + diff --git a/public/post/2017-08-22-thinkpad-e470/index.html b/public/post/2017-08-22-thinkpad-e470/index.html new file mode 100644 index 0000000..3f0cc7d --- /dev/null +++ b/public/post/2017-08-22-thinkpad-e470/index.html @@ -0,0 +1,173 @@ + + + + + + + ThinkPad E470 | + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ + +
+
+ + + +
+ + + +
+
+
+

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:

+
    +
  • Intel® Core™ i7-7500U
    • +
  • 16GB RAM
    • +
  • NVIDIA® GeForce® 940MX 2 GB
    • +
  • 14" FHD (1920x1080) anti-glare IPS
    • +
  • 256GB SSD
    • +
+

Including VAT it set me back €1032 which I think is reasonable.

+

Unlike my other laptops, this time I kept the Windows mainly because it has a discrete GPU—granted not a high-performance one but still much better than Intel HD ones—and I thought I might be able to use it for some light gaming.

+

I installed Debian testing on it, and everything worked out of the box! The only issue I have with it is that middle-click isn’t working, but this patch will fix it.

+

Being a budget laptop, E470 lacks some features of X and T series. For example, it doesn’t have ThinkLight or the keyboard isn’t backlit. Its only video output is HDMI which caused me some headache. My monitor only has DisplayPort input; so I bought an HDMI to DisplayPort adapter not realizing that those cables aren’t bi-directional. They’re suitable for scenarios in which you need to connect your DisplayPort-capable device to an HDTV, not the other way around. However, there are converters capable of doing such transformation, at higher costs.

+

The Good

+
    +
  • Reasonably priced.
    • +
  • 45WH battery lasts 8 hours.
    • +
+

The Bad

+
    +
  • FHD is the most high-resolution option.
    • +
  • Keyboard is not backlit.
    • +
  • No ThinkLight.
    • +
+

The Ugly

+
    +
  • It’s weighty, ugly, bulky, and the design is unimaginative.
    • +
+ + + +
+ +
+ + + + diff --git a/public/post/index.html b/public/post/index.html new file mode 100644 index 0000000..54bac6a --- /dev/null +++ b/public/post/index.html @@ -0,0 +1,159 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ + +
+

+ Posts +

+ +
+
+
+ + +
+ + +
+
+ +
+ + + +
+ +
+ + + + diff --git a/public/post/index.xml b/public/post/index.xml new file mode 100644 index 0000000..bd08f3a --- /dev/null +++ b/public/post/index.xml @@ -0,0 +1,26 @@ + + + + Posts on + https://blog.gluegadget.com/post/ + Recent content in Posts on + Hugo + en + Tue, 22 Aug 2017 00:00:00 +0000 + + + ThinkPad E470 + 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> + + + Types and Programming Languages + 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> + + + diff --git a/public/post/page/1/index.html b/public/post/page/1/index.html new file mode 100644 index 0000000..faccd3b --- /dev/null +++ b/public/post/page/1/index.html @@ -0,0 +1,9 @@ + + + + https://blog.gluegadget.com/post/ + + + + + -- cgit v1.2.3