update divine
[~bandali/bndl.org] / content-org / aminb.org
index e71bb14..881cda5 100644 (file)
@@ -37,7 +37,27 @@ type systems, and formal methods in general.  I love writing Haskell
 and I'm looking into Rust and Lean as well.  Feel free to [[/contact][drop me a
 line]] if you like to geek out about any of the above.
 
 and I'm looking into Rust and Lean as well.  Feel free to [[/contact][drop me a
 line]] if you like to geek out about any of the above.
 
-** TODO Now
+** DONE Now
+CLOSED: [2018-09-04 Tue 10:53]
+:PROPERTIES:
+:EXPORT_FILE_NAME: now
+:EXPORT_HUGO_AUTO_SET_LASTMOD: t
+:EXPORT_HUGO_MENU: :menu topnav :weight 20
+:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :customTitle "What I'm doing now"
+:END:
+
+This is my [[https://nownownow.com/about][now page]].
+
+I'm currently doing my third semester as a [[/uw][graduate student]] in the
+Waterloo Formal Methods group at University of Waterloo.  I'm also
+TA'ing [[https://www.student.cs.uwaterloo.ca/~se212/][SE 212: Logic and Computation]], taught by my supervisor, Nancy.
+
+In my spare time, I write [[https://www.gnu.org/philosophy/free-sw.en.html][free software]] (projects page coming soon),
+and tend to various tasks as a GNU webmaster.  I've also been picking
+up the guitar, after giving up on my longtime dream of being a
+pianist, at least for now.
+
+This update was on {{< lastmod >}}.
 
 ** TODO Projects
 
 
 ** TODO Projects
 
@@ -111,6 +131,14 @@ option, any later version) of the [[https://gnu.org/licenses/gpl.html][GNU Gener
 [[https://git.sr.ht/~aminb/aminb.org/tree/COPYING][=COPYING=]] file). The contents of the website are licensed under a
 {{{ccbysa}}} license.
 
 [[https://git.sr.ht/~aminb/aminb.org/tree/COPYING][=COPYING=]] file). The contents of the website are licensed under a
 {{{ccbysa}}} license.
 
+*** i2p angel
+:PROPERTIES:
+: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.
+
 ** Search
 :PROPERTIES:
 :EXPORT_HUGO_SECTION: /
 ** Search
 :PROPERTIES:
 :EXPORT_HUGO_SECTION: /