#adaprogramming search results

No results for "#adaprogramming"
No results for "#adaprogramming"

Introduction to Ada - freecomputerbooks.com/Introduction-t… Look for "Read and Download Links" section to download. #programming #ada #AdaProgramming

ecomputerbooks's tweet image. Introduction to Ada - freecomputerbooks.com/Introduction-t…

Look for "Read and Download Links" section to download.

#programming #ada #AdaProgramming

Now at #AdaDevRoom: multiword arithmetic and parallel computing with the #AdaProgramming language

DirkCraeynest's tweet image. Now at #AdaDevRoom: multiword arithmetic and parallel computing with the #AdaProgramming language

#Rust trying to catch up with the #AdaProgramming language, now at the #AdaDevRoom

DirkCraeynest's tweet image. #Rust trying to catch up with the #AdaProgramming language, now at the #AdaDevRoom

Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 2 gautiersblog.blogspot.com/2025/07/writin… #AdaProgramming

Zertovitch's tweet image. Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 2
gautiersblog.blogspot.com/2025/07/writin…
#AdaProgramming

Early day at #FOSDEM2025! Waiting for #AdaProgramming #DevRoom doors to be opened... #AdaDevRoom

DirkCraeynest's tweet image. Early day at #FOSDEM2025! Waiting for #AdaProgramming #DevRoom doors to be opened... #AdaDevRoom

"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

DirkCraeynest's tweet image. "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

DirkCraeynest's tweet image. 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…

DirkCraeynest's tweet image. #AdaBelgium members and friends meet on June 1 in #Leuven for our traditional #AdaProgramming Spring Event!  cs.kuleuven.be/~dirk/ada-belg…

Final topic in #AdaDevWS at #AEiC2024: Ada Community Advocacy discussion session! #AdaProgramming

DirkCraeynest's tweet image. Final topic in #AdaDevWS at #AEiC2024: Ada Community Advocacy discussion session! #AdaProgramming

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!" ;-)

DirkCraeynest's tweet image. 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

falco_girgis's tweet image. 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.

DirkCraeynest's tweet image. 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.

DirkCraeynest's tweet image. 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…

DirkCraeynest's tweet image. 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…

Loading...

Something went wrong.


Something went wrong.


United States Trends