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.

I have seen something similar on Twitter a while ago. That one shut down, so i decided to build my own.

Probably a little more fine tuning on my news bot. You can see it in action here.

7

That is Jason Cordova wrote at least.

I hope Lemmy will become this. Here is my strategy:

1. Create a Lemmy community (for example !automotive@discuss.tchncs.de).
2. Submit something every few days. Not much quality control. Quantity over quality for now.
3. Hope for a community to form.

Go Lemmy Go! 🥳

Electric Bastionland is weird fantasy in an age where they just invented electricity. Very simple rules.

By mindset I assume stuff like “don’t be too attached to your character because death is likely” and “GM is impartial referee and must never fudge a roll”.

What do you mean by “OSR”? Not just asking what the acronym means, but what does OSR mean to you? E.g. only D&D versions older than 20 years? What about Traveller (SciFi, not D&D compatible)?

Ironsworn: Delve free today. Ironsworn itself is practically free anyways. This is the dungeon crawling extension.

Impossible Identity offers some free copies today. I don’t know the game though.

Hello BrionGloid too!

I would hope that „patient“ games are a relaxed community, so i wish many peaceful discussions to us and a boring moderation job for our new mods.

Dungeon World hacks like Chasing Adventure.

I love the PbtA-style of collaborative worldbuilding where players can be more creative.