1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
---
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], [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](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).<br>
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
|
