Come on and slam¹!
And welcome to the jam²!

1: Compute the homology of manifolds
2: The topology department

me, age 18: i will simply use math to understand all truth!

me learning about tarski's theorem: what da

for soe reason i spent my lunch hour making this out of the defunct "Matt Parker Speaks Binary Dot Com" source code and @christianp's logic:

Matt Parker Knows All Of π:

TeX in real world production 

@pkra in the other direction: assign a UUID to each figure

Warning: film may contain spoilers for content of film

Dr.-ed again, this time by a colleague rejecting an internal funding application, who should really know better.

So I'm really getting the full academic experience, without a tiresome PhD!

Prove that for every n, every polygon (even if it has holes) can be partitioned into n connected pieces of the same area

The "is this prime?" game ( recently passed 3 million attempts, which I might not have noticed if Siobhan Roberts hadn't written this lovely article about it:
I like how they embedded the game in the post!

Preparing a presentation on decolonising the curriculum for tomorrow.

I'm... not speaking from experience, let's say that.

Two gardeners had a duel:
Trial by combat.
Each chose their favourite tool:
Combat by trowel.

@pkra my desktop too. It took me a while to work out what it was supposed to be! So some font designer has already dealt with this problem

Thanks to everyone who's written something on so far.

I'm gathering ideas and some questions about how the site should be organised, at

Please add your opinions!

I've made a change to LaTeX editing on unicode equivalents outside maths delimeters are no longer automatically inserted. Instead, when you select a LaTeX autocompletion, if it can be rendered using just unicode, that's inserted instead of the LaTeX code.

For example:
𝑓 : 𝑋→𝑌 = sin(θ²)
was produced by writing
\( f: X \to Y = \sin(\theta^2)
and pressing enter.

Show thread

@ColinTheMathmo I have now, after leaving it for a while. It turns out that for some reason postgres on my machine is running on a different port to the one mastodon expects

well, today I *was* going to add a nice feature to, but an hour later I can't get my mastodon environment to even connect to the database, so that's not happening

Show older

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!