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
Remote
Tim Hosgood
@thosgood@mathstodon.xyz
mastodon 4.7.2"mathematician" | Topos Institute, Oxford
464 Followers
127 Following
8 Posts
Joined October 04, 2019
"you should not accuse me of AI psychosis, because I spent two years at oxford" is a statement so utterly infuriating that it has made me subtoot for the first time in forever
it's actually very fun getting to learn about double categorical logic and then write code that makes things on the computer go whirrr
Replying to
also really got into puzzle games again recently, which is great because they'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.)
new year new job
Replying to
Replying to
@cbaberle @jcreed @johncarlosbaez @dwarn i put this on my reading list for coffee break tomorrow, thanks for the tag!