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.

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.”

Olaf scheint trotzdem lieber geduldet-von-Merz als mit Lindner-im-Kabinett regieren zu wollen. Das sagt schon einiges.

Vielleicht hat die Automobil-Lobby interveniert, dass genau das nicht passiert und es Wissing so vergoldet, dass er seine FDP-Karriere dafür opfert?

Kannst du konkreter werden? Hab unsere Umweltministerin nicht auf dem Schirm.

I think, as GM, the art is what questions to ask.

The GM should keep control of the discussion. There is a big difference between open questions like “what are vampires in this world?” and closed questions like “what is the name of the vampire queen?” It depends on the group how open questions can be without everything devolving into insanity.

Yes. Mausritter also uses the 2-page format a lot and I also like it there.

Ich verstehe nicht worauf die Autorin hinaus will.

Medien sollten weniger Umfragen zeigen? Naja, solange sich viele Menschen dafür interessieren, werden sich Medien finden, die dieses Interesse bedienen.

Menschen sollten sich nicht für diese Umfrage interessieren? Naja, vom Ausgang der US Wahl hängt viel ab. Da ist es doch berechtigt zu fragen, wieviel Sorgen man sich darum machen sollte, dass Trump gewählt wird. Das dann auf eine Wahrscheinlichkeit zusammenzufassen ist sehr effizient.

Sind die Prognosen gut? Naja, Umfragen sind in den letzten Jahren schlechter geworden. Bessere Ideen sind generell willkommen.

Ich denke die Schließung der Konsulate übt vor allem Druck auf iranische Bürger aus, also Geschäftsleute die Visa brauchen und sowas.

Die EU-Terrorliste wäre vermutlicher direkter und wirksamer, aber geht halt nicht so schnell.

Nice work! Here is my quick brain dump:

• trumpets for an announcement
• horses riding
• goblins cackling
• force field / magic sizzling

By the way, isn’t the light-dark switch inverted?