X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/bdec77905bf26a7613043645c067ca1673d5acce..92b283ab46ec4110775eb20f6769accd87d4eece:/content-org/aminb.org diff --git a/content-org/aminb.org b/content-org/aminb.org index e71bb14..881cda5 100644 --- a/content-org/aminb.org +++ b/content-org/aminb.org @@ -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 @@ -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. +*** 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: /