1
2
3
4
5
6
7
8
9
10
11
12
13
|
---
layout: main
title: About
---
<h2>About</h2>
<p> Hello again. I'm JJ, but you may know me by apropos or omentic (among other names). </p>
<p> I'm passionate about <a href="https://linguistics.ubc.ca/">linguistics</a>, <a href="https://maplebacon.org/">computer security</a>, <a href="https://www.pluggabletransports.info/">decentralized and resilient systems</a>, and <a href="https://www.math.ubc.ca/">general mathematics</a>. I'm also broadly interested in <a href="https://en.wikipedia.org/wiki/Programming_language_theory">programming language theory</a>, and have grown particularly interested in <a href="https://ncatlab.org/nlab/show/type+theory">type theory</a>: finding it to be a nice intersection between a good number of my interests. In my spare time, I enjoy skating, playing ultimate frisbee, folding origami, reading books, capturing flags, and (occasionally) rock climbing. </p>
<!-- the <a href="">solarpunk</a> and <a href="">indieweb</a> movements, -->
<p> I'm also a hobbyist programmer, skilled at <a href="https://nim-lang.org/">Nim</a>, <a href="https://www.rust-lang.org/">Rust</a>, and <a href="https://www.java.com/en/">Java</a>, sufficiently proficient in <a href="https://racket-lang.org/">Racket</a>, <a href="https://www.python.org/">Python</a>, and <a href="https://en.wikipedia.org/wiki/C_(programming_language)">C</a>, and currently learning <a href="https://www.haskell.org/">Haskell</a>, <a href="https://wiki.portal.chalmers.se/agda/pmwiki.php">Agda</a>, and <a href="https://www.typescriptlang.org/">TypeScript</a>. Most of my projects are created in one or more of those languages. If you're interested, several projects are available <a href="https://git.toki.la">here on my website</a>, with the rest having taken up residence in <a href="https://github.com/omentic">the depths of my GitHub profile</a>. </p>
<p> If you're looking to contact me, feel free to reach out over email / XMPP to jj [at] toki.la. </p>
<p> If you're looking to hire me, you may be interested in <a href="/resume">my resume</a> (also available as a <a href="/resume/resume.pdf">PDF</a>).</p>
<h2>Credits</h2>
<p> This website is based off of the websites of <a href="https://web.archive.org/web/20200113180710/https://czeng.org/">Cat Zeng</a>, <a href="https://web.archive.org/web/20201101025228/https://nora.codes/">Leonora Tindall</a>, and <a href="https://hojberg.xyz">Simon Højberg</a>. </p>
|
