From 68b8ed81cbf87341e84947ec027e371d4d433015 Mon Sep 17 00:00:00 2001 From: JJ Date: Thu, 25 Apr 2024 18:14:01 -0700 Subject: switch from apropos.codes to toki.la --- CNAME | 2 +- LICENSE | 2 +- _includes/footer.html | 2 +- about.html | 4 ++-- index.html | 4 ++-- monogram.html | 10 +++++----- toaster-ovens.html | 8 ++++---- 7 files changed, 16 insertions(+), 16 deletions(-) diff --git a/CNAME b/CNAME index 5931451..f6fa54f 100644 --- a/CNAME +++ b/CNAME @@ -1 +1 @@ -apropos.codes +toki.la diff --git a/LICENSE b/LICENSE index 589ec8e..e7add8c 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ BSD Zero Clause License -Copyright (C) 2023 JJ +Copyright (C) 2024 JJ Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby granted. diff --git a/_includes/footer.html b/_includes/footer.html index c1db3ec..049de4a 100644 --- a/_includes/footer.html +++ b/_includes/footer.html @@ -1,3 +1,3 @@
- 2020-2023 + 2020-2024
diff --git a/about.html b/about.html index f3b0fd5..28233a7 100644 --- a/about.html +++ b/about.html @@ -9,9 +9,9 @@ title: About

I'm currently a third-year student at the University of British Columbia in Vancouver, Canada, majoring in Mathematics with some Linguistics and Computer Science on the side. Previously, I lived on Bainbridge Island, Washington, and was a captain of the local FIRST robotics team.

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 (with some on SourceHut).

+

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 (with some on SourceHut).

If you're looking to contact me, feel free to reach out over email to jj [at] toki.la.

-

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

+

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.

diff --git a/index.html b/index.html index 57edb17..8126f61 100644 --- a/index.html +++ b/index.html @@ -8,8 +8,8 @@ title: my special corner of the web
-

Hello, I'm JJ, and I go by apropos on the Internet.

-

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

+

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

+

I'm a third-year student at the University of British Columbia, flag hunter for Maple Bacon, mathematics, linguistics, and type theory aficionado, and occasional rock climber and 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 at SourceHut.

diff --git a/monogram.html b/monogram.html index a350ce7..5bfda39 100644 --- a/monogram.html +++ b/monogram.html @@ -5,15 +5,15 @@ title: monogram