4 Jun 2025
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
2 Feb 2025
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
28 Nov 2024
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
10 Oct 2024
Interesting #AdaProgramming and #SPARKprogramming language and technology presentation at the upcoming #HISC2024 in the UK. his-conference.co.uk/session…
1
2
83
19 Jun 2024
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
14 Jun 2024
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
14 Jun 2024
1
3
83
4 Jan 2024
"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
16 Nov 2023
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
1 Nov 2023
31 Oct 2023
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
7 Sep 2023
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
24 Nov 2022
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
9 Jun 2022
"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
11 Nov 2021
#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
15 Sep 2021
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
6 Feb 2021
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
Check out our latest blog 'From Ada to Platinum SPARK: A Case Study for Reusable Bounded Stacks' for a deep dive into migrating to SPARK! blog.adacore.com/from-ada-to… #Adaprogramming #SPARKprogramming #FormalMethods
2
4
SPARK version of the #TweetNaCI cryptographic library proven with the GNAT Community 2019 edition - blog.adacore.com/proving-con… #Adaprogramming #SPARKprogramming #cybersecurity #cryptography #formalverification
4
12
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