Tim Hosgood
thosgood@mathstodon.xyz
<p>"mathematician" | Topos Institute, Oxford</p>
Posts
-
Post #1805740
new year new job
-
Post #1805739
also really got into puzzle games again recently, which is great because they&#39;re fun and terrible because i am so easily stumped. but Öoo is a strong contender for my favourite short puzzle game ever (also the name is a picture of the character. wow.) https://en.wikipedia.org/wiki/Öoo
-
Post #1805738
&quot;you should not accuse me of AI psychosis, because I spent two years at oxford&quot; is a statement so utterly infuriating that it has made me subtoot for the first time in forever
-
Post #1805737
it&#39;s actually very fun getting to learn about double categorical logic and then write code that makes things on the computer go whirrr
-
Post #1805735
nearly three years later, and https://arxiv.org/abs/2308.09627 has just been accepted for publication! coming soon to a Higher Structures near you