Pinned toot

Omg it draws TeX!

That's better: now the symbols don't look like the ghosts of overfull hboxes

So obliging of my knee to dislocate in order to make space for my baggy trousers when I kneel.

Putting the finishing touches to my history of mathematics in the north-east of England, "E to the Why Aye"

Me: ooh, maybe 1.5MB is too big for an entire package that students need to load to do their exam.

My employer: let's stick a different 1.6MB "hero image" at the top of each of our public-facing pages

Can't not read it as "finitely generated abelian grape"

Idea: a theorem verifier with the mindset of a toddler. When it starts it rejects everything, so you have to show it the two theorems it already knows like a hundred times before it'll admit that some things are, in fact, true

Omg it draws TeX!

Today I have had a lovely time writing a Numbas extension for graph theory.

Today I have had a lovely time writing this Numbas question about the isomorphisms of a binary tree: numbas.mathcentre.ac.uk/questi

Working on some group theory, I'm writing out words on generators, which I've labelled with letters.
I just noticed that $$e$$ has order 2, so

$beef = bf$

It turns out this is real-world maths, after all!

@dudeney_puzzles crikey, Dudeney, you could've just given up on that framing when it became clear it added nothing to the puzzle.
Instead, here we are, three toots of disclaimer in, still nowhere near motivating the puzzle

Sneak peek of a new project.

The 3-year-old asked for a rainbow heart.

Took a moment with the !

"titmouse" derives from "tit" — small bird, and "mase" — "tiny, little"

teeny tiny bird

@esoterica There's an interesting connection of tropical mathematics to computer science, namely to parity and mean-payoff games, which show up in formal verification.

hal.inria.fr/hal-00778078

I think I got my to draw a rainbow!

it feels illegal that 78 is divisible by 13

A few days into fiddling, this is the first thing that has really made me go wow!