🚨 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

Don't miss the second edition of our programming competition: the 2022 Ada/SPARK Crate Of The Year Award! Submit a software project on GitHub and you might be one of the lucky winners 🎁 All the details on blog.adacore.com/announcing-the… #programminglanguages #softwaredevelopment

Access the GNAT Academic Program workshop videos to learn about Ada and SPARK teaching methods and research projects! If you’re a computer science professor, these videos are for you! youtube.com/playlist?list=… #Adaprogramming #formalmethods #softwaredevelopment #computerscience

Interested in video game development with Ada? Check out Part 1 of the Ada GameDev blog post series by @DesChips! blog.adacore.com/ada-gamedev-pa… #adaprogramming #gamedev #gamedevelopment

You can still register for the Ada/SPARK Crate Of The Year Award! We’re calling on #developers across the globe to grow the ecosystem of Alire Ada and SPARK software and are offering $6K in total prizes. github.com/AdaCore/Ada-SP… #Adaprogramming #softwaredevelopment #programming

🥁 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

🥁 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 @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 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 Manfred Hinter for their Distributed Systems Control project using an #Xbox360 controller user interface! Congratulations! #Adaprogramming #embeddedprogramming @Hacksterio r.adaco.re/kf

🥁 #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

🥁 #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

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

Our latest blog post goes into the details of both mea­sur­ing and improv­ing the run­time per­for­mance of SPARK­Na­Cl on a real ​“bare met­al” embed­ded tar­get, and com­par­ing results with those for the orig­i­nal ​“Tweet­Na­Cl” C implementation. blog.adacore.com/performance-an…

#Fuzzing is proven to be a suitable mechanism for finding code vulnerabilities. Alongside contributing our GCC plugin to the latest #AFLplusplus, find out how we're working on industrial grade fuzz testing solutions for #Adaprogramming. @hackerschoice blog.adacore.com/advanced-fuzz-…

Attention Ada Programmers! @thalesgroup France is looking for a #softwarearchitect in Rungis, France. Check out the full job post: jobs.thalesgroup.com/job/rungis/arc… #Adaprogramming #jobs