From c0862d44ac207e4584721017043d61e2dd993096 Mon Sep 17 00:00:00 2001 From: JJ Date: Mon, 22 Jul 2024 15:43:01 -0700 Subject: update main page & about me --- _templates/post.html | 3 ++- about.html | 23 ++++++++++------------- index.html | 31 +++++++++++++++++++++---------- projects.html | 7 +++---- 4 files changed, 36 insertions(+), 28 deletions(-) diff --git a/_templates/post.html b/_templates/post.html index fca6aed..44537b9 100644 --- a/_templates/post.html +++ b/_templates/post.html @@ -5,7 +5,7 @@ - + $title$ @@ -13,5 +13,6 @@ $partial("_templates/header.html")$
$body$
+$partial("_templates/footer.html")$ diff --git a/about.html b/about.html index a1b3f47..6e0526d 100644 --- a/about.html +++ b/about.html @@ -1,16 +1,13 @@ --- -layout: default +layout: main title: About --- - {% include header.html %} -
-

About

-

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

-

I'm passionate about decentralized and resilient systems, computer security, linguistics, 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 ice skating, playing ultimate frisbee, folding origami, capturing flags, reading books, and (occasionally) rock climbing.

- -

I'm also a hobbyist programmer, skilled at Nim, Rust, and Java, sufficiently proficient in Racket, Python, and C, and currently learning Haskell, Agda, and TypeScript. Most of my projects are created in one or more of those languages. If you're interested, several projects 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.

-

If you're looking to hire me, you may be interested in my resume (also available as a PDF).

-

Credits

-

This website is based off of the websites of Cat Zeng, Leonora Tindall (2020), and Simon Højberg.

-
+

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 skating, playing ultimate frisbee, folding origami, reading books, capturing flags, and (occasionally) rock climbing.

+ +

I'm also a hobbyist programmer, skilled at Nim, Rust, and Java, sufficiently proficient in Racket, Python, and C, and currently learning Haskell, Agda, and TypeScript. Most of my projects are created in one or more of those languages. If you're interested, several projects 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.

+

If you're looking to hire me, you may be interested in my resume (also available as a PDF).

+

Credits

+

This website is based off of the websites of Cat Zeng, Leonora Tindall, and Simon Højberg.

diff --git a/index.html b/index.html index 8d2c961..6cb2f5b 100644 --- a/index.html +++ b/index.html @@ -1,5 +1,5 @@ --- -layout: main +layout: post title: my special corner of the web --- @@ -7,15 +7,26 @@ title: my special corner of the web

Hi! I'm JJ. I go by apropos (among other names) on the Internet.

-

I'm a fourth-year student at the University of British Columbia, flag hunter for Maple Bacon, mathematics, linguistics, and type theory aficionado, total language nerd, and occasional ultimate frisbee player.

+

I'm a fourth-year student at the University of British Columbia, flag hunter for Maple Bacon, mathematics, linguistics, and type theory aficionado, total language nerd, and occasional ultimate frisbee player.

Outside of school, sports, and social life, I enjoy building and contributing to free-and-open-source projects. The majority of my work can either be found on GitHub or here on my website.

- - -{% include footer.html %} +
+

Research

+

+ I am particularly interested in language and its relation to meaning.
+ This manifests itself in different fashions in different fields. +

+ +

I am actively looking for a research position on this topic, starting Sep. 2025. If you know a professor who is hiring students and working on any of the above, please send me an email!

+
diff --git a/projects.html b/projects.html index 3ca6127..85b26e0 100644 --- a/projects.html +++ b/projects.html @@ -1,7 +1,6 @@ --- -layout: default +layout: main title: projects --- - {% include header.html %} -
- Under Construction +
+Under Construction -- cgit v1.2.3-70-g09d2