From 3fb0c4fb8fe436f0844d68caecbe4e2eb270f7a7 Mon Sep 17 00:00:00 2001 From: JJ Date: Mon, 30 Sep 2024 18:37:57 -0700 Subject: move textbooks page + minor changes --- .gitignore | 1 + about.md | 2 +- links.md | 14 +- textbooks.html | 515 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 4 files changed, 527 insertions(+), 5 deletions(-) create mode 100644 textbooks.html diff --git a/.gitignore b/.gitignore index d2a7949..6a05ea4 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ _cache +_deploy _site .stack-work stack.yaml.lock diff --git a/about.md b/about.md index 7d58615..53e8a7d 100644 --- a/about.md +++ b/about.md @@ -9,7 +9,7 @@ Hello again. I'm JJ, but you may know me by apropos or omentic (among other name 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]. +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. diff --git a/links.md b/links.md index f60a026..717a413 100644 --- a/links.md +++ b/links.md @@ -36,6 +36,7 @@ Here are some of the more interesting ones. +