The diggers

Anonymous, Postdoc in Europe

One piece of English history which I was not taught in school is the history of the digger movement. The diggers were a proto-communist Christian-socialist political movement that aimed to retake stolen common land during the 17th century English civil war. The name “diggers” came from the movement’s attemps to grow crops, which were shared freely with anyone who contributed labour to their cultivation. The diggers were staunch pacifists who roamed the land trying to build their community. Unfortunately, this made them easy targets for royalist militias. The diggers were repeatedly beaten up, they were often killed, and their crops were pulled up and destroyed. From this, we should learn two lessons:

1.⁠ ⁠Common and equal work is an appealing and practical alternative to the systems we live in.

2.⁠ ⁠Pacifism can be exploited.

One of the leaders of the diggers movement was Gerrard Winstanley (1609-1676), who composed the now-traditional English folksong, “You noble diggers all”. More information about various versions of the song can be found here. My personal favourite version is that of Chumbawamba. I am also quite fond of the Horses of the Gods version.

At this point, you may wonder what on earth this has to do with mathematics and artificial intelligence. Well, in the true folk spirit, I have repurposed the lyrics of the diggers’ song to fit the position many of us now find ourselves in.


You noble eggheads all, stand up now, stand up now
You noble eggheads all, stand up now
The journals to maintain, seeing tech barons by name
Your maths does maintain, and persons all defame
Stand up now, stand up now

Your papers they pull down, stand up now, stand up now
Your papers they pull down, stand up now
Your papers they pull down to fright your friends in town
But the AI must come down, and the poor shall wear the crown
Stand up now, eggheads, all

With pens and chalk and board, stand up now, stand up now
With pens and chalk and board, stand up now
Your freedom to uphold, seeing tech barons are bold
To kill you if they could, and rights from you to hold
Stand up now, eggheads, all

The tech barons are all ‘round, stand up now, stand up now
The tech barons are all ‘round, stand up now
The tech barons are all ‘round, on each side they are found
Their AI’s so profound to cheat us of our ground
Stand up now, stand up now

The politicians conjoin, stand up now, stand up now
The politicians conjoin, stand up now
To dispose you they advise, such fury they devise
The lobbying in its size hath blinded both their eyes
Stand up now, stand up now

The press they come in, stand up now, stand up now
The press they come in, stand up now
The press they come in, say the AI will win
On evidence quite thin, they throw our careers to the bin
Stand up now, eggheads all

‘Gainst politicians and ‘gainst press, stand up now, stand up now
‘Gainst politicans and ‘gainst press, stand up now
For tyrants they are both, even flat against their oath
To grant us they are loathe, funding chalk and clothe
Stand up now, eggheads all

The club is all their law, stand up now, stand up now
The club is all their law, stand up now
The club is all their law, to keep all men in awe
But they no vision saw to maintain such a law
Stand up now, eggheads all


Some more songs to get you inspired.

Remember the goal of AI companies is to disenfranchise labour and
empower capital.
We are the test case. Whilst this begins with us it
does not end with us. Write to your local politicians, write to your
national trade unions, sound the alarm. Only as a collective society we
can make it through this.

In solidarity,
Anonymous postdoc


Received 13 September 2026, revised 24 September 2026.

13 responses to “The diggers”

  1. Pádraig Daly Avatar
    Pádraig Daly

    “English Rebel Songs 1381-1914” is one of my favourite albums ever. Another great Chumbawamba song is “I Wish That They’d Sack Me” which has lyrics many may relate to at some point in their life:

    Birds at my window sing in the dawn
    By the time that I’m home all this day will be gone
    Spend my life sowing what others will reap
    Oh I wish that they’d sack me and leave me to sleep

    [Chorus]
    Rain strikes the window heralds the day
    Rain won’t you wash these eight hours away?
    Rain feeds the river runs heavy and deep
    Oh I wish that they’d sack me and leave me to sleep

    1. Anonymous Bosch Avatar
      Anonymous Bosch

      It’s a crackin’ album. That track is also excellent. This musician’s has been encouraging during these times:
      https://youtu.be/Z_mzYS-ET8o

      Slán abhaile

        1. Anonymous Bosch Avatar
          Anonymous Bosch

          Aye that one is generational talent level.

  2. Anonymous Avatar
    Anonymous

    Before I read this, I had actually decided to unsubscribe from the P&P newsletter (too much entitled navel-gazing). This post made me change my mind. Thanks.

    1. Anonymous Bosch Avatar
      Anonymous Bosch

      Thank you!!

  3. Anonymous Avatar
    Anonymous

    The tech barons started this game with open source software developers. Up to around 2012 open source was an unruly meritocracy, but all big Silicon Valley companies (except for Microsoft) depended on it.

    Corporate America then started to aggressively hire open source developers, including mediocre ones that were put in positions of power because they had no leverage against following instructions.

    The corporations then pushed permissive open source licenses and led a campaign to eradicate viral licenses like the GPL and AGPL. The hired developers complied and had gained enough political power in the projects to push through the corporate line.

    Then the corporations started DEI and social justice programs to eliminate meritocracy and break the spirit of top developers (the same corporations now follow Trump, so we have 100% proof that it was fake). All their employees dutifully implemented CoCs and promoted the party line that “everyone needs to learn how to code”.

    CoCs were then used to implement bans on any dissenter, even in purely technical matters.

    Then came AI and the harvest started: All open source software had been ingested and was ready to be plagiarized. The companies are now following the technocracy. The new slogan is “everyone can vibe-code, provided that a monthly $200 tithe is paid to BigAI”. DEI concerns like equitable access no longer exist.

    Software developers are forced to use AI and AI usage is forced onto projects by the same corporate stooges who pushed the previous initiatives. In software AI does not even work. No fundamentally new software has been written since 2023, projects got unreadable and bug ridden and web pages turned into chaotic, unreadable SEO slop.

    Then came the Mythos model, which is specialized in cybersecurity and was supposed to end all cybersecurity employment. The paid influencers hyped the model on all discussion boards. Most software developers are afraid to tell the truth for fear of repressions.

    Now Linux kernel developer Kroah-Hartmann gave a talk that using Mythos on the kernel was less than impressive. It found a number of low-impact issues and fabricated a bunch of others.

    What is the connection to mathematics? I was astonished to hear about the Navier Stokes proof, which is literally the first and only real AI result that I have seen. But remember the above industry influence and what they corporations will do to free thinking. The whole software world marches in lockstep.

    Also remember the Mythos example. Mythos had some success in the beginning, but is considered unimpressive by now.

  4. just different Avatar

    It’s true that (modern) mathematical culture has a tradition of collaborative enterprise and free access to information. But it’s ALSO true that the great man theory of problem solving dominates our institutional structures as well as how the broader public perceives us. THIS is what AI companies are exploiting, and we kind of brought it on ourselves.

    I’ll be a lot more willing to indulge comrades-in-arms rhetoric when we officially get rid of the Fields Medal (at least as currently configured) and the respect hierarchy derived from the US News ranking of your academic affiliations.

    1. Anonymous Bosch Avatar
      Anonymous Bosch

      Oh I am aiming way above mathematicians with this post. The AI apocalypse will go far beyond us. This isn’t a call to arms to save maths, it’s a call to arms to save “skilled” labour. I suggest one writes to their nations trade unions and politicians to sound the alarm. Mathematicians have no skill organising but the unions and politicians do.

      1. Liu Avatar
        Liu

        Just as mathematicians have done nothing for the programmers who have been replaced by AI, I don’t think most people will care about the mathematicians’ pleas.

        1. Anonymous Bosch Avatar
          Anonymous Bosch

          As I have repeated, this view is too inward looking. I’m not proposing we beg to save ourselves. I’m proposing we sound the alarm. We should be warning other sectors that any attempts to introduce AI are a Trojan horse to replace their labour (see for example recent openAI announcements about replacing teachers).

          The unions have great lobbying power and the ability to organise effectively. Getting them to take clear stances against AI usage, even if they do not represent us, is our most effective pushback.

          Maybe we do not get to do maths in the way we knew and loved. Perhaps we can save the concept of “skilled” labour broadly.

          We are not as helpless in this situation as the AI sycophants would like us to believe.

          In solidarity!

  5. Pierre Menard, Author of the Quixote Avatar
    Pierre Menard, Author of the Quixote

    Well written. I indeed plan to contact local, non-local and microlocal politicians. Just to let them know what is going on in our community, what could potentially spread to other communities, and what is at stake.

    1. Anonymous Bosch Avatar
      Anonymous Bosch

      Excellent!

      In solidarity!

Comments are moderated. Read our comment policy.

Add to the discussion

New posts by email.

Prefer a feed reader? Subscribe by RSS.

Also on Mathstodon.

Latest comments across the site.

  1. The ancients knew that it is fruitless to argue taste: "de gustibus non disputandum est," or "Chacon a son gout."...

  2. One computer science conference proceedings editor recently interviewed ten authors of suspicious papers, to see how well they understood their...

  3. Excellent! In solidarity!

Discover more from Proofs and Prompts

Subscribe now to keep reading and get access to the full archive.

Continue reading