tweak publication styles

[~bandali/bndl.org] / index.html
diff --git a/index.html b/index.html

index c04a655..2a26b37 100644 (file)
--- a/index.html
+++ b/index.html
@@ -13,12 +13,12 @@
    <body>
      <main>
        <header>
    <body>
      <main>
        <header>
-        <h1 id="title">bandali's</h1>
-        <h2 id="subtitle">Corner on the interwebs</h2>
+        <h1 id="title">bandali</h1>
+        <h2 id="subtitle">my corner of the interwebs</h2>
        </header>
        <section>
          <p>
        </header>
        <section>
          <p>
-          Hi, I'm
+          Hi, I’m
            <a href="images/bandali-with-rms.jpg"
               title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>,
            often just <code>bandali</code> around the web.
            <a href="images/bandali-with-rms.jpg"
               title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>,
            often just <code>bandali</code> around the web.
@@ -30,11 +30,11 @@
            <ul id="academia">
              <li><a href="cv">CV</a></li>
              <li><a href="publications">Publications</a></li>
            <ul id="academia">
              <li><a href="cv">CV</a></li>
              <li><a href="publications">Publications</a></li>
-            <li><a href="research-interests">Research interests</a></li>
+            <li><a href="research">Research interests</a></li>
            </ul>
          </nav>
          <p>
            </ul>
          </nav>
          <p>
-          I'm a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
+          I’m a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
            at University of Waterloo, supervised by
            <a href="https://cs.uwaterloo.ca/~nday/">Dr.&nbsp;Nancy&nbsp;Day</a>.
            My research at WatForm focuses on formal logic, model
            at University of Waterloo, supervised by
            <a href="https://cs.uwaterloo.ca/~nday/">Dr.&nbsp;Nancy&nbsp;Day</a>.
            My research at WatForm focuses on formal logic, model
@@ -58,7 +58,12 @@
            an <a href="https://www.fsf.org/associate/">FSF associate member</a>,
            and a <a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU webmaster</a>
            and volunteer.  I co-host the <a href="https://emacsel.com">Emacs.el</a> podcast,
            an <a href="https://www.fsf.org/associate/">FSF associate member</a>,
            and a <a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU webmaster</a>
            and volunteer.  I co-host the <a href="https://emacsel.com">Emacs.el</a> podcast,
-          and I'm organizing <a href="https://emacsconf.org/2019/">EmacsConf&nbsp;2019</a> this fall.
+          and I’m organizing <a href="https://emacsconf.org/2019/">EmacsConf&nbsp;2019</a> this fall.
+        </p>
+        <p>
+          On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
+          and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
+          <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
          </p>
        </section>
      </main>
          </p>
        </section>
      </main>