19 Followers
128 Following
157 Posts
CS Student in Freiburg im Breisgau (Germany). Interested in (mostly statically typed) programming languages, functional programming and proving things about those in Agda. Recreational trombonist.
Pronounshe/him
GitHubhttps://github.com/JaSpa

RE: https://flipboard.com/@fr_de/frankfurter-rundschau-%E2%80%93-%C3%BCberblick-q2j2estez/-/a-ZED2ejg8ReqNium3fn-q5A%3Aa%3A3694312255-%2F0

CDU: Egal, wie man's dreht, geht es ihnen darum, Reiche reicher zu machen, gern auch mit Steuern (die die anderen bezahlen).

Reiche besteuern oder in die Krankenkassen einzahlen lassen geht nicht, aber per Tankrabatt den Mineralölkonzernen ihre Gewinne mit Steuern zu bezahlen, geht sehr gut.

Und es ist so offensichtlich.

Liebe Kolleginnen und Kollegen:

Der Irankrieg hat nicht „die Energiepreise“ erhöht, sondern die für Öl und Gas.

Es werden nicht „die Autofahrer entlastet“, es werden Kosten für den Teil der Bevölkerung reduziert, der einen Verbrenner fährt. Auf Kosten aller anderen.

oh no ... not the data centers ....

Ist ab und zu mal nötig, dass man sich das alles klar macht. #Bahn #BahnBubble

https://www.taz.de/!6166995

Antwort auf Verkehrsminister Schnieder: Bahn-Bashing? Nicht mit uns!

Nun lästert selbst Verkehrsminister Schnieder über die Deutsche Bahn. Da sollte er mal diesen Text lesen: Nur Gutes über den bundeseigenen Konzern.

TAZ Verlags- und Vertriebs GmbH

Man stelle sich vor jemand aus der Regierung würde sich hinstellen und sagen: "Ab sofort werden Benzin und Diesel jedes Jahr automatisch 10% mehr kosten."

So in etwa fühlt man sich als Nutzer des Deutschlandtickets.

#Verkehrswende

Nice pure function you’ve got there. Shame if something were to… “happen” in it

Great video. Watch it!

(This is Prof. Ada Palmer @adapalmer)

I quickly found myself orchestrating flocks of compilers running in parallel
After only a few minutes trying out the compiler, I was exhilarated—the machine could generate machine code faster than I ever could by hand! My mind raced with the possibility. Soon, it became an obsession—every minute not spent compiling felt like time wasted
Ich bin froh über die Entscheidung meines Instituts, die Verwendung sogenannter KI-Tools in Studien- und Prüfungsleistungen vollständig zu verbieten. Keine „Prompt-Kompetenz“, kein „Man muss die KI nur *richtig* einsetzen“, kein „Wir können uns dem nicht verschließen“, sondern die einfache Erkenntnis, dass „KI“ das Gegenteil von dem ist, was unsere Studierenden lernen sollen. https://www.geisteswissenschaften.fu-berlin.de/we06/lehre_und_studium/Studium/Hinweise-zu-Hausarbeiten-und-Pruefungsleistungen/index.html
Hinweise zu Hausarbeiten und Prüfungsleistungen