❤️🩹
Sing ein Lied für den Ozean
Sing ein Lied übers Meer
Und ich singe ein Lied für dich
Wird das Herz mir auch schwer
So viele Tage
Und so viele Stürme
Müssen vergehen
Dann wir werden uns wiedersehen.
– Rio Reiser: Übers Meer
Heinz Strunk: Der gelbe Elefant (via taz.de).
Relevant: Zauberberg 2.
Cram tests: a hidden gem of dune.¹
Cram tests, in essence, are snapshots of interactive shell sessions. They provide a versatile framework for testing OCaml projects, but not only OCaml, they can be used for any CLI.
¹ Not so obviously, Dune is the build system for OCaml.
Protest in der Krise: Die Kunst des Voranscheiterns.
Gut möglich, dass das, was wie Aufgeben aussieht, manchmal Durchhalten ist, nur eben mit anderen Mitteln.
Martina Hefter erhält den Deutschen Buchpreis 2024 für „Hey guten Morgen, wie geht es dir?“
Es stellt sich die Frage, wer hier wen ausbeutet – und was passiert, wenn wider Erwarten die Grenzen zwischen digitalem Spiel und realer Zuneigung verschwimmen.
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Ghostty also intends to push the boundaries of what is possible with a terminal emulator by exposing modern, opt-in features that enable CLI tool developers to build more feature rich, interactive applications.
Okay, but why a manifesto?
Today's CD pipeline ecosystem is fragmented, rigid, and inefficient. We believe pipelines should be code-first, developer-friendly, and designed to handle the complexities of modern engineering workflows.
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: 🤯