commit recent changes
[~bandali/bndl.org] / index.html
index ce6d533..2a26b37 100644 (file)
@@ -13,8 +13,8 @@
   <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>
@@ -30,7 +30,7 @@
           <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>
           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.
         </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>
   </body>