From 7faadd559335d95fdc55f9b921a170097e49f778 Mon Sep 17 00:00:00 2001
From: Julian Blake Kongslie
Date: Tue, 7 May 2013 09:15:51 -0700
Subject: Mention REST.

---
 cv.latex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cv.latex b/cv.latex
index d8a3501..137d5d9 100644
--- a/cv.latex
+++ b/cv.latex
@@ -21,7 +21,7 @@
 
 \section{Computer Skills}
 \cventry{Functional Programming}{Haskell, ML, Scheme}{}{}{}{Extensive experience and expertise with functional programming languages. I have maintained libraries, built DSLs, implemented compilers, and taught classes.}
-\cventry{Web Programming}{Perl, Python, Ruby}{}{}{}{I have built and maintained professional web storefronts with both mod\_perl and rails. I have worked extensively with middleware such as XML and XSLT, and while I'm no designer, I know my way around HTML, CSS, and JavaScript. I've used jQuery, bootstrap, and YUI. I've built systems that interoperate using OpenID and SAML.}
+\cventry{Web Programming}{Perl, Python, Ruby}{}{}{}{I have built and maintained professional web storefronts with both mod\_perl and rails. I have worked extensively with middleware such as XML and XSLT, and while I'm no designer, I know my way around HTML, CSS, and JavaScript. I've used jQuery, bootstrap, and YUI. I've built systems that interoperate using OpenID and SAML, and I can do RESTful design.}
 \cventry{Systems Programming}{C, C++}{}{}{}{I understand threading models and can program embedded systems. I've written a hobby operating system that implemented POSIX, and I've worked on high-performance computing. I know enough C++ to be dangerous, and I'm not afraid of templates or the STL.}
 \cventry{Database Programming}{PostgreSQL, Oracle}{}{}{}{I've worked professionally with large replicated databases and PostGIS. I understand data normalization and I've optimized queries for billion-row tables.}
 \cventry{Formal Correctness}{Coq, Agda, Z}{}{}{}{I can write code that is provably bug-free, and I know when it's appropriate to do so. I've given lectures on dependent typing and correct-by-construction programming. I am also familiar with security analysis of cryptographic protocols and have worked on a team to verify the correctness of a custom protocol.}
-- 
cgit v1.2.3