sh.itjust.works

27,660 readers
1,076 users here now

Useful Links

Rules:

Be respectful. Everyone should feel welcome here.
No bigotry - including racism, sexism, ableism, homophobia, transphobia, or xenophobia.
No Ads / Spamming.
No pornography.

Règles :

Soyez respectueux. Tout le monde doit se sentir le bienvenu ici.
Pas de bigoterie - y compris le racisme, le sexisme, le capacitisme, l'homophobie, la transphobie ou la xénophobie.
Pas de publicités / Pas de spam.
Pas de pornographie.

Fediseer

Other UI options (more to come)

https://oldsh.itjust.works/

Monitoring Services
lemmy-meter.info

founded 1 year ago

ADMINS

Ada and SPARK Propel Aerospace Innovation (www.adacore.com)

submitted 9 months ago by [email protected] to c/[email protected]

1 comments fedilink

cross-post from: https://programming.dev/post/6503260

Latitude, a French aerospace startup, selected Ada and SPARK for their Zephyr light launcher project, recognizing the languages' safety, reliability, and efficiency. The entire software, from device drivers to microcontroller logic, is written in Ada, showcasing its trust in the language's capabilities. The team leverages AdaCore's GNAT Pro and SPARK tools for robust development, positioning them for success in the competitive New Space industry.

PS. They are hiring...

Ada and SPARK Propel Aerospace Innovation (www.adacore.com)

submitted 9 months ago by [email protected] to c/[email protected]

2 comments fedilink

Latitude, a French aerospace startup, selected Ada and SPARK for their Zephyr light launcher project, recognizing the languages' safety, reliability, and efficiency. The entire software, from device drivers to microcontroller logic, is written in Ada, showcasing its trust in the language's capabilities. The team leverages AdaCore's GNAT Pro and SPARK tools for robust development, positioning them for success in the competitive New Space industry.

PS. They are hiring...