Sign in

Benedict Eastaugh

@beastaugh.bsky.social
172 followers 131 following 80 posts

logician at warwick extralogical.net

PostsRepliesMedia
Reposted by Benedict Eastaugh
Dr Matilda Fitzmaurice @matildaf.bsky.social · 28/09/2026
the first UCU Brief on the failing HE funding model, authored by UCU VP @markpendleton.bsky.social, is out! This is exactly the sort of evidence and analysis we need to get in front of MPs and policymakers #UCU #UKHE educationitsours.org.uk/ucu-briefs/
educationitsours.org.uk
Evidence and analysis - Education. It's ours
UCU Briefs: the key evidence, analysis and policy proposals to make education truly ours.
0107
Reposted by Benedict Eastaugh
Bijan Parsia @bparsia.bsky.social · 19/09/2026
The Royal Society has beclowned itself and covered its members in shame. If you are a member you should resign. Your reputation is protecting the illegal destruction of USAid and the millions of deaths that follow from it.
121
Reposted by Benedict Eastaugh
Professor Daniele Albertazzi @dralbertazziuk.bsky.social · 13/08/2026
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. 🤡
1125
Reposted by Benedict Eastaugh
Alexander Clarkson @aphclarkson.bsky.social · 09/08/2026
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
38123
Reposted by Benedict Eastaugh
lastpositivist.bsky.social @lastpositivist.bsky.social · 07/08/2026
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.
1946623
Reposted by Benedict Eastaugh
Rafe Meager (they/them) @economeager.bsky.social · 06/08/2026
aaron swartz is the most vindicated person of all time
627791
Reposted by Benedict Eastaugh
Becca Harrison @beccaeharrison.bsky.social · 30/07/2026
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...
theguardian.com
‘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
318473
Reposted by Benedict Eastaugh
Richard Moore @richardmoore.bsky.social · 20/07/2026
Every kind of crappy reasoning in just one (free!) clickbait article. www.theguardian.com/technology/2...
theguardian.com
Could AI be conscious?
Experts believe it’s at least possible. We urgently need a plan to navigate the ethical implications
1114
Reposted by Benedict Eastaugh
Amy Lawrence @amylawrence.bsky.social · 27/06/2026
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...
nytimes.com
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
613725
Reposted by Benedict Eastaugh
Philippe Auclair @philippeauclair.bsky.social · 25/06/2026
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.
0363
Reposted by Benedict Eastaugh
Philippe Auclair @philippeauclair.bsky.social · 25/06/2026
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.
2326199
Reposted by Benedict Eastaugh
Richard Moore @richardmoore.bsky.social · 23/06/2026
The Philosophy department at Exeter is exceptional. It has both a concentration of world leading researchers in the philosophy of the biological and cognitive sciences, and a unique departmental profile in the UK. It would be a catastrophic loss to the UK philosophy scene.
16031
Reposted by Benedict Eastaugh
Philippe Auclair @philippeauclair.bsky.social · 18/06/2026
Insane, imbecilic, dangerous. Countries which have banned VPNs: North Korea, Belarus, Iran, Russia, UAE, Myanmar...bit of a pattern here. The UK next?
78512
Reposted by Benedict Eastaugh
Signal @signal.org · 08/06/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
351451656
Reposted by Benedict Eastaugh
Jonathan Liew @jonathanliew.bsky.social · 08/06/2026
absolutely incredible levels by u.s. immigration to unite the world in sympathy for *a referee*
8717140
Reposted by Benedict Eastaugh
Women In Logic @womeninlogic.bsky.social · 03/06/2026
🚨NEW BOOK ALERT🚨 Effective Metric Structure Theory by @johannamath.bsky.social et al., Springer 2026. link.springer.com/book/10.1007...
link.springer.com
Effective Metric Structure Theory
Book discusses the increasingly popular topic of computable metric structure theory which unifies methods from effective analysis and computable algebra.
0115
Reposted by Benedict Eastaugh
Bijan Parsia @bparsia.bsky.social · 02/06/2026
Hey #UCU, I just released v1 of another @ucucommons.org project: JNCHES vs Inflation. Site: jnchesvinflation.streamlit.app Blog post: ucucommons.org/project-jnches-vs-inflation/ It's depressing but may be helpful!
ucucommons.org
Project: JNCHES vs Inflation
We're happy to announce a new UCU Commons Project: JNCHES vs. Inflation. We've extracted pay spine point data going back to 2005 and plotted it in a number of ways against several inflation measures.
1157
Reposted by Benedict Eastaugh
Michael Barany @mjb.mathstodon.xyz.ap.brid.gy · 02/06/2026
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: leidendeclaration.ai #LeidenDeclaration
leidendeclaration.ai
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.
77547
Reposted by Benedict Eastaugh
Rebecca Buxton @rebeccabuxton.bsky.social · 26/05/2026
JOB! We're hiring a Lecturer in Philosophy on a 2-year fixed-term contract (partly to cover my teaching over the next few years). Please share widely! www.bristol.ac.uk/jobs/find/de...
bristol.ac.uk
Details | Working at Bristol | University of Bristol
077
Reposted by Benedict Eastaugh
Jo Wolff @jowolff.bsky.social · 02/05/2026
“Like many people of Jewish ancestry of my age, I’m descended from three generations of asylum seekers.” Every few months I feel the need to roll this out again. (I wrote it ten years ago.) blog.oup.com/2016/01/gene...
blog.oup.com
312646
Reposted by Benedict Eastaugh
Plashing Vole @plashingvole.bsky.social · 06/03/2026
This appalling fat cat wants to shut the door on all my mature students, many of whom left school after GCSE and give up a lot to go to university. I can tell him that they’re the hungriest for education and far from being unable to graduate, they regularly get the highest grades. Hateful man.
27381108
Reposted by Benedict Eastaugh
Philippe Auclair @philippeauclair.bsky.social · 08/03/2026
Not just the nth confirmation that BrewDog was not quite the right-on enterprise it claimed to be, but also another illustration of why and how carbon credits and PIUs are a godsend to grifters. www.theguardian.com/business/202...
theguardian.com
BrewDog sold highland estate for knockdown price after abandoning reforestation plans
Self-styled ‘punk’ beer company bought land in 2020, pledging to plant Scotland’s ‘biggest ever forest’
36515
Benedict Eastaugh @beastaugh.bsky.social · 05/03/2026
I also want to note we'd be very happy to hire someone with a PhD in mathematics or computer science. We're advertising this position on MathJobs.org, so please pass on this link to anyone you think might be a suitable candidate. www.mathjobs.org/jobs/list/28...
mathjobs.org
MathJobs from the the American Mathematical Society
Mathjobs is an automated job application system sponsored by the AMS.
000
Reposted by Benedict Eastaugh
Hetan Shah @hetanshah.bsky.social · 10/07/2025
We are calling on the UK Government to not introduce a levy on higher education provider income from international students, reduce visa costs to attract global talent, and to review higher education funding to create a sustainable model www.thebritishacademy.ac.uk/documents/58...
• Discontinue the idea of introducing a levy on higher education provider income from international students.
• Reduce visa costs to ensure they are at least as competitive in cost as other leading science nations, and preferably have a target to become the mos competitive in the G7.
• Provide immediate clarity that the current time length for Indefinite Leave to Remain is kept in place for current and future Global Talent visa holders and their dependents.
5329153
Reposted by Benedict Eastaugh
arseblog @arseblog.com · 01/03/2026
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.
691227165
Reposted by Benedict Eastaugh
Dyfrig Jones @dyfrigjones.bsky.social · 03/03/2026
If you're a USS member of @ucu.org.uk , then you've probably heard some talk of Conditional Indexation. It'll likely be on the agenda at this year's HE Sector Conference, and I've written a very basic primer for anyone that's interested. open.substack.com/pub/dyfrigjo...
open.substack.com
What is Conditional Indexation?
A very quick guide for UCU members who are interested in the USS pension scheme
032
Reposted by Benedict Eastaugh
Benedict Eastaugh @beastaugh.bsky.social · 04/03/2026
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...
jobs.ac.uk
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!
298
Reposted by Benedict Eastaugh
Ben Gidley @bengidley.bsky.social · 02/03/2026
UK Home Office now only accepting 4.5% of Ukrainian asylum seekers because it’s a “safe country”. Families sent to cities being bombed, told to use noise cancelling headphones to block out the horror. news.sky.com/story/ukrain...
news.sky.com
Ukrainian family denied UK asylum told to block out bombs with headphones
Thousands of Ukrainians were welcomed to the UK in 2022 after Russia invaded. But Home Office figures show there has since been a dramatic reduction in the numbers now being approved for asylum.
298
Benedict Eastaugh @beastaugh.bsky.social · 04/03/2026
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...
jobs.ac.uk
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!
298
Benedict Eastaugh @beastaugh.bsky.social · 04/03/2026
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.
100
Reposted by Benedict Eastaugh
Chris Bertram @crookedfootball.bsky.social · 04/03/2026
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
theguardian.com
‘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
28037
Benedict Eastaugh @beastaugh.bsky.social · 03/03/2026
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.
100
Reposted by Benedict Eastaugh
Matthew Cobb @matthewcobb.bsky.social · 03/03/2026
At the insistence of the publishing companies, the UK govt prevents residents from accessing Sci-Hub, a free site containing academic literature, otherwise paywalled. Now they plan to let AI companies use any music, writing, art… to train their crappy programmes WITHOUT PAYING US A PENNY. Thieves!
03111
Reposted by Benedict Eastaugh
Bell Ribeiro-Addy MP @bellribeiroaddy.bsky.social · 03/03/2026
Those fleeing disaster and conflict deserve certainty and dignity, not repeated questioning of their right to feel safe. Progressive, humane policies strengthen communities. Division does not. We can choose compassion, and we should.
theguardian.com
Refugee status to be temporary as Shabana Mahmood rips up rules on UK asylum
Home secretary announces 30-month protection limit, with refugees required to leave if their home countries are later judged safe
2207
Reposted by Benedict Eastaugh
Benedict Eastaugh @beastaugh.bsky.social · 02/03/2026
Interested if anyone has a take on this recent Quanta article on Cantor's publication of Dedekind's theorem that the algebraic numbers are countable. It's obviously good for history and philosophy of mathematics, to see these topics in popular publications. www.quantamagazine.org/the-man-who-...
quantamagazine.org
The Man Who Stole Infinity | Quanta Magazine
In an 1874 paper, Georg Cantor proved that there are different sizes of infinity and changed math forever. A trove of newly unearthed letters shows that it was also an act of plagiarism.
153
Benedict Eastaugh @beastaugh.bsky.social · 02/03/2026
Interested if anyone has a take on this recent Quanta article on Cantor's publication of Dedekind's theorem that the algebraic numbers are countable. It's obviously good for history and philosophy of mathematics, to see these topics in popular publications. www.quantamagazine.org/the-man-who-...
quantamagazine.org
The Man Who Stole Infinity | Quanta Magazine
In an 1874 paper, Georg Cantor proved that there are different sizes of infinity and changed math forever. A trove of newly unearthed letters shows that it was also an act of plagiarism.
153
Reposted by Benedict Eastaugh
Dr Matilda Fitzmaurice @matildaf.bsky.social · 02/03/2026
Nothing more articulate to say at this point than FUCK OFF
051
Reposted by Benedict Eastaugh
Peter Adamson @histphilosophy.bsky.social · 22/02/2026
On today's new episode we tackle the Port-Royal Logic, the most influential philosophy textbook of early modern Europe, which combines ideas from Descartes with scholasticism: www.historyofphilosophy.net/port-royal-l... #logic #podcast #philsky #philosophy #podcast #earlymodern #hopwag
Painting of the Port Royal Monastery
0388
Reposted by Benedict Eastaugh
Tom Cutterham @tomcutterham.bsky.social · 19/02/2026
On which note, if you haven't yet voted in this year's NEC election, I recommend @ucucommons.org candidates! ucucommons.org/election26/
ucucommons.org
UCU elections 2026
Elections to the following roles will take place between 30th January and 2nd March 2026: * Vice president from the further education sector,  becoming President 2028-29 * By-election Vice Presiden...
156
Reposted by Benedict Eastaugh
Tom Cutterham @tomcutterham.bsky.social · 19/02/2026
The rollback of Tory anti-union legislation, and restoration of workers' rights, is happening incrementally. For #UCU, the really big change is going to be this one in August. That's going to make it even more important for members to engage in internal union democracy!
ACAS summary of changes to workers' rights rules:

August 2026 changes
Trade union ballots
These changes will happen in August 2026:
1) trade union members will be able to vote electronically or in-person in ballots for industrial action, union elections and other statutory ballots – if the employer and trade union agree
2) the requirement for a 50% turnout for industrial action ballots will be removed – this had originally been expected in April 2026
1149
Reposted by Benedict Eastaugh
Andrés E. Caicedo @andrescaicedo01.bsky.social · 19/02/2026
retractionwatch.com/2025/04/07/m... The latest issue of MLQ (Vol 71, no. 4) consists so far of a paper in analysis on time scales, and no logic. onlinelibrary.wiley.com/toc/15213870...
retractionwatch.com
Math journal editors resign to launch open-access title ‘free from pressure or influence’
The managing editors and entire editorial board of Mathematical Logic Quarterly, a Wiley title, have resigned, citing “unilateral decisions” by the publisher “that affected the editorial process.”&…
022
Reposted by Benedict Eastaugh
Thomas Lecaque @tlecaque.bsky.social · 17/02/2026
But they absolutely could have taken leave or delated starts if they wanted a different experience. Faculty and staff could not, and the threats levied against us were... a lot.
5473
Reposted by Benedict Eastaugh
Thomas Lecaque @tlecaque.bsky.social · 17/02/2026
Faculty bent over backwards and were then broken in half by administrations to do double the work for the same pay, many of us in person the whole time while also having to accomodate hyflex structures without support. The student experience sucked too, I'm sure.
2585
Reposted by Benedict Eastaugh
Thomas Lecaque @tlecaque.bsky.social · 17/02/2026
Not to be unsympathetic to students but it's faculty and staff who should be suing, not the students.
411017
Reposted by Benedict Eastaugh
Birmingham UCU @birminghamucu.bsky.social · 28/01/2026
UCU members: MPs are considering an Early Day Motion on higher education pension cuts that condemns fire-and-rehire tactics, use of subsidiaries to undermine contracts, and threats of dismissal or pay freezes to force pension cuts. edm.parliament.uk/ea... 1/2
edm.parliament.uk
Higher education pension cuts - Early Day Motions - UK Parliament
That this House expresses its alarm at the growing number of higher education institutions deploying approaches which are having a negative impact on the pension schemes of academics and staff, including through fire and rehire proposals and other approaches tantamount to forcing workers onto worse contracts, terms and conditions; further expresses alarm that such actions have triggered trade disputes at institutions such as Southampton Solent and Northumbria universities, where staff are facing threats of dismissal and permanent pay freezes, respectively, unless they agree to pension cuts; insists that using subsidiary companies to circumvent employment rights and to undermine pay, terms or conditions is unacceptable behaviour that simply serves to negatively impact industrial relations further in a sector already suffering from mass redundancies and industrial action; calls on the Office for Students immediately to investigate institutions accused by trade unions of undermining pension rights to establish whether they are failing in their duties, including those relating to good governance and protecting the interests of students; and further calls on the Government to take urgent steps to prevent pension cuts and a race to the bottom in higher education provision, including through legislative change if necessary.
11112
Reposted by Benedict Eastaugh
Richard Zach @richardzach.org · 10/12/2025
The Journal of Philosophical Logic is dead (again!?). Long live Philosophical Logic! www.openlibhums.org/news/875
openlibhums.org
Flagship Springer Nature journal flips to diamond open access at the OLH
We’re excited to announce the launch of a major new journal, following news of another mass editorial resignation (read open letter) at Springer Nature. This week, the Editors-in-Chief and Associate …
12816
Reposted by Benedict Eastaugh
relAI @zuseschoolrelai.bsky.social · 09/12/2025
❗️🎉We are thrilled to share that relAI Fellow Tom Sterkenburg has been awarded the 2025 Karl-Heinz Hoffmann Prize by the Bavarian Academy of Sciences and Humanities (BAdW). @tum.de @daadworldwide.bsky.social
032
Reposted by Benedict Eastaugh
Center for PhilSci @center4philsci.bsky.social · 26/11/2025
The Center is very sad to report the untimely passing of Andrew Cooper (Warwick), who was a Fellow at the Center for Philosophy of Science in 2023. Andrew was an outstanding philosopher in addition to a wonderful human being.
0279
Reposted by Benedict Eastaugh
David Bather Woods @davidbatherwoods.bsky.social · 26/11/2025
Terry Eagleton has reviewed my book for @lrb.co.uk. I quite like the epithet ‘deliberately non-intimidating’. It’s kind of how I live as well as how I write.
lrb.co.uk
Terry Eagleton · Pregnant with Monsters: Schopenhauer makes a stir
Schopenhauer has long held the title of gloomiest philosopher in history. He sees human existence not as grand tragedy...
1346