From 345fdf43b90c9662304f370707936fb4bf30efad Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Tue, 4 Sep 2018 10:53:36 -0400 Subject: [PATCH 1/1] [wip] add Now page --- content-org/aminb.org | 22 +++++++++++++++++++++- content/now.md | 26 ++++++++++++++++++++++++++ themes/divine | 2 +- 3 files changed, 48 insertions(+), 2 deletions(-) create mode 100644 content/now.md diff --git a/content-org/aminb.org b/content-org/aminb.org index e71bb14..2625214 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 diff --git a/content/now.md b/content/now.md new file mode 100644 index 0000000..39011d7 --- /dev/null +++ b/content/now.md @@ -0,0 +1,26 @@ ++++ +title = "Now" +date = 2018-09-04T10:53:00-04:00 +lastmod = 2018-09-04T11:09:12-04:00 +draft = false +customTitle = "What I'm doing now" +[menu.topnav] + identifier = "now" + weight = 20 ++++ + +This is my [now page](https://nownownow.com/about). + +I'm currently doing my third semester as a [graduate student](/uw) in the +Waterloo Formal Methods group at University of Waterloo. I'm also +TA'ing [SE 212: Logic and Computation](https://www.student.cs.uwaterloo.ca/~se212/), taught by my supervisor, Nancy. + +In my spare time, I write [free software](https://www.gnu.org/philosophy/free-sw.en.html) (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 >}}. + +[//]: # "Exported with love from a post written in Org mode" +[//]: # "- https://ox-hugo.scripter.co" diff --git a/themes/divine b/themes/divine index 173594b..d644508 160000 --- a/themes/divine +++ b/themes/divine @@ -1 +1 @@ -Subproject commit 173594bd65cf434c1d90fc46dbc6d6333352cce5 +Subproject commit d6445087e8257e80135334794f2a9f45778601de -- 2.20.1