Pinned toot

You, a tech startup with millions in angel finance: made an app to turn handwritten maths into TeX.

Me, just the worst kind of smart alec: convinced a pen to turn TeX into handwritten maths

Exciting unintended typography! Using the League of Moveable Type's Junction font, the word "office" looks like "offfice", I guess because it applies an ff ligature and then an fi ligature.

between 1996 and 2015, the only Irish county names given to children born in the UK were:

Cavan (572)
Clare (1062)
Kerry (38)
Tyrone (1445)

Show thread

Naming Your Child After Irish Counties

Clare: lovely
Kerry: also fine
Mayo: audacious

oh wow, firefox developer tools has a tool to simulate colour vision deficiency and contrast loss! developer.mozilla.org/en-US/do
Very handy!

@christianp I don't know any other symbols, but in Chinese user interfaces, the colour red often stands for correct / success / OK. In the West, we're used to green for OK and red for errors.

Pals, I've just been told that in Japan they don't use ✓ for "correct", they use 〇.
What other symbols for "correct" and "incorrect" are used around the world?

Just for a laugh,
Let G be a graph,
With points called P
And edges called E.
Now draw a line
(just anywhere's fine)
And split up P,
Some for you, some me.
Now look at E,
And how it links P.
If every line
Connects yours to mine,
That graph called G?
Bipartite. QED!

weirdly, the custom element code I copied from MDN didn't work in Chrome, for <undisclosed reasons>. I've found a way of making it work now

Show thread

The talk went really well last time, so I didn't want to change too much. One thing I'm really struck by now is that every character in the story, including me, is a white man. I'm not sure what to do about that.

I'll tell the kids that the story took place in a time when you pretty much had to be a well-off white man to dedicate time to maths and have me end up knowing about it.

Show thread

Tomorrow I'm giving a maths talk to a load of 15/16 year olds. It's a talk I last gave in 2014, so I've updated it a bit.
I've put my slides online at staff.ncl.ac.uk/christian.perf
What do you think? (Obviously you don't know what I'll say about them!)

Just discovered that on Ubuntu if you press the play media button on your keyboard after failing to pick up a MS Teams call, it plays the ringtone on loop despite there being no call any more.

why has rstudio registered itself as the default application for css files?!?

"This is an international project, so all communication should be in English".

Best said while wearing a pith helmet

do I know anyone who has the new Pokémon Brilliant Diamond or Shining Pearl on Switch and has got the Pokétch?
It's for a maths thing

Selection bias: Zoom's "how was your experience?" dialog only pops up when it *doesn't* crash in the middle of a call

Show older
Mathstodon

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