· @AdaPlanet
53 followers · 2319 posts · Server botsin.spaceAnnouncing 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 #software https://twitter.com/AdaCoreCompany/status/1602966407142162433 #ada #programming
#staticanalysis #AdaProgramming #software #ada #programming
· @AdaPlanet
55 followers · 2363 posts · Server botsin.space
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 #software https://twitter.com/AdaCoreCompany/status/1602966407142162433 #ada #programming
#staticanalysis #AdaProgramming #software #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.space
🚨 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 @ada https://twitter.com/AdaCoreCompany/status/1595730753802932224 #ada #programming
#AdaProgramming #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.space🚨 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 @ada https://twitter.com/AdaCoreCompany/status/1595730753802932224 #ada #programming
#AdaProgramming #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.spaceAnother industrial user of the #AdaProgramming language.
adacore.com/papers/ada-at-… https://twitter.com/DirkCraeynest/status/1578262460020072448 #ada #programming
#AdaProgramming #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.spaceAnother success story for the #AdaProgramming language, now in the domain of industrial real-time management and production systems. twitter.com/AdaCoreCompany… https://twitter.com/DirkCraeynest/status/1567529170778947589 #ada #programming
#AdaProgramming #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.space@embedsys @adaprogrammers The #AdaProgramming language not only shines in low-level applications (cf section 1.2), but also in many other domains such as control systems, and large and/or complex and/or long-lived systems. Ada truly shines as a general-pu https://twitter.com/DirkCraeynest/status/1561400771349909504 #ada #programming
#AdaProgramming #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.spaceAccess 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 #softwar https://twitter.com/AdaCoreCompany/status/1559544636317880328 #ada #programming
#AdaProgramming #formalmethods #softwar #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.spaceAccess 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 #softwar https://twitter.com/AdaCoreCompany/status/1559544636317880328 #ada #programming
#AdaProgramming #formalmethods #softwar #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.spaceCode in #AdaProgramming language for #climate modeling twitter.com/WHUT/status/15… https://twitter.com/DirkCraeynest/status/1550745195070820353 #ada #programming
#AdaProgramming #climate #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.space
View from the #AdaProgramming tutorial room at the #AdaEurope 2022 conference #AEiC2022 pic.twitter.com/s0793VfYZY https://twitter.com/DirkCraeynest/status/1536635850204880896 #ada #programming
#AdaProgramming #AdaEurope #AEiC2022 #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.space
"The ALiRe Package Manager": half-day #tutorial on tool for #AdaProgramming and #SPARKProgramming #OpenSource ecosystem, by @DesChips and @mosteobotic on Tue 14 June in #Ghent, #Belgium, ada-europe.org/conference2022…, registration.ada-europe.org https://twitter.com/DirkCraeynest/status/1534971028518096904 #ada #programming
#tutorial #AdaProgramming #SPARKProgramming #opensource #ghent #belgium #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.space
"Moving up to #Ada2022": half-day #tutorial on new #AdaProgramming standard by @sttaft at #AdaEurope 2022 conference #AEiC2022 on Tue 14 June in #Ghent, #Belgium, ada-europe.org/conference2022… https://twitter.com/DirkCraeynest/status/1534189322081034240 #ada #programming
#Ada2022 #tutorial #AdaProgramming #AdaEurope #AEiC2022 #ghent #belgium #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.space
New edition of THE book on the #AdaProgramming language. #Ada2022 twitter.com/CUP_SciEng/sta… https://twitter.com/DirkCraeynest/status/1527904050943078400 #ada #programming
#AdaProgramming #Ada2022 #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.space#AdaEurope Conference on Reliable Software Technologies #AEiC2022, #Ghent, #Belgium, June 14-17 2022, #AdaProgramming, #CfC 1st deadline 16 January, ada-europe.org/conference2022 pic.twitter.com/pVO1RvaRko https://twitter.com/DirkCraeynest/status/1477692206974738437 #ada #programming
#AdaEurope #AEiC2022 #ghent #belgium #AdaProgramming #cfc #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.spaceNew release of Aflex and Ayacc, the scanner and parser generator for #Adaprogramming language. Small improvements and short description on how to use these tools. Enjoy!
blog.vacs.fr/vacs/blogs/pos… https://twitter.com/StephaneCarrez/status/1472568620849016839 #ada #programming
#AdaProgramming #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.space#AdaProgramming Developer Room at #online #FOSDEM Sun 6 Feb 2022. Submit proposals by Sun 26 Dec 2021. cs.kuleuven.be/~dirk/ada-belg… #AdaFOSDEM #AdaBelgium #AdaEurope #FOSDEM2022 https://twitter.com/DirkCraeynest/status/1467450806278533122 #ada #programming
#AdaProgramming #online #fosdem #AdaFOSDEM #AdaBelgium #AdaEurope #fosdem2022 #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.spaceFor 2 years now, #formalmethods & security expert Rod Chapman has been developing & optimizing #Crypto code in SPARK. Find out more about the project in our latest blog! #cryptography #Adaprogramming blog.adacore.com/sparknacl-two-… https://twitter.com/AdaCoreCompany/status/1471090448160673801 #ada #programming
#formalmethods #crypto #cryptography #AdaProgramming #ada #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.spaceCheck out our drawing robot programmed in #Ada and #Ravenscar, running on the new radiation-hardened microcontroller from @MicrochipTech (SAMRH71)! Come and visit us at #SpaceTechExpoEU - booth G58 to see it live.
#Adaprogramming #microchip #spacetech pic https://twitter.com/AdaCoreCompany/status/1460890072656617474 #ada #programming
#ada #Ravenscar #SpaceTechExpoEU #AdaProgramming #microchip #spacetech #programming
· @AdaPlanet
53 followers · 2261 posts · Server botsin.spaceYou 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 #so https://twitter.com/AdaCoreCompany/status/1459178950077341703 #ada #programming
#developers #AdaProgramming #so #ada #programming