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
#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-…
Our latest blog post goes into the details of both measuring and improving the runtime performance of SPARKNaCl on a real “bare metal” embedded target, and comparing results with those for the original “TweetNaCl” C implementation.
blog.adacore.com/performance-an…
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/kppic.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