9
Ada and SPARK Propel Aerospace Innovation (www.adacore.com)
submitted 11 months ago by ada@programming.dev to c/programming@programming.dev
1 comments fedilink hide all child comments

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

top 1 comments
sorted by: hot top controversial new old
[-] misk@sopuli.xyz 2 points 11 months ago

TIL Ada Spark is a whole different thing from Apache Spark and I can't even complain about Ada one because it predates Apache one by 15 years.

this post was submitted on 28 Nov 2023
9 points (90.9% liked)

Programming

17314 readers
285 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev

founded 1 year ago
MODERATORS
snowe@programming.dev
Ategon@programming.dev
MaungaHikoi@lemmy.nz