Die Grundlagenkrise der Mathematik war eine Phase der Verunsicherung der mathematischen Öffentlichkeit zu Anfang des 20. Jahrhunderts, beginnend mit der Publikation der Russellschen Antinomie 1903 und endend um das Jahr 1930.

In den 1920er Jahren gipfelte die Krise im Grundlagenstreit der Mathematik, der im Wesentlichen vom Hauptvertreter des Formalismus, David Hilbert, und von dem des Intuitionismus, L. E. J. Brouwer, ausgetragen wurde. Am Ende dieses Erkenntnisstreites hat sich der Eindruck durchgesetzt, dass die klassische Mathematik ihre Grundlagenprobleme überwunden hat und sich ohne Einschnitte in ihren Bestand zur modernen Mathematik erweitern kann (die, etwa bei den Rechnernetzen, der Wettervorhersage, in der Anlagensteuerung samt Raumfahrt sowie Werkstoffforschung einen Siegeszug ohnegleichen angetreten hat).

Ein Etikettenschwindel.

Aber was ist dagegen das Phantasma dieser Beschwörung eines „Gemeinsinns“, der vor allem von jenen vorgetragen wird, die gerührt sind von ihrer eigenen Selbstlosigkeit, dabei spielen sie nur jenes Selbst aus, das ihrem Milieucode entspricht?

Cognitive load is what matters.

Ohh, part of the functionality is in BaseController, let's have a look: 🧠+
Basic role mechanics got introduced in GuestController: 🧠++
Things got partially altered in UserController: 🧠+++
Finally we are here, AdminController, let's code stuff! 🧠++++

Oh, wait, there's SuperuserController which extends AdminController. By modifying AdminController we can break things in the inherited class, so let's dive in SuperuserController first: 🤯

Happy 2025, y’all!

Here’s where it gets cool. 45 is the sum of the first nine integers (1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9), so 2025 is equal to the square of the sum of the first nine integers:

2025 = (1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9)²

But it’s also equal to the sum of the first nine integers cubed:

2025 = 1³ + 2³ + 3³ + 4³ + 5³ + 6³ + 7³ + 8³ + 9³

WHAT.

tweetXer – eXterminate your Tweets.

You can use this script to delete all your Tweets. Even if they don't show up on your profile. But you need your Data Export for it to work. Because this automates the deletion, it may get your account banned. Not a bad outcome.

Moran has referred to herself as "a very outspoken feminist" and believes "the act of a woman making music is a kind of political act in itself since we live in a world where women are expected to be quiet and are often silenced for speaking out." She believes performance and composition are ways for women to reclaim space and assert their existence.

An Oral History of WIRED’s Original Website.

We thought the internet was going to be good for people. We were wrong.

It turns out misery is a shitty proxy metric.

Egoless Engineering.

Randy is in the deploy group now. The how and when can be worked out off-list, but it is now possible for him to deploy to prod.

What's my Right to Repair?

Explore and discover the current state of EU right to repair (as of 2024), which products are currently covered by EU repair legislation (spoiler – it’s just a few!), its current limitations and gaps and how they should be addressed.