Filter
Exclude
Time range
-
Near
Important announcement about the #AdaProgramming and #SPARKprogramming languages and technologies for automotive software development.
We are thrilled to announce that AdaCore and @nvidia are working together to bring Ada and SPARK into the heart of safety-critical automotive software development. NVIDIA has adopted these languages to support the creation of software components that meet ISO 26262 functional safety standards. This collaboration brings together formally verifiable technologies and industry-leading hardware platforms to help ensure the safety, reliability, and long-term maintainability of next-generation vehicle systems. Read the Press Release: lnkd.in/e8FE8Pbr #ISO26262
2
5
55
Next slide read: "No, Ironclad is interesting *because* of Ada. You should try it." Operating Systems work in the #AdaProgramming and #SPARKprogramming languages. Now at #AdaDevRoom
1
4
39
Soon a new edition of #AdventOfAda starts, once more with extra motivation to use the #AdaProgramming or #SPARKprogramming languages!
🎉 This holiday season, join us for the third edition of Advent of Ada—a programming challenge where your coding skills make a difference! 🌟 You'll tackle daily coding exercises from December 1st to 25th, but with a twist that gives back. 👩‍💻 Use Ada or SPARK in your solutions, and AdaCore will donate to the Ada Developers Academy—$10 for each Ada solution and $20 for SPARK solutions proven to be free of runtime errors, up to $5,000. 👉 Learn more and join the challenge: blog.adacore.com/announcing-… #AdventOfAda
2
3
112
Join AdaCore’s #AdaProgramming & #SPARKprogramming competition!
Exciting News! Announcing the 4th Ada/SPARK Crate of the Year Award! 🏆 No registration needed—just publish your crate in the Alire index by end of 2024 and discuss it on ada-lang.io. 📆 Deadline: End of 2024 Prizes: Ada Crate of the Year: $2,000 SPARK Crate of the Year: $2,000 Embedded Crate of the Year: $2,000 Get involved! Learn more about Ada/SPARK and Alire, and join the community. blog.adacore.com/announcing-…
1
93
In-person and remote participants ready for 1st afternoon session of #AdaDevWS at #AEiC2024: #Ironclad, a formally verified OS kernel in SPARK/Ada. #AdaProgramming #SPARKprogramming
2
87
Next #AdaDevWS presentation: #HiRTOS written in SPARK Ada. #SPARKprogramming #AdaProgramming
1
3
83
"Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in the #SPARKprogramming and #AdaProgramming languages, comprised of 100% free software, free in the sense that it respects the user's freedom" (quoted from website).
2
69
About memory safety with the #AdaProgramming and #SPARKprogramming languages
Dive into our latest blog to explore the world of memory safety bugs. Find out how languages like Ada and SPARK are leading the charge in providing effective safeguards through features like strong typing and tasking models. Check it out here: buff.ly/3Qveqrk #Ada #SPARK
2
59
wolfSSL is happy to announce the availability of an Ada/SPARK binding that enables Ada applications to use post-quantum TLS 1.3 encryption through the wolfSSL embedded SSL/TLS library. blog.adacore.com/announcing-… @AdaCoreCompany
2
38
Replying to @Grady_Booch
I wouldn't call iFACTS "a tiny sliver of [a] complex software-intensive system", nor several of the other successful industrial projects developed with formal methods and the #SPARKprogramming language based on the #AdaProgramming language. royalsocietypublishing.org/d…
4
390
Get ready to use the #AdaProgramming or #SPARKprogramming languages for the #AdventOfCode challenges, and indirectly support the @AdaAcademy! adventofcode.com/

🚨 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-sea…
1
Our very own @yannick_moy talks pushing the boundary of automating program proof to address the challenge of creating a verifying compiler. #HISConf22 @HIS_Conf #SPARKprogramming
1
11
"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/conference202…, registration.ada-europe.org

5
6
#denovojobs #denovo Vacancy for-Apache Spark-Lead Location-Pune Experience-5-8 YEARS External ID-1790638 Send resume – career@denovosoftsol.com #BigData #ApacheSpark #apachespark #bigdata #python #datascience #scala #hadoop #bigdataanalytics #machinelearning #sparkprogramming
5
1
Vacancy for-Apache Spark-Lead Location-Bengaluru Experience-5-8 YEARS External ID-1629147 Send resume – career@denovosoftsol.com #BigData #ApacheSpark #apachespark #bigdata #python #datascience #scala #hadoop #bigdataanalytics #machinelearning #sparkprogramming #hadoop #pyspark
2
2
The (virtual) #AdaProgramming and #SPARKProgramming language meeting room is now available for all #FOSDEM2021 participants interested in or intrigued by those languages and technology, to meet like-minded people. matrix.to/#/!pisrXJLdwjSxnUp…

1
2
Our very own Tonu Naks presents "Using SPARK to Ensure System to Software Integrity" at ERTS 2020. #SPARKprogramming #Softwareintegrity #Cybersecurity #safe #reliable #secure #software
4