diff --git a/Gemfile.lock b/Gemfile.lock
index 08987cb..514eaf2 100644
--- a/Gemfile.lock
+++ b/Gemfile.lock
@@ -4,31 +4,31 @@ GEM
addressable (2.7.0)
public_suffix (>= 2.0.2, < 5.0)
colorator (1.1.0)
- concurrent-ruby (1.1.7)
+ concurrent-ruby (1.1.8)
em-websocket (0.5.2)
eventmachine (>= 0.12.9)
http_parser.rb (~> 0.6.0)
eventmachine (1.2.7)
- ffi (1.13.1)
+ ffi (1.15.0)
forwardable-extended (2.6.0)
http_parser.rb (0.6.0)
- i18n (1.8.5)
+ i18n (1.8.9)
concurrent-ruby (~> 1.0)
- jekyll (4.1.1)
+ jekyll (4.2.0)
addressable (~> 2.4)
colorator (~> 1.0)
em-websocket (~> 0.5)
i18n (~> 1.0)
jekyll-sass-converter (~> 2.0)
jekyll-watch (~> 2.0)
- kramdown (~> 2.1)
+ kramdown (~> 2.3)
kramdown-parser-gfm (~> 1.0)
liquid (~> 4.0)
mercenary (~> 0.4.0)
pathutil (~> 0.9)
rouge (~> 3.0)
safe_yaml (~> 1.0)
- terminal-table (~> 1.8)
+ terminal-table (~> 2.0)
jekyll-last-modified-at (1.3.0)
jekyll (>= 3.7, < 5.0)
posix-spawn (~> 0.3.9)
@@ -38,12 +38,12 @@ GEM
jekyll (>= 3.7, < 5.0)
jekyll-watch (2.2.1)
listen (~> 3.0)
- kramdown (2.3.0)
+ kramdown (2.3.1)
rexml
kramdown-parser-gfm (1.1.0)
kramdown (~> 2.0)
liquid (4.0.3)
- listen (3.3.3)
+ listen (3.4.1)
rb-fsevent (~> 0.10, >= 0.10.3)
rb-inotify (~> 0.9, >= 0.9.10)
mercenary (0.4.0)
@@ -55,11 +55,11 @@ GEM
rb-inotify (0.10.1)
ffi (~> 1.0)
rexml (3.2.4)
- rouge (3.25.0)
+ rouge (3.26.0)
safe_yaml (1.0.5)
sassc (2.4.0)
ffi (~> 1.9)
- terminal-table (1.8.0)
+ terminal-table (2.0.0)
unicode-display_width (~> 1.1, >= 1.1.1)
unicode-display_width (1.7.0)
diff --git a/index.html b/index.html
index 4fcdddb..64a4bb0 100644
--- a/index.html
+++ b/index.html
@@ -5,9 +5,9 @@ permalink: /
---
James T Martin
-
+
-Also me:
+Contact me:
- james (at) jtmar (dot) me
@@ -18,22 +18,30 @@ permalink: /
Communities I participate in:
{% comment %}The span tags are necessary for grouping elements due to `li` being `display: flex`.{% endcomment %}
-Stuff I'm working on:
+Stuff I'm working on right now:
- - wasteland: A post-nuclear zombie apocalypse Minecraft server with custom worldgen, radiation, spawns, etc.
-
- bootproof: An x86_64 OS written from scratch in Rust.
+
- lambda-calculus: A simple programming language derived from the lambda calculus with `callcc` and Hindley-Milner type inference. (Much more in-progress.)
+
- halley-kart: A kart racing game with a custom engine. (There's not much to see here yet; I will announce more about the project once it is more complete.)
- monoids in the category of endofunctors: Category theory, recursion schemes, and dependent types, to satisfy my hasochistic urges.
+Stuff I work on from time to time:
+
+
+ - bootproof: An x86_64 UEFI OS written from scratch in Rust.
+
- wasteland: A post-nuclear zombie apocalypse Minecraft server with custom worldgen, radiation, spawns, etc.
+ (I'm sick of Minecraft but the original project was a huge part of my life and I can't stop revisiting it.)
+
+
Random stuff I like:
diff --git a/resume/index.pdf b/resume/index.pdf
index 114aa49..8394f54 100644
Binary files a/resume/index.pdf and b/resume/index.pdf differ
diff --git a/resume/index.tex b/resume/index.tex
index f94bf70..badae46 100644
--- a/resume/index.tex
+++ b/resume/index.tex
@@ -13,20 +13,21 @@
\author{James T. Martin}
\begin{document}
-\section{\href{https://jamestmartin.me}{James T. Martin}, Software Developer}
+%\section{\href{https://jamestmartin.me}{James T. Martin}, Software Developer}
+\section{James T. Martin, Software Developer}
\begin{description}[noitemsep,labelwidth=2cm]
\item[Email] \href{mailto:James\%20Martin}{james@jtmar.me}
\item[Discord] jamestmartin\#7117
-\item[Phone] \href{tel:+1-206-331-1994}{(206) 331-1994}
+\item[Phone] \href{tel:+1-206-331-1994}{(206) 331-1994} (please text first so I know you're not spam)
\item[GitHub] \href{https://github.com/jamestmartin}{jamestmartin}
\item[Location] Renton, WA
\end{description}
\subsection{Experience}
-\subsubsection{\href{https://dad.gallery}{Do Art Daily}, Ruby on Rails developer \hfill 2020}
+\subsubsection{\href{https://dad.gallery}{Do Art Daily}, volunteer Ruby on Rails developer \hfill 2020}
\begin{itemize}
-\item Discovered multiple severe security bugs by creating an automated test suite.
-\item Fixed those bugs: site-wide code injection, change anyone's password, personal information leak.
+\item Discovered and fixed multiple severe security bugs by creating an automated test suite.
+%\item Fixed those bugs: site-wide code injection, change anyone's password, personal information leak.
\item Designed and implemented secure cross-site authentication API and HAL+JSON REST API.
\end{itemize}
@@ -46,6 +47,8 @@
\item Collaborated to build robot controller programs for FIRST competitions.
\end{itemize}
+{\tiny Childhood experience (2009–2016) omitted for relevence.}
+
\subsection{Skills}
\begin{itemize}
\item Languages: Java 8+, Rust, GHC Haskell, Agda, HTML5/XHTML, TypeScript
@@ -57,8 +60,8 @@
\subsection{Education}
\subsubsection{Hazen High School \hfill 2015–2019}
\begin{itemize}
-\item Member of marching, symphonic, and jazz bands; received Sousa award in 2019.
-\item Got high (4+) scores on 7 AP exams, including Computer Science (5) and Calculus AB (4).
+\item Got high (4-5/5) scores on 7 AP exams, including Computer Science (5) and Calculus AB (4).
\item Learned shop skills (woodworking, welding) and received OSHA 10 certification.
+\item Member of marching, symphonic, and jazz bands; received Sousa award in 2019.
\end{itemize}
\end{document}