SinTan1729
/
CV
1
0
Fork 0
Code Pull Requests Activity

chg: Switched the positions of Programming and Projects

This commit is contained in:
Sayantan Santra 2024-10-03 00:54:36 -05:00
parent 0b71b79b01
commit 14481ccf68
Signed by: SinTan1729
GPG Key ID: 0538DD402EA50898
2 changed files with 12 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
CV.pdf (Stored with Git LFS)
View File

Binary file not shown.

19
CV.tex
View File

@ -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). \\ 2016 & I received the prestigious INSPIRE SHE scholarship (for the period 2016-2019). \\
\end{longtable} \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} \section{Projects and Internships}
\begin{tabular}{L!{\VRule}R} \begin{tabular}{L!{\VRule}R}
Summer 2023 & Formalization of Mathematics Summer School from 5-16 June in SLMath (formerly MSRI), Berkeley, CA \\ 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 \\ 2015 & INSPIRE Internship during class XI \\
\end{tabular} \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} \section{Presentations/Talks}
\begin{tabular}{L!{\VRule}R} \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 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