❌ About FreshRSS

Reading view

There are new articles available, click to refresh the page.

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

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

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

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

Boost your Embedded Systems Programming skills with our online course! Get hands-on experience with the latest tools and technologies. Learn from indu...

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

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

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

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

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

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

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

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

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

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

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

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

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

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
❌