diff options
| -rw-r--r-- | _templates/post.html | 3 | ||||
| -rw-r--r-- | about.html | 23 | ||||
| -rw-r--r-- | index.html | 31 | ||||
| -rw-r--r-- | 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 @@ <meta name="viewport" content="width=device-width, initial-scale=1.0"/> <link rel="icon" type="image/jpg" href="/assets/light.png"/> <link rel="stylesheet" href="/css/style.css"/> - <link rel="stylesheet" href="/writeups/css/style.css"/> + <link rel="stylesheet" href="/css/post.css"/> <title> $title$ </title> </head> <body> @@ -13,5 +13,6 @@ $partial("_templates/header.html")$ <main> $body$ </main> +$partial("_templates/footer.html")$ </body> </html> @@ -1,16 +1,13 @@ --- -layout: default +layout: main title: About --- - {% include header.html %} - <main> - <h2>About</h2> - <p> Hello again. I'm JJ, but you may know me by apropos or omentic (among other names). </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> - <!-- 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://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.toki.la">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>. </p> - <p> If you're looking to contact me, feel free to reach out over email / XMPP to jj [at] toki.la. </p> - <p> If you're looking to hire me, you may be interested in <a href="/resume">my resume</a> (also available as a <a href="/resume/resume.pdf">PDF</a>).</p> - <h2>Credits</h2> - <p> This website is based off of the websites of <a href="https://czeng.org">Cat Zeng</a>, <a href="https://nora.codes/">Leonora Tindall</a> (2020), and <a href="https://hojberg.xyz">Simon Højberg</a>. </p> - </main> +<h2>About</h2> +<p> Hello again. I'm JJ, but you may know me by apropos or omentic (among other names). </p> +<p> I'm passionate about <a href="https://linguistics.ubc.ca/">linguistics</a>, <a href="https://maplebacon.org/">computer security</a>, <a href="https://www.pluggabletransports.info/">decentralized and resilient systems</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 skating, playing ultimate frisbee, folding origami, reading books, capturing flags, and (occasionally) rock climbing. </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://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.toki.la">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>. </p> +<p> If you're looking to contact me, feel free to reach out over email / XMPP to jj [at] toki.la. </p> +<p> If you're looking to hire me, you may be interested in <a href="/resume">my resume</a> (also available as a <a href="/resume/resume.pdf">PDF</a>).</p> +<h2>Credits</h2> +<p> This website is based off of the websites of <a href="https://web.archive.org/web/20200113180710/https://czeng.org/">Cat Zeng</a>, <a href="https://web.archive.org/web/20201101025228/https://nora.codes/">Leonora Tindall</a>, and <a href="https://hojberg.xyz">Simon Højberg</a>. </p> @@ -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 <img id="face" src="assets/compass.jpg"/> <div id="profile"> <p> Hi! I'm JJ. I go by apropos (among other names) on the Internet. </p> - <p> I'm a fourth-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://ums-ubc.com">mathematics</a>, <a href="https://wiki.toki.la/linguistics">linguistics</a>, and <a href="https://ncatlab.org/nlab/show/type+theory">type theory</a> aficionado, <span title="yes this is a pun">total language nerd</span>, and occasional ultimate frisbee player. </p> + <p> I'm a fourth-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://ums-ubc.com">mathematics</a>, <a href="https://toki.la/wiki/linguistics">linguistics</a>, and <a href="https://ncatlab.org/nlab/show/type+theory">type theory</a> aficionado, <span title="yes this is a pun">total language nerd</span>, and occasional 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/omentic">GitHub</a> or <a href="https://git.toki.la">here on my website</a>. </p> </div> </div> -<!-- <div id="details"> - <h2> Projects </h2> - <p> Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum. </p> - <h2> Posts </h2> - <p> Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum. </p> -</div> --> -</main> -{% include footer.html %} +<div id="details"> + <h2> Research </h2> + <p> + I am particularly interested in <i>language</i> and its relation to <i>meaning</i>.<br> + This manifests itself in different fashions in different fields. + </p> + <ul> + <li> + In linguistics: I'm interested in the <b>syntax-semantics interface</b>: in more philosophical terms, how <i>sense</i> informs <i>denotation</i>, and how <i>denotation</i> informs <i>sense</i>. I am particularly interested in this with respect to types and their connection to intuitionistic logic via <a href="https://en.wikipedia.org/wiki/Curry–Howard_correspondence">Curry-Howard</a>. + </li> + <li> + In computer science: I care about <b>language interoperability</b>: the preservation of meaning across languages with differing types systems, operational semantics, and conventions. + </li> + <li> + In mathematics: I have a particular interest in <b>foundations</b> and <b>category theory</b>. + </li> + </ul> + <p> 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! </p> +</div> 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 %} - <br> - <span>Under Construction</span> +<br> +<span>Under Construction</span> |