Christian Lawson-Perfect is a user on You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

Christian Lawson-Perfect

When the fundamental group is non-trivial

I have reworded the terms of the Privacy Policy.

Pray I do not reword them further.

You know Mastodon is getting popular when people spend the time to register multitudes of spam bots. Here’s hoping @Gargron and others build in tools to help admins control these at scale.

today: playing Solitaire while an absolutely enormous database sorts its life out

"Guy signs "walkies" to his deaf dog"

replace "real"→"royal" everywhere. hyperroyal numbers. functions of a royal variable. royal-analyticity. news:
1) I've just suspended a few dozen spam accounts created in the last 24 hours. How annoying! Registration is now closed, until I come up with a better way of stopping them. Any mathstodon user can invite people to join using the form in the preferences page:

2) I've updated the server to Mastodon v2.4.0. Release notes at
Some fun features, including four free-text fields you can show on your profile.

#Mastodon v2.4.0 is 🎉 finally out! 🎉

The changelog is long, but here are some highlights:

- Better offline support
- DMs column
- New profile options
- Hide who you follow if you want
- 120% better report UI for mods
- Narrower privacy policy!
- High contrast theme
- Web Push API opened up to app developers! Easy push notifications possible in all apps now
- Performance improvements
- Various fixes and improvements 😋

Welp, spammers have arrived. Time to make signing up harder.

Trying to remember the name of someone in the uni that I want to email.
She has a very common first name, and I can't remember her surname: will be hard to pin down.
Oh! She was in computer science. A search in the school of CS for her first name produced one hit.

In other news, I spent this afternoon in a meeting of our Athena SWAN self-assessment team.

@ColinTheMathmo have you announced the dates for this year's big MathsJam?

Fun integral (\(n \in \mathbb{Z}^+\)):

\int_0^\pi \cos(\sin(x) - n x) e^{\cos(x)} dx

I suppose I just admire the chutzpah of putting that address on something consumers see.
Imagine if you bought a book and on the last page it said

This book cost us pennies to print.

I bought a couple more of these, because I reckon they'll be good juggling balls. The tag says they're called "Tangle Ball" and has the address on it.
That page contains this rather stark message:

"The Science of Impulse

How can you turn low value into high profit?
Keycraft's Science of Impulse explains how. Click the link to find out more."

Like, they were next to the till, so I get that's what they're for, but imagine working in that industry! How soul-crushing!

It’s been many years since high school

I’m still haunted

People who only put PostScript versions of their papers online: on the list.