In our latest blog post, we introduce you to the VSS library that was designed to provide advanced string and text processing capabilities. We explain its purpose, highlighting its usefulness for developers working 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
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/3AS2B7Dpic.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.orgpic.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/3CR09y7pic.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