copacetic

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