From 8da365452c6026b9554cec539436285f93d2169b Mon Sep 17 00:00:00 2001
From: JJ
Date: Tue, 21 Jan 2025 23:02:05 -0800
Subject: assorted updates

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'index.html')

diff --git a/index.html b/index.html
index 37fffdb..e6f969a 100644
--- a/index.html
+++ b/index.html
@@ -28,5 +28,5 @@ title: my special corner of the web
 			In mathematics: I have a particular interest in <b>foundations</b> and <b>category theory</b>: and how they inform what we <i>mean</i> by proof. This in turn has manifested an interest in theorem provers and <b>proof mechanization</b>.
 		</li>
 	</ul>
-	<p> I am actively looking for a research position on this topic, to start Sep. 2025. If you know a professor who is hiring students or interns for any of the above, please send me an email! </p>
+	<p> I am actively looking for a research position on this topic, to start Sep. 2026. If you know a professor who is hiring students or interns for any of the above, please send me an email! </p>
 </div>
-- 
cgit v1.2.3-70-g09d2