in a better world arXiv has always had the policy that all papers must be in esperanto
10.12.2025 13:09 β π 3 π 1 π¬ 0 π 0@hopeiona.bsky.social
Set theorist. Panel show enthusiast. Reader of too many books at once.
in a better world arXiv has always had the policy that all papers must be in esperanto
10.12.2025 13:09 β π 3 π 1 π¬ 0 π 0Just picked up a planner for 2026, very charmed by the addition of this page at the back
05.12.2025 22:42 β π 3 π 0 π¬ 0 π 0First thing that sprang to mind is having a natter, I've never heard someone refer to many natters - does that count?
05.12.2025 20:47 β π 0 π 0 π¬ 1 π 0Jonathan Schilhan
Transcendence degrees over mutually generic extensions
https://arxiv.org/abs/2512.02725
The goal is that I know more about the Bristol model than I do about history by the time I'm finished ...
03.12.2025 00:54 β π 1 π 0 π¬ 0 π 0I'm such a stationary hoarder that I'm currently writing notes for a paper I'll write for my PhD in a notebook that mostly contains my GCSE history notes on WW2 π
03.12.2025 00:53 β π 3 π 0 π¬ 1 π 0So they renewed line of duty for another season, and I very confidently told my girlfriend that the first 3 seasons are some of the best TV I've seen - am now rewatching to see if this opinion formed by undergrad me holds up
01.12.2025 00:54 β π 3 π 0 π¬ 0 π 0Can someone give me like an extra year of PhD funding please I wanna think about hat problems
30.11.2025 03:54 β π 6 π 0 π¬ 1 π 0Voyager 1 artistβs depiction.
in case you didnβt know, in a year voyager 1 will be 1 light-DAY away from earth.
it took almost 50 YEARS of travel time to reach that distance and will be the first human-made object to reach this distance.
Been really enjoying listening to tiny desk concerts while I mark recently, had the Nile Rodgers one especially on repeat
28.11.2025 21:44 β π 3 π 0 π¬ 0 π 0Close-up view of a few storm systems on Jupiter near one of its poles. These storms come in various colours from beige to blue.
A bit of #Jupiter (NASA / JPL-Caltech / SwRI / MSSS / Enaldo Valadares)
22.11.2025 04:00 β π 6 π 2 π¬ 0 π 0Got too much maths on the brain, I've been spelling the chef's name Gordon Ramsey π
22.11.2025 19:27 β π 3 π 0 π¬ 1 π 0Was recognised in the noodle place near campus for being a regular and given a loyalty card, super sweet!
14.11.2025 18:41 β π 2 π 0 π¬ 1 π 0I spent most of today marking, so I'd like to shout out caffeine, noise cancelling headphones and MF Doom
09.11.2025 21:30 β π 3 π 0 π¬ 1 π 0Idk why but the clocks changing is definitely responsible for my overwhelming urge to rewatch old doctor who
09.11.2025 17:10 β π 2 π 0 π¬ 0 π 0I should time myself on whether making beamer slides or drawing iPad slides is quicker for a maths talk because truly I have no idea
06.11.2025 00:53 β π 3 π 0 π¬ 0 π 0screenshot of a math paper where you can see a proof outline with three steps. Step 1 is labelled "very natural," step 2 is labelled "much more mysterious" and step 3 is labelled "classical."
love to see an argument broken up into steps, labelled by how mysterious each step is
03.11.2025 06:56 β π 68 π 5 π¬ 2 π 1Genuine shout out to the student who submitted a picture of their group theory problem sheet for me to mark that was very clearly taken at the pub
01.11.2025 09:26 β π 2 π 0 π¬ 0 π 0This is a real sign from a real deli near the Wesleyan math department, and they put it up because the mathematicians were too engrossed in their mathematics discussions to efficiently order sandwiches. www.cbc.ca/radio/asitha...
29.10.2025 20:21 β π 37 π 11 π¬ 3 π 0This is the answer I wish I had time to give when people ask me what I do for work at parties!
22.10.2025 08:08 β π 3 π 0 π¬ 1 π 0Peter Holy, Jonathan Schilhan
The Ordering Principle and Higher Dependent Choice
https://arxiv.org/abs/2510.14821
Today's self care has been going on a run in the rain, doing the marking I've been putting off, and belting radiohead while I made pesto pasta. 10/10 Sunday
19.10.2025 20:54 β π 4 π 0 π¬ 0 π 0One way to reduce stress is to meditate. Another way is to not live under a fascist government. This has been wellness tips!
06.08.2025 16:02 β π 1159 π 534 π¬ 5 π 8I just had an absolutely delightful afternoon talking about #infinity with @hopeiona.bsky.social, for a special episode of #TheMathematiciansPodcast.
Tune in next Wednesday to hear about the history and the now of infinity.
#talkingmaths
#mathsky
#mathshistory
The problem class I'm teaching that requires speaking to everyone individually is in a sloped lecture theatre with a different door for every row ... I've just spent an hour vaulting over and sitting on tables like I'm trying to be a cool supply teacher
09.10.2025 13:56 β π 1 π 0 π¬ 0 π 0lots of pain in the world but sometimes you stumble on a strangerβs obsessive wikipedia table. michelangelo had the sistine chapel, this guy had the βguess whoβ article. perhaps both sacred
01.10.2025 09:54 β π 651 π 58 π¬ 15 π 9Started using anki again for German vocab which I'm really happy about, but directional and positional verbs are really kicking my ass rn
04.10.2025 22:13 β π 3 π 0 π¬ 0 π 0Spent today drafting a pre-print, and this evening eating malatang, watching taskmaster and playing Baba is you π₯°
03.10.2025 22:57 β π 2 π 0 π¬ 0 π 0Have I told you the black hole drinking game? The rules are:
(a) watch a documentary involving black holes
(b) when someone says, "not even light", take a drink.
Easy!
("Not Even Light" was my working title for "The Dead Star" π)