Johannes Drever 🌫️➰💎

@comandingo.bsky.social

software developer, haskell, category theory, religionsgeschichte, weird studies

The past years have seen horrendous attacks towards trans people. We have a duty to protect the most vulnerable members of our communities. There is no Haskell without the trans people who have shaped it through the years. This June is a month of celebrations, but the struggle continues. ✊🏳️‍⚧️λ

The trans flag with a greek lowecase lambda letter in black on it.

Das ist ein Skandal erster Güte, kommt aber bei uns in den Nachrichten kaum vor: Die US-Regierung versucht, Harvard zu zerstören, die vielleicht beste Universität der Welt. Es ist wirklich unglaublich. Schauen wir uns das mal an. (Thread)

Jetzt, wo in den USA Wissenschaft unterdrückt, Menschen gefeuert und Listen mit verbotenen Wörtern verbreitet werden - sind die, die jahrelang woke cancel culture zur großen Bedrohung der westlichen Welt erklärt haben, zufrieden mit sich?

Der Beweis der Keplerschen Vermutung ist ein weiteres faszinierendes Beispiel für die Notwendigkeit automatisierter Beweissysteme in der Mathematik. Kepler vermutete schon 1611, dass die dichteste Packung von Kanonenkugeln die kubisch-flächenzentrierte und ... 1/13

André Rieu@superrieu.bsky.social · 2y ago

... eingereichten Beweise zu verifizieren. Dazu kommt dann noch der enorme Aufwand für diese ja für den eigentlichen Beweis unnötige Formalisierung, die Wochen oder Monate an zusätzlicher Entwicklungsarbeit mit der Beweis-Programmiersprache Lean bedeutet. 3/5

Das Interview mit dem russischen Oppositionellen W. Kara-Murza von @alicebota.bsky.social bei @zeit.de ist lesenswert, nicht zuletzt weil es etwas über das politische Programm von einem der wichtigsten Vertreter des anti-Putin Lagers verrät. Ein paar Gedanken im Thread. 1/n

Wladimir Kara-Mursa: "Ich entkam dem ersten Kreis der Hölle"

Wladimir Kara-Mursa ist einer der wichtigsten russischen Oppositionellen – und dank des Gefangenendeals in Freiheit. Im ZEIT-Interview beschreibt er Putins Gulagsystem.

zeit.de

Der obere Stolperstein ist Elise Frank gewidmet, die antisemitisch und als psychisch Kranke verfolgt und 1942 aus der "Jacoby’schen Heil- und Pflegeanstalt für Nerven- und Gemütskranke" im rheinländischen Sayn nach Theresienstadt deportiert wurde, wo sie im August starb.

Stolperstein vor der Paul-Schneider-Straße 44 in Weimar/Thüringen, dem mahnenden Gedenken an Elise Frank gewidmet.
https://de.m.wikipedia.org/wiki/Datei:Elise_Frank_(1)_Stolperstein_in_Weimar,_Th%C3%BCringen.jpg

Inschrift:
"HIER WOHNTE
ELISE FRANK
JG. 1874
EINGEWIESEN 22.6.1942
JACOBY'SCHE ANSTALT
BENDORF-SAYN
DEPORTIERT 1942
THERSIENSTADT
ERMORDET 7.8.1942"
Nachweis von wiki commons folgt.

These throwable fire extinguishers seem like a real-life example of xkcd.com/937 — they have really good reviews from everyone except the few people who tried using them to put out fires

BildBildBildBild