rm -rf out/
deploy:
- rsync -avzLP out/ abandali@bandali.eu.org:www/site/
- ssh abandali@bandali.eu.org mv www/site/.htaccess-www www/.htaccess
+ rsync -avzLP out/ abandali@bndl.org:www/site/
+ ssh abandali@bndl.org mv www/site/.htaccess-www www/.htaccess
.PHONY: deploy
dnl -*- html -*-
define(__title, `How I do my Computing')dnl
define(__pub, 2019-09-14T12:00:00Z)dnl
-define(__upd, 2019-11-30T23:00:00Z)dnl
+define(__upd, 2020-07-02T12:00:00Z)dnl
define(__id, 2)dnl
include(header.html)dnl
<a href="//blog.vimuser.org/leah-computing.html">Leah Rowe</a>)</p>
<h2>Computers</h2>
-<p>My main computer is a
-soon-to-be-<a href="https://libreboot.org">librebooted</a>
-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.</p>
+<p>My main computer is a <a href="//libreboot.org">librebooted</a>
+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”.</p>
<p>I also have the privilege of having access to a fleet of beefy
servers through our school's
-<a href="https://csclub.uwaterloo.ca">Computer Science Club</a>,
-which I use for some heavier computations every now and
-again.</p>
+<a href="//csclub.uwaterloo.ca">Computer Science Club</a>, which I use
+for some heavier computations every now and again.</p>
<h2>GNU/Linux distros</h2>
-<p>I've used a large number of GNU/Linux distributions throughout the
-years, but as of late, my favourite distros are
+<p>I've used a wide variety of GNU/Linux distributions over the years;
+but as of late, I find myself using
<a href="//trisquel.info">Trisquel</a>,
<a href="//guix.gnu.org">Guix System</a>, and
<a href="//www.debian.org">Debian</a> (with no <code>contrib</code> or
-<code>non-free</code>). I mostly use the
-<a href="//www.fsfla.org/ikiwiki/selibre/linux-libre/">GNU Linux-libre</a> kernel.
-Guix System comes with GNU Linux-libre out of the box, and on
-Debian-based distros I install it from jxself's
-<a href="//jxself.org/linux-libre/">APT repository</a>.</p>
+<code>non-free</code>). For the kernel, I mostly use
+<a href="//www.fsfla.org/ikiwiki/selibre/linux-libre/">GNU
+Linux-libre</a>. Guix System comes with GNU Linux-libre out of
+the box, and on Debian-based distros I tend to install it from
+jxself's <a href="//jxself.org/linux-libre/">APT repository</a>.</p>
<h2>Actual computing</h2>
<p>I spend most of my time in
reality fast enough.
<span class="smly">:-)</span></p>
-define(__copy, `2019')dnl
+define(__copy, `2019, 2020')dnl
include(footer.html)dnl
<tbody>
<tr>
<td>Site</td>
-<td><a href="//bandali.eu.org">bandali.eu.org</a></td>
+<td><a href="//bndl.org">bndl.org</a></td>
</tr>
<tr>
<td>Email</td>
include(meta_notes.m4)dnl
ifdef(`__slug',,`define(__slug, _get(`notes', __id))')dnl
ifdef(`__feed_atom',
-`<entry xml:base="https://bandali.eu.org">
+`<entry xml:base="https://bndl.org">
<author><name>Amin Bandali</name></author>
-<id>tag:bandali.eu.org,atom,notes:__slug</id>
+<id>tag:bndl.org,atom,notes:__slug</id>
<published>__pub</published>
<updated>__upd</updated>
-<link href="https://bandali.eu.org/__slug" rel="alternate" type="text/html"/>
+<link href="https://bndl.org/__slug" rel="alternate" type="text/html"/>
<title>__title</title>
<content type="html">',
`ifdef(`__feed_rss',
`<item>
<title>__title</title>
-<link>https://bandali.eu.org/__slug</link>
-<guid isPermaLink="false">tag:bandali.eu.org,rss,notes:__slug</guid>
+<link>https://bndl.org/__slug</link>
+<guid isPermaLink="false">tag:bndl.org,rss,notes:__slug</guid>
<pubDate>syscmd(date "-uRd __pub" | tr -d \\n)</pubDate>
<description>',
`<!doctype html>
the Systems Committee of the
<a href="//csclub.uwaterloo.ca">Computer Science Club</a> of the
University of Waterloo, and an intern with the FSF tech team starting
-in May 2020.</p>
+in spring 2020.</p>
</section>
<section id="papers">
<h2>Papers</h2>
<dl>
-<dt>A Comparison of the Declarative Modelling Languages B, DASH, and
+<dt>A Comparison of the Declarative Modelling Languages B, Dash, and
TLA<sup>+</sup>
<small>
[ <a href="//p.bndl.org/modre2018-declarative.pdf">pdf</a>
</small>
</dt>
<dd>
-Ali Abbassi, <a href="//bandali.eu.org">Amin Bandali</a>,
+Ali Abbassi, <a href="//bndl.org">Amin Bandali</a>,
<a href="//cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, Jose Serna<br/>
<em>2018 IEEE 8th International Model-Driven Requirements Engineering
Workshop (MoDRE)</em><br/>
</small>
</dt>
<dd>
-<a href="//bandali.eu.org">Amin Bandali</a>,
+<a href="//bndl.org">Amin Bandali</a>,
<a href="//github.com/cipher1024">Simon Hudon</a>,
<a href="//www.cse.yorku.ca/~jonathan/">Jonathan S. Ostroff</a>
</dd>
</table>
</section>
-define(__copy, `2016–2019')dnl
+define(__copy, `2016–2020')dnl
include(footer.html)dnl
include(header.html)dnl
<article>
-<h1>License information for bandali.eu.org</h1>
+<h1>License information for bndl.org</h1>
<p>I strongly believe in
<a href="//questioncopyright.org/what_is_free_culture">free culture</a>
and that all creative works everywhere should be
<?xml version="1.0" encoding="UTF-8"?>
<feed xml:lang="en-US" xmlns="http://www.w3.org/2005/Atom">
<title>Amin Bandali's Personal Site</title>
-<id>tag:bandali.eu.org,atom,notes/</id>
-<link href="https://bandali.eu.org/notes.atom" rel="self" type="application/atom+xml"/>
-<link href="https://bandali.eu.org" rel="alternate" type="text/html"/>
+<id>tag:bndl.org,atom,notes/</id>
+<link href="https://bndl.org/notes.atom" rel="self" type="application/atom+xml"/>
+<link href="https://bndl.org" rel="alternate" type="text/html"/>
<updated>syscmd(date -Iseconds -u | tr -d \\n)</updated>
define(__feed_atom)dnl
define(`fordown',`ifelse($#,0,``$0'',`ifelse(eval($2>=$3),1,
<channel>
<title>Amin Bandali's Personal Site</title>
<description>Notes and blog posts by Amin Bandali</description>
-<link>https://bandali.eu.org</link>
+<link>https://bndl.org</link>
<lastBuildDate>syscmd(date -uR | tr -d \\n)</lastBuildDate>
<pubDate>syscmd(date -uR | tr -d \\n)</pubDate>
<ttl>1800</ttl>
RewriteEngine On
RewriteBase /
-# if on csclub.uwaterloo.ca, redirect to bandali.eu.org
+# if on csclub.uwaterloo.ca, redirect to bndl.org
RewriteCond %{HTTP_HOST} ^csclub\.uwaterloo\.ca$
-RewriteRule ^(.*)$ https://bandali.eu.org/$1 [R]
+RewriteRule ^(.*)$ https://bndl.org/$1 [R]
</IfModule>
<link rel="stylesheet" href="/style.css"/>
</head>
<body>
-<nav><a href="/">bandali.eu.org</a></nav>
+<nav><a href="/">bndl.org</a></nav>
<main>
<h1>404</h1>
<p>Sorry, that page does not exist.</p>