summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJJ2023-06-14 23:11:20 +0000
committerJJ2023-06-14 23:11:20 +0000
commit2be13de84fab34279222b34090c87e5515747c3c (patch)
tree411a4fbcd19bec2f3e209222ef52c7d428291424
parentda75340fdbb7d20423fdadb9548f803991e5624c (diff)
github rename
-rw-r--r--about.html5
-rw-r--r--index.html2
2 files changed, 4 insertions, 3 deletions
diff --git a/about.html b/about.html
index 37b7c29..16124e8 100644
--- a/about.html
+++ b/about.html
@@ -5,10 +5,11 @@ title: About
{% include header.html %}
<main>
<h2>About</h2>
- <p> Hello again. I'm JJ, but you may know me by apropos (or another name) on the Internet. </p>
+ <p> Hello again. I'm JJ, but you may know me by apropos (among other names) on the Internet. </p>
<p> I'm currently a second-year student at the <a href="https://www.ubc.ca/">University of British Columbia</a> in Vancouver, Canada, majoring in <a href="https://you.ubc.ca/ubc_programs/mathematics-vancouver-bsc/">Mathematics</a> with some <a href="https://you.ubc.ca/ubc_programs/linguistics/">Linguistics</a> and <a href="https://you.ubc.ca/ubc_programs/computer-science-vancouver-bsc/">Computer Science</a> on the side. Previously, I lived on Bainbridge Island, Washington, and was a captain of <a href="https://spartronics4915.com/">the local FIRST robotics team</a>. </p>
<p> I'm passionate about <a href="https://www.pluggabletransports.info/">decentralized and resilient systems</a>, <a href="https://maplebacon.org/">computer security</a>, <a href="https://linguistics.ubc.ca/">linguistics</a>, and <a href="https://www.math.ubc.ca/">general mathematics</a>. I'm also broadly interested in <a href="https://en.wikipedia.org/wiki/Programming_language_theory">programming language theory</a>, and have grown particularly interested in <a href="https://ncatlab.org/nlab/show/type+theory">type theory</a>: 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. </p>
- <p> I'm also a hobbyist programmer, skilled at <a href="https://nim-lang.org/">Nim</a>, <a href="https://www.rust-lang.org/">Rust</a>, and <a href="https://www.java.com/en/">Java</a>, sufficiently proficient in <a href="https://racket-lang.org/">Racket</a>, <a href="https://www.python.org/">Python</a>, and <a href="https://en.wikipedia.org/wiki/C_(programming_language)">C</a>, and currently learning <a href="https://www.haskell.org/">Haskell</a>, <a href="https://www.idris-lang.org/">Idris</a>, <a href="https://wiki.portal.chalmers.se/agda/pmwiki.php">Agda</a>, and <a href="https://www.typescriptlang.org/">TypeScript</a>. Most of my projects are created in one or more of those languages. If you're interested, several projects are available <a href="https://apropos.codes/projects">here on my website</a>, with the rest having taken up residence in <a href="https://github.com/j-james">the depths of my GitHub profile</a> (with some on <a href="https://sr.ht/~apropos/">SourceHut</a>). </p>
+ <!-- the <a href="">solarpunk</a> and <a href="">indieweb</a> movements, -->
+ <p> I'm also a hobbyist programmer, skilled at <a href="https://nim-lang.org/">Nim</a>, <a href="https://www.rust-lang.org/">Rust</a>, and <a href="https://www.java.com/en/">Java</a>, sufficiently proficient in <a href="https://racket-lang.org/">Racket</a>, <a href="https://www.python.org/">Python</a>, and <a href="https://en.wikipedia.org/wiki/C_(programming_language)">C</a>, and currently learning <a href="https://www.haskell.org/">Haskell</a>, <a href="https://www.idris-lang.org/">Idris</a>, <a href="https://wiki.portal.chalmers.se/agda/pmwiki.php">Agda</a>, and <a href="https://www.typescriptlang.org/">TypeScript</a>. Most of my projects are created in one or more of those languages. If you're interested, several projects are available <a href="https://git.apropos.codes">here on my website</a>, with the rest having taken up residence in <a href="https://github.com/omentic">the depths of my GitHub profile</a> (with some on <a href="https://sr.ht/~apropos/">SourceHut</a>). </p>
<p> If you're looking to contact me, feel free to reach out over email to jj [at] toki.la. </p>
<p> If you're looking to hire me, you may be interested in <a href="https://apropos.codes/resume">my resume</a> (also available as a <a href="https://apropos.codes/resume/resume.pdf">PDF</a>).</p>
<h2>Credits</h2>
diff --git a/index.html b/index.html
index b7496c9..15fc100 100644
--- a/index.html
+++ b/index.html
@@ -10,7 +10,7 @@ title: my special corner of the web
<div id="profile">
<p> Hello, I'm JJ, and I go by apropos on the Internet. </p>
<p> I'm a second-year student at the <a href="https://ubc.ca">University of British Columbia</a>, flag hunter for <a href="https://maplebacon.org">Maple Bacon</a>, <a href="https://ncatlab.org/nlab/show/mathematics">mathematics</a>, <a href="https://ncatlab.org/nlab/show/linguistics">linguistics</a>, and <a href="https://ncatlab.org/nlab/show/type+theory">type theory</a> aficionado, and occasional rock climber and ultimate frisbee player. </p>
- <p> Outside of school, sports, and social life, I enjoy building and contributing to <a href="https://www.gnu.org/philosophy/free-sw">free-and-open-source</a> projects. The majority of my work can either be found on <a href="https://github.com/j-james">GitHub</a> or at <a href="https://sr.ht/~apropos">SourceHut</a>. </p>
+ <p> Outside of school, sports, and social life, I enjoy building and contributing to <a href="https://www.gnu.org/philosophy/free-sw">free-and-open-source</a> projects. The majority of my work can either be found on <a href="https://github.com/omentic">GitHub</a> or at <a href="https://sr.ht/~apropos">SourceHut</a>. </p>
</div>
</div>
<!-- <div id="details">