#adaprogramming kết quả tìm kiếm
En tant que promoteur d'un langage nommé en son honneur, comment ne pas rappeler l'anniversaire de cette grande dame #AdaProgramming #AdaLanguage
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! en.wikipedia.org/wiki/Ada_Lovel… en.wikipedia.org/wiki/File:Ada_…
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! en.wikipedia.org/wiki/Ada_Lovel… en.wikipedia.org/wiki/File:Ada_…
It still is a very good language... #AdaProgramming #Ada2022
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…
best-ai-tools.org
Ada: The AI Programming Language Revolutionizing Software Development | Best AI Tools
Ada, a language known for its reliability and safety, is emerging as a powerful contender in AI development, especially for safety-critical applications. ...
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…
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…
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! en.wikipedia.org/wiki/Ada_Lovel… en.wikipedia.org/wiki/File:Ada_…
#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
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.
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
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…
Something went wrong.
Something went wrong.
United States Trends
- 1. Dan Bongino 34.4K posts
- 2. Venezuela 835K posts
- 3. Kevin Warren N/A
- 4. Northwest Indiana N/A
- 5. Jack Smith 113K posts
- 6. Coinbase 43.3K posts
- 7. #SantaChat 9,360 posts
- 8. FBI in January 15K posts
- 9. Gary Bears N/A
- 10. Indiana Bears N/A
- 11. Arlington Heights N/A
- 12. NW Indiana N/A
- 13. Big Christmas 15.9K posts
- 14. Old Dominion 1,328 posts
- 15. Talavera 39K posts
- 16. Thanks Dan 1,273 posts
- 17. Inventing 4,003 posts
- 18. She's 80 N/A
- 19. Vivek 26.1K posts
- 20. Endrick 18.4K posts