Judging for the 2020/21 #MakewithAda competition is now complete & winners have been announced! 📣 See all of the finalists & prize winners here r.adaco.re/kn, plus info about each winner is coming up throughout the day! #Adaprogramming #embeddedprogramming @Hacksterio

🥁 #MakewithAda 1st prize & finalist prize winner of $2600 goes to Tharindu Suraj Liyanage for their Autonomous #Crazyflie with ToF Sensors project! Congrats to Tharindu for this impressive #drone project written in Ada! #Adaprogramming @Hacksterio r.adaco.re/kd

🥁 #MakewithAda Student prize & finalist prize winner of $1600 goes to Ahmed Hamdy for their Ada Accelerometer Driver + Stable Nerve Game project using a #microbit! Congratulations! #Adaprogramming @Hacksterio @microbit_edu r.adaco.re/ke

🥁 One of the #MakewithAda finalist prizes of $600 goes to Manfred Hinter for their Distributed Systems Control project using an #Xbox360 controller user interface! Congratulations! #Adaprogramming #embeddedprogramming @Hacksterio r.adaco.re/kf

🥁 One of the #MakewithAda finalist prizes of $600 goes to Shahariar Hossain for their Gas Leakage Monitor & Ventilation System for Confined Space project complete with safety prompts! Congratulations! #Adaprogramming #embeddedprogramming @Hacksterio r.adaco.re/kg

🥁 One of the #MakewithAda finalist prizes of $600 goes to @coders_cafe for their City Pollution Monitoring Device project, a calibrated air & sound pollution monitoring & prediction system! Congratulations! #Adaprogramming #embeddedprogramming @Hacksterio r.adaco.re/ki

🥁 One of the #MakewithAda finalist prizes of $600 goes to @GuillenGap for their Digital Blood Pressure Monitor project, detecting blood pressure using Korotkoff sounds! Congratulations! #Adaprogramming #embeddedprogramming @Hacksterio r.adaco.re/kk

🥁 One of the #MakewithAda finalist prizes of $600 goes to Anil Kumar for their Automatic Photo Capturing Turntable with #MicroBit project to capture product images from all the directions! Congratulations! #Adaprogramming #embeddedprogramming @Hacksterio r.adaco.re/kl

The Online Public Ada Training will take place on May 3 - 7. Learn how to use the #Adaprogramming language for sequential and concurrent applications, through a combination of live lectures from experts and hands-on workshops! Visit adacore.com/events/public-… for more info!

Today at 2 pm ET, Ben Brosgol and other #FACE™️ members and #avionics software experts will get together to discuss porting safety-certified software and the Future Airborne Capability Environment (FACE™)Technical Standard. Register here: r.adaco.re/kp pic.twitter.com/lSvvsKqanx

Ada has a concurrency construct known as “entry families” that, in some cases, is just what we need to express a concise, clear solution. Check out our latest blog post to learn more about it: blog.adacore.com/on-the-benefit… #adaprogramming

Check out our latest blog post "From #Rust to SPARK: Formally Proven Bip-Buffers" a formally proven Ada/SPARK implementation. blog.adacore.com/from-rust-to-s… @DesChips #Adaprogramming

We are sponsors of the 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021) which will be held online from the 7th to the 10th of June, 2021. Register today: registration.ada-europe.org/index.html #Adaprogramming

The Ada 202x draft defines a new tasking profile named Jorvik, based directly on the standard Ravenscar profile. Jorvik relaxes certain restrictions in order to increase expressive power for real-time/embedded Ada and SPARK applications. blog.adacore.com/introduction-t… #Adaprogramming

The 13th @NASA Formal Methods Symposium took place this week & our very own @yannick_moy gave the talk "How the Analyzer can Help the User Help the Analyzer". Watch the replay here by skipping to 3:26:00 #formalmethods #Adaprogramming r.adaco.re/kr

We are happy to announce that the GNAT Community 2021 release is now available! Check out the release highlights and new features: blog.adacore.com/gnat-community… #Adaprogramming

ScaleUp360° OSS.5 Europe - the digital event on functional, operational, and systems safety of #autonomousdriving will take place on June 16-17. Quentin Ochem will present the keynote Self-Verified Software on June 16 at 2:30P.M CEST. Register today: r.adaco.re/ks pic.twitter.com/StKGVHjJqp