#adaprogramming zoekresultaten
Benchmarking the Generic Image Decoder (GID) gautiersblog.blogspot.com/2024/03/benchm… #AdaProgramming
Introduction to Ada - freecomputerbooks.com/Introduction-t… Look for "Read and Download Links" section to download. #programming #ada #AdaProgramming
Ada Lovelace, pionera en programación, nos muestra cómo las mujeres han sido líderes en la tecnología desde el principio. 💻👩💻 ¡Rompe barreras y programa tu propio camino! #AdaProgramming #TechPioneer
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 2 gautiersblog.blogspot.com/2025/07/writin… #AdaProgramming
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 3: entropy (with AI/Machine Learning!) gautiersblog.blogspot.com/2025/09/writin… #AdaProgramming
Version 1.6 of Aflex, the lexical analyzer, and version 1.4 of Ayacc, the Ada parser generator provide numerous improvements. See how to enable the reentrant mode for your scanner&parser #adaprogramming blog.vacs.fr/vacs/blogs/pos…
Need to run some super important, safety-critical or Department of Defense applications on your Sega #Dreamcast?! No problem! Now you can cross-compile your Ada code for your favorite little white box! github.com/dkm/ada-dreamc… #adaprogramming #retrocomputing
Johnz Tip: Leverage the power of AI in Ada by utilizing its strong typing system to ensure data integrity and avoid errors. #AI #AdaProgramming
Johnz Programming with AI Tip:Leverage the power of AI in Ada by utilizing its strong typing system and modular design to easily implement machine learning algorithms for efficient and reliable results. #AdaProgramming #AIIntegration
Dive into Ada development with Renode! Our latest blog guides you through simulating Ada STM32F429DISCO blinky firmware using Renode. Perfect for developers looking to start with Ada on virtual hardware. Learn more: blog.adacore.com/getting-starte… #AdaProgramming #Renode
blog.adacore.com
Getting Started with Renode: Simulating an Ada STM32F429disco Blinky…
by Olivier Henley – Sep 06, 2024. I recently watched the talks from the 28th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024), which was held in Barcelona last June....
Writing any software I like be it embedded or super scaling I Ada #AdaProgramming and rewriting some applications in this language
Ada vs Rust showdown! 🥊 Someone solved Advent of Code in both languages to compare. Spoiler: safety features aren't the only difference. Which would you choose for mission-critical code? #RustLang #AdaProgramming #CodingChallenge
I respectfully disagree. Have a look at #AdaProgramming language. Used in embedded systems and scales up to any applications you want
GetAda offers a simple way to install Ada's toolchain Alire on Windows, Mac, Linux, and BSD platforms. #AdaProgramming #Alire getada.dev
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 3: entropy (with AI/Machine Learning!) gautiersblog.blogspot.com/2025/09/writin… #AdaProgramming
Ada vs Rust showdown! 🥊 Someone solved Advent of Code in both languages to compare. Spoiler: safety features aren't the only difference. Which would you choose for mission-critical code? #RustLang #AdaProgramming #CodingChallenge
"Ada [is] making a comeback in critical AI applications" Do you know more than I do? While the linked article describes many genuine benefits of using the #AdaProgramming language, it would be most useful to also show examples of some of those "critical AI applications" [SIC].
Ada: The reliable choice for AI! Born from a need for safety, it's making a comeback in critical AI applications. Discover why! #AdaProgramming #AISafety best-ai-tools.org/ai-news/ada-th…
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 2 gautiersblog.blogspot.com/2025/07/writin… #AdaProgramming
I'd like to, but Denver is a bit far from Europe for a seminar, even one about #AdaProgramming ... ;-)
Small correction: the #AdaProgramming language is defined by an ISO standard, strictly speaking a joint ISO/IEC standard. #Ada2022
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…
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!" ;-)
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…
Don't delay, register today! #AEiC2025 #AdaEurope #AdaProgramming
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 (registration.ada-europe.org/index.html ) #AEiC2025 #AdaEurope #AdaProgramming
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 (registration.ada-europe.org/index.html ) #AEiC2025 #AdaEurope #AdaProgramming
#AdaBelgium members and friends meet on June 1 in #Leuven for our traditional #AdaProgramming Spring Event! cs.kuleuven.be/~dirk/ada-belg…
Moreover, #AdaCore, the major vendor of compilers and tools for the #AdaProgramming language, develops and distributes its products as #OpenSource software, such as for example #GNAT, their Ada compiler that is fully integrated in #GCC. 2/2
The #AdaProgramming language and technology surely is appreciated by many in the Open Source Software community. For example, #FOSDEM, the main Open Source annual event in Europe, already featured 12 full-day s.c. "Developer Rooms" where lots of Ada projects were presented. 1/2
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,…
#AEiC2025 #AdaDevWS #AdaProgramming - Ada Developers Workshop - CfP reminder: forum.ada-lang.io/t/reminder-ada…
Hear, hear! I've seen the many benefits of the #AdaProgramming language and technology during decades of industrial software development.
Benchmarking the Generic Image Decoder (GID) gautiersblog.blogspot.com/2024/03/benchm… #AdaProgramming
Introduction to Ada - freecomputerbooks.com/Introduction-t… Look for "Read and Download Links" section to download. #programming #ada #AdaProgramming
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 2 gautiersblog.blogspot.com/2025/07/writin… #AdaProgramming
#AdaBelgium members and friends meet on June 1 in #Leuven for our traditional #AdaProgramming Spring Event! cs.kuleuven.be/~dirk/ada-belg…
"Programming is child's play with AdaBots", last talk in this year's #AdaDevRoom at #FOSDEM2025. More #AdaProgramming talks at the #AdaEurope conference mid June in Paris! #AEiC2025
#AdaProgramming Developer Room at #FOSDEM Sun 2 Feb 2025. Submit proposals by Sat 30 Nov 2024. cs.kuleuven.be/~dirk/ada-belg… #AdaFOSDEM #AdaBelgium #AdaEurope #FOSDEM2025
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
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!" ;-)
Need to run some super important, safety-critical or Department of Defense applications on your Sega #Dreamcast?! No problem! Now you can cross-compile your Ada code for your favorite little white box! github.com/dkm/ada-dreamc… #adaprogramming #retrocomputing
The #AdaProgramming language and technology: high quality and long track record of successful projects, deserves more hype for its support to develop reliable software.
Quote: "Why couldn't they just teach CS grads Ada? It seems like a better and more secure language." It is, and the #AdaProgramming language could of course be thaught to CS grads (and many others). Been there, done that.
I didn't know you were a programmer. Do you agree with the move to C from Ada, from the Raptor program to the F-35? At least that's a popular narrative. Why couldn't they just teach CS grads Ada? It seems like a better and more secure language. And a whole industry formed on a…
Program announced for 12th #AdaDevRoom at #FOSDEM Sun 2 Feb 2025. 11 #AdaProgramming-related talks by 11 authors from 7 countries! In cooperation with #AdaBelgium and #AdaEurope. #AdaFOSDEM #FOSDEM2025 fosdem.org/2025/schedule/… cs.kuleuven.be/~dirk/ada-belg…
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 3: entropy (with AI/Machine Learning!) gautiersblog.blogspot.com/2025/09/writin… #AdaProgramming
Something went wrong.
Something went wrong.
United States Trends
- 1. Happy Birthday Charlie 36.3K posts
- 2. Good Tuesday 27.4K posts
- 3. #tuesdayvibe 2,840 posts
- 4. #Worlds2025 39.5K posts
- 5. #PutThatInYourPipe N/A
- 6. #T1WIN 17.5K posts
- 7. Pentagon 71.6K posts
- 8. Janet Mills 1,274 posts
- 9. Dissidia 5,503 posts
- 10. Romans 10.8K posts
- 11. #Wordle1578 N/A
- 12. Martin Sheen 6,090 posts
- 13. Blinken 24.9K posts
- 14. JPMorgan 12.1K posts
- 15. Medal of Freedom 48.5K posts
- 16. Gaia 9,584 posts
- 17. No American 64.2K posts
- 18. Time Magazine 15.9K posts
- 19. Alec Baldwin 7,427 posts
- 20. Jake Moody 14.9K posts