Pinned toot

Hallo, new Mastodon users! Here on we've got a couple of mathematical emoji: :gauss: and :lovelace:. I'd love to add some more. If you can make a PNG image the same size as those, send it to me and I'll add it. Faces of famous mathematicians are an easy place to start; could we have some shapes, polyhedra, or other mathographics too?

I think Google should save everyone a lot of time and effort and jump straight to discontinuing new services:

"We are proud to announce that Google Kitchen Tools will no longer be available on Sep 1st 2020, nor has it ever been available. Should you wish to export your Google Kitchen Tools data, you should be aware that there is no data, as Google Kitchen Tools has never existed.

The Google Kitchen Tools Team"

@christianp "Almost the worst approximation among all the very best possible approximations to Φ day"

It's 5/8, or Almost The Worst Approximation to Φ day!

@jsiehler if you're referring to \(e=3-\cfrac{1}{4-\cfrac{2}{5-\cfrac{3}{6-\cfrac{4}{7-\cdots}}}}\), I do wonder how something like this was not noticed before...

Interesting paper on computer-generated conjectures regarding continued fraction representations of mathematical constants.

In particular, Figure 2 shows a really splendid (conjectural) representation of \(e\). I gave up trying to figure out how to type it readably here.

Going to start my Mastodon account with a result I put quite a bit of work into: Sorting 11 inputs using a sorting network requires 35 comparisons and sorting 12 inputs requires 39 comparisons. I still haven't finished writing the paper (and should be working on that instead), but all the code including a formal proof in Isabelle/HOL is on github:

I'd like to know if this is worth having, and if it is, how it could be improved.
I'm particularly interested in accessibility: is it usable with a screenreader?

Show thread

I'm sure this must already be a thing, but I can't come up with the right google words to find it, so I've made my own:
A tool to take a subtitles file and a video and make a page showing the transcript alongside the video itself.

At the moment it just copes with Vimeo, because that's where the two videos I want it for are hosted.
Here's one of them:

I have a load of EAMS talks on YouTube, so I'll support that next

Just realised my GCSEs are old enough to do their A Levels

An estimation problem: how many toots do you see each day?
I'm tempted to say "wrong answers only", but I'd actually like to know the right answer. So, do either, and it'll be fun to guess which is which

Oh, it's π approximation day, 22/7. I nearly didn't notice!

I've seen some combinatorial underestimates on packaging before, but this one looks particularly low.

Factoring in the Chicken McNugget monoid
Article by Scott Chapman and Christopher O'Neill
In collections: Animals, Attention-grabbing titles, Easily explained, Unusual arithmetic, Food, Integerology
Every day, 34 million Chicken McNuggets are sold worldwide. At most McDonalds locations in the United States today, Chicken McNuggets are sold in packs of 4, 6, 10, 20, 40, and 50 pieces. However, shortly...
Entry: read.somethingorotherwhatever.

Next door are having a new conservatory built.

Me, a genius: today I will subtitle two hours of video.

The other day I heard the term "glimmer" for the first time; it's the opposite of a trigger. It's something that brings you to a state of emotional regulation and safety.

Personally, I love this term.

Currently attending an academic workshop in German. I joined half an hour in. They seem to still be trying to work out how to use the online whiteboard. 🤷

Scholar Social is hosting a free online conference, #SummerSchool !

And we're looking for presenters!

If you're a writer, researcher, formal academic, or anyone with expertise that you'd like to share, presentation spots are 10-15 min long (no formal credentials required, open to people on any Fedi instance, not just

Sign up by 2020 July 12 here:

Academic maths pals: the talks from E-Assessment in the Mathematical Sciences, the conference I helped to organise, are now online at

Show more

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