Hope's Avatar

Hope

@hopeiona.bsky.social

Set theorist. Panel show enthusiast. Reader of too many books at once.

76 Followers  |  200 Following  |  44 Posts  |  Joined: 17.02.2025  |  1.8623

Latest posts by hopeiona.bsky.social on Bluesky

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
Post image

Just 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    πŸ“Œ 0

First 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    πŸ“Œ 0

Jonathan Schilhan
Transcendence degrees over mutually generic extensions
https://arxiv.org/abs/2512.02725

03.12.2025 05:00 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

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    πŸ“Œ 0

I'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    πŸ“Œ 0

So 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    πŸ“Œ 0
Post image 13.11.2025 16:29 β€” πŸ‘ 961    πŸ” 122    πŸ’¬ 13    πŸ“Œ 5

Can 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    πŸ“Œ 0
Voyager 1 artist’s depiction.

Voyager 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.

28.11.2025 23:32 β€” πŸ‘ 179    πŸ” 37    πŸ’¬ 2    πŸ“Œ 2

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    πŸ“Œ 0
Close-up view of a few storm systems on Jupiter near one of its poles. These storms come in various colours from beige to blue.

Close-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    πŸ“Œ 0

Got too much maths on the brain, I've been spelling the chef's name Gordon Ramsey 😭

22.11.2025 19:27 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image

Was 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    πŸ“Œ 0

I 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    πŸ“Œ 0

Idk 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    πŸ“Œ 0

I 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    πŸ“Œ 0
screenshot 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."

screenshot 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    πŸ“Œ 1

Genuine 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    πŸ“Œ 0

This 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    πŸ“Œ 0

This 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    πŸ“Œ 0

Peter Holy, Jonathan Schilhan
The Ordering Principle and Higher Dependent Choice
https://arxiv.org/abs/2510.14821

17.10.2025 04:18 β€” πŸ‘ 2    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

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    πŸ“Œ 0

One 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    πŸ“Œ 8

I 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

14.10.2025 15:14 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

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    πŸ“Œ 0
Post image Post image

lots 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    πŸ“Œ 9

Started 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    πŸ“Œ 0

Spent 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    πŸ“Œ 0

Have 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" 😁)

25.09.2025 23:58 β€” πŸ‘ 51    πŸ” 5    πŸ’¬ 0    πŸ“Œ 1

@hopeiona is following 20 prominent accounts