eaf5a338e49bb577f3806131cc45ab05fdf2df85 — Amin Bandali 4 months ago 9b858c0
update home page and colophon
5 files changed, 18 insertions(+), 14 deletions(-)

M content-org/aminb.org
M content/_index.md
M content/colophon.md
M layouts/index.html
M themes/divine
M content-org/aminb.org => content-org/aminb.org +7 -5
@@ 18,9 18,11 @@ :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]].  Currently, my research focuses on formal
- logic, model checking, and verification.
+ I'm Amin Bandali (often =bandali= or =aminb= on [[/contact][the interwebs]]).  I’m
+ currently a [[/uw][graduate student]] in the [[https://watform.uwaterloo.ca][WatForm]] group at University of
+ Waterloo, supervised by [[https://cs.uwaterloo.ca/~nday/][Nancy Day]].  My current research focuses on
+ formal logic, model checking, and verification.  On the side, I also
+ dabble in [[https://leanprover.github.io][Lean]] and [[https://www.rust-lang.org][Rust]], and I enjoy [[https://stallman.org/articles/on-hacking.html][hacking]] on [[https://www.gnu.org/software/emacs/manual/elisp.html][Elisp]].
  
  ** CV
  :PROPERTIES:


@@ 167,8 169,8 @@ :CUSTOM_ID: i2pangel
  :END:
  
- The favicons were derived from [[https://psychosoma.tech][nether]]'s beautiful [[https://psychosoma.tech/me/work/i2pangel.png][i2p angel]], a small
- version of which is displayed on the home page.
+ The favicons were derived from [[https://psychosoma.tech][nether]]'s beautiful [[https://psychosoma.tech/me/work/i2pangel.png][i2p angel]], a copy of
+ which is displayed on [[https://git.aminb.org][git.aminb.org]].
  
  ** GPG
  :PROPERTIES:

M content/_index.md => content/_index.md +5 -3
@@ 3,9 3,11 @@ 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/).  Currently, my research focuses on formal
- logic, model checking, and verification.
+ I'm Amin Bandali (often `bandali` or `aminb` on [the interwebs](/contact)).  I’m
+ currently a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of
+ Waterloo, supervised by [Nancy Day](https://cs.uwaterloo.ca/~nday/).  My current research focuses on
+ formal logic, model checking, and verification.  On the side, I also
+ dabble in [Lean](https://leanprover.github.io) and [Rust](https://www.rust-lang.org), and I enjoy [hacking](https://stallman.org/articles/on-hacking.html) on [Elisp](https://www.gnu.org/software/emacs/manual/elisp.html).
  
  [//]: # "Exported with love from a post written in Org mode"
  [//]: # "- https://ox-hugo.scripter.co"

M content/colophon.md => content/colophon.md +2 -2
@@ 36,8 36,8 @@   ## i2p angel {#i2pangel}
  
- The favicons were derived from [nether](https://psychosoma.tech)'s beautiful [i2p angel](https://psychosoma.tech/me/work/i2pangel.png), a small
- version of which is displayed on the home page.
+ The favicons were derived from [nether](https://psychosoma.tech)'s beautiful [i2p angel](https://psychosoma.tech/me/work/i2pangel.png), a copy of
+ which is displayed on [git.aminb.org](https://git.aminb.org).
  
  [//]: # "Exported with love from a post written in Org mode"
  [//]: # "- https://ox-hugo.scripter.co"

M layouts/index.html => layouts/index.html +3 -3
@@ 2,9 2,9 @@   <h1 id="hello">Hello there,</h1>
  <p>
-   <a href="/colophon#i2pangel">
-     <img class="picture__avatar" src="{{ (resources.Get "i2pangel-83x64.png" | fingerprint).RelPermalink }}" alt="i2p angel by nether" title="i2p angel by nether">
-   </a>
+   <img class="picture__avatar" height="64" weight="64"
+        src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali"
+        title="A photo of me at my alma mater from a few years back">
  </p>
  <div class="clear"></div>
  {{ with .Content }}

M themes/divine => themes/divine +1 -1
@@ 1,1 1,1 @@-Subproject commit cf0337d355ebf4ffd1ecb0a23dec5d11694a9b3a
+ Subproject commit 8f6bf800a4b17eada8b606855ff3366f4751bc82