remove CNAME & update index

2 files changed, 0 insertions, 2 deletions

diff --git a/CNAME b/CNAME
deleted file mode 100644
index f6fa54f..0000000
--- a/CNAME
+++ /dev/null
@@ -1 +0,0 @@
-toki.la
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>