yogsototh/snoyman.com-content
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Minor resume updates

Browse source
This commit is contained in:
Michael Snoyman 2017-08-04 16:12:15 +03:00
parent 6667ebf13b
commit d90fe24af7
No known key found for this signature in database
GPG key ID: A048E8C057E86876
1 changed files with 2 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
static/resume.html
View file

@ -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>