#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
#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
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
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!" ;-)
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. #DWTS 11.9K posts
- 2. Robert 100K posts
- 3. Elaine 38.5K posts
- 4. #RHOSLC 2,538 posts
- 5. #WWENXT 7,903 posts
- 6. Whitney 12.1K posts
- 7. Carrie Ann N/A
- 8. #DWCS 1,764 posts
- 9. Young Republicans 38.1K posts
- 10. D’Angelo 380K posts
- 11. Jackson Chourio 1,691 posts
- 12. Politico 240K posts
- 13. Charlie 745K posts
- 14. #LHHATL N/A
- 15. Dennis Quaid 1,503 posts
- 16. Erika Kirk 96.2K posts
- 17. Teoscar 3,569 posts
- 18. Cornelia 1,717 posts
- 19. Josh Briggs N/A
- 20. Matt Cardona 1,303 posts