About

Hello again. I’m JJ, but you may know me by apropos or omentic (among other names).

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, 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.

Credits

This website is based off of the websites of Cat Zeng, Leonora Tindall, and Simon Højberg.
It is generated by Hakyll. The script is available here.