Top Tweets for #SparkProgramming
Magazines pay attention to use of #AdaProgramming and #SPARKprogramming languages and technology in #automotive sector.
High-integrity software tooling experts, @AdaCoreCompany, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market. Together with their partner @nvidia, they are set to publish an off-the-shelf reference process, allowing others to follow their lead.
https://t.co/slFWCtneSM
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: https://t.co/hjx8VLkcLU
#ISO26262
@ComputerPapers I didn’t see this mentioned anywhere else yet. Would appreciate comments/review by “SPARK knowledgeable” people. #SPARKprogramming #AdaProgramming
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
Spark Tutorial - Learn Spark Programming - DataFlair #Apache #Spark #SparkProgramming #SparkTutorial https://t.co/UO7HWkbKrW
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: https://t.co/LYvWvC5TX6
#AdventOfAda
Interesting #AdaProgramming and #SPARKprogramming language and technology presentation at the upcoming #HISC2024 in the UK. https://t.co/oONPotZkPJ
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 https://t.co/oCt020lXLO.
📆 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.
https://t.co/fn7nOccmB4
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
@Alvamiga @JMichaelsonUT @laughchem @sly_sparkane @yy_desa @TBRagsdale1 @theGuffa @birp234 @4884_888 @earthisaglobe @DreadPirateDavy @J5_Project @ItsNotFlat603 @Lokyagain @RondureGyre @Northmans77 @wiguy45 @FooleryT @ken_caudle @ReillyOToole1 @IsTrueOfItself @SolarElectrics @CliffHop @surfpurzel @Notaspud_ @RealAceFox1 @umfpt @ianfmusgrave @KanChristo @GazBob2024 @Freak0nIine @hombreingles @lastr3sponder @RedsRhetoric @forthemasses @badibulgator @GordonSBrooks @Mctoon27 @Einstensteinium @P_Eichler @SSUM369 @IVisath @Grizzified2 @EbenezerPrime @FlatMack @trin357 @NotebookSlys @BuzzedEdwin @Lennert_vd_Boom @akrey You are so wrong! See for example this recent CACM article: https://t.co/Va3vALofx6
The #SPARKprogramming language is based on the #AdaProgramming language, and has an impressive list of successful real-world projects. The highest quality projects used Z for formal specs...
Exciting News! 🌟 The 2023 Crate of the Year Awards results are in, celebrating innovative contributions to the Alire ecosystem.
Find out about the winners and their projects here: https://t.co/C84OrXOpYh
"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).
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.
https://t.co/Y3GJ25Ohbd
@AdaCoreCompany
@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. https://t.co/5sM4vsJ74Q
@AdaCoreCompany Recommended for all members of the GNAT Academic Program. AdaCore announced elsewhere that recordings will be made available for all others interested. #AdaProgramming #SPARKProgramming
Get ready to use the #AdaProgramming or #SPARKprogramming languages for the #AdventOfCode challenges, and indirectly support the @AdaAcademy! https://t.co/hJeEe6q131
🚨 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 - https://t.co/TipkwIULBu
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 https://t.co/k3h27ke1xW #ada #programming
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
Last Seen Hashtags on Sotwe
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.8M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.2M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.5M followers
KATY PERRY
@katyperry
86.7M followers
Taylor Swift
@taylorswift13
80.5M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.3M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.4M followers
Bill Gates
@billgates
63.4M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
61M followers
X
@x
60.9M followers
CNN Breaking News
@cnnbrk
59.9M followers