--- layout: main title: About --- # 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], [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]. 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](https://web.archive.org/web/20200113180710/https://czeng.org/), [Leonora Tindall](https://web.archive.org/web/20201101025228/https://nora.codes/), and [Simon Højberg](https://hojberg.xyz).
It is generated by [Hakyll](https://jaspervdj.be/hakyll/). The script is available [here](/site.hs). [linguistics]: https://linguistics.ubc.ca/ [computer security]: https://maplebacon.org/ [decentralized and resilient systems]: https://www.pluggabletransports.info/ [general mathematics]: https://www.math.ubc.ca/ [programming language theory]: https://en.wikipedia.org/wiki/Programming_language_theory [type theory]: https://ncatlab.org/nlab/show/type+theory [Nim]: https://nim-lang.org/ [Rust]: https://rust-lang.org/ [Lean]: https://lean-lang.org/ [Java]: https://www.java.com/en/ [Python]: https://www.python.org/ [Racket]: https://racket-lang.org/ [HTMX]: https://htmx.org/ [TypeScript]: https://www.typescriptlang.org/ [here on my website]: https://git.toki.la [the depths of my GitHub profile]: https://github.com/omentic