iiinova — where your digital self keeps evolving

NotPrinceHamlet @anattendantlord.bsky.social · 1h

The person being quoted here, whosoe'er they be, needs a hefty dose of

000

NotPrinceHamlet @anattendantlord.bsky.social · 1h

Reposting myself: bsky.app/profile/anat...

000

NotPrinceHamlet @anattendantlord.bsky.social · 5h

Via the elephant site: this issue arxiv.org/abs/2610.08144 is something I hadn't considered. (My guess is that probably this wouldn't affect the "correcteness" of any of the claimed results in the OpenAI MathsDump, but it does remind us that LeanSaysAllGood isn't the end of the story)

arxiv.org

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro...

021

NotPrinceHamlet @anattendantlord.bsky.social · 7h

Non-mathematical followers (i.e. most of you): which theme tune best fits your mental image of Mathematicians React To AI Solving Their Open Problems? 1) Eastenders drum roll 2) Dad's Army opening cope 3) Inspector Morse elegy 4) Sopranos opening brooding 5) Star Trek TNG optimism 6) NCIS rave

110

NotPrinceHamlet @anattendantlord.bsky.social · 12h

Regarding "how do mathematicians react if their profession/discipline is rendered obsolete" - I first read this story about 25-30 years ago & over the years it keeps resurfacing in my mind, long before the current conflagration. www.cs.ru.nl/~freek/jorda... (Probably best read fresh w/out context)

cs.ru.nl

Euclid Alone

000

NotPrinceHamlet @anattendantlord.bsky.social · 12h

Think I might print this and read tonight, just on principle, even though it's not really in areas I have any working experience in

000

Reposted by NotPrinceHamlet

Alexander Kasprzyk @amkasprzyk.bsky.social · 19h

It seems to work with their target audience: governments and investors. However I kind-of don’t care about that side of the equation here. What bothers me a lot is the message this is sending to young would-be future mathematicians. They are paying attention, and questioning their life’s dreams.

272

Reposted by NotPrinceHamlet

Iain Hepburn @iainhepburn.me · 18h

This was, as you’d expect, properly excellent. God knows how @neilperryman.bsky.social could sit through ten consecutive viewings in short order… 😬 If you’d like to know more about The Day After (and the shit it got from Hesseltine etc), I did this for the old FTS iainhepburn.me/2026/09/04/t...

133

NotPrinceHamlet @anattendantlord.bsky.social · 07/10/2026

@vcarchidi.bsky.social In the interests of keeping myself honest: a while back, in the context of the "OpenAI found a non-sofic group" mic drop, I claimed that for a lot of open problems where it is announced that AI found an answer, I could probably guess with good accuracy if answer is yes or no >

130

NotPrinceHamlet @anattendantlord.bsky.social · 07/10/2026

Meanwhile, a reminder that for those of us in UKHE, we don't need Evil Trillion Dollar Companies to destroy our livelihood and our professions; we have our own low-tech methods of destruction, like some kind of Evil Fred Dibnah

010

NotPrinceHamlet @anattendantlord.bsky.social · 07/10/2026

Regarding this dump by OpenAI, and I use the word deliberately, I am reminded of a conversation at a conference, where I said "they can't stop me caring about the maths I do" & was met with "they can stop you caring about your maths problems, but they can't make you care about their maths problems"

131

Reposted by NotPrinceHamlet

hilzoy @hilzoy.bsky.social · 06/10/2026

If, like me, you are someone who is interested in how AI works but doesn’t want to do the serious work that would normally involve, this is a great essay. It’s at (for me) the right level of abstraction: detailed enough that I can see how various types of models differ …

25919

NotPrinceHamlet @anattendantlord.bsky.social · 06/10/2026

Relying as I do on a handful of accounts here for keeping up with CanPol, it has only just struck me that in discussions of "this province's Conservatives have gone nuts / are going even further nuts", I don't see SK mentioned. Is this because there's no point restating axioms, or just sample bias?

100

Reposted by NotPrinceHamlet

Onni Gust @onnigust.bsky.social · 05/10/2026

41% staffing cuts in the Faculty of Arts at UoN. We're entering a wilderness of creativity and critical thinking.

1616784

NotPrinceHamlet @anattendantlord.bsky.social · 06/10/2026

Might actually be ready for the day ahead, provided that at some point in the next 8 hours I can get 6 hours of sleep. Can't wait to see how I'll self-sabotage this time. My money is on "too cold to get to sleep, turn heating on, then wake up after 3 hours because it's too hot".

000

Reposted by NotPrinceHamlet

Nick Kellett @nickkellett.bsky.social · 05/10/2026

#Quebec election today! Tonight (probably) we will find out who leads our province. With potentially big consequences to #Canada unity at a pivotal time. Below is my background thread on the political scene in Quebec's election.

2123

NotPrinceHamlet @anattendantlord.bsky.social · 05/10/2026

Tangential, but can anyone persuade Brian Blessed to do a recording where he bellows COULD THAT EM-DASH BE A COMMA, so that this can be played at high volume every time someone is about to send a piece to the "publish" part of their content management system

110

NotPrinceHamlet @anattendantlord.bsky.social · 05/10/2026

In a cafe whose opening hours are 8am-6pm where the company-imposed playlist has just got on to Dolly Parton's "9 to 5". This feels a bit like insult added to injury for the staff

010

NotPrinceHamlet @anattendantlord.bsky.social · 05/10/2026

And wine's done more than wisdom would / To make my unpaid workday good

000

Reposted by NotPrinceHamlet

Al Kennedy @alkennedy.bsky.social · 04/10/2026

The most incredible thing about this is that they've clearly used AI prompts which involve some mention of politically satirical art, and the plagiarism machine has reached instantly for Ward Sutton's Stan Kelly cartoons

071

Reposted by NotPrinceHamlet

Farran Smith Nehme 🇱🇧 @selfstyledsiren.bsky.social · 05/10/2026

I love to spy on what people read on the subway. Last week, I had a first: I saw an older gentleman reading NO NAME by Wilkie Collins. About 1/3 through and deeply absorbed in it! What's the most interesting or unusual book you've seen someone reading in public lately?

This was the edition the gentleman was reading.

9474

NotPrinceHamlet @anattendantlord.bsky.social · 05/10/2026

In an effort to avoid binge-watching febrile YT after midnight, have forced myself to watch some downloaded TV with long episodes. Really wishing that the rotation hadn't brought me to the early-season episode of A Touch Of Frost constructed around child death + (prejudices about) Down's syndrome

100

NotPrinceHamlet @anattendantlord.bsky.social · 05/10/2026

I haven't been keeping up with any discourse about Digger, but are we having yet another round of People Talking As If Magnolia Doesn't Exist?

000

NotPrinceHamlet @anattendantlord.bsky.social · 03/10/2026

Brief spell of feeling virtuous for not having a 2nd glass of wine and coming home to cook instead of eating out is evaporating now that I have come home to cook instead of eating out. Who could have predicted, etc.

010

Reposted by NotPrinceHamlet

Sean Jones KC @seanjones.org · 03/10/2026

I am not very worried about about the Tory Tapestry’s misuse of “doth”. What worries me much more is this sequence of panels which seems to show a small boat full of brown-skinned people followed by a plague of rats running riot and then a lot of dead white people labelled tax payers.

Detail from Conservative Party mock Bayeux Tapestry showing 1. A boat full of brown skinned people. 2. Enormous rats chasing cats. 3. White-skinned “tax payers” dead in the streets.

37526176

Reposted by NotPrinceHamlet

Robin Wilde @robinwilde.me · 03/10/2026

I can hear the screeching U-turn that happened during the naming of this business

1022444

Reposted by NotPrinceHamlet

Nome @nome.bsky.social · 03/10/2026

Then out spake Brave Toretto, the champion of the race, "To every driver on this earth comes Fury soon or late; And how should man race better, than facing Furious woe, For the honor of his family and the pink slips of his foes?"

0407

Reposted by NotPrinceHamlet

Indy @indy.bsky.social · 03/10/2026

The big problem around Braverman's definition is that while it is obviously nonsense, it's out there and no major politician has the courage to call out that it is nonsense.

2163

NotPrinceHamlet @anattendantlord.bsky.social · 03/10/2026

A last silly thought before bed: Fourier analysis / signal processing seems to lend itself to named concepts that work well as Robert Ludlum title. Not only "The Gibbs Phenomenon", but "The Hilbert Transform", "The Heaviside Function", "The Dirichlet Kernel", and "The Kalman Filter".

110

NotPrinceHamlet @anattendantlord.bsky.social · 03/10/2026

While I'm on niche takes: has anyone gone up to Peter Murray-Rust and bellowed HAPPY NOW I ASSUME THAT THIS IS THE KIND OF THING YOU HAD IN MIND WHEN YOU SAID THAT WE SHOULD ALL GLADLY MAKE OUR OUTPUT FODDER FOR YOUR BORG CUBE <ahem>

010

NotPrinceHamlet @anattendantlord.bsky.social · 03/10/2026

A not-very-serious but not-entirely-frivolous take: when people assure us that dramatic improvements in capabilities of LLM-powered-AI will make current grumbling at their limitations/errors seem risible, can they rule out scenario where "bullshit converges pointwise to zero but is unbounded"

130

Reposted by NotPrinceHamlet

Sharon 🪳🌹 @sharonk.bsky.social · 03/10/2026

PSPP platform, 2027-2028:

Never Thought I'd Die Fighting Side-by-side with Canada

What about side by side with a friend?

We're doing another referendum after this

534038

NotPrinceHamlet @anattendantlord.bsky.social · 03/10/2026

Thread. (Well, technically starting in media res, but this post and the ones that follow feel like an instructive explanation/narrative.)

000

Reposted by NotPrinceHamlet

Josephine beckbook.com Riesman @josie.zone · 02/10/2026

Still the absolute funniest "trailer remix" ever made -- as well as one of the very first of its kind, debuting in 2005 Every shot is perfectly chosen God I could watch this all day

35994324

Reposted by NotPrinceHamlet

👻madeline bOoOoOoOodent👻 @oldenoughtosay.com · 02/10/2026

absolutely exhausted from having to do so much barking so early in the morning

62609

NotPrinceHamlet @anattendantlord.bsky.social · 01/10/2026

In a foul mood after some objectively innocuous/fair emails chasing me for things on a day when I have utterly failed to keep my head above water. Seeking solace/relief in www.youtube.com/watch?v=sx_h...

youtube.com

Dogtanian Spanish Theme!

YouTube video by lazsi4

000

NotPrinceHamlet @anattendantlord.bsky.social · 01/10/2026

Seeing that a 30 Rock clip which I'm fond of has been captioned as "What am I? A Farmer", when it should be "What am I, a farmer?", and am having a miniature WalterSobchak moment

010

Reposted by NotPrinceHamlet

Rob Palk @robpalk.bsky.social · 29/09/2026

Remembering when for no good reason i pretended to be Nabokov ranking various bears

38428

Reposted by NotPrinceHamlet

Anne Billson @annebillson.bsky.social · 30/09/2026

Forgot to thank everyone who cited their favourite/scariest/freakiest episodes of Sapphire & Steel the other day. THANK YOU EVERYONE! Slowly working my way through it (it's for a Thing) and yeah, scary af.

5182

Reposted by NotPrinceHamlet

Amrk @amrk.bsky.social · 29/09/2026

Magyar is generally thought of as a Fidesz conservative who believed in more than Orban did and got angry at the corruption but the experience of fighting an election against the machine seems to genuinely radicalised him, he takes an “enemy of my enemy of my friend” view of like, gay people

2293

NotPrinceHamlet @anattendantlord.bsky.social · 30/09/2026

While I am generally on board with the "Wikipedia turned out to be one of our last bastions against taking-AI-mulch-as-information", I still occasionally do a double-take at some writing choices. Looking up Stacy Keach, the heading "Legal issues" has the following Alan-Bennett-ish non-sequitur:

100

NotPrinceHamlet @anattendantlord.bsky.social · 29/09/2026

Randomly wishing I was back in a Francophone country just so I could react haughtily to a High-Powered Maths Talk with "C'est magnifique mais ce n'est pas le Serre" ( en.wikiquote.org/wiki/Pierre_... for the nonhistorians and mathshistory.st-andrews.ac.uk/Biographies/... for the nonmathematicians)

oxfordreference.com

C’est magnifique, mais ce n’est pas la guerre

"C’est magnifique, mais ce n’est pas la guerre" published on by Chambers Harrap Publishers.

000

NotPrinceHamlet @anattendantlord.bsky.social · 29/09/2026

Having got to work around 1230 and left around 2150, thought I deserved a comfort pint in mostly-empty-hotel-bar after work.

100

Reposted by NotPrinceHamlet

lorem ipsum 🇧🇷🇺🇸 @whiskeynachos.bsky.social · 28/09/2026

This poster has been referred to the Délégation générale à la langue française et aux langues de France for using the term "Lady Hitler" instead of "Madame Hitler." The gendarmes will be at your door presently. Please do not resist.

131635

NotPrinceHamlet @anattendantlord.bsky.social · 29/09/2026

Given that I stopped following football around 10-15 years ago, I can't really comment on shenanigans esp in English Premier League. But, for those of us of a certain age: www.youtube.com/watch?v=2MYX...

youtube.com

Shirehorses - The Ballad of Franny Lee

YouTube video by bluesatsunset

000

NotPrinceHamlet @anattendantlord.bsky.social · 29/09/2026

An even more Pooterish update than usual: just realized that instead of copy-pasting a large chunk of text from one open file to longer-term records, I could "save, then cat".

100

NotPrinceHamlet @anattendantlord.bsky.social · 29/09/2026

Can't remember if I've already posted this, but: this man is 100 and in this talk speaks with more fluency (based on far greater wisdom) than I can manage at less than half that age www.youtube.com/watch?v=tNto...

youtube.com

Jean-Pierre Serre - Plaisir des mathématiques

YouTube video by Institut Henri Poincaré

010