[Social]
github = "aminb"
+[permalinks]
+ post = "/:filename/"
+
[Params]
disable_debug = true
description = """\
#+macro: abbr @@html:<abbr>$1</abbr>@@
#+macro: span @@html:<span class="$1">$2</span>@@
+* Home
+:PROPERTIES:
+:EXPORT_HUGO_SECTION: /
+:EXPORT_FILE_NAME: _index
+:END:
+
+I'm a [[/uw][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.
+
* Pages
:PROPERTIES:
:EXPORT_HUGO_SECTION: /
:PROPERTIES:
:EXPORT_HUGO_SECTION: post
:EXPORT_HUGO_MENU: :menu main
+:EXPORT_HUGO_AUTO_SET_LASTMOD: t
:END:
** Arch GNU/Linux on MacBook Air 2013 :arch:macbook:
:PROPERTIES:
:EXPORT_FILE_NAME: arch-macbook-air
:EXPORT_DATE: 2016-11-01
-:EXPORT_HUGO_MENU: :menu main
:EXPORT_OPTIONS: ^:{}
+:EXPORT_HUGO_MENU: :menu main
+:EXPORT_HUGO_ALIASES: /2016/11/arch-macbook-air
+:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :toc true
:END:
This post summarizes how I install and dual-boot Arch GNU/Linux with
--- /dev/null
++++
+title = "Home"
+draft = false
++++
+
+I'm a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of Waterloo,
+supervised by [Dr. Nancy Day](https://cs.uwaterloo.ca/~nday/). I'm interested in using formal methods,
+especially type systems, to help make software more reliable.
+
+[//]: # "Exported with love from a post written in Org mode"
+[//]: # "- https://github.com/kaushalmodi/ox-hugo"
+++
title = "Arch GNU/Linux on MacBook Air 2013"
date = 2016-11-01
+aliases = ["/2016/11/arch-macbook-air"]
+lastmod = 2018-09-03T20:15:43-04:00
tags = ["arch", "macbook"]
draft = false
+toc = true
[menu.main]
weight = 2001
identifier = "arch-gnu-linux-on-macbook-air-2013"
--- /dev/null
+{{ define "main" }}
+
+<h1 id="hello">Hello there,</h1>
+<p>
+ <img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali">
+</p>
+<div class="clear"></div>
+{{ with .Content }}
+{{ . }}
+{{ end }}
+
+<h2 id="publications">Publications</h2>
+<ul>
+ <li>TODO</li>
+</ul>
+
+<h2 id="talks">Talks & presentations</h2>
+<ul>
+ {{ if gt (len (where .Pages "Section" "talk")) 0 }}
+ {{ range first 5 (where .Pages "Section" "talk") }}
+ <li><a href="{{substr .Permalink 0 -1}}">{{ .Title }}</a></li>
+ {{ end }}
+ {{ else }}
+ <li>TODO</li>
+ {{ end }}
+</ul>
+
+<h2 id="writings">Recent writings & essays</h2>
+<ul>
+ {{ if gt (len (where .Pages "Section" "post")) 0 }}
+ {{ range first 5 (where .Pages "Section" "post") }}
+ <li><a href="{{substr .Permalink 0 -1}}" title="{{ dateFormat "January 2, 2006" .Date }}">{{ .Title }}</a></li>
+ {{ end }}
+ {{ else }}
+ <li>TODO</li>
+ {{ end }}
+</ul>
+
+{{ end }}
--- /dev/null
+<nav>
+ {{ $currentPage := . }}
+ {{ range .Site.Menus.topnav }}
+ <a class="{{ if $currentPage.IsMenuCurrent "topnav" . }}active{{ end }}" href="{{substr .URL 0 -1}}">
+ {{ .Pre }}
+ <span>{{ .Title }}</span>
+ </a>
+ <span class="bar">|</span>
+ {{ end }}
+ <label for="light-off" class="light-off-button"></label>
+</nav>
-Subproject commit dd3bc55ba50f2320098c894a0de5458fb233920a
+Subproject commit ba997dc0a82c12c924f4842da987eabfaca0dc1a