diff options
Diffstat (limited to 'about.md')
| -rw-r--r-- | about.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,7 +9,7 @@ Hello again. I'm JJ, but you may know me by apropos or omentic (among other name I'm passionate about [linguistics], [computer security], [decentralized and resilient systems], and [general mathematics](). I'm also broadly interested in [programming language theory], and have grown particularly interested in [type theory]: finding it to be a nice intersection between a good number of my interests. In my spare time, I enjoy roller skating, playing ultimate frisbee, folding origami, reading books, capturing flags, and (occasionally) rock climbing. -I'm also a hobbyist programmer, skilled at [Nim], [Rust], [Lean], and [Java], sufficiently proficient in [Python] and [Racket], and currently learning [HTMX] and [TypeScript]. Most of my projects are created in one or more of those languages. If you're interested, several are available [here on my website], with the rest having taken up residence in [the depths of my GitHub profile]. +I'm also a hobbyist programmer, skilled at [Nim], [Rust], [Racket], and [Java], sufficiently proficient in [Python] and [Lean], and currently learning [HTMX] and [TypeScript]. Most of my projects are created in one or more of those languages. If you're interested, several are available [here on my website], with the rest having taken up residence in [the depths of my GitHub profile]. If you're looking to contact me, feel free to reach out over email / XMPP to jj [at] toki.la. |