diff options
| author | Amir Saeid <amir@glgdgt.com> | 2026-02-15 17:25:19 +0000 |
|---|---|---|
| committer | Amir Saeid <amir@glgdgt.com> | 2026-02-15 17:25:19 +0000 |
| commit | 3e3b3596b4e0d720c68a2d3a3538055dae41a694 (patch) | |
| tree | 8eac8ab367f70dcc5078c7f88060cc14f99d6123 /public/post | |
| parent | 2afe4ebe08385533c400467bdb280b7d5fbec1c7 (diff) | |
Convert from Jekyll
Diffstat (limited to 'public/post')
| -rw-r--r-- | public/post/2017-08-16-tapl/index.html | 146 | ||||
| -rw-r--r-- | public/post/2017-08-22-thinkpad-e470/index.html | 173 | ||||
| -rw-r--r-- | public/post/index.html | 159 | ||||
| -rw-r--r-- | public/post/index.xml | 26 | ||||
| -rw-r--r-- | public/post/page/1/index.html | 9 |
5 files changed, 513 insertions, 0 deletions
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 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="utf-8"> + <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> + + <title>Types and Programming Languages | </title> + <meta name="viewport" content="width=device-width,minimum-scale=1"> + <meta name="description" content="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."> + <meta name="generator" content="Hugo 0.155.0"> + + + + <meta name="robots" content="index, follow"> + + + + +<link rel="stylesheet" href="/ananke/css/main.min.efe4d852f731d5d1fbb87718387202a97aafd768cdcdaed0662bbe6982e91824.css" > + + + + + + + + + + + + + + + + <link rel="canonical" href="https://blog.gluegadget.com/post/2017-08-16-tapl/"> + + + + + <meta property="og:url" content="https://blog.gluegadget.com/post/2017-08-16-tapl/"> + <meta property="og:title" content="Types and Programming Languages"> + <meta property="og:description" content="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."> + <meta property="og:locale" content="en"> + <meta property="og:type" content="article"> + <meta property="article:section" content="post"> + <meta property="article:published_time" content="2017-08-16T00:00:00+00:00"> + <meta property="article:modified_time" content="2017-08-16T00:00:00+00:00"> + <meta property="article:tag" content="Tapl"> + <meta property="article:tag" content="Rust"> + + <meta itemprop="name" content="Types and Programming Languages"> + <meta itemprop="description" content="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."> + <meta itemprop="datePublished" content="2017-08-16T00:00:00+00:00"> + <meta itemprop="dateModified" content="2017-08-16T00:00:00+00:00"> + <meta itemprop="wordCount" content="318"> + <meta itemprop="keywords" content="Tapl,Rust"> + <meta name="twitter:card" content="summary"> + <meta name="twitter:title" content="Types and Programming Languages"> + <meta name="twitter:description" content="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."> + + + + + + </head><body class="ma0 avenir bg-near-white production is-page is-page page-2017-08-16-tapl"> + + + + + <header> + <div class="bg-black"> + <nav class="pv3 ph3 ph4-ns" role="navigation"> + <div class="flex-l center items-center justify-between"> + <a href="/" class="f3 fw2 hover-white white-90 dib no-underline"> + + + + </a> + <div class="flex-l items-center"> + + + + <div class="ananke-socials"></div> + + </div> + </div> +</nav> + + </div> + </header> + + + + <main class="pb7" role="main"> + + + + <article class="page-2017-08-16-tapl flex-l mw7 center ph3 flex-wrap justify-between"> + <header class="mt4 w-100"> + <aside class="instapaper_ignoref b helvetica tracked ttu"> + + Posts + </aside><div id="sharing" class="mt3 ananke-socials"></div> +<h1 class="f1 athelas mt3 mb1">Types and Programming Languages</h1> + + + + <time class="f6 mv4 dib tracked" datetime="2017-08-16T00:00:00Z">August 16, 2017</time> + + + + + </header> + <div class="nested-copy-line-height lh-copy serif f4 nested-links mid-gray pr4-l w-100-l"><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> +<p>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 <a href="http://www.dt249.ie/">B.Sc. in Information Systems and Information Technology</a>. 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.</p> +<p>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.</p> +<p>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.</p> +<p>I also decided to publish my progress both as in <a href="https://github.com/amir/tapl.rs">code</a> as well as in a series of blog posts, as suggested by a wise man, <a href="http://iainhull.github.io/">Iain</a>. Hence this blog.</p> +<ul class="pa0"> + + <li class="list di"> + <a href="/tags/tapl/" class="link f5 grow br-pill ba ph3 pv2 mb2 dib black sans-serif no-underline">Tapl</a> + </li> + + <li class="list di"> + <a href="/tags/rust/" class="link f5 grow br-pill ba ph3 pv2 mb2 dib black sans-serif no-underline">Rust</a> + </li> + +</ul> + + + </div></article> + + </main> + <footer class="bg-black bottom-0 w-100 pa3" role="contentinfo"> + <div class="flex justify-between"> + <a class="f4 fw4 hover-white white-70 dn dib-ns pv2 ph3 no-underline" href="https://blog.gluegadget.com/" > + © + </a> + <div><div class="ananke-socials"></div> +</div> + </div> +</footer> + + </body> +</html> 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 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="utf-8"> + <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> + + <title>ThinkPad E470 | </title> + <meta name="viewport" content="width=device-width,minimum-scale=1"> + <meta name="description" content="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:"> + <meta name="generator" content="Hugo 0.155.0"> + + + + <meta name="robots" content="index, follow"> + + + + +<link rel="stylesheet" href="/ananke/css/main.min.efe4d852f731d5d1fbb87718387202a97aafd768cdcdaed0662bbe6982e91824.css" > + + + + + + + + + + + + + + + + <link rel="canonical" href="https://blog.gluegadget.com/post/2017-08-22-thinkpad-e470/"> + + + + + <meta property="og:url" content="https://blog.gluegadget.com/post/2017-08-22-thinkpad-e470/"> + <meta property="og:title" content="ThinkPad E470"> + <meta property="og:description" content="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:"> + <meta property="og:locale" content="en"> + <meta property="og:type" content="article"> + <meta property="article:section" content="post"> + <meta property="article:published_time" content="2017-08-22T00:00:00+00:00"> + <meta property="article:modified_time" content="2017-08-22T00:00:00+00:00"> + <meta property="article:tag" content="Thinkpad"> + <meta property="article:tag" content="E470"> + + <meta itemprop="name" content="ThinkPad E470"> + <meta itemprop="description" content="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:"> + <meta itemprop="datePublished" content="2017-08-22T00:00:00+00:00"> + <meta itemprop="dateModified" content="2017-08-22T00:00:00+00:00"> + <meta itemprop="wordCount" content="296"> + <meta itemprop="keywords" content="Thinkpad,E470"> + <meta name="twitter:card" content="summary"> + <meta name="twitter:title" content="ThinkPad E470"> + <meta name="twitter:description" content="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:"> + + + + + + </head><body class="ma0 avenir bg-near-white production is-page is-page page-2017-08-22-thinkpad-e470"> + + + + + <header> + <div class="bg-black"> + <nav class="pv3 ph3 ph4-ns" role="navigation"> + <div class="flex-l center items-center justify-between"> + <a href="/" class="f3 fw2 hover-white white-90 dib no-underline"> + + + + </a> + <div class="flex-l items-center"> + + + + <div class="ananke-socials"></div> + + </div> + </div> +</nav> + + </div> + </header> + + + + <main class="pb7" role="main"> + + + + <article class="page-2017-08-22-thinkpad-e470 flex-l mw7 center ph3 flex-wrap justify-between"> + <header class="mt4 w-100"> + <aside class="instapaper_ignoref b helvetica tracked ttu"> + + Posts + </aside><div id="sharing" class="mt3 ananke-socials"></div> +<h1 class="f1 athelas mt3 mb1">ThinkPad E470</h1> + + + + <time class="f6 mv4 dib tracked" datetime="2017-08-22T00:00:00Z">August 22, 2017</time> + + + + + </header> + <div class="nested-copy-line-height lh-copy serif f4 nested-links mid-gray pr4-l w-100-l"><p>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.</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> +<ul> +<li>Intel® Core™ i7-7500U</li> +<li>16GB RAM</li> +<li>NVIDIA® GeForce® 940MX 2 GB</li> +<li>14" FHD (1920x1080) anti-glare IPS</li> +<li>256GB SSD</li> +</ul> +<p>Including VAT it set me back €1032 which I think is reasonable.</p> +<p>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.</p> +<p>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 <a href="https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/drivers/input/mouse/trackpoint.c?id=293b915fd9bebf33cdc906516fb28d54649a25ac">patch</a> will fix it.</p> +<p>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 <a href="https://www.amazon.co.uk/Adapter-Resolution-DisplayPort-Converter-monitors/dp/B00WM6MPGC/">converters</a> capable of doing such transformation, at higher costs.</p> +<p><strong>The Good</strong></p> +<ul> +<li>Reasonably priced.</li> +<li>45WH battery lasts 8 hours.</li> +</ul> +<p><strong>The Bad</strong></p> +<ul> +<li>FHD is the most high-resolution option.</li> +<li>Keyboard is not backlit.</li> +<li>No ThinkLight.</li> +</ul> +<p><strong>The Ugly</strong></p> +<ul> +<li>It’s weighty, ugly, bulky, and the design is unimaginative.</li> +</ul> +<ul class="pa0"> + + <li class="list di"> + <a href="/tags/thinkpad/" class="link f5 grow br-pill ba ph3 pv2 mb2 dib black sans-serif no-underline">Thinkpad</a> + </li> + + <li class="list di"> + <a href="/tags/e470/" class="link f5 grow br-pill ba ph3 pv2 mb2 dib black sans-serif no-underline">E470</a> + </li> + +</ul> + + + </div></article> + + </main> + <footer class="bg-black bottom-0 w-100 pa3" role="contentinfo"> + <div class="flex justify-between"> + <a class="f4 fw4 hover-white white-70 dn dib-ns pv2 ph3 no-underline" href="https://blog.gluegadget.com/" > + © + </a> + <div><div class="ananke-socials"></div> +</div> + </div> +</footer> + + </body> +</html> 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 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="utf-8"> + <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> + + <title></title> + <meta name="viewport" content="width=device-width,minimum-scale=1"> + <meta name="description" content=""> + <meta name="generator" content="Hugo 0.155.0"> + + + + <meta name="robots" content="index, follow"> + + + + +<link rel="stylesheet" href="/ananke/css/main.min.efe4d852f731d5d1fbb87718387202a97aafd768cdcdaed0662bbe6982e91824.css" > + + + + + + + + + + + + + + + <link href="/post/index.xml" rel="alternate" type="application/rss+xml" title="" /> + <link href="/post/index.xml" rel="feed" type="application/rss+xml" title="" /> + + + + + <link rel="canonical" href="https://blog.gluegadget.com/post/"> + + + + + <meta property="og:url" content="https://blog.gluegadget.com/post/"> + <meta property="og:title" content="Posts"> + <meta property="og:locale" content="en"> + <meta property="og:type" content="website"> + + <meta itemprop="name" content="Posts"> + <meta itemprop="datePublished" content="2017-08-22T00:00:00+00:00"> + <meta itemprop="dateModified" content="2017-08-22T00:00:00+00:00"> + <meta name="twitter:card" content="summary"> + <meta name="twitter:title" content="Posts"> + + + + + + </head><body class="ma0 avenir bg-near-white production is-section is-section"> + + + <header> + <div class="pb3-m pb6-l bg-black"> + <nav class="pv3 ph3 ph4-ns" role="navigation"> + <div class="flex-l center items-center justify-between"> + <a href="/" class="f3 fw2 hover-white white-90 dib no-underline"> + + + + </a> + <div class="flex-l items-center"> + + + + <div class="ananke-socials"></div> + + </div> + </div> +</nav> + + <div class="tc-l pv3 ph3 ph4-ns"> + <h1 class="f2 f-subheadline-l fw2 light-silver mb0 lh-title"> + Posts + </h1> + + </div> + </div> + </header> + + + <main class="pb7" role="main"> + + + <article class="pa3 pa4-ns nested-copy-line-height"> + <section class="cf ph3 ph5-l pv3 pv4-l f4 tc-l center measure-wide lh-copy nested-links mid-gray"> + + </section> + <aside class="flex-ns mt5 flex-wrap justify-around"> + + <div class="w-100 w-30-l mb4 relative bg-white"> + <div class="mb3 pa4 mid-gray overflow-hidden"> + + <div class="f6"> + August 22, 2017 + </div> + + <h1 class="f3 near-black"> + <a href="/post/2017-08-22-thinkpad-e470/" class="link black dim"> + ThinkPad E470 + </a> + </h1> + <div class="nested-links f5 lh-copy nested-copy-line-height"> + <p>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.</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> + </div> + <a href="/post/2017-08-22-thinkpad-e470/" class="ba b--moon-gray bg-light-gray br2 color-inherit dib f7 hover-bg-moon-gray link mt2 ph2 pv1">read more</a> + </div> + + </div> + + <div class="w-100 w-30-l mb4 relative bg-white"> + <div class="mb3 pa4 mid-gray overflow-hidden"> + + <div class="f6"> + August 16, 2017 + </div> + + <h1 class="f3 near-black"> + <a href="/post/2017-08-16-tapl/" class="link black dim"> + Types and Programming Languages + </a> + </h1> + <div class="nested-links f5 lh-copy nested-copy-line-height"> + <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> + </div> + <a href="/post/2017-08-16-tapl/" class="ba b--moon-gray bg-light-gray br2 color-inherit dib f7 hover-bg-moon-gray link mt2 ph2 pv1">read more</a> + </div> + + </div> + + </aside> + + + </article> + + </main> + <footer class="bg-black bottom-0 w-100 pa3" role="contentinfo"> + <div class="flex justify-between"> + <a class="f4 fw4 hover-white white-70 dn dib-ns pv2 ph3 no-underline" href="https://blog.gluegadget.com/" > + © + </a> + <div><div class="ananke-socials"></div> +</div> + </div> +</footer> + + </body> +</html> 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 @@ +<?xml version="1.0" encoding="utf-8" standalone="yes"?> +<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> + <channel> + <title>Posts on </title> + <link>https://blog.gluegadget.com/post/</link> + <description>Recent content in Posts on </description> + <generator>Hugo</generator> + <language>en</language> + <lastBuildDate>Tue, 22 Aug 2017 00:00:00 +0000</lastBuildDate> + <atom:link href="https://blog.gluegadget.com/post/index.xml" rel="self" type="application/rss+xml" /> + <item> + <title>ThinkPad E470</title> + <link>https://blog.gluegadget.com/post/2017-08-22-thinkpad-e470/</link> + <pubDate>Tue, 22 Aug 2017 00:00:00 +0000</pubDate> + <guid>https://blog.gluegadget.com/post/2017-08-22-thinkpad-e470/</guid> + <description><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></description> + </item> + <item> + <title>Types and Programming Languages</title> + <link>https://blog.gluegadget.com/post/2017-08-16-tapl/</link> + <pubDate>Wed, 16 Aug 2017 00:00:00 +0000</pubDate> + <guid>https://blog.gluegadget.com/post/2017-08-16-tapl/</guid> + <description><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></description> + </item> + </channel> +</rss> 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 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <title>https://blog.gluegadget.com/post/</title> + <link rel="canonical" href="https://blog.gluegadget.com/post/"> + <meta charset="utf-8"> + <meta http-equiv="refresh" content="0; url=https://blog.gluegadget.com/post/"> + </head> +</html> |