diff --git a/CV.pdf b/CV.pdf
index 0e2cb0a..1a933f5 100644
--- a/CV.pdf
+++ b/CV.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:e24403d454583d97c2e9378820948cc7730491591ab3117d60bdf17d0220a749
-size 102607
+oid sha256:d44c796c67521217e637d0e9c5069a72ed2cb11caccac600a77fb99fcb570fbb
+size 103188
diff --git a/CV.tex b/CV.tex
index 15a5e55..762814b 100644
--- a/CV.tex
+++ b/CV.tex
@@ -81,15 +81,6 @@ classes that I taught as an Instructor of Record: \\
 	2016        & I received the prestigious INSPIRE SHE scholarship (for the period 2016-2019).                                                  \\
 \end{longtable}
 
-\section{Programming}
-I have experience with the languages SageMath, Lean 4, Rust, Haskell, C, Python, OCaml, JavaScript, C++, HTML, \LaTeX, and some SQL. I'm also
-familiar with Linux, Docker, and shell programming. Below are some of the projects that I developed and/or maintain:
-\begin{itemize}
-	\item Chhoto-URL: A simple, blazingly fast, selfhosted URL shortener with no unnecessary features; written in Rust.
-	\item movie-rename: A simple tool to rename movies, written in Rust.
-	\item TvTimeToTrakt: A Python script to import TV Time data into Trakt.TV
-	\item recipe-box-for-wikijs: Download recipes into a (repurposed Zettelkasten) recipe box.
-\end{itemize}
 \section{Projects and Internships}
 \begin{tabular}{L!{\VRule}R}
 	Summer 2023 & Formalization of Mathematics Summer School from 5-16 June in SLMath (formerly MSRI), Berkeley, CA                                 \\
@@ -105,6 +96,16 @@ familiar with Linux, Docker, and shell programming. Below are some of the projec
 	2015        & INSPIRE Internship during class XI                                                                                                \\
 \end{tabular}
 
+\section{Programming}
+I have experience with the languages SageMath, Lean 4, Rust, Haskell, C, Python, OCaml, JavaScript, C++, HTML, \LaTeX, and some SQL. I'm also
+familiar with Linux, Docker, and shell programming. Below are some of the projects that I developed and/or maintain:
+\begin{itemize}
+	\item Chhoto-URL: A simple, blazingly fast, selfhosted URL shortener with no unnecessary features; written in Rust.
+	\item movie-rename: A simple tool to rename movies, written in Rust.
+	\item TvTimeToTrakt: A Python script to import TV Time data into Trakt.TV
+	\item recipe-box-for-wikijs: Download recipes into a (repurposed Zettelkasten) recipe box.
+\end{itemize}
+
 \section{Presentations/Talks}
 \begin{tabular}{L!{\VRule}R}
 	Spring 2024 & \say{Proof Formalization in Lean, or: how to trick your computer into doing (even) more math} together with Dr. Mario Morán Cañón