long overdue colophon update
[~bandali/bndl.org] / content-org / aminb.org
... / ...
CommitLineData
1#+title: sources of aminb.org's pages and posts
2
3#+hugo_base_dir: ..
4#+seq_todo: TODO DRAFT DONE
5#+property: header-args :eval never-export
6#+options: author:nil
7
8#+macro: abbr @@html:<abbr>$1</abbr>@@
9#+macro: span @@html:<span class="$1">$2</span>@@
10
11* Pages
12:PROPERTIES:
13:EXPORT_HUGO_SECTION: /
14:END:
15
16** Home
17:PROPERTIES:
18:EXPORT_FILE_NAME: _index
19:END:
20
21I'm a [[/uw][graduate student]] in the [[https://watform.uwaterloo.ca][WatForm]] group at University of Waterloo,
22supervised by [[https://cs.uwaterloo.ca/~nday/][Dr. Nancy Day]]. I'm interested in using formal methods,
23especially type systems, to help make software more reliable.
24
25** CV
26:PROPERTIES:
27:EXPORT_FILE_NAME: cv
28:EXPORT_HUGO_MENU: :menu topnav :weight 10
29:END:
30
31My academic {{{abbr(CV)}}} is available as [[/cv.pdf][cv.pdf]],
32and an outdated professional resume is available as [[/resume.pdf][resume.pdf]] as
33well.
34
35I'm interested in functional programming and functional languages,
36type systems, and formal methods in general. I love writing Haskell
37and I'm looking into Rust and Lean as well. Feel free to [[/contact][drop me a
38line]] if you like to geek out about any of the above.
39
40** DONE Now
41CLOSED: [2018-09-04 Tue 10:53]
42:PROPERTIES:
43:EXPORT_FILE_NAME: now
44:EXPORT_HUGO_AUTO_SET_LASTMOD: t
45:EXPORT_HUGO_MENU: :menu topnav :weight 20
46:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :customTitle "What I'm doing now"
47:END:
48
49This is my [[https://nownownow.com/about][now page]].
50
51I'm currently doing my third semester as a [[/uw][graduate student]] in the
52Waterloo Formal Methods group at University of Waterloo. I'm also
53TA'ing [[https://www.student.cs.uwaterloo.ca/~se212/][SE 212: Logic and Computation]], taught by my supervisor, Nancy.
54
55In my spare time, I write [[https://www.gnu.org/philosophy/free-sw.en.html][free software]] (projects page coming soon),
56and tend to various tasks as a GNU webmaster. I've also been picking
57up the guitar, after giving up on my longtime dream of being a
58pianist, at least for now.
59
60This update was on {{< lastmod >}}.
61
62** TODO Projects
63
64** DONE Contact
65CLOSED: [2018-09-03 Mon 20:44]
66:PROPERTIES:
67:EXPORT_FILE_NAME: contact
68:EXPORT_HUGO_MENU: :menu topnav :weight 40
69:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :customTitle "Say hello!"
70:END:
71
72#+macro: xmpp @@html:<a href="xmpp:$1">$1</a>@@
73
74You can contact me via email or through my accounts on various online
75platforms.
76
77*** Primary
78
79Email is my preferred method of communication.
80
81- [[mailto:amin@aminb.org][amin@aminb.org]], personal or general inquiries
82- [[mailto:bandali@gnu.org][bandali@gnu.org]], GNU- or free software-related ([[/gpg][gpg key]])
83- [[mailto:abandali@uwaterloo.ca][abandali@uwaterloo.ca]], academic or UW-related
84
85*** Secondary
86
87- irc: bandali on [[https://freenode.net][freenode]] and [[https://wiki.mozilla.org/IRC][moznet]]
88- xmpp: {{{xmpp(bandali@member.fsf.org)}}}
89- matrix: [[https://matrix.to/#/@bandali:matrix.org][@bandali:matrix.org]]
90- fediverse: [[https://pleroma.site/users/aminb][aminb@pleroma.site]]
91
92*** Other online places
93
94- [[https://git.sr.ht/~bandali][bandali]] on [[https://sr.ht][sr.ht]]
95- [[https://savannah.gnu.org/users/bandali][bandali]] on Savannah
96- [[https://lobste.rs/u/bandali][bandali]] on Lobsters
97- [[https://gitlab.com/bandali][bandali]] on GitLab
98- [[https://keybase.io/bandali][bandali]] on Keybase
99- [[https://news.ycombinator.com/user?id=bandali][bandali]] on HN
100- [[https://www.reddit.com/u/bandali][bandali]] on Reddit
101
102*** Dormant accounts
103
104These are accounts I don't use anymore, unless absolutely necessary.
105
106- [[https://functional.cafe/@a][a]] on functional.cafe
107- [[https://mastodon.social/@aminb][aminb]] on mastodon.social
108- [[https://savannah.gnu.org/users/aminb][aminb]] on Savannah
109- [[https://github.com/aminb][aminb]] on GitHub
110- [[https://www.reddit.com/u/aminb][aminb]] on Reddit
111- [[https://twitter.com/aminban][aminban]] on Twitter
112
113** Colophon
114:PROPERTIES:
115:EXPORT_FILE_NAME: colophon
116:END:
117
118#+macro: light @@html:<label class="light-off-button-inline" for="light-off"></label>@@
119#+macro: ccbysa @@html:<a rel="license" href="//creativecommons.org/licenses/by-sa/4.0/">Creative Commons Attribution-ShareAlike 4.0 International @@{{{ccbysa-img}}}@@html:</a>@@
120#+macro: ccbysa-img @@html:<img alt="Creative Commons Licence" style="border-width:0" src="//i.creativecommons.org/l/by-sa/4.0/80x15.png"/>@@
121
122This is my personal website, previous versions of which I've ran on
123different domains since 2012. I've previously used Octopress, Jekyll,
124a [[https://github.com/aminb/blog-old][custom]] static site generator written in Haskell (kudos to [[https://ruudvanasseldonk.com][Ruud van
125Asseldonk]]) , [[https://www.romanzolotarev.com/ssg.html][ssg]] (shout out to [[https://www.romanzolotarev.com][Roman Zolotarev]]), and [[https://orgmode.org/manual/Publishing.html][org-publish]] (also
126see [[https://ambrevar.xyz/blog-architecture/index.html][A blog in pure Org/Lisp]]); but I've since ported it to [[https://ox-hugo.scripter.co/][ox-hugo]], a
127"carefully crafted Org exporter back-end for Hugo" (kudos to [[https://scripter.co][Kaushal
128Modi]]). I've never been happier with my setup.
129
130The sources are available on [[https://git.sr.ht/~bandali/aminb.org]].
131The site is automatically generated on each =git push= using the
132[[https://builds.sr.ht][builds.sr.ht]] service (see the [[https://git.sr.ht/~bandali/aminb.org/tree/master/.build.yml][=.build.yml=]] build manifest) and is
133deployed to my server, where it's served by [[https://www.nginx.com][Nginx]] on [[https://www.debian.org][Debian GNU/Linux]].
134
135*** Night mode
136
137To toggle night mode, click on {{{light}}}, which is always available
138on the top navigation menu. It saves its state in a browser cookie,
139other than that no JavaScript is required to use this website.
140
141*** Copyright and Licenses
142:PROPERTIES:
143:CUSTOM_ID: copyright
144:END:
145
146The source code for this site is licensed under version 3 (or, at your
147option, any later version) of the [[https://gnu.org/licenses/gpl.html][GNU General Public License]] (see the
148[[https://git.sr.ht/~aminb/aminb.org/tree/COPYING][=COPYING=]] file). The contents of the website are licensed under a
149{{{ccbysa}}} license.
150
151*** i2p angel
152:PROPERTIES:
153:CUSTOM_ID: i2pangel
154:END:
155
156The favicons were derived from [[https://psychosoma.tech][nether]]'s beautiful [[https://psychosoma.tech/me/work/i2pangel.png][i2p angel]], a small
157version of which is displayed on the home page.
158
159** GPG
160:PROPERTIES:
161:EXPORT_FILE_NAME: gpg
162:END:
163
164My [[https://aminb.org/0xA21A020248816103.txt][current key]] is:[fn:1]
165
166#+begin_src txt
167pub rsa4096 2018-10-17 [C] [expires: 2020-10-16]
168 BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103
169uid [ultimate] Amin Bandali <bandali@gnu.org>
170sub rsa4096 2018-10-17 [S] [expires: 2020-10-16]
171 39B3 3C8D 9448 0D2D DCC2 A498 8B44 A0CD C7B9 56F2
172sub rsa4096 2018-10-17 [E] [expires: 2020-10-16]
173 43ED 5F7C F5EC CBDF 2552 FE98 1D52 D14E BCF3 BE08
174sub rsa4096 2018-10-17 [A] [expires: 2020-10-16]
175 70FB 9AAD 5240 2841 2B14 8685 4040 DFEC 6EC1 3F3A
176#+end_src
177
178My [[https://aminb.org/0xD1FBA36627D65876.txt][previous key]], from which I transitioned away, is:
179
180#+begin_src txt
181pub rsa4096 2018-08-05 [C] [expires: 2018-11-16]
182 CDDE 75F9 0353 8E71 813C DA27 D1FB A366 27D6 5876
183uid [ultimate] Amin Bandali <amin@gnu.org>
184uid [ultimate] Amin Bandali <amin@aminb.org>
185uid [ultimate] Amin Bandali <mab@gnu.org>
186uid [ultimate] Amin Bandali <aminb@gnu.org>
187sub rsa4096 2018-08-05 [S] [expires: 2018-11-16]
188 E14F 56EE 1338 901E A8A8 D2DD 91A9 6FF7 FEF6 BEB4
189sub rsa4096 2018-08-05 [E] [expires: 2018-11-16]
190 F9B3 BA24 31A0 9B38 31A3 42EF 1F29 83A9 9A69 D453
191sub rsa4096 2018-08-05 [A] [expires: 2018-11-16]
192 4FB5 D03D A65E 8DA3 39BE 5EDD 6DC3 8F21 4E4B AAA0
193#+end_src
194
195You can obtain my key transition statement signed with both of the
196above keys from https://aminb.org/key-transition-2018-10-17.txt.
197
198*** Older keys
199
200#+begin_src txt
201pub rsa4096 2016-01-31 [SC] [expires: 2019-02-13]
202 500C 1D55 D1EC 1FED E8C0 C8DE 4E05 246A B0BF 7FFB
203uid [ultimate] Amin Bandali <amin@aminb.org>
204uid [ultimate] Amin Bandali <aminb@gnu.org>
205uid [ultimate] Amin Bandali <b@nda.li>
206uid [ultimate] Amin Bandali <me@aminb.org>
207sub rsa4096 2016-01-31 [S] [expires: 2019-02-13]
208 5AC5 0B1B D540 A902 D4B6 2B5C DAE5 4A52 337F 0283
209sub rsa4096 2016-01-31 [E] [expires: 2019-02-13]
210 F05B FB25 77C7 5AF6 7783 A66F 3351 056A ACD6 6B1F
211sub rsa4096 2016-01-31 [A] [expires: 2019-02-13]
212 C165 6BE2 FDCA D028 0D5A 4314 3A4A C417 58E9 C177
213#+end_src
214
215The key transition statement I'd generated when transitioning away
216from this key is available on
217https://aminb.org/key-transition-2018-08-17.txt.
218
219** Search
220:PROPERTIES:
221:EXPORT_HUGO_SECTION: /
222:EXPORT_FILE_NAME: search
223:EXPORT_HUGO_LAYOUT: search
224:EXPORT_HUGO_OUTPUTS: html json
225:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :sitemap '((priority . 0.1))
226:END:
227Results from static site search implemented using /Fusejs/, /jquery/
228and /mark.js/. -- [[https://gist.github.com/eddiewebb/735feb48f50f0ddd65ae5606a1cb41ae][Source]]
229
230* Posts
231:PROPERTIES:
232:EXPORT_HUGO_SECTION: post
233:EXPORT_HUGO_AUTO_SET_LASTMOD: t
234:END:
235
236** Arch GNU/Linux on MacBook Air 2013 :arch:macbook:
237:PROPERTIES:
238:EXPORT_FILE_NAME: arch-macbook-air
239:EXPORT_DATE: 2016-11-01
240:EXPORT_OPTIONS: ^:{}
241:EXPORT_HUGO_ALIASES: /2016/11/arch-macbook-air
242:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :toc true
243:END:
244
245This post summarizes how I install and dual-boot Arch GNU/Linux with
246Full-Disk Encryption alongside macOS. It is not meant to be a
247replacement 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]].
248Rather, it mostly serves as a small summary with a few useful notes
249about the gotchas.
250
251So, make sure you understand what you type into your terminal. If you
252don't, checking out the Arch wiki should probably be your first step.
253
254/Note:/ you will need internet access throughout the installation and
255the MacBook Air's WiFi doesn't work out of the box on Arch. I
256recommend using your phone's USB Tethering (if it does support it), or
257using an Ethernet-USB adapter.
258
259*** Shrinking the macOS partition
260
261The first step I take is resizing the HFS+ macOS partition to make
262room for the new {{{abbr(GNU/Linux)}}} installation. There are plenty
263of tutorials on how to do this using macOS's Disk Utility, so do that
264and then come back!
265
266*** Creating a bootable Arch Installer USB
267
268There are different ways of creating a bootable Arch USB, all
269documented on the [[https://wiki.archlinux.org/index.php/USB_flash_installation_media][USB flash installation media]] page on the Arch wiki,
270but the simplest one is using =dd= if you already have access to
271another UNIX system.
272
273{{{span(red,Warning:)}}} make sure you backup the data on your flash
274drive, as =dd= will irrevocably destroy all data on it.
275
276Use =lsblk= to find the name (block device) of your USB drive, then
277run =dd= (as root) as shown below:
278
279#+begin_src bash
280dd bs=4M if=/path/to/archlinux.iso of=/dev/sdx status=progress && sync
281#+end_src
282
283Replace =/path/to/archlinux.iso= with the path to the Arch image you
284have downloaded, and =/dev/sdx= with your drive.
285
286*** Booting up from the USB
287
288After creating the install USB, reboot your laptop and hold the alt
289key and boot into the USB.
290
291When booting is complete and you're presented with the prompt, it's a
292good time to make sure you're connected to the internet (see the
293/note/ at the top of this post).
294
295Use =ping= to verify that you've established a connection:
296
297#+begin_src bash
298ping archlinux.org
299#+end_src
300
301*** Updating the system clock
302
303Once you're connected to the internet, make sure the system clock is
304accurate:
305
306#+begin_src bash
307timedatectl set-ntp true # start and enable systemd-timesyncd
308#+end_src
309
310You can check the service status using =timedatectl status=.
311
312*** Partitioning
313:PROPERTIES:
314:CUSTOM_ID: partitioning
315:END:
316
317I won't dive into partitioning and instead, I'll refer you to the
318[[https://wiki.archlinux.org/index.php/Partitioning][Partitioning]] page of Arch wiki. Of the available partitioning tools, I
319personally prefer =cfdisk=.
320
321*** Setting up LVM & LUKS
322
323I 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
324partition.
325
326First, let's set up the underlying encrypted partition:
327
328#+begin_src bash
329cryptsetup -v --cipher aes-xts-plain64 --key-size 512 --hash sha512 \
330 --iter-time 5000 --use-urandom -y luksFormat /dev/sdaX
331#+end_src
332
333where =/dev/sdaX= is the partition you created in the last step
334(e.g. =/dev/sda4=). For more information about the =cryptsetup=
335options, see the [[https://wiki.archlinux.org/index.php/Dm-crypt/Device_encryption#Encryption_options_for_LUKS_mode][LUKS encryption options]].
336
337Then we open the container:
338
339#+begin_src bash
340cryptsetup open --type luks /dev/sdaX lvm
341#+end_src
342
343Now it's time to use lvm and prepare the logical volume(s):
344
345#+begin_src bash
346pvcreate /dev/mapper/lvm
347vgcreate vg /dev/mapper/lvm
348lvcreate --extents +100%FREE -n root vg
349#+end_src
350
351This will create a physical volume on the mapping we just opened,
352create a volume group named =vg= on the physical volume, and create a
353logical volume named =root= that spans the entire volume group. More
354complex setups are possible thanks to the great flexibility of lvm.
355
356We now format the logical volume with =ext4=:
357
358#+begin_src bash
359mkfs.ext4 /dev/mapper/vg-root
360#+end_src
361
362*** Installing the base system
363
364Let's mount the logical volume, make a directory for the mount point
365of the boot partition, and mount the boot partition (=/dev/sda1=):
366
367#+begin_src bash
368mount /dev/mapper/vg-root /mnt
369mkdir /mnt/boot
370mount /dev/sda1 /mnt/boot
371#+end_src
372
373Finally, let's install the base system (and optionally =base-devel=):
374
375#+begin_src bash
376pacstrap /mnt base base-devel
377#+end_src
378
379*** Configuring the system
380
381Let's generate the fstab:
382
383#+begin_src bash
384genfstab -U /mnt >> /mnt/etc/fstab
385#+end_src
386
387Use your favorite terminal-based editor, edit the fstab file and add
388the =discard= option for the root partition to enable TRIM on the SSD.
389
390Now we change root into our newly installed system and will configure
391it. Adjust these according to your own setup.
392
393#+begin_src bash
394arch-chroot /mnt /bin/bash
395passwd # set the root password
396echo myhostname > /etc/hostname # set the hostname
397ln -s /usr/share/zoneinfo/Canada/Eastern /etc/localtime # time zone
398hwclock --systohc --utc # write system clock to hardware clock (UTC)
399useradd -m -G wheel -s /bin/bash myuser # create myuser
400passwd myuser # set the password for myuser
401echo "myuser ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers.d/myuser
402# uncomment en_US.UTF-8 UTF-8 and other needed locales in /etc/locale.gen
403locale-gen
404echo LANG=en_US.UTF-8 > /etc/locale.conf
405export LANG=en_US.UTF-8
406#+end_src
407
408Then adjust the initramfs hooks in =/etc/mkinitcpio.conf= and enable
409the =encrypt= and =lvm2= hooks, and make sure =keyboard= is available
410before =encrypt= so you can actually type in the LUKS password when
411booting. Your =HOOKS= line should look similar to this:
412
413#+begin_src
414HOOKS="base udev autodetect modconf block keyboard encrypt lvm2 filesystems fsck"
415#+end_src
416
417After adjusting the hooks, build the initramfs:
418
419#+begin_src bash
420mkinitcpio -p linux
421#+end_src
422
423Now, install the =intel-ucode= package. We'll configure the bootloader
424to enable intel microcode updates.
425
426#+begin_src bash
427pacman -S intel-ucode
428#+end_src
429
430Create the =/boot/loader/loader.conf= with the following content
431(adjust the timeout to your liking):
432
433#+begin_src
434default arch
435timeout 3
436#+end_src
437
438Then create the entry for Arch:
439
440#+begin_src bash
441mkdir -p /boot/loader/entries
442touch /boot/loader/entries/arch.conf
443#+end_src
444
445Now edit =/boot/loader/entries/arch.conf= to specify the Arch entry:
446
447#+begin_src
448title Arch GNU/Linux
449linux /vmlinuz-linux
450initrd /intel-ucode.img
451initrd /initramfs-linux.img
452options cryptdevice=/dev/sdaX:vg:allow-discards root=/dev/mapper/vg-root rw
453#+end_src
454
455Again, =/dev/sdaX= is the partition you created in the [[#partitioning][partitioning]]
456step as the underlying encrypted partition.
457
458Finally, install the bootloader, exit the chroot, umount and reboot!
459
460#+begin_src bash
461bootctl install
462exit
463umount -R /mnt
464reboot
465#+end_src
466
467*** Post-installation recommendations
468
469Congratulations! You now have a minimal Arch installation.
470
471At this point, I usually install my favorite AUR helper, [[https://aur.archlinux.org/packages/pacaur/][pacaur]], then
472I 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]]
473backlight driver to fix the post suspend/resume issue where three's no
474brightness after waking up from suspend, and the only available
475brightness would be 100%.
476
477#+begin_src bash
478pacaur -S linux-headers dkms # linux-headers is required for dkms
479pacaur -S broadcom-wl-dkms
480pacaur -S mba6x_bl-dkms
481#+end_src
482
483Then, I'd like to install
484
485- input, graphics, and sound drivers,
486- a desktop environment (I prefer Xfce or LXQt),
487- a display manager for login screen (lightdm or sddm), and
488- a network manager (NetworkManager or ConnMan).
489
490Check out the [[https://wiki.archlinux.org/index.php/General_recommendations][General recommendations]] for more details.
491
492*** References
493
494Here are some resources I've come across each with lots of useful bits
495and pieces, about installing Arch on a MacBook:
496
497- [[https://github.com/pandeiro/arch-on-air][pandeiro/arch-on-air]]
498- [[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]]
499- [[http://frankshin.com/installing-archlinux-on-macbook-air-2013/][Installing Archlinux on Macbook Air 2013]]
500- [[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)]]
501- [[https://visual-assault.org/2016/03/05/install-encrypted-arch-linux-on-apple-macbook-pro/][Installing (encrypted) Arch Linux on an Apple MacBook Pro]]
502- [[http://alexeyzabelin.com/arch-on-mac][Installing Arch Linux on a MacBook Air 2013]]
503- [[https://medium.com/phils-thought-bubble-of-recent-stuff/arch-linux-running-on-my-macbook-2ea525ebefe3][Arch Linux running on my MacBook]]
504- [[http://codylittlewood.com/arch-linux-on-macbook-pro-installation/][Dual boot Arch Linux on MacBook Pro Installation]]
505
506
507* Footnotes
508
509[fn:1] Key summaries generated by including the =--list-key=,
510=--with-fingerprint=, and =--with-subkey-fingerprint= switches along
511with the key id when calling =gpg=.
512
513* COMMENT Local Variables :ARCHIVE:
514# Local Variables:
515# org-hugo-footer: "\n\n[//]: # \"Exported with love from a post written in Org mode\"\n[//]: # \"- https://ox-hugo.scripter.co\""
516# org-hugo-auto-export-on-save: t
517# End: