From 1a97351d58a64d0c67638aca1010f33e3b6f8bcc Mon Sep 17 00:00:00 2001 From: JJ Date: Wed, 21 Aug 2024 02:51:18 -0700 Subject: unbreak css, minor updates to about --- _templates/footer.html | 2 +- about.html | 13 ------------- about.md | 39 +++++++++++++++++++++++++++++++++++++++ css/style.css | 8 -------- css/wiki.css | 10 +++++++++- 5 files changed, 49 insertions(+), 23 deletions(-) delete mode 100644 about.html create mode 100644 about.md diff --git a/_templates/footer.html b/_templates/footer.html index 93b3dd7..cdb0912 100644 --- a/_templates/footer.html +++ b/_templates/footer.html @@ -1,3 +1,3 @@ diff --git a/about.html b/about.html deleted file mode 100644 index 6e0526d..0000000 --- a/about.html +++ /dev/null @@ -1,13 +0,0 @@ ---- -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 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/about.md b/about.md new file mode 100644 index 0000000..d4a633a --- /dev/null +++ b/about.md @@ -0,0 +1,39 @@ +--- +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], [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]. + +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](/resume) (also available as a [PDF](/resume/resume.pdf)). + +## 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).
+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 diff --git a/css/style.css b/css/style.css index 17ba99a..4f891f2 100644 --- a/css/style.css +++ b/css/style.css @@ -68,14 +68,6 @@ nav a:hover { font-size: 1.15em; } -p { - margin-bottom: 0; -} - -p + ol, p + ul { - margin-top: 0 -} - ul { list-style: square; } diff --git a/css/wiki.css b/css/wiki.css index 8e94534..ea1a1c9 100644 --- a/css/wiki.css +++ b/css/wiki.css @@ -1,3 +1,11 @@ +p { + margin-bottom: 0; +} + +p + ol, p + ul { + margin-top: 0 +} + a[href*="//"]:not([href*="toki.la"]):after { - content: url("/assets/external.svg"); + content: url("/assets/external.svg"); } -- cgit v1.2.3-70-g09d2