Ada Planet
@AdaPlanet1
The bot is no longer operational, due to changes to Twitter API. I recommend to use Mastodon: @[email protected]
You might like
Rejected (legal?) program groups.google.com/g/comp.lang.ad… #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 Co... #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-… #SecureComputing #Recordflux #SPARK
Currency Library for Ada? groups.google.com/g/comp.lang.ad… #ada #programming
Ada-Spain Technical (Half-)Day, April 18. reddit.com/r/ada/comments… #ada #programming
How to best import a menu from a glade file and then connect signals to them? forum.ada-lang.io/t/how-to-best-… #ada #programming
Which universities teach Ada programming courses? forum.ada-lang.io/t/which-univer… #ada #programming
Ada targeting RPI reddit.com/r/ada/comments… #ada #programming
reddit.com
From the ada community on Reddit
Explore this post and more from the ada community
ANN: VisualAda (Ada Integration for Visual Studio 2022) release 1.0.0.12 groups.google.com/g/comp.lang.ad… #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… #ada #programming
Why does elaboration require the programmers attention in Ada? stackoverflow.com/questions/7597… #ada #programming
[ANN] Release of UXStrings 5.0 reddit.com/r/ada/comments… #ada #programming
reddit.com
From the ada community on Reddit: [ANN] Release of UXStrings 5.0
Explore this post and more from the ada community
Ada news March 2023 reddit.com/r/ada/comments… #ada #programming
reddit.com
From the ada community on Reddit: Ada news March 2023
Explore this post and more from the ada community
Contracts in generic formal subprogram groups.google.com/g/comp.lang.ad… #ada #programming
Seer - a gui frontend to gdb forum.ada-lang.io/t/seer-a-gui-f… #ada #programming
Ada Energy Efficiency reddit.com/r/ada/comments… #ada #programming
How to get the ARM toolchain up and running? reddit.com/r/ada/comments… #ada #programming
United States Trends
- 1. Good Monday 35.7K posts
- 2. Jimmy Cliff 6,632 posts
- 3. #MondayMotivation 9,229 posts
- 4. TOP CALL 3,879 posts
- 5. Victory Monday 1,792 posts
- 6. AI Alert 1,729 posts
- 7. Market Focus 2,788 posts
- 8. Check Analyze N/A
- 9. Token Signal 2,257 posts
- 10. #MondayVibes 2,410 posts
- 11. #centralwOrldXmasXFreenBecky 689K posts
- 12. SAROCHA REBECCA DISNEY AT CTW 705K posts
- 13. DOGE 194K posts
- 14. Happy Thanksgiving 10.5K posts
- 15. NAMJOON 67.6K posts
- 16. Chip Kelly 9,933 posts
- 17. Monad 128K posts
- 18. #BaddiesUSA 69.1K posts
- 19. #LingOrmDiorAmbassador 344K posts
- 20. Stefanski 10.7K posts
You might like
-
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany -
Flipper Zero
@flipper_net -
Alexandre Borges
@ale_sp_brazil -
Dirk Craeynest
@DirkCraeynest -
Signal Processing
@DSP_fact -
Mathis Hammel
@MathisHammel -
Bob Belderbos
@bbelderbos -
Daniel Lemire
@lemire -
The V Programming Language
@v_language -
IT-Connect.fr
@ITConnect_fr -
Stephane
@StephaneCarrez -
ActiveState
@ActiveState -
Nagios
@nagiosinc -
Anthony Shaw
@anthonypjshaw -
Christophe Casalegno
@Brain0verride
Something went wrong.
Something went wrong.