The fall of the theorem economy How AI could destroy mathematics and barely touch it

open.substack.com/pub/davidbes...

Maybe the only maths textbook I've read cover to cover.
Also a huge fan of Understanding Comics.

I was showing my topology students this claymation video I made 18 years ago (wow!). Can you get from one configuration to the other without breaking a loop? Yes, you can! www.youtube.com/watch?v=S5fP...

New Claude found zero-day's in OpenBSD, ffmpeg, Linux and FreeBSD.

I use it for all books I read now but the missing ability for LLMs is "draw diagrams". Very important for maths or physics.

We might see AI cos, Nvidia in particular, purchase stakes in the sequencing companies soon. Excess cash on b/s meets dirt cheap valuations

Nvidia Buys Illumina? The AI Foundry for Healthcare – The Hardware of Life Overcoming Eroom's Law: Enabling Moore's Law in Healthcare With Potential Acquisition

This was written nearly 3y ago and seemed silly then but now this idea is beginning to make some sense. AI is a maturing industry and biology might just be the next frontier.
newsletter.semianalysis.com/p/nvidia-buy...

Underrated aspect of bsky is how much cool science it surfaces

New Radiocarbon Dates Push Mohenjo-daro Back to 3300 BC- Rivaling the Earliest Cities of Egypt and Mesopotamia - Arkeonews New excavations and radiocarbon dates reveal that Mohenjo-daro’s origins extend back to 3300 BC, reshaping the timeline of the Indus Valley

New Radiocarbon Dates Push Mohenjo-daro Back to 3300 BC- Rivaling the Earliest Cities of Egypt and Mesopotamia ⛏️🇵🇰 arkeonews.net/new-radiocar...

#3 full of wisdom

"When we die there are two things we can leave behind us: genes and memes" - Richard Dawkins, in The Selfish Gene

Prophetic

Possibly too optimistic, but I wonder if the new coding tools will enable a small revival in personal webpages full of interesting little software artefacts.

An 800+ mile long haboob sweeping across northwest Africa.

My oh my...

Unfortunate realisation of the last few years is that the things I thought were unfunny internet memes were, in fact, quite real.

"why did everyone hate each other back then?"
Surprisingly deep question from my kids as we read The Gunpowder Plot today.

Explaining Pythagoras theorem to the oldest:
So you see, if these two sides are 1 and 1, the long side will be such that it's square is 2.
"But there is no number that squares to 2!"
😑
"Oh I know.. It must be a fraction!"
😬

"evolution is really good at optimising"
"Oh yeah? Show me the species with wheels then"

Chatbots have become an indispensable tool for me when reading anything substantive

how to edit an image in 2026.
old: open up editing program, read/watch tutorials, fiddle with settings to get the result you want.
new: point a coding agent at it

Seconded, it's really good value especially with GPT 5.4 at 1x

Some bold claims in here

Musings from 1976 on how "accelerating population growth spells serious trouble"

#2 it really is as good as the reviews say

I just wish it could draw good maths pictures. Without that its usefulness as a maths tutor is limited.

rahulsidhu.github.io/cycling-ener...

A bit late to this but it's true what they say - vibe coding is awesome.

Congratulations!

Now reading

PSA to all parents of primary age children: Beast Academy exists, and shows how good educational software can be.