Benedict Eastaugh

@beastaugh.bsky.social

logician at warwick extralogical.net

Our national superpower is torpedoing everything that actually works, just so the next PM can solemnly announce a "national conversation" on rebuilding it. First "the relationship with our EU friends & neighbours". 5 years from now: "our University sector" ​Absolute Olympic-level incompetence. 🤡

Grumpy Philosopher@stevecooke.org · 4w ago

A direct result of government policy: 1) a disastrous funding system, 2) removal of student recruitment quotas, 3) restricting overseas recruitment. Now, the richest universities are over-recruiting, to the detriment of students & every other university. A problem that’s been known about for years.

It's possible to criticise how Labour and Tories destroyed an international student based business model they once pressured unis into adopting while also questioning whether such marketised models undermine the strategic purpose of unis and further ed for the UK state, economy, military and society

Sunder Katwala (sundersays)@sundersays.bsky.social · 4w ago

Sunday Times research finds universites down £550+ million on international (aggregate across the 55 universities with lower international fee income of 128 surveyed)

Annual revenue from international students. Change over 2 years. Coventry dowm £74m

Many people are wondering if there is any way for Cambridge to repair its reputation, short of immediately offering a professorship to a different black British professor in his 30s working on logical positivism? Its hard to see how else they could go forward really.

Bridget Phillipson, reflecting on her years spent standing idly by while UK higher education crumbled into the abyss and tens of thousands of university workers implored her to do something, literally anything, to save their jobs: BUT WHAT ABOUT ME THO www.theguardian.com/politics/202...

‘It hurts to lose a job you love’: Starmer loyalist Bridget Phillipson fights on despite cabinet demotion

Exclusive: The former education secretary on her new role as Labour chair and continuing as the minister for women and equalities

theguardian.com

This World Cup would have looked grimly different without locally-based communities who showed up to bring their love to matchdays. Given travel restrictions and exorbitant prices diaspora supporters have made this World Cup. Arguably, they have saved this World Cup. www.nytimes.com/athletic/739...

How the love of the diaspora has helped give this World Cup soul (Gift Article)

This World Cup would have looked grimly different without the locally based communities bringing their cultural pride to matchdays

nytimes.com

Last angry post of the day, promise, I've put some cumbia on thanks to @bsrg1.bsky.social and everything will soon be hunky dory, but IT IS NOT FRIGGIN AI WHICH HAS DECIPHERED THOSE SCROLLS: it's super smart scientists using smart technology, thank you.

rogueclassicist ~ david meadows@rogueclassicist.bsky.social · 2mo ago

(707) AI is Unwrapping COMPLETE Herculaneum Scrolls - BREAKING ARCHAEOLOGY NEWS - YouTube www.youtube.com/watch?v=51XH...

What happened between 2015 and 2020 taught me that, should that awful day come and we, settled EU migrants, become the target of Reform, the Great British Public will do nothing to protect us. Friends will be appaled but powerless. A few marches, some nice, principled words, that'll be all.

Peter Walker@peterwalker99.bsky.social · 2mo ago

NEW: EU nationals in the UK are increasingly alarmed at Reform UK’s plan to target their rights to accommodation and employment, saying this is a betrayal of promises made in the Brexit referendum 10 years ago. www.theguardian.com/uk-news/2026...

Our statement on the UK gov't's demand that all content on all devices sold or used in the UK be scanned, on the presumption of nudity, using a dystopian combination of age verification & content scanning. This proposal will not safeguard children. It endangers us all. signal.org/blog/pdfs/20...

signal.org

Since September I've been working with an international group to develop what we hope can be a response from the mathematics community to artificial intelligence in maths. The Leiden Declaration is now posted and open for signatures: https://leidendeclaration.ai/ #LeidenDeclaration

Leiden Declaration on Artificial Intelligence and Mathematics

This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.

leidendeclaration.ai

If Arsenal do win the Premier League this season, they'll need to have the parade in the Cardiac Care unit because that's where everyone will be.

Realising I haven't advertised this here—I'm hiring! Walter Dean and I have a project on measuring the strength of mathematical theorems used in philosophy, and we're looking for a postdoctoral researcher to join our team. www.jobs.ac.uk/job/DQO344/r...

Research Fellow (11324-0226) at University of Warwick

Discover an exciting academic career path as a Research Fellow (11324-0226) at jobs.ac.uk. Don't miss out on this job opportunity - apply today!

jobs.ac.uk

Realising I haven't advertised this here—I'm hiring! Walter Dean and I have a project on measuring the strength of mathematical theorems used in philosophy, and we're looking for a postdoctoral researcher to join our team. www.jobs.ac.uk/job/DQO344/r...

Research Fellow (11324-0226) at University of Warwick

Discover an exciting academic career path as a Research Fellow (11324-0226) at jobs.ac.uk. Don't miss out on this job opportunity - apply today!

jobs.ac.uk

Teaching the diagonal lemma today, I wondered about its connection to the second recursion theorem. Moschovakis's 'Kleene's amazing second recursion theorem' (BSL 16(2), 2010) proves the diagonal lemma from the second recursion theorem (p. 201), but presumably one could go the other way too.

People explain the real impact of politically-motivated changes to the settlement rules on their lives, the Home Office responds with "We make no apology ..." IME people in power who use the "no apology" formula know full well that they are doing something very wrong

‘Treat us fairly’: skilled workers face having their dream of settling in UK snatched away

As government mulls doubling requirement to 10 years, the uncertainty is putting many who came to Britain to work under strain

theguardian.com

Is it more intimidating to give an academic talk at a conference or colloquium, or in your own department? On the one hand, your colleagues might be kinder than the median conference audience. But on the other, you have to live with them—and their judgement of you—for (hopefully!) a long time.