In our latest blog post, we introduce you to the VSS library that was designed to pro­vide advanced string and text pro­cess­ing capa­bil­i­ties. We explain its purpose, high­light­ing its use­ful­ness for devel­op­ers work­ing in this area. blog.adacore.com/introduction-t… pic.twitter.com/3qYvgETEL9

AdaCore were thrilled to sponsor our very own Thomas in the 4L Trophy in February, a yearly humanitarian rally across the Moroccan desert. The thousands of participants delivered 80 tons of school furniture after driving 6,000km. Congratulations to all! pic.twitter.com/vfvDSYVMTB

Don't miss this @AdaCoreCompany-supported webinar tomorrow! We will be taking a look at bug-free #software, including a discussion of @nvidia’s security #processor and software as well as the Muen separation kernel and Wookey Project. bit.ly/3XxLdyf

AdaCore is thrilled to join the Rust Foundation. And we look forward to bringing our extensive certification and safety standards experience to the Rust community. #safetystandards, #certification, #rustlang adacore.com/press/adacore-… pic.twitter.com/AOWxA9FyTQ

Announcing AdaCore's collaboration with Synopsys to make our GNAT Static Analysis Suite & Ada expertise available to @Synopsys' Coverity® customers. Read the full press release to find out more! r.adaco.re/lp #staticanalysis #Adaprogramming #softwaresecurity pic.twitter.com/rcCna3o966

Coroutines in Ada? Yes of course! See how to implement this paradigm using standard Ada features in our latest blog post. #ada #coroutines blog.adacore.com/coroutines-in-… #Ada #coroutines pic.twitter.com/bbTqQrU3hc

Attention embedded systems programmers! A new online Learn course has been published offering an Introduction To Embedded Systems Programming using Ada. Check out the Learn site for more info! bit.ly/3AS2B7D pic.twitter.com/Hzsa5wT1Zr

🚨 PSA for Ada & SPARK programmers: tis the season to be giving so we're joining the Advent of Code fun🧑‍🎄! Each time someone completes 1 of the challenges in the #Adaprogramming language, we'll donate $10 & if it's in SPARK $20, to @adaacademy up to $5k - blog.adacore.com/tis-the-season… pic.twitter.com/Cqu99jmW0q

It's day two of Aerospace Tech Week. Senior Software Engineer Ben Brosgol participated in a MOSA/SOSA/FACE discussion on Open Architectures for Military Aviation Platforms. aerospacetechweek.com/americas #aerotechweek, #aerospace #standards #FACE #softwaredevelopment pic.twitter.com/YgGReL8N4B

Today at the Open Source Experience 2022 event, @Yannick Moy gave a talk on "Having a live open-source industrial software around academic bricks". Learn more about the event here: opensource-experience.com/en/ #softwaredevelopment #opensource #OSXP2022 pic.twitter.com/u22AWXAHRK

We're in Atlanta today at Aerospace Tech Week. Our sales team is enjoying speaking with attendees and sharing how we can help them streamline their software certification. If you are on-site, please stop by our Booth C19 to say hello! #aerotechweek, #software. #certification pic.twitter.com/xtRI0PKIl3

Check out our latest case study and learn why @NVIDIA, a leader and innovator in the software security domain, has adopted the SPARK programming language for its most security-critical development projects. bit.ly/3WDJcjL #security, #NVIDIA, #SPARK, #FormalVerification pic.twitter.com/B4krI1frVd

One key element to accelerating development of mission critical systems is to enable a wider ecosystem of developers. Delighted to be announcing the first step of our work with @AdaCoreCompany and @FerrousSystems to support @rustlang; lynx.com/press-releases…

Going to Aerospace TechWeek Americas, Nov 8 & 9, Atlanta, GA? If so, be sure to stop by our Booth C19 to learn how AdaCore products can help you build and verify software systems that meet the highest levels of safety certification. #aerotechweek aerospacetechweek.com/americas/ pic.twitter.com/sTmXNfU0QK

Learn how Ada is helping the Laboratory for Atmospheric and Space Physics minimize risk, reduce cost, and assure reliable control of software used for spacecraft and instrument operations. Download the case study today! adacore.com/papers/raising… pic.twitter.com/PbBqQU7yWH

Check out our new blog, Adding Ada to Rust, and learn why building an Ada application on top of Rust, instead of C, can provide a more solid base for your next Ada project. #adalanguage, #rust blog.adacore.com/adding-ada-to-… pic.twitter.com/3jpLZl4H5x

We are delighted to announce that the winner of the 2022 SIGAda Robert Dewar Award for Outstanding Ada Community Contributions is our own Software Engineer Fabien Chouteau. #SIGAda, #Alire, #Adacommunity sigada.org pic.twitter.com/VnDK3iLOUh

Join us at Aerospace TechWeek on Nov 8 & 9 in Atlanta, GA. AdaCore will be exhibiting (Booth C19), and Dr. Benjamin Brosgol will be participating in the MOSA/SOSA/FACE track discussing Open Architectures for Military Aviation Platforms. Register today! bit.ly/3CR09y7 pic.twitter.com/4Dj1e4Xqzi

Check out our new customer success story and learn why ITEC, a major semiconductor manufacturing equipment and automation provider, chose Ada to develop its real-time critical control software. Download the case study today! adacore.com/papers/ada-at-… pic.twitter.com/1cWIRHm71t