From 07b0aaf8250fcc55302aef03545cb63108ffc735 Mon Sep 17 00:00:00 2001
From: tslil <>
Date: Wed, 29 Sep 2021 20:59:58 -0400
Subject: Added computer science section and new paper

---
 cv.tex | 47 ++++++++++++++++++++++++++++++++++++++++-------
 1 file changed, 40 insertions(+), 7 deletions(-)

(limited to 'cv.tex')

diff --git a/cv.tex b/cv.tex
index 9ded3e8..913845a 100644
--- a/cv.tex
+++ b/cv.tex
@@ -171,7 +171,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
   \entry{Jan. 2017}{Primary Instructor}{Johns Hopkins}
   {Intersession Course: Recreational Math. for All}
 
-  \entry{2017, 18, 19}{DRP Mentor}{Johns Hopkins} {Mentored projects in: General Topology, Braid Group Representations, Category Theory, Homotopy Type Theory}
+  \entry{2017-`19, `21}{DRP Mentor}{Johns Hopkins} {Mentored projects in: General Topology, Braid Group Representations, Category Theory, Homotopy Type Theory}
 
   \entry{Oct. 2014}{Invited Instructor}{Univ. Cape Town} {Introduction to Group Theory}
 
@@ -183,7 +183,9 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \ruletitle{Papers}
 
-  \arxiventry{2106.03652}{A common misinterpretation of Isbell's obstruction to monoidal strictfication}{the widely disseminated obstruction to strictifying the associator is shown to be under-specified as stated, and the truth is more subtle.}
+    \arxiventry{2109.14123}{Regular Calculi I: Graphical Regular Logic}{on the novel structure of regular calculi and their use as an ergonomic \& graphical syntax for regular logic}
+
+  \arxiventry{2106.03652}{A common misinterpretation of Isbell's obstruction to monoidal strictfication\linebreak}{the widely disseminated obstruction to strictifying the associator is shown to be under-specified as stated, and the truth is more subtle.}
 
   \arxiventry{2009.05545}{Bi-representations and bi-initial objects are not so different}{joint with L. Moser, on 2-categorical and double-categorical theorems characterising when pseudo-functors into Cat are representable, with applications to bi-adjunctions and 2-dimensional limits.}
 
@@ -192,6 +194,32 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
   % \vfill\null
   % \columnbreak
 
+  \ruletitle{Computer Science}
+
+  \entry{2011-2014}{Algorithm Circle}{Theoretical C.S. organisation, Univ. Cape Town}{Lecturer (2011-2014), Vice Chairman (2012, 2014), Chairman (2013) for an organisation that gave free \& open, weekly lectures on topics in theoretical computer science (data structures, complexity theory, programming language theory, cryptography) and helped attendees prepare for programming contests.}
+
+  \entry{Dec. 2012}{Top 10 in Southern Africa}{Google App Developer Challenge}{Designed and implemented a website allowing for the easy, intuitive and visual organisation of free-
+    form data into graphs and networks conveying relations and interconnections. Written in Python, Javascript, and using D3.js}
+
+  \entry{2011, 2012}{Haskell Course}{University of Cape Town}{Organised and gave a free \& open Haskell programming language course}
+
+  I have contributed code to the following notable open-source projects:
+
+  \listentry{\href{http://mikeos.sourceforge.net/\#credits}{MikeOS}, a 16bit real-mode operating system written in x86 assembly}
+
+  \listentry{\href{https://github.com/bradharding/doomretro/wiki/CREDITS}{DoomRetro}, a modern source port of ID Software's DOOM (II) game engine written in C using SDL2}
+
+  \listentry{\href{https://github.com/aaronbieber/tiny-menu.el/pull/5}{tiny-menu.el}, an Emacs minor mode to display interactive menus for quick actions written in Emacs Lisp}
+
+  I have several medium-to-large projects of my own, a selection:
+
+  \listentry{\href{https://git.sr.ht/~tslil/adclock}{Art-deco clock} [AVR C, OpenSCAD], a 3D-printed art-deco clock using an ATTiny24, RTC chip, and two OLED displays}
+  \listentry{\href{https://github.com/tslilc/siege-mode}{siege-mode.el} [elisp], an Emacs minor mode to surround the region with smart delimiters interactively}
+  \listentry{\href{https://git.sr.ht/~tslil/msr}{msr} [C], a public-key signature verification tool using curve Ed25519, libsodium, GNU argp, and compatible with OpenBSD's signify}
+  \listentry{\href{https://git.sr.ht/~tslil/takwrap}{TakWrap} [Rust], a TUI for local play of the abstract strategy game of Tak}
+  \listentry{\href{https://git.sr.ht/~tslil/ctak}{ctak} [C, ongoing], a line-mode interface for the game of Tak, complete with a computer opponent. This project was designed to learn about (convolutional) neural networks, adversarial tree search, \& buildroot for cross-compiling and embedded computing on a Raspberry PI}
+  \listentry{\href{https://git.sr.ht/~tslil/zirc}{ZiRC} [Zig, ongoing], a project to learn the Zig programming language and the basics of 3D rendering by building a featureful raycaster engine}
+
   \ruletitle{Notable Service}
 
   \entry{2019}{Primary organiser}{2019 Category Theory Octoberfest {\setromanfont{Libre Baskerville Italic} {(\href{https://ct-octoberfest.github.io}{website})}},\\Johns Hopkins}{}
@@ -250,6 +278,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \entry{2016/12/12}{Category Theory Seminar}{Johns Hopkins}{A monad is just \ldots (with an eye to universal algebra)}
 
+  %\columnbreak
+
   \ruletitle{Conferences Attended}
 
   \datelistentry{2021}{CT 20$\to$21 online, Genoa}
@@ -280,26 +310,27 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \datelistentry{2017}{Category Theory 2017, UBC}
 
-  \columnbreak
+  %\columnbreak
 
   \ruletitle{Competencies}
 
-  \listentry{Proficient in C, Haskell, and Rust, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, Java, Javascript,
-  \LaTeX, and Python}
+  \listentry{Proficient in C, Haskell, and Rust, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, Java, Javascript, \LaTeX, Python, and Zig}
 
   \listentry{English (fluent), Hebrew (intermediate), Afrikaans
     (intermediate)}
 
   % \vfill\null
-  % \columnbreak
+  \columnbreak
 
   \ruletitle{Personal Pursuits}
 
   \listentry{\textcolor{cv-h1}{Electronics \& 3D printing}
     Various projects leveraging micro-controllers and custom circuitry}
 
+  \listentry{\textcolor{cv-h1}{Cellular automata} Exploration of rule sets and pattern engineering}
+
   \listentry{\textcolor{cv-h1}{Esoteric Programming Languages}
-    Authored and implemented several languages}
+    Authored and implemented several languages (\href{https://esolangs.org/wiki/User:Hiato}{url})}
 
   \listentry{\textcolor{cv-h1}{Fractal Art} Exploration of the media
     of iterated function systems, chaotic maps and attractors, and
@@ -311,6 +342,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
   \rule{0.7\linewidth}{0.4pt}
 
   {References available upon request}
+
+  \columnbreak
   \vfill\null
 
 \end{multicols}
-- 
cgit v1.3.1

