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.

Show thread

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

Tiefhängende Aphorismen:

Gott würfelt nicht. Armin Laschet schon.

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

Show thread

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

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 🤦‍♀️

Show older
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!