Pinned post


An introductions post, since I've got a bunch of new followers in the last couple of weeks (hello everybody!)

By day, I do computer verification of in the Lean prover, by night I do . When there isn't a plague going around, I like in nature and befriending . I also know a bit of .

I really like explaining concepts — feel free to ask any question (esp. mathematics / theoretical comp sci). Replies to toots are always welcome.

Pinned post

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


Pinned post

GRAND FINAL of the Axiom of Choice of Choice Award 2022. The tie-break match had no clear winner, so the tie is broken in favour of our intuitionist candidate on the basis of its total wins and its total votes.

Pick your favourite equivalent of the axiom of choice out of the options below:

Show thread
Pinned post
Pinned post

(of course, my gender is just a temporary situation until my Glorious Lisp OS-powered Robot Body finally is usable in daily life!)

Show thread

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).

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.

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*

Machine translations suck because they can't tell if "bat" means a baseball bat or a winged mammal.
This thought to you by Redbubble "helpfully" translating stuff for me to German. -_-

@anke my fav example of this was sirens in english becoming iirc sirenas in spanish, which turned an announcement of a town's safety features into

'In case of a tornado, the mermaids will alert you,'

i want to learn to draw so I can make cool drawings of crows and possums

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.