#adaprogramming search results
Benchmarking the Generic Image Decoder (GID) gautiersblog.blogspot.com/2024/03/benchm… #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
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.…
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
@Adaplanet1 @adaprogrammers 1/ I implemented all MicroChip EEPROMs available in DIP—8 packaging. The #Alire community accepted my contribution using the #AdaProgramming language. If you have an #IoT project using the #RP2040 chip and want to integrate an #EEPROM using #I2C, then
The #AdaProgramming language surely was, and is, "way ahead of its time". But note that, even though its origin is quite some time ago, the language is not "old" as it keeps evolving over the years. #Ada83 #Ada95 #Ada2005 #Ada2012 #Ada2022
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!" ;-)
#AdaBelgium members and friends meet on June 1 in #Leuven for our traditional #AdaProgramming Spring Event! cs.kuleuven.be/~dirk/ada-belg…
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
That's "Programming in Ada" by John Barnes! I have a first edition of that book (published 1982), as well as many of the later editions, up to the most recent one: "Programming in Ada 2022", published last year. cambridge.org/core/books/pro… #AdaProgramming
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
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.…
The #AdaProgramming language surely was, and is, "way ahead of its time". But note that, even though its origin is quite some time ago, the language is not "old" as it keeps evolving over the years. #Ada83 #Ada95 #Ada2005 #Ada2012 #Ada2022
Namanya juga Banser Ban Serep dipake saat darurat dan Kantong kempes...#AdaWong #adaprogramming dari Atas.
@Adaplanet1 @adaprogrammers 1/ I implemented all MicroChip EEPROMs available in DIP—8 packaging. The #Alire community accepted my contribution using the #AdaProgramming language. If you have an #IoT project using the #RP2040 chip and want to integrate an #EEPROM using #I2C, then
That's "Programming in Ada" by John Barnes! I have a first edition of that book (published 1982), as well as many of the later editions, up to the most recent one: "Programming in Ada 2022", published last year. cambridge.org/core/books/pro… #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
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
Benchmarking the Generic Image Decoder (GID) gautiersblog.blogspot.com/2024/03/benchm… #AdaProgramming
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 2 gautiersblog.blogspot.com/2025/07/writin… #AdaProgramming
Introduction to Ada - freecomputerbooks.com/Introduction-t… Look for "Read and Download Links" section to download. #programming #ada #AdaProgramming
#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
"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
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
#AdaBelgium members and friends meet on June 1 in #Leuven for our traditional #AdaProgramming Spring Event! cs.kuleuven.be/~dirk/ada-belg…
The #AdaProgramming language and technology: high quality and long track record of successful projects, deserves more hype for its support to develop reliable software.
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!" ;-)
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…
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…
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
Something went wrong.
Something went wrong.
United States Trends
- 1. #GivingTuesday 15K posts
- 2. The BIGGЕST 426K posts
- 3. #JUPITER 233K posts
- 4. #ALLOCATION 235K posts
- 5. #csm222 N/A
- 6. Lucario 14.5K posts
- 7. Costco 38.3K posts
- 8. #NXXT_NEWS N/A
- 9. Good Tuesday 39.4K posts
- 10. Susan Dell 2,477 posts
- 11. NextNRG Inc 1,263 posts
- 12. Michael and Susan 1,715 posts
- 13. Trump Accounts 7,876 posts
- 14. Hoss Cartwright N/A
- 15. Taco Tuesday 13.5K posts
- 16. King Von 1,110 posts
- 17. Dart 43.1K posts
- 18. Isack 15.3K posts
- 19. Project M 22.3K posts
- 20. Kanata 29.6K posts