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.
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.
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."
Inflationsausgleich bitte noch einbauen, damit uns zukünftige Politikergenerationen den Inflationsausgleich nicht als Steuererleichterung verkaufen.