BIP ist das Übliche. Leider. Wohlfahrtsindex wäre eine Alternative, aber scheint nicht so wirklich anzukommen.

Ich versuch mich mal:

• Billige Energie ist der größte Hebel. Solar- und Windkraft ist am günstigsten also Ausbauen! Dazu gehört: Energie speichern muss gemeistert werden und große Stromtrassen braucht es auch. Staatliche Investitionen sind angebracht.
• Schuldenbremse weg (oder zumindest stark lockern). Wir brauchen dringend staatliche Investitionen und wir können es uns leisten.
• Rüstung hochfahren. Ein militärisch starkes Europa hilft der globalen Sicherheit und damit dem Welthandel.
• Bildung fördern. Schulen sanieren fördert nebenbei die eigene Wirtschaft.
• Vermögenssteuer & Erbschaftssteuer erhöhen für die Finanzierung (neben Schulden machen)

Was nichts bringt:

• Atomkraft (dauert zu lange, ist eh zu teuer)
• Bürgergeld kürzen (das wird eh konsumiert und kurbelt Wirtschaft an)

Unklar: Ent-Bürokratisierung und Digitalisierung (schon gut, aber wie beschleunigen??)

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.