Last week's AAAA event was a fantastic experience for Nick Clarke, Dennis Chun, and Patrick Kahney! Our team had the pleasure of connecting with some of our brilliant customers and witnessing firsthand some of the products our software is used in. #EmbeddedSoftware #Networking pic.twitter.com/kQ664UlcP0

Exciting news - we are sponsoring the upcoming HCSS event, where our very own Alex Senier will be delivering the presentation 'Bridging the Gap between Protocol Specification and Program Verification'. buff.ly/41VSBFL #HCSS #FormalProof

Exciting news - we are sponsoring the upcoming HCSS event, where our very own Alex Senier will be delivering the presentation 'Bridging the Gap between Protocol Specification and Program Verification'. buff.ly/41VSBFL buff.ly/41VSBFL #HCSS #FormalProof

📢EARLYBIRD REGISTRATION NOW OPEN📢 Join us on 17th October for a #discounted rate of £195pp, when you register before 30th June! Register Now: bit.ly/3Vl7Qpf #HISConf @AdaCoreCompany @CapgeminiUK pic.twitter.com/8hQGNrDDVG

Boost your Embedded Systems Programming skills with our online course! Get hands-on experience with the latest tools and technologies. Learn from industry experts and join a community of like-minded learners. Start your journey now. buff.ly/3mx43Iq #Ada #learnada pic.twitter.com/61uOXlFezB

Introducing adareducer: the new tool that uses Libadalang to automatically reduce large Ada code bases, manage compiler issues and missing references. Read the blog post here: buff.ly/3Lr63vC #Adareducer #Ada #GNAT

Are you looking to take your programming skills to the next level and advance your career? Then look no further! Our expert instructors will guide you every step of the way as you learn all about the Ada programming language. Find out more here: buff.ly/3GTmP3y #Ada pic.twitter.com/IISKgcvhyE

Video

Attention all aspiring Embedded Systems Programmers! Want to learn from the best in the field and get hands-on with the latest tools and technologies? Look no further! Our free Intro to Embedded Systems Programming course. Find out more here: buff.ly/3mx43Iq #Ada pic.twitter.com/tvqFVQvV64

We're thrilled to announce the release of our latest technical paper highlighting NVIDIA's use of RecordFlux and SPARK to Implement SPDM for Secure Computing. Read the paper here: adacore.com/papers/nvidia-… #SecureComputing #Recordflux #SPARK pic.twitter.com/kESa48mYsK

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