start next iteration of the site, now available at bandalis.org
authorAmin Bandali <bandali@gnu.org>
Wed, 31 Jul 2019 00:55:42 +0000 (20:55 -0400)
committerAmin Bandali <bandali@gnu.org>
Wed, 31 Jul 2019 01:26:47 +0000 (21:26 -0400)
contact.html
deploy
gpg.html [deleted file]
index.html
style.css

index b80b4a9..3c5bbf5 100644 (file)
@@ -1,70 +1,81 @@
-<!--# include virtual="common/header.html" -->
-<meta
-  name="description"
-  content="Amin Bandali&rsquo;s contact information"/>
-<title>Contact - Amin Bandali</title>
-<!--#set var="bpage" value="Contact" -->
-<!--# include virtual="common/banner.html" -->
-<main>
-  <section>
-    <h2 id="contact">Contact</h2>
-    <p>
-      Email is my preferred method of communication.  Feel free to
-      write to me at any of the addresses listed on either of my
-      <a href="./#contact">home</a> or <a href="gpg.html">gpg</a>
-      pages.  Besides email, you could also try reaching me via
-    </p>
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8" />
+    <meta name=viewport content="width=device-width, initial-scale=1" />
+    <title>bandali's contact info</title>
+    <meta
+      name="description"
+      content="Amin Bandali&rsquo;s contact information" />
+    <link rel="stylesheet" href="/style.css" />
+  </head>
+  <body>
+    <header>
+      <h1 id="title">bandali's</h1>
+      <h2 id="subtitle">contact info</h2>
+    </header>
+    <article>
+      <div class="section">
+        <p>
+          email is by far my preferred method of communication.  i may
+          be contacted at bandali&nbsp;at&nbsp;gnu&nbsp;dot&nbsp;org.
+          if you want to send me gpg-encrypted mail, you can use my
+          <a href="bandali-pubkey.txt">public key</a> with the
+          fingerprint <code>BE62 7373 8E61 6D6D 1B3A  08E8 A21A 0202 4881 6103</code>.
+        </p>
 
 
-    <table class="btable">
-      <tbody>
-        <tr>
-          <td>irc</td>
-          <td>
-            <code>bandali</code> on
-            <a href="https://freenode.net">freenode</a> and
-            <a href="https://wiki.mozilla.org/IRC">moznet</a>
-          </td>
-        </tr>
-        <tr>
-          <td>xmpp</td>
-          <td><a href="xmpp:bandali@member.fsf.org">
-            <code>bandali@member.fsf.org</code></a>
-          </td>
-        </tr>
-        <tr>
-          <td>matrix</td>
-          <td><a href="https://matrix.to/#/@bandali:matrix.org">
-            <code>@bandali:matrix.org</code></a>
-          </td>
-        </tr>
-        <tr>
-          <td>fediverse</td>
-          <td><a href="https://pleroma.site/bandali">
-            <code>@bandali@pleroma.site</code></a>
-          </td>
-        </tr>
-      </tbody>
-    </table>
+        <table>
+          <tbody>
+            <tr>
+              <td>irc</td>
+              <td>
+                <code>bandali</code> on
+                <a href="https://freenode.net">freenode</a> and
+                <a href="https://wiki.mozilla.org/IRC">moznet</a>
+              </td>
+            </tr>
+            <tr>
+              <td>xmpp</td>
+              <td><a href="xmpp:bandali@member.fsf.org">
+                <code>bandali@member.fsf.org</code></a>
+              </td>
+            </tr>
+            <tr>
+              <td>matrix</td>
+              <td><a href="https://matrix.to/#/@bandali:matrix.org">
+                <code>@bandali:matrix.org</code></a>
+              </td>
+            </tr>
+            <tr>
+              <td>fediverse</td>
+              <td><a href="https://pleroma.site/bandali">
+                <code>@bandali@pleroma.site</code></a>
+              </td>
+            </tr>
+          </tbody>
+        </table>
 
 
-    <p>
-      You can also find me at a few other places online.  Stricken
-      through accounts are those I don&rsquo;t use anymore, unless
-      absolutely necessary.
-    </p>
-    <ul>
-      <li><a href="https://libreplanet.org/wiki/User:Bandali">Bandali</a> on LibrePlanet</li>
-      <li><a href="https://savannah.gnu.org/users/bandali">bandali</a> on Savannah</li>
-      <li><a href="https://git.sr.ht/~bandali">bandali</a> on Sourcehut</li>
-      <li><a href="https://lobste.rs/u/bandali">bandali</a> on Lobsters</li>
-      <li><a href="https://hackage.haskell.org/user/bandali">bandali</a> on Hackage</li>
-      <li><a href="https://gitlab.com/bandali">bandali</a> on GitLab</li>
-      <li><a href="https://news.ycombinator.com/user?id=bandali">bandali</a> on HN</li>
-      <li><a href="https://keybase.io/bandali">bandali</a> on Keybase</li>
-      <li><a href="https://www.reddit.com/u/bandali">bandali</a> on reddit</li>
-      <li><strike><a href="https://www.reddit.com/u/aminb">aminb</a> on reddit</strike></li>
-      <li><strike><a href="https://github.com/aminbandali">aminbandali</a> on GitHub</strike></li>
-      <li><strike><a href="https://twitter.com/bandaliamin">bandaliamin</a> on Twitter</strike></li>
-    </ul>
-  </section>
-</main>
-<!--# include virtual="common/footer.html" -->
+        <h3>elsewhere</h3>
+        <p>
+          you may also find me at a few other places online.  stricken
+          through accounts are those i don&rsquo;t use anymore, unless
+          absolutely necessary.
+        </p>
+        <ul>
+          <li><a href="https://libreplanet.org/wiki/User:Bandali">bandali</a> on libreplanet</li>
+          <li><a href="https://emacsconf.org/bandali">bandali</a> on emacsconf</li>
+          <li><a href="https://savannah.gnu.org/users/bandali">bandali</a> on savannah</li>
+          <li><a href="https://git.sr.ht/~bandali">bandali</a> on sourcehut</li>
+          <li><a href="https://lobste.rs/u/bandali">bandali</a> on lobsters</li>
+          <li><a href="https://hackage.haskell.org/user/bandali">bandali</a> on hackage</li>
+          <li><a href="https://gitlab.com/bandali">bandali</a> on gitlab</li>
+          <li><a href="https://news.ycombinator.com/user?id=bandali">bandali</a> on hn</li>
+          <li><a href="https://www.reddit.com/u/bandali">bandali</a> on reddit</li>
+          <li><strike><a href="https://www.reddit.com/u/aminb">aminb</a> on reddit</strike></li>
+          <li><strike><a href="https://github.com/notbandali">notbandali</a> on github</strike></li>
+          <li><strike><a href="https://twitter.com/notbandali">notbandali</a> on twitter</strike></li>
+        </ul>
+      </div>
+    </article>
+  </body>
+</html>
diff --git a/deploy b/deploy
index d158857..1aba274 100755 (executable)
--- a/deploy
+++ b/deploy
@@ -5,4 +5,4 @@ deploy=amin@shemshak.org
 rsync --exclude-from='.rsync-exclude' \
       --delete \
       -avzP \
 rsync --exclude-from='.rsync-exclude' \
       --delete \
       -avzP \
-      ./ ${deploy}:~/www/
+      ./ ${deploy}:/var/www/bandalis.org/
diff --git a/gpg.html b/gpg.html
deleted file mode 100644 (file)
index 6494771..0000000
--- a/gpg.html
+++ /dev/null
@@ -1,39 +0,0 @@
-<!--# include virtual="common/header.html" -->
-<meta
-  name="description"
-  content="Amin Bandali&rsquo;s GPG key, for sending him
-        GPG-encrypted mail."/>
-<title>GPG Key - Amin Bandali</title>
-<!--#set var="bpage" value="GPG Key" -->
-<!--# include virtual="common/banner.html" -->
-<main>
-  <section>
-    <h2 id="gpg">GPG Key</h2>
-    <p>
-      If you want to send me GPG-encrypted mail, you can use my
-      <a href="bandali-pubkey.txt">current key</a>:
-    </p>
-    <pre>
-pub   rsa4096 2018-10-17 [C] [expires: 2020-10-16]
-      BE62 7373 8E61 6D6D 1B3A  08E8 A21A 0202 4881 6103
-uid           [ultimate] Amin Bandali &lt;bandali@gnu.org&gt;
-uid           [ultimate] Amin Bandali &lt;mab@gnu.org&gt;
-uid           [ultimate] Amin Bandali &lt;amin@shemshak.org&gt;
-uid           [ultimate] Amin Bandali &lt;abandali@uwaterloo.ca&gt;
-uid           [ultimate] Amin Bandali &lt;abandali@csclub.uwaterloo.ca&gt;
-sub   rsa4096 2018-10-17 [S] [expires: 2020-10-16]
-      39B3 3C8D 9448 0D2D DCC2  A498 8B44 A0CD C7B9 56F2
-sub   rsa4096 2018-10-17 [E] [expires: 2020-10-16]
-      43ED 5F7C F5EC CBDF 2552  FE98 1D52 D14E BCF3 BE08
-sub   rsa4096 2018-10-17 [A] [expires: 2020-10-16]
-      70FB 9AAD 5240 2841 2B14  8685 4040 DFEC 6EC1 3F3A
-    </pre>
-
-    <p>
-      You may find other keys with my name on keyservers or around
-      the internet, but they are either old keys of mine that I no
-      longer have access to, or not mine at all.
-    </p>
-  </section>
-</main>
-<!--# include virtual="common/footer.html" -->
index 5914a65..3df0293 100644 (file)
-<!--# include virtual="common/header.html" -->
-<meta
-  name="description"
-  content="Amin Bandali is a graduate student at WatForm, the
-        co-host of the Emacs.el podcast, a free software activist,
-        and a volunteer webmaster for the GNU project."/>
-<title>Amin Bandali</title>
-<!--#set var="bpage" value="Home" -->
-<!--# include virtual="common/banner.html" -->
-<main>
-  <section>
-    <h2 id="contact">Contact</h2>
-    <table class="btable">
-      <tbody>
-        <tr>
-          <th></th>
-          <th>email</th>
-          <th>projects</th>
-        </tr>
-        <tr>
-          <td>academic</td>
-          <td><a href="mailto:abandali@uwaterloo.ca">abandali@uwaterloo.ca</a></td>
-          <td><a href="https://git.uwaterloo.ca/abandali">git.uwaterloo.ca/abandali</a></td>
-        </tr>
-        <tr>
-          <td>personal</td>
-          <td><a href="mailto:amin@shemshak.org">amin@shemshak.org</a></td>
-          <td>
-            <a href="https://git.shemshak.org/amin">shemshak</a>
-            |
-            <a href="https://git.sr.ht/~bandali">sourcehut</a>
-          </td>
-        </tr>
-        <tr>
-          <td>gnu</td>
-          <td><a href="mailto:bandali@gnu.org">bandali@gnu.org</a>
-          <td><a href="https://sv.gnu.org/u/bandali">sv.gnu.org/u/bandali</a></td>
-        </tr>
-      </tbody>
-    </table>
-    <p>
-      See my <a href="contact.html">contact</a> and
-      <a href="gpg.html">gpg</a> pages for more details.
-    </p>
-  </section>
-
-  <section>
-    <h2 id="research-interests">Research interests</h2>
-    <p>
-      The main goal of my research is improving
-      <strong>software&nbsp;reliability</strong>
-      through application of <em>formal methods</em>.
-    </p>
-
-    <p>
-      My current research at <a href="https://watform.uwaterloo.ca">WatForm</a>
-      focuses on formal logic, model checking, and verification.
-      Specifically, I am working on various optimizations aiming to
-      improve the analysis performance of the Alloy Analyzer on
-      models.
-    </p>
-
-    <p>
-      I am also interested in programming languages, type systems, and
-      interactive theorem proving.
-    </p>
-
-    <p>
-      You may wish to view my academic <a href="bandali-cv.pdf">curriculum vitae</a>.
-    </p>
-  </section>
-
-  <section>
-    <h2 id="publications">Publications</h2>
-    <dl>
-      <dt>
-        <strong>A Comparison of the Declarative Modelling
-          Languages B, Dash, and TLA<sup>+</sup></strong>
-        (<a href="papers/2018-AbBaDaSe-modre.pdf">pdf</a>,
-        <a href="papers/2018-AbBaDaSe-modre.bib">bib</a>,
-        <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a>,
-        <a href="https://cs.uwaterloo.ca/~nday/models/2018-modre">models</a>)
-      </dt>
-      <dd>
-        Ali Abbassi, <strong>Amin Bandali</strong>, Nancy A. Day,
-        and Jose Serna
-      </dd>
-      <dd>
-        <em>2018 IEEE 8th International Model-Driven Requirements
-          Engineering Workshop (MoDRE)</em>
-      </dd>
-    </dl>
-    <!-- <h3 id="theses">Theses</h3> -->
-  </section>
-
-  <section>
-    <h2 id="presentations">Presentations</h2>
-    <dl>
-      <dt>
-        <strong>The Magic of Specifications and Type Systems</strong>
-      </dt>
-      <dd>
-        <strong>Amin Bandali</strong>, Simon Hudon, Jonathan Ostroff
-      </dd>
-      <dd><a href="presentations/cucsc-2017-slides.pdf">Slides</a>
-        presented at
-        <abbr title="Canadian Undergraduate Computer Science Conference">CUCSC 2017</abbr>,
-        University of Toronto, Canada, June 15-17, 2017.
-      </dd>
-      <dd>
-        <a href="presentations/eecs4080-poster.pdf">Poster</a> presented at
-        <abbr title="Lassonde Undergraduate Summer Student Research Conference">Lassonde USSR Conference</abbr>,
-        York University, Toronto, Canada, August 15, 2017.
-      </dd>
-    </dl>
-  </section>
-
-  <section>
-    <h2 id="writings">Writings</h2>
-    <dl>
-      <dt>Will be added soon.</dt>
-      <!-- <dd></dd> -->
-    </dl>
-  </section>
-
-  <section>
-    <h2 id="other-interests">Other interests</h2>
-    <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>.
-      I&rsquo;m also a <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>
-      and <a href="https://www.gnu.org/licenses/copyleft.en.html">copyleft</a>
-      activist, a <a href="https://www.gnu.org/people/webmeisters.html#bandali">volunteer webmaster</a>
-      for the GNU project, and a co-host of the <a href="https://emacsel.com">Emacs.el</a> podcast.
-    </p>
-  </section>
-</main>
-<!--# include virtual="common/footer.html" -->
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8" />
+    <meta name=viewport content="width=device-width, initial-scale=1" />
+    <title>Amin Bandali's Personal Site</title>
+    <meta
+      name="description"
+      content="Amin Bandali is a graduate student at WatForm, a free
+            software activist, and a GNU webmaster and volunteer." />
+    <link rel="stylesheet" href="/style.css" />
+  </head>
+  <body>
+    <header>
+      <h1 id="title">bandali's</h1>
+      <h2 id="subtitle">corner on the interwebs</h2>
+    </header>
+    <section>
+      <h3>academia</h3>
+      <div class="section">
+        <nav>
+          <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>
+          </ul>
+        </nav>
+      </div>
+    </section>
+    <section>
+      <h3>personal</h3>
+      <div class="section">
+        <nav>
+          <ul id="personal">
+            <li><a href="blog">blog</a></li>
+            <li><a href="now">now</a></li>
+            <li><a href="computing">computing</a></li>
+            <li><a href="contact">contact</a></li>
+          </ul>
+        </nav>
+      </div>
+    </section>
+  </body>
+</html>
index 511fd6f..e5d2862 100644 (file)
--- a/style.css
+++ b/style.css
@@ -1,41 +1,89 @@
+/* for old browsers */
+article, aside, footer, header, nav, section {
+  display: block;
+}
+
 body {
 body {
-  padding: 1rem 5%;
-  line-height: 1.45;
+  font-family: FreeSans, sans-serif;
+  padding: 1em;
+}
+
+body > header {
+  margin-bottom: 2em !important;
+}
+#title {
+  font-size: 2.1em;
+  font-weight: normal;
+  margin-bottom: 0;
+}
+#title:after {
+  content: ".org";
+  color: #dadada;
 }
 }
-header {text-align: center}
-header, section {margin-bottom: 1.7rem}
-#sub {
+#subtitle {
+  display: inline;
+  font-weight: normal;
+  font-size: 1.2em;
   color: #444;
   color: #444;
-  font-size: 0.9rem;
-  position: relative;
-  top: -0.75rem;
-}
-main {
-  min-width: 30rem;
-  max-width: 50rem;
-  padding-bottom: 1rem;
-}
-td {padding: 0 0.25rem}
-dl {margin-left: 2.5rem}
-#contact {margin-bottom: 0}
-code {font-size: 14px}
-a:link {
-  color: #004caa;
-  text-decoration: none;
-  border-bottom: 1px solid #ddd;
 }
 }
-a:hover {
-  background-color: #004caa;
-  color: #ffffff;
+
+a {
+  text-decoration: none;
+  outline: 0;
 }
 }
-.btable th {
+
+article h3 {
+  font-weight: normal;
   color: #777;
   color: #777;
-  text-align: center;
-  font-size: 0.9em;
+}
+
+code {
+  font-size: 1.15em;
+}
+
+table td {
+  padding: 0 0.3em;
+}
+table td:first-child {
+  padding-left: 0;
+}
+table td:last-child {
+  padding-right: 0
+}
+
+nav ul {
+  list-style-type: none;
+  padding: 0;
+}
+nav li {
+  display: inline;
+}
+nav li:after {
+  content: "\00a0\00b7";
+}
+nav li:last-child:after {
+  content: "";
+}
+
+section {
+  position: relative;
+}
+section > h3 {
+  position: absolute;
+  right: 75%;
+  width: 25%;
+  margin: 0;
+  padding: 0 1em 0 0; /* 1.75 */
   font-weight: normal;
   font-weight: normal;
+  font-size: 1em;
+  text-align: right;
+  white-space: nowrap;
+}
+section > .section, article > .section, body > header {
+  position: relative;
+  left: 25%;
+  width: 50%;
+  margin: 0;
+  padding: 0;
+  max-width: 38em;
 }
 }
-.btable td {padding: 0 0.3rem}
-.btable td:first-child {padding-left: 0}
-.btable td:last-child {padding-right: 0}
-#theses {padding-left: 1rem}
-h1, h2, h3, h4, h5 {line-height: 1.15}