My main computer is a
-soon-to-be-librebooted
-ThinkPad X200. This is the machine I use the most in or out the
-house. I also own and occasionally use a Dell XPS 15 more as a
-“Desktop”, and a ThinkPad X220T tablet I use when reading
-(and annotating) research papers.
+
My main computer is a librebooted
+ThinkPad X200, and is the machine I use the most. I also own a
+ThinkPad X220T tablet that I occasionally use for reading and
+annotating research papers, and a Dell XPS 15 I use every now and
+again more as a “desktop”.
I also have the privilege of having access to a fleet of beefy
servers through our school's
-Computer Science Club,
-which I use for some heavier computations every now and
-again.
+Computer Science Club, which I use
+for some heavier computations every now and again.
GNU/Linux distros
-
I've used a large number of GNU/Linux distributions throughout the
-years, but as of late, my favourite distros are
+
I've used a wide variety of GNU/Linux distributions over the years;
+but as of late, I find myself using
Trisquel,
Guix System, and
Debian (with no contrib or
-non-free). I mostly use the
-GNU Linux-libre kernel.
-Guix System comes with GNU Linux-libre out of the box, and on
-Debian-based distros I install it from jxself's
-APT repository.
+non-free). For the kernel, I mostly use
+GNU
+Linux-libre. Guix System comes with GNU Linux-libre out of
+the box, and on Debian-based distros I tend to install it from
+jxself's APT repository.
Actual computing
I spend most of my time in
@@ -48,5 +46,5 @@ for functioning. I can't wait for lxo's
reality fast enough.
:-)
diff --git a/header.html b/header.html
index 33ac3e5..2cc6c75 100644
--- a/header.html
+++ b/header.html
@@ -1,19 +1,19 @@
include(meta_notes.m4)dnl
ifdef(`__slug',,`define(__slug, _get(`notes', __id))')dnl
ifdef(`__feed_atom',
-`
+`Amin Bandali
-tag:bandali.eu.org,atom,notes:__slug
+tag:bndl.org,atom,notes:__slug__pub__upd
-
+
__title',
`ifdef(`__feed_rss',
`__title
-https://bandali.eu.org/__slug
-tag:bandali.eu.org,rss,notes:__slug
+https://bndl.org/__slug
+tag:bndl.org,rss,notes:__slugsyscmd(date "-uRd __pub" | tr -d \\n)',
`
diff --git a/index.m4 b/index.m4
index fa7f4b0..2459b42 100644
--- a/index.m4
+++ b/index.m4
@@ -37,13 +37,13 @@ co-host of the Emacs.el podcast with
the Systems Committee of the
Computer Science Club of the
University of Waterloo, and an intern with the FSF tech team starting
-in May 2020.
+in spring 2020.
Papers
-
A Comparison of the Declarative Modelling Languages B, DASH, and
+
A Comparison of the Declarative Modelling Languages B, Dash, and
TLA+
[ pdf
@@ -52,7 +52,7 @@ TLA+
-Ali Abbassi, Amin Bandali,
+Ali Abbassi, Amin Bandali,
Nancy A. Day, Jose Serna 2018 IEEE 8th International Model-Driven Requirements Engineering
Workshop (MoDRE)
@@ -76,7 +76,7 @@ York University, Toronto, Canada, August 15, 2017">poster