From d90fe24af76204defc3ca75f2ab89c55c3329495 Mon Sep 17 00:00:00 2001
From: Michael Snoyman <michael@snoyman.com>
Date: Fri, 4 Aug 2017 16:12:15 +0300
Subject: [PATCH] Minor resume updates

---
 static/resume.html | 20 ++------------------
 1 file changed, 2 insertions(+), 18 deletions(-)

diff --git a/static/resume.html b/static/resume.html
index 7983213..59d7c9e 100644
--- a/static/resume.html
+++ b/static/resume.html
@@ -191,10 +191,10 @@
       <section id="publications">
           <h1>Publications</h1>
           <ul>
+              <li><a href="http://aosabook.org/en/posa/warp.html">Performance of Open Source Applications</a>, 2013</li>
               <li><a href="http://shop.oreilly.com/product/0636920023142.do">Developing Web Application with Haskell and Yesod</a>, O'Reilly Media, 2012</li>
               <li><a href="http://www.aosabook.org/en/index.html#vol2">Architecture of Open Source Applications, Volume 2</a>, 2012</li>
               <li><a href="http://steve.vinoski.net/pdf/IC-Warp_a_Haskell_Web_Server.pdf">Warp: A Haskell Web Server</a>, IEEE Spectrum, 2011</li>
-              <li><a href="https://github.com/mezzohaskell/mezzohaskell">MezzoHaskell</a>: community-driven book focusing on intermediate Haskell. <i>In Development</i></li>
           </ul>
       </section>
 
@@ -209,7 +209,7 @@
         <h1>Skills</h1>
         <dl>
           <dt>Programming Languages</dt>
-          <dd>Haskell, C, C++, Java, SQL, Javascript, Bash, XSLT, Perl, PHP, Visual Basic 6, Bash, SAS</dd>
+          <dd>Haskell, C, C++, Rust, Java, SQL, Javascript, Bash, XSLT, Perl, PHP, Visual Basic 6, Bash, SAS</dd>
           <dt>Operating systems</dt>
           <dd>Linux, FreeBSD, AIX, Windows</dd>
           <dt>Databases</dt>
@@ -240,21 +240,5 @@
       </section>
 
     </section> <!-- wrapper -->
-
-<script type="text/javascript">
-
-  var _gaq = _gaq || [];
-  _gaq.push(['_setAccount', 'UA-1434510-6']);
-  _gaq.push(['_trackPageview']);
-
-  (function() {
-    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
-    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
-    (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(ga);
-  })();
-
-</script>
-
-
   </body>
 </html>