ChatGPT meint “rot” aber verweist auf die USA.

Für Deutschland vermute ich, dass es in Richtlinien für Lichtsignalanlagen festgelegt ist, aber paywall.

Ja, Porsche gehört VW, aber VW gehört zu über 30% Porsche SE und Porsche SE ist das Familienunternehmen welches bei der Erbschaftssteuer das Ziel wäre.

Bei 25% geht das, aber bei 80% kriegt man das nicht schnell genug abbezahlt bevor es schon wieder an die nächste Generation vererbt wird.

Das würde effektiv die großen Firmen wie Porsche und Aldi praktisch verstaatlichen?

Inflationsausgleich bitte noch einbauen, damit uns zukünftige Politikergenerationen den Inflationsausgleich nicht als Steuererleichterung verkaufen.

Newsletter zum Thema ging gerade raus, aber hat nichts mit dem Grünen-Vorschlag hier zu tun. Ich denke aber auch, dass er sich das bald vorknöpfen wird.

Meine Prognose wäre, dass er das Modell grundsätzlich gut findet, aber vielleicht ein paar Anmerkungen macht.

Oops, da hatter ich wohl was vergessen. Repariert.

You definitely can do without a language spec. I heard in aerospace another approach is common: They use whatever compiler and then verify the binary. That means different tradeoffs of course.

Es wäre natürlich völlig unangemessen zu behaupten, dass ich hoffe die Zulassung klappt nicht.

Deepl selbst ist kein vertrauenswürdiger Anbieter? Sie sagen zumindest Dinge wie:

EU data residency: ensures your data stays within European borders

Neue “Abteilung für Regierungseffizienz” bekommt ganz effizient gleich zwei Chefs, Ramaswamy und Musk. Die Abkürzung für Department Of Government Efficiency, also DOGE.

In SIL world, the C++ issues would not be considered bugs but maybe change requests.

The SIL philosophy (as far as I know it from ASIL) is “unsafe unless convinced otherwise”. That seems like a good idea when the lifes of humans are on the line. Without a spec how would you argue that a system/product is safe?

(Aside: Software in itself cannot be safe or unsafe because without hardware it cannot do anything. Safety must be assessed holistically including hardware and humans.)

Grünen-Abgeordnete rund um Renate Künast wollen einen Gegenantrag einbringen, um eine vorherige gründliche Prüfung der möglichen Verfassungswidrigkeit zu erreichen.

Erstens, warum dem BVG die Arbeit abnehmen?

Zweitens, ist jetzt eh egal. Würde man nach der Prüfung zurück ziehen, dann hätte es den gleichen negativen Effekt.

Fair enough. In practice, we resolve it recursively with a higher level specs and at some point it is just “someone wants that”. In commercial software development (where SIL is used) that is a customer who pays for it or some executive.

Welcome to the real world. /s

The specification does not make anything happen but it enables you to say “the implementation is wrong”. Of course, you can say that without a spec as well but what does “wrong” mean then? It just means you personally disagree with its behavior. When “wrong” means “inconsistent with the spec” everybody involved can work with more clarity and fewer assumptions. Wrong assumptions can kill people flying rockets.

Crates.io has tags like scripting. It suggests languages like rhai, dyon, or rune.

Dauert ja üblicherweise auch noch einen Monat bis die Koalition gebildet ist und der Bundestag einen Kanzler gewählt hat.

Well, I can imagine that a Polymarket market with over 2 billion dollars in trades is superior to a Metaculus question. Simultaneously Metaculus questions can be better on average. Maybe there is a point where real-money markets become better but it requires a certain amount of liquidity.

Hach, da muss nur ein bischen Framing drüber.

Sowas wie Kanzler Merz in der Antrittsrede: “Wie bei so vielen Aufgaben, hat die Ampel in den letzten Monaten versagt, die weitere Finanzierung des Deutschlandtickets zu gewährleisten. In Zusammenarbeit mit den Ländern wird diese Regierung deshalb dem Thema Mobilität zusätzliches Gewicht geben. Ziel ist das D-Ticket unter einem Preis von 69€ zu halten.”

Einige Monate später: Leider sind die Länder bisher zu keinem gemeinsamen Beschluss gekommen, wie ein D-Ticket für 99€ zu finanzieren sei. Der CSU Verkehrsminister lädt zu weiterem Gipfeltreffen der Mobilität ein mit: D-Bahn, VW, und BMW.

Noch etwas später: Der Empfehlung der Mobilitätskommission folgend, wird das D-Ticket nun 199€ kosten, bzw für Rentner nur 149€. Die Interessensvertretung der Rentner e.V. gratuliert, dass die harten Verhandlungen endlich ein Ergebnis gefunden haben.

Zwei Jahre danach wird das D-Ticket mangels Interesse abgeschafft. Söder kommentiert “Hob i doch glei g’sagt, das des Konzept der Grüüünen nix taugt. Haha.”