Why should it be a bot? It could be a feature built into Lemmy itself.

You could request it here: https://github.com/LemmyNet/lemmy/issues

I know plenty of senior C++ devs who would love to use Rust professionally. Maybe most Rust jobs simply fill easily internally and don’t get reach the public?

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.

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

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.

Looking at all the responses here, it is a quite successful troll post.

Automotive developers successfully switched from barely-knowing-C to barely-knowing-C++. Surely, they will be equally successful in switching to barely-knowing-Rust.

In der Praxis ist das Ziel solcher Überwachung doch dann Drogendealer und Umweltaktivisten.

AfD-Wähler haben offenbar eher Angst vor Kriminalität, Fremden, Islam, und Veränderung.

Ja, dieses Mal kann man noch eine Kleinpartei wählen. Nächstes Mal wären das dann verschenkte Stimmen. ☹️

Strategisch wäre Grüne aber nicht die Anderen, denke ich.

Große Frage ist ja, ob Ursula mit ECR oder mit Grüne/EFA wiedergewählt wird. Ihr Wahlkampf hat den Green Deal herunter priorisiert. Damit Klima auch nur genauso wichtig bleibt wie es bisher ist, braucht es also eine starke Grüne/EFA Fraktion.

Klimaliste und Letzte Generation sind nicht Teil der Fraktion soweit ich das sehe. Wäre also ein klareres Signal aber Realpolitisch mit weniger Auswirkung.

Alternative Mitglieder der Fraktion sind Piraten, ÖDP, und Volt.

Ich sehe da da gutgemeinte Ironie aber für Wahlwerbung ist das zu subtil.

Das dachte ich mir auch. Allerdings scheint der Originaltext noch nirgends verfügbar zu sein.

Hm, ich hab von der Polizei gehört, dass man nicht sofort löschen sollte. Man könnte das ja wiederum als Vernichtung von Beweismitteln oder Behinderung oder so auslegen.

Anwälte wiederum raten eher möglichst nicht mit der Polizei zu reden weil “alles was sie sagen kann gegen sie verwendet werden”.

Was ich noch schlimmer finde, soweit ich das von einer Info-Veranstaltung der Polizei verstanden habe: Der Besitz an sich ist ja schon strafbar, sprich diese “alarmierten Eltern”, die das Bild nur empfangen haben, könnten in Folge den “vorbestraft” Stempel bekommen.

Ein besserer Titel wäre wohl „Weiterer Fehler der GroKo korrigiert“.

Ich bekomme die Meldung:

Entschuldigung, das hätte nicht passieren dürfen… Die angeforderte Adresse ist leider nicht verfügbar.