From 14481ccf681510353d91d87f60098d2df41f4c43 Mon Sep 17 00:00:00 2001 From: SinTan1729 Date: Thu, 3 Oct 2024 00:54:36 -0500 Subject: [PATCH] chg: Switched the positions of Programming and Projects --- CV.pdf | 4 ++-- CV.tex | 19 ++++++++++--------- 2 files changed, 12 insertions(+), 11 deletions(-) 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