[wip] update theme to get anchored headings
[~bandali/bndl.org] / content-org / aminb.org
index e71bb14..2625214 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.
 
-** 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