Theorem. There exist irrational numbers x and y such that x^y is rational.

Room booked! S3E01 is coming. In the meantime I see people are getting back on par :)

These are actual photos of murmurations #sciart

YIKES! I have linked to and used these resources in the past, a real shame to see them go.

Getting nervous for the talk I'm about to give at a workshop about "using AI to drive impact" which features slides such as these.

I like this idea!

[5/6] I don't know whether these changes will be good or bad in the long run. If you're sad, I can't talk you out of it. But it's still true: if higher ed wants to play a meaningful role in 21c knowledge production, we have to seize the means of production and make them public. Unpaywalled:

The result of an extremely fun and unusual collaboration are finally starting to appear. When this started, purely coincidentally, three years ago, we had only a keyword in common: GENERIC (all caps). And of course completely orthogonal backgrounds.

This was a tough but necessary decision - I posted my own notes on this here, from the perspective of a current PSF board member simonwillison.net/2025/Oct/27/...

TLDR; The PSF has made the decision to put our community and our shared diversity, equity, and inclusion values ahead of seeking $1.5M in new revenue. Please read and share. pyfound.blogspot.com/2025/10/NSF-... 🧵

Yet again, we can't afford to let LLMs become a source of epistemic grounding for society.

I am close to tears; they listened and made an english version apache.be/2025/10/24/b... @apache.be you rule 🖤

www.youtube.com/watch?v=NM-Y... I always liked this Blackadder Back and Forth scene about Shakespeare...

Have fun :) neal.fun/space-elevator

This week’s faction meeting: budget cuts, SSH governance, and PhD wellbeing. Because nothing says ‘fun’ like deciding who gets the short end of the stick!

The lifecycle of software objects

I know, th photo is terrible, but those colours this morning… wow! #autumn

Another milestone for our "oscillation book" tonight, with a new heavily edited version, introducing linear algebra much earlier and integrating some notions of harmonic analysis in the text. Still aiming at a "non-expert" audience. The new draft: academic.mseri.me/pe.htm#oscil... #mathSky #eduSky

If you can travel on Dec 9-12 and you are interested in LEAN, mathlib and in general formalizing mathematics, don't miss #ItaLean25 Great job @marcolenci.bsky.social and @pietromonticone.bsky.social pitmonticone.github.io/ItaLean2025/

Marcello Seri's first month in the University Council flew by; read about his experiences on our blog! Or, you know, his blog. We ain't jealous about page views.

When biologists can't explain cubic wombat poop, why don't THEY call it a singularity? COMIC ◆ www.smbc-comics.com/comic/beyond PATREON ◆ www.patreon.com/c/ZachWeiner... STORE ◆ smbc-store.myshopify.com

Growing Mathlib: Maintenance of a large scale mathematical library. ~ Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa. arxiv.org/abs/2508.21593 #ITP #LeanProver #Mathlib #Math

In September I have joined our University Council, a co-participation body that monitors the activities of the Uni Board, issues (un)solicited advice and has a say in some important decisions. What we do can sound a bit mysterious and I hope I can make it more transparent by blogging about it :)

> I gave the world wide web away for free because I thought that it would only work if it worked for everyone. Today, I believe that to be truer than ever. — T. Berners-Lee www.theguardian.com/technology/2...

Ottimo video di Taglio Netto, diFlavia Carlini, su Chat Control 2.0 www.youtube.com/watch?v=NwDe... Manca poco più di una settimana per il voto al parlamento Europeo, non possiamo continuare a far finta di niente Per contattare i vostri europarlamentari consultate fightchatcontrol.eu

Despite the severe lack of time and funding, the third season of It's Not Just Numbers, a podcast on the human side of #mathematics, is finally in the making! Stay tuned, and catch up on the episodes you missed 😊 Find us on podcasters.spotify.com/pod/show/not-just-numbers or your favorite platform

Today’s Daily Cartoon, by Brendan Loper. #NewYorkerCartoons

The best thing about education isn’t access to information, it’s being in a room with a good teacher, likeminded engaged peers, and time to talk. Education is a social activity. Tech hype misses the point: the real challenge isn’t delivering info, but creating meaning together youtu.be/0xS68sl2D70

This should be repeated constantly: "In three years, roughly a tenth of US energy demand will come from data centers alone." We need to have a real response to this!! www.nplusonemag.com/issue-51/the...

> The message for practice is clear. A single quiz at the end of a lesson is a start, but not enough. Retrieval practice is most effective when learners receive repeated opportunities with feedback. This, […] is key […] (to) also build the ability to use knowledge flexibly when it really matters.

What do you think about all this @gerardrve.com as a privacy law expert?

The uni cuts top-ups and demands refunds from PhDs after their CSC scholarships were raised; yet some contracts don’t even tie top-ups to CSC amounts. Our @therezalangeler.bsky.social raised this with the board in committee yesterday; to be continued in plenary!

#ChatControl is a dangerous development at the EU level, after many failed attempts it looks closer to becoming reality than ever. Detailed information on what is it about and why it is not a good idea can be found in many places, like the link below. #stopscanningme

How did I found out about Math Empathy? Because EWM-NL is organizing a fantastic annual event: The human dimension of mathematics. We’ll discuss work/life balance, career challenges & valuing diverse paths in maths. 📅 Nov 7th (14:00-17:30) at CWI Amsterdam!

I recently learned about this Math Empathy video series www.youtube.com/playlist?lis... by Mura Yakerson, answering existential questions by her students. I think it is a great idea #mathSky #empathy

This website has fantastic IKEA-style visualization of algorithms. Here the quicksort example, idea-instructions.com/quick-sort/, but take some time to explore the others! #eduSky #scicomm #visualization

Oh my… this is really addictive 🤣

Mijn oprechte complimenten aan wie dan ook het idee van het nieuwe AH‑cadeautje had en aan de genie die ze zo verbazingwekkend precies heeft ontworpen 🤯

Just came across this insightful video about Bézier curves from @freya.bsky.social Beautifully animated <3 youtube.com/watch?v=aVwx...

I totally agree. Summaries may be fine for some forms of science communications but scientists need the detail to make up their minds on the veracity of claims in papers.

Cavaco 2.0 “Unlike human intelligence, it lacks the humility to acknowledge uncertainty” www.computerworld.com/article/4059...

Join us for a great leadership workshop organized by @apnet.bsky.social (If you are or become an APNet member, registration for the workshop is free!)

Far-right thugs rampage in the Hague, attacking police and the HQ of centrist party D66. While parliament condemns the threat of “fascist” antifa. Shame on every politician -including VVD ones - who spent the last year ramping up tensions to win votes. You don’t get to do that and then condemn this.

Congratulations to all the winners, and in particular to this year’s physics ones :) improbable.com/ig/winners/...

Always good to repost this. Lots of good food for thoughts in this letter

Finally! 🤩 Our position piece: Against the Uncritical Adoption of 'AI' Technologies in Academia: doi.org/10.5281/zeno... We unpick the tech industry’s marketing, hype, & harm; and we argue for safeguarding higher education, critical thinking, expertise, academic freedom, & scientific integrity. 1/n

Ik kan er niet bij hoe onverantwoord het is om in deze tijden van uitdagingen, problemen en crises juist het onderwijs zo achter te laten. Kennis is de enige grondstof die Nederland in overvloed heeft, maar op deze manier niet lang meer. Met dank aan kabinet Schoof. www.aob.nl/actueel/arti...

Have you encountered barriers to accessibility in conferences and events? There are so many, even in mathematics conferences I have seen that are run by people with experience. Would you like to help minimise these barriers? 👇🏼

My latest cartoon for @newscientist.com p.s. this week I am on a USA/Canada tour with my new book. Details and preorder links at tomgauld.com