From 5eefe40312d677ec929833f237b81584f5b3ae5b Mon Sep 17 00:00:00 2001
From: JJ
Date: Fri, 26 Jul 2024 18:29:27 -0700
Subject: remove CNAME & update index

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

(limited to 'index.html')

diff --git a/index.html b/index.html
index 7aaff38..820e431 100644
--- a/index.html
+++ b/index.html
@@ -28,5 +28,4 @@ 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 proof mechanization.
 		</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 and working on any of the above, please send me an email! </p>
 </div>
-- 
cgit v1.2.3-70-g09d2