Dirk Craeynest
@DirkCraeynest
Followers
122
Following
2K
Media
153
Statuses
1K
Happy birthday, Lady Ada! 2025/12/10: birthday of Lady Ada Lovelace, born in 1815, 210 years ago, namesake of the #AdaProgramming language. Happy Programmers' Day! https://t.co/3abbKmD7FY
https://t.co/mXfuaJ0zO6
0
0
1
Hear, hear! #AdaProgramming
If Ada Lovelace could see the programming language named after her today, she’d probably be amazed. 🤓 Over a 100 years after her early ideas about computers, the Ada language still reflects what she stood for, clear thinking, planning ahead, and creativity in problem-solving.
0
1
2
#AdaEurope Conf. on Reliable Software Technologies #AEiC2026, 9-12 Jun, #Västerås #Sweden, deadline 16 Jan journal track & 27 Feb all other, https://t.co/vEhW7a5wud,
#AdaProgramming Submit early: acceptance decisions for journal track, tutorials, workshops made on rolling basis!
1
0
0
#AdaEurope Conference on Reliable Software Technologies #AEiC2026, #Västerås, #Sweden, June 9-12 2025, #CfC deadlines 16 Jan (journal-first and regular track) & 27 Feb (all other), #AdaProgramming, more info at https://t.co/vEhW7a5wud
0
0
1
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
0
1
1
Slides and video recordings of all technical presentations will be uploaded to the #AdaDevWS webpage at
0
0
1
Members of the #AdaProgramming language community met yesterday, in a "tropical" Paris and online, at the 2nd Ada Developers Workshop #AdaDevWS held at the 29th #AdaEurope International Conference on Reliable Software Technologies #AEiC2025. "And there was much rejoicing!" ;-)
1
0
6
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
0
2
5
Avez-vous pensé à vous enregistrer pour la conférence internationale sur les les technologies de logiciels sûrs ? Dommage vous avez raté le "early registration". La conférence aura lieu du 10 au 13 juin à Paris ( https://t.co/H0m3Keelx5 ) #AEiC2025 #AdaEurope #AdaProgramming
0
1
0
Allez allez, il ne vous reste plus beaucoup de temps pour profiter des tarifs du "early registration" pour #AEiC2025
Register now for #AEiC2025, #AdaEurope Conf. on Reliable Software Technologies #AEiC2025, 10-13 Jun, #Paris, #France, early #registration til May 27, #tutorials Tue, packed program Wed-Thu, #workshops Fri, enjoy social events/sightseeing! https://t.co/1AnBladNVk
#AdaProgramming
0
1
2
Register now for #AEiC2025, #AdaEurope Conf. on Reliable Software Technologies #AEiC2025, 10-13 Jun, #Paris, #France, early #registration til May 27, #tutorials Tue, packed program Wed-Thu, #workshops Fri, enjoy social events/sightseeing! https://t.co/1AnBladNVk
#AdaProgramming
0
1
4
#AdaBelgium members and friends meet on June 1 in #Leuven for our traditional #AdaProgramming Spring Event! https://t.co/QYnhkJK7rZ
4
1
3
Au cas où vous seriez passé à côté, c'est à Paris dans un mois 😊
#AdaEurope Conf. on Reliable Software Technologies #AEiC2025, 10-13 Jun, #Paris, #France, early #registration til May 27, experience packed program in exciting city, benefit from #tutorials (Tue), join #workshop (Fri), enjoy social events! https://t.co/PAlcp54uw0
#AdaProgramming
0
1
3
#AdaEurope Conf. on Reliable Software Technologies #AEiC2025, 10-13 Jun, #Paris, #France, early #registration til May 27, experience packed program in exciting city, benefit from #tutorials (Tue), join #workshop (Fri), enjoy social events! https://t.co/PAlcp54uw0
#AdaProgramming
0
0
3
Hear, hear! Safer software with the #AdaProgramming language. Read the English translation of a recent Ada-Germany article.
🔐 Safer software starts with safer languages. In safety-critical systems, there's no room for ambiguity. Discover how Ada’s strong typing, readability, and reliability make it a powerful ally in reducing software-related risk. Explore how Ada helps developers write robust,
0
1
1
#AdaEurope Conf. on Reliable Software Technologies #AEiC2025, 10-13 Jun, #Paris, #France, #CfC extended deadline 7 Mar (industrial & work-in-progress track papers, tutorial & workshop proposals), https://t.co/dvmlCfr5wN,
#AdaProgramming
0
0
1
The referenced blog "How Does Ada's Memory Safety Compare Against Rust?" is interesting reading (also) for users of the #AdaProgramming language...
0
0
2
https://t.co/oswDsYplKm Quote: "Ada's real strengths lie elsewhere. Its strong typing, intuitive low-level programming semantics, and static analysis capability are still unmatched by other systems languages" & "has been battle-tested by decades of use in safety-critical systems"
2
0
3