Kevin Buzzard just announced the Xena project is organizing a workshop for undergraduate students working on group projects in Lean, and some special guest lectures, September 26th-30th 2022.

Looks like you're expected to have at least touched Lean beforehand (but see also the website).

@AgathaSorceress allegedly cornflakes 'with extra iron' just have, like, actual ground up bicycle dust in there (according to what i remember of a tv program like 10 years ago)

I just remembered this sound file where i butcher schratze's name in my local finnish dialect.

Which gave me a cursed idea: for every boost I'll butcher *your* fedi user name too.

@tobi Bonus points if your car has incomprehensible conspiracy theories written on it like "birdwatching goes both ways"


@owl every threat model should include schratze

It seems that people on fedi are extremely non-representative of the general population, so I've been wondering: :boost_ok:
Are you usually wearing

@xmtz oh wow this emoticon is so good: ᓚᘏᗢ
May I steal it for later use?

We have 3 tickets left over for Coldplay on July 2nd in Frankfurt am Main. Anyone on here interested?


Today, I dragged @StuartBeveridge to Chorley to see a fantastic bridge.

Because the railway and canal are at such a sharp angle, a normal arch wouldn't stay up. Instead, the stones are hand-carved in curves so that the joins between them are perpendicular to the bridge's weight.

@urusan the best one I found in Dutch is zoolleerrookkaassoort (type of smoked cheese that smells like sole leather)

My dad: Did you know that the word with the most consecutive double letters is raccoonnookkeepper?
My dad: By far the most useful thing I have learned from the internet..

When I was a child, I talked like a child, I thought like a child, I reasoned like a child. When I became a man, I put the ways of childhood behind, and put on a funny hat while a frog played oboe

Remembering seeing the game Watch Dogs for sale on a Russian site and they translated the title as meaning "Look at the Dogs". Recipe for disappointment.

@Vierkantor magpies love going *sneeze* *camera shutter noise*

Show older

het Weledelgeleerde Wicht Anne C. A. Baanen's choices:


Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.