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

×
oh no ... not the data centers ....
@arrrg we're gonna need a tinier violin
@arrrg i guess 2026 isn't all bad
@arrrg Slop data centers?
@arrrg Man, I guess all those AI-slop-eating CEOs are gonna have to sell off all those RAM sticks, graphics cards, CPUs and motherboards that they were buying up for these data centers. If only there were an audience of consumers who were willing to pay fair prices to purchase these computer parts, but alas...
@mast0d0nphan @arrrg I am reading my popcorn for all hardware corpos that withdraw from consumer market for this 😅
@mast0d0nphan The issue is that even if all those datacenter Hardware would come to the market from big datacenter sale offs, nearly nobody could use them. Server Hardware is often very different from enduser/consumer Hardware. Graphic cards for example are build as compute units, without any kind of output connector like hdmi or display port.
@arrrg First good news all year...
@decapitae Sora was shut down too. Maybe 2nd good news?
@arrrg Define “worse”.
@arrrg oh no step datacenter, I am stuck in a crisis ​
@arrrg First they came for the data centers, and I was not a data center, consuming normal human amounts of water and electricity...
@arrrg this development may bode well for pro-data center politicians.
@arrrg Now if the other half can get cancelled
@arrrg half? Most likely majority of them.

@arrrg

****PSA****

For those opposing new LLM-ai data centers in their area, beware!

The corps behind these projects are being sneaky. In Seattle WA, it was just disclosed (in today's Seattle Times) that 5 new mega data centers are proposed for "the Seattle area"...But! The info on who wants to build what, and where-- is *not* being disclosed because of NDAs!!

If you want to oppose new data centers in your area, get in contact with your local Sierra Club. And keep up on your local news!

@arrrg worse… or better?