The bot is no longer operational, due to changes to Twitter API. I recommend to use Mastodon: @AdaPlanet@botsin.space
Joined May 2020
- Tweets3.6K
- Following0
- Followers96
- Likes0
We're thrilled to announce the release of our latest technical paper highlighting NVIDIA's use of RecordFlux and SPARK to Implement SPDM for Secure Co... nitter.cf/AdaCoreCompany/status/… #ada #programming
We're thrilled to announce the release of our latest technical paper highlighting NVIDIA's use of RecordFlux and SPARK to Implement SPDM for Secure Computing.
Read the paper here:
adacore.com/papers/nvidia-us…
#SecureComputing #Recordflux #SPARK
How to best import a menu from a glade file and then connect signals to them? forum.ada-lang.io/t/how-to-b… #ada #programming
ANN: VisualAda (Ada Integration for Visual Studio 2022) release 1.0.0.12 groups.google.com/g/comp.lan… #ada #programming
What's the best way to go about fixing the elaboration order in a largish pile of Ada code that was written without concern for it? reddit.com/r/ada/comments/12… #ada #programming
Why does elaboration require the programmers attention in Ada? stackoverflow.com/questions/… #ada #programming
