From b307aaa9dfa368f039b2ea79efadfc217d3f3355 Mon Sep 17 00:00:00 2001
From: Amin Bandali
Date: Mon, 20 Aug 2018 01:42:02 -0400
Subject: [PATCH] Port the site to GNU Emacs + Org mode (using org-publish)
---
2016/11/arch-macbook-air.md | 281 ---------------------
colophon.md | 29 ---
contact.md | 45 ----
cv.md | 10 -
index.md | 23 --
partials/postamble.html | 5 +
_header.html => partials/preamble.html | 2 +
publish.el | 118 +++++++++
source/2016/11/arch-macbook-air.org | 266 ++++++++++++++++++++
source/colophon.org | 31 +++
source/contact.org | 35 +++
source/cv.org | 13 +
source/global.js | 11 +
source/index.org | 40 +++
source/macros.org | 11 +
source/now.org | 7 +
source/projects.org | 7 +
source/style.css | 218 ++++++++++++++++
source/uw.org | 7 +
ssng | 322 ------------------------
styles.css | 329 -------------------------
21 files changed, 771 insertions(+), 1039 deletions(-)
delete mode 100644 2016/11/arch-macbook-air.md
delete mode 100644 colophon.md
delete mode 100644 contact.md
delete mode 100644 cv.md
delete mode 100644 index.md
create mode 100644 partials/postamble.html
rename _header.html => partials/preamble.html (96%)
create mode 100644 publish.el
create mode 100644 source/2016/11/arch-macbook-air.org
create mode 100644 source/colophon.org
create mode 100644 source/contact.org
create mode 100644 source/cv.org
create mode 100644 source/global.js
create mode 100644 source/index.org
create mode 100644 source/macros.org
create mode 100644 source/now.org
create mode 100644 source/projects.org
create mode 100644 source/style.css
create mode 100644 source/uw.org
delete mode 100755 ssng
delete mode 100644 styles.css
diff --git a/2016/11/arch-macbook-air.md b/2016/11/arch-macbook-air.md
deleted file mode 100644
index e6a9e46..0000000
--- a/2016/11/arch-macbook-air.md
+++ /dev/null
@@ -1,281 +0,0 @@
-title: Arch Linux on MacBook Air 2013
-date: 2016-11-01
----
-
-# Arch Linux on MacBook Air 2013
-
-This post summarizes how I install and dual-boot Arch Linux with
-Full-Disk Encryption alongside macOS. It is not meant to be a
-replacement for the [Installation Guide][installation] or the
-former [Beginner's Guide][beginners]. Rather, it mostly serves as a
-small summary with a few useful notes about the gotchas.
-
-[installation]: https://wiki.archlinux.org/index.php/installation_guide
-[beginners]: https://csdietz.github.io/arch-beginner-guide/
-
-So, make sure you understand what you type into your terminal. If you
-don't, checking out the Arch wiki should probably be your first step.
-
-_Note:_ you will need internet access throughout the installation and
-the MacBook Air's WiFi doesn't work out of the box on Arch Linux. I
-recommend using your phone's USB Tethering (if it does support it), or
-using an Ethernet-USB adapter.
-
-## Shrinking the macOS partition
-
-The first step I take is resizing the HFS+ macOS partition to make
-room for the new GNU/Linux installation. There are plenty
-of tutorials on how to do this using macOS's Disk Utility, so do that
-and then come back!
-
-## Creating a bootable Arch Linux Installer USB
-
-There are different ways of creating a bootable Arch Linux USB, all
-documented on the [USB flash installation media][usb_install] page on
-the Arch wiki, but the simplest one is using `dd` if you already have
-access to another UNIX system.
-
-[usb_install]: https://wiki.archlinux.org/index.php/USB_flash_installation_media
-
-Warning: make sure you backup the data on
-your flash drive, as `dd` will irrevocably destroy all data on it.
-
-Use `lsblk` to find the name (block device) of your USB drive, then
-run `dd` (as root) as shown below:
-
-``` bash
-dd bs=4M if=/path/to/archlinux.iso of=/dev/sdx status=progress && sync
-```
-
-Replace `/path/to/archlinux.iso` with the path to the Arch image you
-have downloaded, and `/dev/sdx` with your drive.
-
-## Booting up from the USB
-
-After creating the install USB, reboot your laptop and hold the alt key and boot
-into the USB.
-
-When booting is complete and you're presented with the prompt, it's a good time
-to make sure you're connected to the internet (see the _note_ at the top of this
-post).
-
-Use `ping` to verify that you've established a connection:
-
-```bash
-ping archlinux.org
-```
-
-## Updating the system clock
-
-Once you're connected to the internet, make sure the system clock is accurate:
-
-```bash
-timedatectl set-ntp true # start and enable systemd-timesyncd
-```
-
-You can check the service status using `timedatectl status`.
-
-## Partitioning
-
-I won't dive into partitioning and instead, I'll refer you to
-the [Partitioning][partitioning] page of Arch wiki. Of the available
-partitioning tools, I personally prefer `cfdisk`.
-
-[partitioning]: https://wiki.archlinux.org/index.php/Partitioning
-
-## Setting up LVM & LUKS
-
-I use a [LVM on LUKS][lvm_on_luks] setup, where I set up LVM on top of
-the encrypted partition.
-
-First, let's set up the underlying encrypted partition:
-
-``` bash
-cryptsetup -v --cipher aes-xts-plain64 --key-size 512 --hash sha512 \
- --iter-time 5000 --use-urandom -y luksFormat /dev/sdaX
-```
-
-where `/dev/sdaX` is the partition you created in the last step
-(e.g. `/dev/sda4`). For more information about the `cryptsetup`
-options, see the [LUKS encryption options][luks_options].
-
-[lvm_on_luks]: https://wiki.archlinux.org/index.php/Dm-crypt/Encrypting_an_entire_system#LVM_on_LUKS
-[luks_options]: https://wiki.archlinux.org/index.php/Dm-crypt/Device_encryption#Encryption_options_for_LUKS_mode
-
-Then we open the container:
-
-``` bash
-cryptsetup open --type luks /dev/sdaX lvm
-```
-
-Now it's time to use lvm and prepare the logical volume(s):
-
-``` bash
-pvcreate /dev/mapper/lvm
-vgcreate vg /dev/mapper/lvm
-lvcreate --extents +100%FREE -n root vg
-```
-
-This will create a physical volume on the mapping we just opened,
-create a volume group named `vg` on the physical volume, and create a
-logical volume named `root` that spans the entire volume group. More
-complex setups are possible thanks to the great flexibility of lvm.
-
-We now format the logical volume with `ext4`:
-
-``` bash
-mkfs.ext4 /dev/mapper/vg-root
-```
-
-## Installing the base system
-
-Let's mount the logical volume, make a directory for the mount point
-of the boot partition, and mount the boot partition (`/dev/sda1`):
-
-``` bash
-mount /dev/mapper/vg-root /mnt
-mkdir /mnt/boot
-mount /dev/sda1 /mnt/boot
-```
-
-Finally, let's install the base system (and optionally `base-devel`):
-
-``` bash
-pacstrap /mnt base base-devel
-```
-
-## Configuring the system
-
-Let's generate the fstab:
-
-``` bash
-genfstab -U /mnt >> /mnt/etc/fstab
-```
-
-Use your favorite terminal-based editor, edit the fstab file and add
-the `discard` option for the root partition to enable TRIM on the
-SSD.
-
-Now we change root into our newly installed system and will configure
-it. Adjust these according to your own setup.
-
-``` bash
-arch-chroot /mnt /bin/bash
-passwd # set the root password
-echo myhostname > /etc/hostname # set the hostname
-ln -s /usr/share/zoneinfo/Canada/Eastern /etc/localtime # time zone
-hwclock --systohc --utc # write system clock to hardware clock (UTC)
-useradd -m -G wheel -s /bin/bash myuser # create myuser
-passwd myuser # set the password for myuser
-echo "myuser ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers.d/myuser
-# uncomment en_US.UTF-8 UTF-8 and other needed locales in /etc/locale.gen
-locale-gen
-echo LANG=en_US.UTF-8 > /etc/locale.conf
-export LANG=en_US.UTF-8
-```
-
-Then adjust the initramfs hooks in `/etc/mkinitcpio.conf` and enable
-the `encrypt` and `lvm2` hooks, and make sure `keyboard` is available
-before `encrypt` so you can actually type in the LUKS password when
-booting. Your `HOOKS` line should look similar to this:
-
-```
-HOOKS="base udev autodetect modconf block keyboard encrypt lvm2 filesystems fsck"
-```
-
-After adjusting the hooks, build the initramfs:
-
-``` bash
-mkinitcpio -p linux
-```
-
-Now, install the `intel-ucode` package. We'll configure the bootloader
-to enable intel microcode updates.
-
-``` bash
-pacman -S intel-ucode
-```
-
-Create the `/boot/loader/loader.conf` with the following content
-(adjust the timeout to your liking):
-
-```
-default arch
-timeout 3
-```
-
-Then create the entry for Arch:
-
-``` bash
-mkdir -p /boot/loader/entries
-touch /boot/loader/entries/arch.conf
-```
-
-Now edit `/boot/loader/entries/arch.conf` to specify the Arch entry:
-
-```
-title Arch Linux
-linux /vmlinuz-linux
-initrd /intel-ucode.img
-initrd /initramfs-linux.img
-options cryptdevice=/dev/sdaX:vg:allow-discards root=/dev/mapper/vg-root rw
-```
-
-Again, `/dev/sdaX` is the partition you created in the
-**Partitioning** step as the underlying encrypted partition.
-
-Finally, install the bootloader, exit the chroot, umount and reboot!
-
-``` bash
-bootctl install
-exit
-umount -R /mnt
-reboot
-```
-
-## Post-installation recommendations
-
-Congratulations! You now have a minimal Arch installation.
-
-At this point, I usually install my favorite AUR
-helper, [pacaur][pacaur], then I
-install the [broadcom-wl-dkms][broadcom-wl-dkms] wireless driver
-and [mba6x_bl-dkms][mba6x_bl-dkms] backlight driver to fix the post
-suspend/resume issue where three's no brightness after waking up from
-suspend, and the only available brightness would be 100%.
-
-[broadcom-wl-dkms]: https://aur.archlinux.org/packages/broadcom-wl-dkms/
-[mba6x_bl-dkms]: https://aur.archlinux.org/packages/mba6x_bl-dkms/
-
-``` bash
-pacaur -S linux-headers dkms # linux-headers is required for dkms
-pacaur -S broadcom-wl-dkms
-pacaur -S mba6x_bl-dkms
-```
-
-[pacaur]: https://aur.archlinux.org/packages/pacaur/
-
-Then, I'd like to install
-
-- input, graphics, and sound drivers,
-- a desktop environment (I prefer Xfce or LXQt),
-- a display manager for login screen (lightdm or sddm), and
-- a network manager (NetworkManager or ConnMan).
-
-Check out the [General recommendations][gen_reqs] for more details.
-
-[gen_reqs]: https://wiki.archlinux.org/index.php/General_recommendations
-
-## References
-
-Here are some resources I've come across each with lots of useful bits
-and pieces, about installing Arch on a MacBook:
-
-- [pandeiro/arch-on-air](https://github.com/pandeiro/arch-on-air)
-- [Arch Linux on MacBook Pro Retina 2014 with DM-Crypt, LVM and suspend to disk](https://loicpefferkorn.net/2015/01/arch-linux-on-macbook-pro-retina-2014-with-dm-crypt-lvm-and-suspend-to-disk/)
-- [Installing Archlinux on Macbook Air 2013](http://frankshin.com/installing-archlinux-on-macbook-air-2013/)
-- [Arch Linux Installation with OS X on Macbook Air (Dual Boot)](http://panks.me/posts/2013/06/arch-linux-installation-with-os-x-on-macbook-air-dual-boot/)
-- [Installing (encrypted) Arch Linux on an Apple MacBook Pro](https://visual-assault.org/2016/03/05/install-encrypted-arch-linux-on-apple-macbook-pro/)
-- [Installing Arch Linux on a MacBook Air 2013](http://alexeyzabelin.com/arch-on-mac)
-- [Arch Linux running on my MacBook](https://medium.com/phils-thought-bubble-of-recent-stuff/arch-linux-running-on-my-macbook-2ea525ebefe3)
-- [Dual boot Arch Linux on MacBook Pro Installation](http://codylittlewood.com/arch-linux-on-macbook-pro-installation/)
diff --git a/colophon.md b/colophon.md
deleted file mode 100644
index 79721dd..0000000
--- a/colophon.md
+++ /dev/null
@@ -1,29 +0,0 @@
-# Colophon
-
-This is my personal website, previous versions of which I've ran on
-different domains since 2012.
-
-## Night mode
-
-To toggle night mode, click on , which is always available on the top
-navigation menu. It saves its state in a browser cookie, other than
-that no JavaScript is required to use this website.
-
-This website is generated using `ssng`, a fork of Roman Zolotarev's
-[ssg][ssg], and is served by [Nginx][nginx] on [Debian][debian].
-
-## Copyright and Licenses
-
-The source code for this site is licensed under version 3 of the [GNU
-General Public License][gplv3] (see the [`COPYING`][copying]
-file). The content of the posts is licensed under the [Creative
-Commons BY SA][cc] license.
-
-
-[ssg]: https://www.romanzolotarev.com/ssg.html
-[nginx]: https://www.nginx.com
-[debian]: https://www.debian.org
-[gplv3]: https://gnu.org/licenses/gpl.html
-[cc]: https://creativecommons.org/licenses/by-sa/4.0/
-[copying]: https://git.sr.ht/~aminb/aminb.org/tree/COPYING
diff --git a/contact.md b/contact.md
deleted file mode 100644
index 1cf8ee1..0000000
--- a/contact.md
+++ /dev/null
@@ -1,45 +0,0 @@
-title: Contact
-
-# Say hello!
-
-You can contact me via email or through my accounts on various online
-platforms.
-
-## Contact info
-
--
-- , I'm a volunteer GNU webmaster
-- , I'm a grad student @ UW
-- gpg key: [500C 1D55 D1EC 1FED E8C0 C8DE 4E05 246A B0BF 7FFB][gpg]
-- [@aminb:matrix.org][matrix] on Matrix
-- aminb on [freenode][freenode] and [moznet][moznet]
-
-- [aminb@member.fsf.org][member.fsf] via XMPP
-
-## Other online places
-
-- [~aminb][srht] on [sr.ht][sr.ht]
-- [aminb][github] on GitHub
-- [aminb][gitlab] on GitLab
-- [amin][keybase] on Keybase
-- [aminb][lobsters] on Lobsters
-- [aminb][reddit] on Reddit
-- [aminban][twitter] on Twitter
-
-
-[gpg]: http://pgp.mit.edu/pks/lookup?op=vindex&search=0x4E05246AB0BF7FFB
-[matrix]: https://matrix.to/#/@aminb:matrix.org
-[freenode]: https://freenode.net
-[moznet]: https://wiki.mozilla.org/IRC
-[pleroma]: https://soc.aminb.org/users/amin
-[fediverse]: https://en.wikipedia.org/wiki/Fediverse
-[member.fsf]: xmpp:aminb@member.fsf.org
-
-[srht]: https://git.sr.ht/%7Eaminb
-[sr.ht]: https://sr.ht
-[github]: https://github.com/aminb
-[gitlab]: https://gitlab.com/aminb
-[keybase]: https://keybase.io/amin
-[lobsters]: https://lobste.rs/u/aminb
-[reddit]: https://www.reddit.com/u/aminb
-[twitter]: https://twitter.com/aminban
diff --git a/cv.md b/cv.md
deleted file mode 100644
index 10e4b8d..0000000
--- a/cv.md
+++ /dev/null
@@ -1,10 +0,0 @@
-# CV
-
-My academic cv is available as [cv.pdf](/cv.pdf), and an
-outdated professional resume is available as
-[resume.pdf](/resume.pdf) as well.
-
-I'm interested in functional programming and functional languages,
-type systems, and formal methods in general. I love writing Haskell
-and I'm looking into Rust and Lean as well. Feel free to [drop me a
-line](/contact) if you like to geek out about any of the above.
diff --git a/index.md b/index.md
deleted file mode 100644
index 2f9060e..0000000
--- a/index.md
+++ /dev/null
@@ -1,23 +0,0 @@
-
"
+ output))))
+
+(add-to-list 'org-export-filter-final-output-functions
+ 'aminb--my-html-body-light-filter)
+
+;; re-defining this (originally in `ox-html.el') to add `?g'
+(defun org-html-format-spec (info)
+ "Return format specification for preamble and postamble.
+INFO is a plist used as a communication channel."
+ (let ((timestamp-format (plist-get info :html-metadata-timestamp-format))
+ (git-repo "@%s")
+ (git-rev (shell-command-to-string "git rev-parse HEAD"))
+ (git-rev-short (shell-command-to-string "git rev-parse --short HEAD")))
+ `((?t . ,(org-export-data (plist-get info :title) info))
+ (?s . ,(org-export-data (plist-get info :subtitle) info))
+ (?d . ,(org-export-data (org-export-get-date info timestamp-format)
+ info))
+ (?T . ,(format-time-string timestamp-format))
+ (?a . ,(org-export-data (plist-get info :author) info))
+ (?e . ,(mapconcat
+ (lambda (e) (format "%s" e e))
+ (split-string (plist-get info :email) ",+ *")
+ ", "))
+ (?g . ,(format git-repo git-rev git-rev-short))
+ (?c . ,(plist-get info :creator))
+ (?C . ,(let ((file (plist-get info :input-file)))
+ (format-time-string timestamp-format
+ (and file (nth 5 (file-attributes file))))))
+ (?v . ,(or (plist-get info :html-validation-link) "")))))
+
+;; timestamps can be used to avoid rebuilding everything
+;; should probably be put inside the public/ directory
+(setq org-publish-use-timestamps-flag t
+ org-publish-timestamp-directory "./")
+
+;; get rid of index.html~ and other backup files that may be created during generation
+(setq make-backup-files nil)
+
+(setq org-export-with-section-numbers nil
+ org-export-with-smart-quotes t
+ org-export-with-email t
+ org-export-with-date t
+ org-export-with-tags 'not-in-toc
+ org-export-with-toc t)
+
+(setq org-html-divs '((preamble "header" "preamble")
+ (content "main" "content")
+ (postamble "footer" "postamble"))
+ ;; TODO: link last update to commit history of file
+ org-html-preamble t
+ org-html-postamble t
+ org-html-preamble-format `(("en" ,(aminb--readfile "partials/preamble.html")))
+ org-html-postamble-format `(("en" ,(aminb--readfile "partials/postamble.html")))
+ org-html-container-element "section"
+ org-html-metadata-timestamp-format "%Y-%m-%d"
+ org-html-checkbox-type 'html
+ org-html-html5-fancy t
+ ;; use custom css
+ ;; this removes the dependency on `htmlize',
+ ;; but we also lose syntax highlighting.
+ org-html-htmlize-output-type nil
+ org-html-validation-link nil
+ org-html-doctype "html5")
+
+(setq org-publish-project-alist
+ (list
+ (list "site-org"
+ :base-directory "./source/"
+ :exclude "macros.org"
+ :recursive t
+ :publishing-function '(org-html-publish-to-html)
+ :publishing-directory "./public/"
+ :html-head-include-default-style nil
+ :html-head-include-scripts nil)
+ (list "site-static"
+ :base-directory "source/"
+ :exclude "\\.org\\'"
+ :base-extension 'any
+ :publishing-directory "./public"
+ :publishing-function 'org-publish-attachment
+ :recursive t)
+ (list "site" :components '("site-org"))))
+
+(defun aminb/publish ()
+ (org-publish-all))
diff --git a/source/2016/11/arch-macbook-air.org b/source/2016/11/arch-macbook-air.org
new file mode 100644
index 0000000..b808320
--- /dev/null
+++ b/source/2016/11/arch-macbook-air.org
@@ -0,0 +1,266 @@
+#+title: Arch Linux on MacBook Air 2013
+#+date: [2016-11-01 Tue]
+#+options: ^:nil
+
+#+include: "../../macros.org"
+
+This post summarizes how I install and dual-boot Arch Linux with
+Full-Disk Encryption alongside macOS. It is not meant to be a
+replacement for the [[https://wiki.archlinux.org/index.php/installation_guide][Installation Guide]] or the former [[https://csdietz.github.io/arch-beginner-guide/][Beginner's Guide]].
+Rather, it mostly serves as a small summary with a few useful notes
+about the gotchas.
+
+So, make sure you understand what you type into your terminal. If you
+don't, checking out the Arch wiki should probably be your first step.
+
+/Note:/ you will need internet access throughout the installation and
+the MacBook Air's WiFi doesn't work out of the box on Arch Linux. I
+recommend using your phone's USB Tethering (if it does support it), or
+using an Ethernet-USB adapter.
+
+* Shrinking the macOS partition
+
+The first step I take is resizing the HFS+ macOS partition to make
+room for the new {{{abbr(GNU/Linux)}}} installation. There are plenty
+of tutorials on how to do this using macOS's Disk Utility, so do that
+and then come back!
+
+* Creating a bootable Arch Linux Installer USB
+
+There are different ways of creating a bootable Arch Linux USB, all
+documented on the [[https://wiki.archlinux.org/index.php/USB_flash_installation_media][USB flash installation media]] page on the Arch wiki,
+but the simplest one is using =dd= if you already have access to
+another UNIX system.
+
+{{{span(red,Warning:)}}} make sure you backup the data on your flash
+drive, as =dd= will irrevocably destroy all data on it.
+
+Use =lsblk= to find the name (block device) of your USB drive, then
+run =dd= (as root) as shown below:
+
+#+begin_src bash
+dd bs=4M if=/path/to/archlinux.iso of=/dev/sdx status=progress && sync
+#+end_src
+
+Replace =/path/to/archlinux.iso= with the path to the Arch image you
+have downloaded, and =/dev/sdx= with your drive.
+
+* Booting up from the USB
+
+After creating the install USB, reboot your laptop and hold the alt
+key and boot into the USB.
+
+When booting is complete and you're presented with the prompt, it's a
+good time to make sure you're connected to the internet (see the
+/note/ at the top of this post).
+
+Use =ping= to verify that you've established a connection:
+
+#+begin_src bash
+ping archlinux.org
+#+end_src
+
+* Updating the system clock
+
+Once you're connected to the internet, make sure the system clock is
+accurate:
+
+#+begin_src bash
+timedatectl set-ntp true # start and enable systemd-timesyncd
+#+end_src
+
+You can check the service status using =timedatectl status=.
+
+* Partitioning
+:PROPERTIES:
+:CUSTOM_ID: partitioning
+:END:
+
+I won't dive into partitioning and instead, I'll refer you to the
+[[https://wiki.archlinux.org/index.php/Partitioning][Partitioning]] page of Arch wiki. Of the available partitioning tools, I
+personally prefer =cfdisk=.
+
+* Setting up LVM & LUKS
+
+I use a [[https://wiki.archlinux.org/index.php/Dm-crypt/Encrypting_an_entire_system#LVM_on_LUKS][LVM on LUKS]] setup, where I set up LVM on top of the encrypted
+partition.
+
+First, let's set up the underlying encrypted partition:
+
+#+begin_src bash
+cryptsetup -v --cipher aes-xts-plain64 --key-size 512 --hash sha512 \
+ --iter-time 5000 --use-urandom -y luksFormat /dev/sdaX
+#+end_src
+
+where =/dev/sdaX= is the partition you created in the last step
+(e.g. =/dev/sda4=). For more information about the =cryptsetup=
+options, see the [[https://wiki.archlinux.org/index.php/Dm-crypt/Device_encryption#Encryption_options_for_LUKS_mode][LUKS encryption options]].
+
+Then we open the container:
+
+#+begin_src bash
+cryptsetup open --type luks /dev/sdaX lvm
+#+end_src
+
+Now it's time to use lvm and prepare the logical volume(s):
+
+#+begin_src bash
+pvcreate /dev/mapper/lvm
+vgcreate vg /dev/mapper/lvm
+lvcreate --extents +100%FREE -n root vg
+#+end_src
+
+This will create a physical volume on the mapping we just opened,
+create a volume group named =vg= on the physical volume, and create a
+logical volume named =root= that spans the entire volume group. More
+complex setups are possible thanks to the great flexibility of lvm.
+
+We now format the logical volume with =ext4=:
+
+#+begin_src bash
+mkfs.ext4 /dev/mapper/vg-root
+#+end_src
+
+* Installing the base system
+
+Let's mount the logical volume, make a directory for the mount point
+of the boot partition, and mount the boot partition (=/dev/sda1=):
+
+#+begin_src bash
+mount /dev/mapper/vg-root /mnt
+mkdir /mnt/boot
+mount /dev/sda1 /mnt/boot
+#+end_src
+
+Finally, let's install the base system (and optionally =base-devel=):
+
+#+begin_src bash
+pacstrap /mnt base base-devel
+#+end_src
+
+* Configuring the system
+
+Let's generate the fstab:
+
+#+begin_src bash
+genfstab -U /mnt >> /mnt/etc/fstab
+#+end_src
+
+Use your favorite terminal-based editor, edit the fstab file and add
+the =discard= option for the root partition to enable TRIM on the SSD.
+
+Now we change root into our newly installed system and will configure
+it. Adjust these according to your own setup.
+
+#+begin_src bash
+arch-chroot /mnt /bin/bash
+passwd # set the root password
+echo myhostname > /etc/hostname # set the hostname
+ln -s /usr/share/zoneinfo/Canada/Eastern /etc/localtime # time zone
+hwclock --systohc --utc # write system clock to hardware clock (UTC)
+useradd -m -G wheel -s /bin/bash myuser # create myuser
+passwd myuser # set the password for myuser
+echo "myuser ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers.d/myuser
+# uncomment en_US.UTF-8 UTF-8 and other needed locales in /etc/locale.gen
+locale-gen
+echo LANG=en_US.UTF-8 > /etc/locale.conf
+export LANG=en_US.UTF-8
+#+end_src
+
+Then adjust the initramfs hooks in =/etc/mkinitcpio.conf= and enable
+the =encrypt= and =lvm2= hooks, and make sure =keyboard= is available
+before =encrypt= so you can actually type in the LUKS password when
+booting. Your =HOOKS= line should look similar to this:
+
+#+begin_src
+HOOKS="base udev autodetect modconf block keyboard encrypt lvm2 filesystems fsck"
+#+end_src
+
+After adjusting the hooks, build the initramfs:
+
+#+begin_src bash
+mkinitcpio -p linux
+#+end_src
+
+Now, install the =intel-ucode= package. We'll configure the bootloader
+to enable intel microcode updates.
+
+#+begin_src bash
+pacman -S intel-ucode
+#+end_src
+
+Create the =/boot/loader/loader.conf= with the following content
+(adjust the timeout to your liking):
+
+#+begin_src
+default arch
+timeout 3
+#+end_src
+
+Then create the entry for Arch:
+
+#+begin_src bash
+mkdir -p /boot/loader/entries
+touch /boot/loader/entries/arch.conf
+#+end_src
+
+Now edit =/boot/loader/entries/arch.conf= to specify the Arch entry:
+
+#+begin_src
+title Arch Linux
+linux /vmlinuz-linux
+initrd /intel-ucode.img
+initrd /initramfs-linux.img
+options cryptdevice=/dev/sdaX:vg:allow-discards root=/dev/mapper/vg-root rw
+#+end_src
+
+Again, =/dev/sdaX= is the partition you created in the [[#partitioning][partitioning]]
+step as the underlying encrypted partition.
+
+Finally, install the bootloader, exit the chroot, umount and reboot!
+
+#+begin_src bash
+bootctl install
+exit
+umount -R /mnt
+reboot
+#+end_src
+
+* Post-installation recommendations
+
+Congratulations! You now have a minimal Arch installation.
+
+At this point, I usually install my favorite AUR helper, [[https://aur.archlinux.org/packages/pacaur/][pacaur]], then
+I install the [[https://aur.archlinux.org/packages/broadcom-wl-dkms/][broadcom-wl-dkms]] wireless driver and [[https://aur.archlinux.org/packages/mba6x_bl-dkms/][mba6x_bl-dkms]]
+backlight driver to fix the post suspend/resume issue where three's no
+brightness after waking up from suspend, and the only available
+brightness would be 100%.
+
+#+begin_src bash
+pacaur -S linux-headers dkms # linux-headers is required for dkms
+pacaur -S broadcom-wl-dkms
+pacaur -S mba6x_bl-dkms
+#+end_src
+
+Then, I'd like to install
+
+- input, graphics, and sound drivers,
+- a desktop environment (I prefer Xfce or LXQt),
+- a display manager for login screen (lightdm or sddm), and
+- a network manager (NetworkManager or ConnMan).
+
+Check out the [[https://wiki.archlinux.org/index.php/General_recommendations][General recommendations]] for more details.
+
+* References
+
+Here are some resources I've come across each with lots of useful bits
+and pieces, about installing Arch on a MacBook:
+
+- [[https://github.com/pandeiro/arch-on-air][pandeiro/arch-on-air]]
+- [[https://loicpefferkorn.net/2015/01/arch-linux-on-macbook-pro-retina-2014-with-dm-crypt-lvm-and-suspend-to-disk/][Arch Linux on MacBook Pro Retina 2014 with DM-Crypt, LVM and suspend to disk]]
+- [[http://frankshin.com/installing-archlinux-on-macbook-air-2013/][Installing Archlinux on Macbook Air 2013]]
+- [[http://panks.me/posts/2013/06/arch-linux-installation-with-os-x-on-macbook-air-dual-boot/][Arch Linux Installation with OS X on Macbook Air (Dual Boot)]]
+- [[https://visual-assault.org/2016/03/05/install-encrypted-arch-linux-on-apple-macbook-pro/][Installing (encrypted) Arch Linux on an Apple MacBook Pro]]
+- [[http://alexeyzabelin.com/arch-on-mac][Installing Arch Linux on a MacBook Air 2013]]
+- [[https://medium.com/phils-thought-bubble-of-recent-stuff/arch-linux-running-on-my-macbook-2ea525ebefe3][Arch Linux running on my MacBook]]
+- [[http://codylittlewood.com/arch-linux-on-macbook-pro-installation/][Dual boot Arch Linux on MacBook Pro Installation]]
diff --git a/source/colophon.org b/source/colophon.org
new file mode 100644
index 0000000..b941794
--- /dev/null
+++ b/source/colophon.org
@@ -0,0 +1,31 @@
+#+title: Colophon
+#+date: [2018-08-19 Sun]
+#+options: toc:nil
+
+#+include: "./macros.org"
+
+This is my personal website, previous versions of which I've ran on
+different domains since 2012. The last version was generated using
+[[https://www.romanzolotarev.com/ssg.html][ssg]] (shout out to Roman Zolotarev), but I've since ported it to GNU
+Emacs + Org mode.
+
+The sources are available on https://git.sr.ht/~aminb/aminb.org. The
+site is automatically generated on each =git push= using the
+[[https://builds.sr.ht][builds.sr.ht]] service (see the [[https://git.sr.ht/~aminb/aminb.org/tree/.build.yml][=.build.yml=]] build manifest) and is
+deployed to my server, where it's served by [[https://www.nginx.com][Nginx]] on [[https://www.debian.org][Debian GNU/Linux]].
+
+* Night mode
+
+To toggle night mode, click on {{{light}}}, which is always available
+on the top navigation menu. It saves its state in a browser cookie,
+other than that no JavaScript is required to use this website.
+
+* Copyright and Licenses
+:PROPERTIES:
+:CUSTOM_ID: copyright
+:END:
+
+The source code for this site is licensed under version 3 (or, at your
+option, any later version) of the [[https://gnu.org/licenses/gpl.html][GNU General Public License]] (see the
+[[https://git.sr.ht/~aminb/aminb.org/tree/COPYING][=COPYING=]] file). The contents of the website are licensed under a
+{{{ccbysa}}} license.
diff --git a/source/contact.org b/source/contact.org
new file mode 100644
index 0000000..32b5656
--- /dev/null
+++ b/source/contact.org
@@ -0,0 +1,35 @@
+#+title: Contact
+#+date: [2018-08-19 Sun]
+#+options: toc:nil title:nil
+#+macro: xmpp @@html:$1@@
+
+#+include: "./macros.org"
+
+#+begin_export html
+
Say hello!
+#+end_export
+
+You can contact me via email or through my accounts on various online
+platforms.
+
+* Contact info
+
+- [[mailto:amin@aminb.org][amin@aminb.org]]
+- [[mailto:amin@gnu.org][amin@gnu.org]], I'm a volunteer [[https://www.gnu.org/people/webmeisters.html#aminb][GNU webmaster]]
+- [[mailto:abandali@uwaterloo.ca][abandali@uwaterloo.ca]], I'm a [[file:uw.org][grad student]] @ UW
+- gpg key: [[https://pgp.surfnet.nl/pks/lookup?op=vindex&fingerprint=on&search=0xD1FBA36627D65876][CDDE 75F9 0353 8E71 813C DA27 D1FB A366 27D6 5876]]
+- aminb on [[https://freenode.net][freenode]] and [[https://wiki.mozilla.org/IRC][moznet]] IRC
+- [[https://matrix.to/#/@aminb:matrix.org][@aminb:matrix.org]] on Matrix
+- {{{xmpp(aminb@member.fsf.org)}}} via XMPP
+- [[https://pleroma.site/users/aminb][aminb@pleroma.site]] on the [[https://en.wikipedia.org/wiki/Fediverse][fediverse]]
+
+* Other online places
+
+- [[https://git.sr.ht/%257Eaminb][~aminb]] on [[https://sr.ht][sr.ht]]
+- [[https://lobste.rs/u/aminb][aminb]] on Lobsters
+- [[https://gitlab.com/aminb][aminb]] on GitLab
+- [[https://keybase.io/amin][amin]] on Keybase
+- [[https://news.ycombinator.com/user?id=aban][aban]] on HN
+- [[https://www.reddit.com/u/aminb][aminb]] on Reddit
+- +[[https://github.com/aminb][aminb]] on GitHub+
+- +[[https://twitter.com/aminban][aminban]] on Twitter+
diff --git a/source/cv.org b/source/cv.org
new file mode 100644
index 0000000..22bbdd4
--- /dev/null
+++ b/source/cv.org
@@ -0,0 +1,13 @@
+#+title: CV
+#+date: [2018-08-19 Sun]
+#+options: toc:nil
+
+#+include: "./macros.org"
+
+My academic {{{abbr(cv)}}} is available as [[/cv.pdf][cv.pdf]], and an outdated
+professional resume is available as [[/resume.pdf][resume.pdf]] as well.
+
+I'm interested in functional programming and functional languages,
+type systems, and formal methods in general. I love writing Haskell
+and I'm looking into Rust and Lean as well. Feel free to [[file:contact.org][drop me a
+line]] if you like to geek out about any of the above.
diff --git a/source/global.js b/source/global.js
new file mode 100644
index 0000000..f7ecb6b
--- /dev/null
+++ b/source/global.js
@@ -0,0 +1,11 @@
+!function(t){
+ t.addEventListener('DOMContentLoaded', function () {
+ var l = t.querySelector('#light-off');
+ if (l !== null) {
+ l.checked = t.cookie.match(/lightOff=true/) !== null;
+ l.addEventListener('change', function () {
+ t.cookie = 'lightOff=' + JSON.stringify(l.checked) + ';path=/';
+ });
+ }
+ })
+}(document);
diff --git a/source/index.org b/source/index.org
new file mode 100644
index 0000000..74e5fe1
--- /dev/null
+++ b/source/index.org
@@ -0,0 +1,40 @@
+#+title:
+#+date: [2018-08-19 Sun]
+#+options: toc:nil title:nil
+
+#+include: "./macros.org"
+
+#+begin_export html
+
Hello there,
+
+
+
+
+#+end_export
+
+I'm a [[file:uw.org][graduate student]] in the [[https://watform.uwaterloo.ca][WatForm]] group at University of Waterloo,
+supervised by [[https://cs.uwaterloo.ca/~nday/][Dr. Nancy Day]]. I'm interested in using formal methods,
+especially type systems, to help make software more reliable.
+
+* Publications
+:PROPERTIES:
+:CUSTOM_ID: publications
+:END:
+
+- *A comparison of the declarative modelling languages B, Dash, and
+ TLA^{+}* (pdf, bib, [[https://cs.uwaterloo.ca/~nday/models/2018-modre][models]])
+
+ {{{pub-desc(Ali Abbassi\, Amin Bandali\, Nancy A. Day\, and Jose Serna. In
+ /International Workshop on Model-Driven Requirements Engineering (MoDRE) @ IEEE International Requirements Engineering Conference (RE)/.
+ To appear\, 2018.)}}}
+
+* Talks & presentations
+
+- TODO
+
+* Recent writings & essays
+
+# TODO: atom feed
+
+#+attr_html: :title November 1, 2016
+- [[file:2016/11/arch-macbook-air.org][Arch Linux on MacBook Air 2013]]
diff --git a/source/macros.org b/source/macros.org
new file mode 100644
index 0000000..7c88c3c
--- /dev/null
+++ b/source/macros.org
@@ -0,0 +1,11 @@
+#+macro: abbr @@html:$1@@
+#+macro: span @@html:$2@@
+#+macro: kbd @@html:$1@@
+#+macro: h1title @@html:
@@{{{title}}}@@html:
@@
+#+macro: light @@html:@@
+#+macro: ccbysa @@html:Creative Commons Attribution-ShareAlike 4.0 International @@{{{ccbysa-img}}}@@html:@@
+#+macro: ccbysa-img @@html:@@
+#+macro: pub-desc @@html:@@$1@@html:@@
+
+#+html_head:
+#+html_head:
diff --git a/source/now.org b/source/now.org
new file mode 100644
index 0000000..e5fbc50
--- /dev/null
+++ b/source/now.org
@@ -0,0 +1,7 @@
+#+title: Now
+#+date: [2018-08-19 Sun]
+#+options: toc:nil title:nil
+
+#+include: "./macros.org"
+
+Coming soon.
diff --git a/source/projects.org b/source/projects.org
new file mode 100644
index 0000000..4e7da08
--- /dev/null
+++ b/source/projects.org
@@ -0,0 +1,7 @@
+#+title: Projects
+#+date: [2018-08-19 Sun]
+#+options: toc:nil title:nil
+
+#+include: "./macros.org"
+
+Coming soon.
diff --git a/source/style.css b/source/style.css
new file mode 100644
index 0000000..cab0597
--- /dev/null
+++ b/source/style.css
@@ -0,0 +1,218 @@
+html, body {
+ margin: 0;
+ height: 100%;
+}
+
+body {
+ font-family: "Liberation Sans", "Arial", sans-serif;
+ color: #232323;
+}
+
+main {
+ margin: 0 auto;
+ max-width: 34em;
+ padding: 1em;
+}
+
+/* Header and Footer */
+
+#aminb { font-size: 0.9em; }
+
+#preamble,
+#postamble {
+ color: #888888;
+ padding: 1em;
+ margin: 0 auto 2em;
+ max-width: 34em;
+}
+
+#preamble { padding: 2em 1em 0em 1em; }
+
+#preamble h2 { display: inline; }
+
+#preamble a { border: none !important; color: #888 !important; }
+
+#preamble h2 a { color: #3a89c9 !important; }
+
+#preamble .bar {
+ color: #ccc;
+ font-size: 12pt;
+ vertical-align: bottom;
+ padding-left: 1px;
+ padding-right: 1px;
+}
+
+#postamble a {
+ color: #888888 !important;
+ border-bottom: 1px solid #cccccc !important;
+}
+
+/* Content */
+
+#content {
+ line-height: 1.6em;
+}
+
+#content h1, #content h2 {
+ line-height: 1em;
+ font-weight: 700;
+ letter-spacing: -0.03em;
+ word-spacing: -0.03em;
+}
+
+#content h1 { font-size: 1.6em; }
+
+#content h2 {
+ font-size: 1.2em;
+ padding: 0.25em 0;
+}
+
+#content p {
+ margin: 1em 0;
+}
+
+#content code {
+ background-color: #f5f5f5;
+ padding: 1px 3px;
+}
+
+#content code,
+#content pre {
+ font-family: "DejaVu Sans Mono", monospace;
+ font-size: 0.9em;
+ line-height: 1.5em;
+ margin: 0;
+}
+
+#content pre {
+ background-color: #f5f5f5;
+ color: #232323;
+ margin: 0 -1em;
+ overflow-x: auto;
+ padding: 1em;
+ word-wrap: normal;
+}
+
+#content ul {
+ padding: 0;
+ margin: 0.3em 0 0 1.6em;
+}
+
+#content ul li {
+ /* list-style: none; */
+}
+
+#content li {
+ margin: 0.5em 0;
+}
+
+.pub-desc {
+ font-size: 0.95em;
+}
+
+#text-publications p {
+ margin: 0.5em 0;
+}
+
+.light-off:checked ~ .page #content pre,
+.light-off:checked ~ .page #content code {
+ background-color: #232323;
+}
+
+.clear { clear: both; }
+
+#hello { float: left; line-height: 50px !important; }
+
+#content .picture__avatar {
+ margin: 0;
+ height: 64px;
+ width: 64px;
+ border-radius: 50%;
+ float: right;
+}
+
+@media only screen and (min-width: 570px) {
+ .picture__avatar {
+ margin-right: 3em !important;
+ }
+}
+
+.page {
+ background-color: #ffffff;
+ color: #232323;
+ min-height: 100%;
+}
+
+.page a {
+ color: #357edd;
+ text-decoration: none;
+ border-bottom: 1px solid #a5ceff;
+}
+
+pre { margin-left: 0 }
+
+/* Light switch */
+
+#light-off {
+ position: absolute;
+ visibility: hidden;
+}
+
+.light-off-button {
+ cursor: pointer;
+ vertical-align: middle;
+}
+
+.light-off-button,
+.light-off-button-inline {
+ color: #888888;
+ -webkit-user-select: none;
+ user-select: none;
+ cursor: pointer;
+ text-align: right;
+}
+
+.light-off-button:hover:after,
+.light-off-button-inline:hover:after {
+ color: #357edd;
+ border-bottom: 0;
+}
+
+.light-off:checked ~ .page .light-off-button:hover:after
+.light-off:checked ~ .page .light-off-button-inline:hover:after {
+ color: #ddddb6;
+ border-bottom: 0;
+}
+
+.light-off-button:after,
+.light-off-button-inline:after {
+ content: "\1F4A1";
+ font-family: "Noto Color Emoji", "Noto Sans", "Arial", sans-serif;
+}
+
+.light-off:checked ~ .page {
+ background-color: #141414;
+ color: #cccccc;
+}
+
+.page:selection {
+ background: #ddddb6;
+}
+.light-off:checked ~ .page:selection {
+ background: #357edd;
+}
+
+.light-off:checked ~ .page a, .light-off:checked ~ header a {
+ color: #ddddb6 !important;
+ border-bottom: 1px solid #aaaa96;
+}
+
+.light-off:checked ~ .page a:visited {
+ color: #888888;
+ border-bottom: 1px solid #444444;
+}
+
+.light-off:checked ~ .page a:hover {
+ color: #ddddb6;
+ border-bottom: 1px solid #ddddb6;
+}
diff --git a/source/uw.org b/source/uw.org
new file mode 100644
index 0000000..c9a3504
--- /dev/null
+++ b/source/uw.org
@@ -0,0 +1,7 @@
+#+title: UWaterloo
+#+date: [2018-08-19 Sun]
+#+options: toc:nil title:nil
+
+#+include: "./macros.org"
+
+Coming soon.
diff --git a/ssng b/ssng
deleted file mode 100755
index b14383b..0000000
--- a/ssng
+++ /dev/null
@@ -1,322 +0,0 @@
-#!/bin/sh
-
-# Copyright (C) 2018 Amin Bandali
-
-# This program is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-# GNU General Public License for more details.
-
-# You should have received a copy of the GNU General Public License
-# along with this program. If not, see .
-
-# ssng is a fork of Roman Zolotarev's ssg. See end of file for ssg's
-# license notice.
-
-: "${WEBSITE_TITLE:=Amin Bandali}"
-: "${SERVER_NAME:=aminb.org}"
-: "${SERVER_PROTO:=https}"
-: "${RSS_AUTHOR:=amin@aminb.org}"
-: "${RSS_DESCRIPTION:=Personal website}"
-: "${COPYRIGHT_FROM_YEAR:=2016}"
-: "${DOCS:=out}"
-
-##########################################################################
-
-[ -n "$DOCS" ] || { echo "export DOCS "; exit 1; }
-DOCUMENT_ROOT=$(readlink -fn "$DOCS")
-TEMP_DIR=$(mktemp -d)
-# shellcheck disable=SC2064
-trap 'clean_up' EXIT
-trap exit HUP INT TERM
-[ "$2" = '--clean' ] && RSYNC_FLAGS='--delete-excluded' || RSYNC_FLAGS=''
-
-INDEX_HTML_FILE="$TEMP_DIR/index.html"
-CSS_FILE="$TEMP_DIR/styles.css"
-RSS_FILE="$TEMP_DIR/rss.xml"
-RSS_URL="$SERVER_PROTO://$SERVER_NAME/rss.xml"
-SITEMAP="$TEMP_DIR/sitemap.xml"
-
-ANNOUNCEMENT_FILE="$PWD/_announcement.html"
-FOOTER_FILE="$PWD/_footer.html"
-HEADER_FILE="$PWD/_header.html"
-[ -f "$ANNOUNCEMENT_FILE" ] &&
- ANNOUNCEMENT_TEXT=$(cat "$ANNOUNCEMENT_FILE")
-[ -f "$HEADER_FILE" ] &&
- HEADER=$(cat "$HEADER_FILE") ||
- HEADER=$(cat << EOF
-Home -
-Twitter
-EOF
-)
-[ -f "$FOOTER_FILE" ] &&
- FOOTER=$(cat "$FOOTER_FILE") ||
- FOOTER=$(cat << EOF
-Copyright $COPYRIGHT_FROM_YEAR–$(date +%Y)
-$WEBSITE_TITLE
-|
-colophon
-EOF
-)
-
-##########################################################################
-
-usage() {
- echo 'usage: DOCS='
- echo
- echo ' ssg build [--clean]'
- echo ' | watch [--clean]'
- exit 1
-}
-
-copy_to_temp_dir() {
- rsync -a --delete-excluded \
- --exclude '.*' \
- --exclude '_*' \
- '.' "$TEMP_DIR"
-}
-
-copy_to_document_root() {
- [ "$(dirname "$DOCUMENT_ROOT")" = "$PWD" ] &&
- self="/$(basename "$DOCUMENT_ROOT")/" ||
- self="$DOCUMENT_ROOT"
- rsync -a $RSYNC_FLAGS \
- --exclude "$self" \
- --exclude '.*' \
- --exclude '_*' \
- "$TEMP_DIR/" "$DOCUMENT_ROOT"
-}
-
-md_to_html() {
- find "$TEMP_DIR" -type f -name '*.md'|
- while read -r file; do
- lowdown -D html-skiphtml -D html-head-ids \
- "$file" > "${file%\.md}.html" &&
- rm "$file"
- done
-}
-
-
-# filter first 20 lines with links and link titles (dates)
-# shellcheck disable=SC2016
-fst_h1='/<[h1]*( id=".*")?>/{gsub(/<[^>]*>/,"");print($0);exit;}'
-a='^