Leah Neukirchen @aza_leah@mastodon.social

Nice side effect of the pandemic: I now know what it looks like at home of many scientists I know.

Optimistin, die: eine, die gerade ein @mch2021 Ticket geklickt hat.

Yet, the internet doesn't forget interesting things: https://grosskurth.ca/bib/1986/tilbrook.html

USENIX proceedings before 1993 are not available online at all? wth.

Tiefhängende Aphorismen:

Gott würfelt nicht. Armin Laschet schon.

Optimist, der: jemand, der keine Zeitung liest.

Hey girl, do you wanna come upstairs and prove the snake lemma with me?

"Aufführungen vor Publikum rufen erfahrungsgemäß nichts als moralische Affekte für gewöhnlich minderer Art beim Publikum hervor." (Brecht)

Was fehlt einem Programmierer, der schlecht Aufwand schätzen kann?

Plankalkül.

What's a complex Banach algebra with involution under water?

A sea star algebra.

Schnell die 3 Helden vom Reichstag nach Washington einfliegen.

App Stores were a mistake, but we knew that already.

Erstaunlich, wie oft man die verhunzte Vektorversion des Stasi-Emblems von Wikipedia in anderen Kontexten findet. Ich traue den Genossen schon zu, nicht Arial und eine konsistente Schriftgröße zu verwenden.

Also the whole story reminds me a lot of Joseph Weizenbaum (iirc), who had his kid ask him "Dad, how late is it? And I don't wanna know how a clock works."

Don't 9 year old kids look on YouTube how to open a can?

Marx an der Uni: Basis und Mittelbau.

(A gold star for you if you can write this tacitly...)

ibwt =: 4 : 'x{~1|.(<# x){&(/:x)y'
'ywrheyn! apaep ' ibwt 7

I only flipped through half of it, but Mimram's Program=Proof looks like an excellent book to get started in logic. Wish I had that 15 years ago.

Posteo seems to bounce mails with "fuck" in the subject as spam. Good job 🤦‍♀️