From c0862d44ac207e4584721017043d61e2dd993096 Mon Sep 17 00:00:00 2001
From: JJ
Date: Mon, 22 Jul 2024 15:43:01 -0700
Subject: update main page & about me

---
 index.html | 31 +++++++++++++++++++++----------
 1 file changed, 21 insertions(+), 10 deletions(-)

(limited to 'index.html')

diff --git a/index.html b/index.html
index 8d2c961..6cb2f5b 100644
--- a/index.html
+++ b/index.html
@@ -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>
-- 
cgit v1.2.3-70-g09d2