Ada@programming.devM · 4 days agoDiscussion: should Ada have its own FOSDEM DevRoom?plus-squareforum.ada-lang.ioexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkDiscussion: should Ada have its own FOSDEM DevRoom?plus-squareforum.ada-lang.ioAda@programming.devM · 4 days agomessage-square0fedilink
Ada@programming.devM · 7 days agoShould I choose Ada, SPARK, or Rust over C/C++?plus-squareblog.adacore.comexternal-linkmessage-square5fedilinkarrow-up116arrow-down12
arrow-up114arrow-down1external-linkShould I choose Ada, SPARK, or Rust over C/C++?plus-squareblog.adacore.comAda@programming.devM · 7 days agomessage-square5fedilink
Ada@programming.devM · 15 days agoA new year of Capstones: A Recap of the last Projectsplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down11
arrow-up10arrow-down1external-linkA new year of Capstones: A Recap of the last Projectsplus-squareblog.adacore.comAda@programming.devM · 15 days agomessage-square0fedilink
Ada@programming.devM · 21 days agoAda GameDev Part 3: Enjoy Video Games Programming with Raylibplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkAda GameDev Part 3: Enjoy Video Games Programming with Raylibplus-squareblog.adacore.comAda@programming.devM · 21 days agomessage-square0fedilink
Ada@programming.devM · 25 days agoYouTube: Ada Monthly Meetup - September 2024plus-squarewww.youtube.comvideomessage-square0fedilinkarrow-up14arrow-down12
arrow-up12arrow-down1videoYouTube: Ada Monthly Meetup - September 2024plus-squarewww.youtube.comAda@programming.devM · 25 days agomessage-square0fedilink
Ada@programming.devM · 28 days agoGetting Started with Renode: Simulating an Ada STM32F429disco Blinky…plus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkGetting Started with Renode: Simulating an Ada STM32F429disco Blinky…plus-squareblog.adacore.comAda@programming.devM · 28 days agomessage-square0fedilink
Ada@programming.devM · 2 months agoShould Have Used Ada (SHUA) #1 - Goto failannexi-strayline.comexternal-linkmessage-square1fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkShould Have Used Ada (SHUA) #1 - Goto failannexi-strayline.comAda@programming.devM · 2 months agomessage-square1fedilink
Ada@programming.devM · 3 months agoWhat's new in Ada Utility Library 2.7.0plus-squareblog.vacs.frexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkWhat's new in Ada Utility Library 2.7.0plus-squareblog.vacs.frAda@programming.devM · 3 months agomessage-square0fedilink
Ada@programming.devM · 3 months agoYouTube: Ada Developer Workshopplus-squarewww.youtube.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkYouTube: Ada Developer Workshopplus-squarewww.youtube.comAda@programming.devM · 3 months agomessage-square0fedilink
Ada@programming.devM · 4 months agoAda/SPARK Crate of the Year (2024) Awardplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkAda/SPARK Crate of the Year (2024) Awardplus-squareblog.adacore.comAda@programming.devM · 4 months agomessage-square0fedilink
Ada@programming.devM · 4 months agoAlire on Open Collective 💸plus-squareopencollective.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkAlire on Open Collective 💸plus-squareopencollective.comAda@programming.devM · 4 months agomessage-square0fedilink
Ada@programming.devM · 4 months agoAda Developers Workshop [14 Jun 2024]plus-squarewww.ada-europe.orgexternal-linkmessage-square0fedilinkarrow-up14arrow-down10cross-posted to: ada@programming.dev
arrow-up14arrow-down1external-linkAda Developers Workshop [14 Jun 2024]plus-squarewww.ada-europe.orgAda@programming.devM · 4 months agomessage-square0fedilinkcross-posted to: ada@programming.dev
Ada@programming.devM · 4 months agoGCC 14 in Alire (preview)plus-squaremessage-squaremessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1message-squareGCC 14 in Alire (preview)plus-squareAda@programming.devM · 4 months agomessage-square0fedilink
Ada@programming.devM · 5 months agoAdaCore: Creating Your Own Ada/SPARK Coding Standardplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linkAdaCore: Creating Your Own Ada/SPARK Coding Standardplus-squareblog.adacore.comAda@programming.devM · 5 months agomessage-square0fedilink
Ada@programming.devM · 5 months agoAda Developers Workshopplus-squarepeople.cs.kuleuven.beexternal-linkmessage-square0fedilinkarrow-up16arrow-down10
arrow-up16arrow-down1external-linkAda Developers Workshopplus-squarepeople.cs.kuleuven.beAda@programming.devM · 5 months agomessage-square0fedilink
Ada@programming.devM · 5 months agoAdaCore: Elevate Security Confidence with Memory Safe Hardware and Softwareplus-squarewww.adacore.comexternal-linkmessage-square0fedilinkarrow-up15arrow-down11
arrow-up14arrow-down1external-linkAdaCore: Elevate Security Confidence with Memory Safe Hardware and Softwareplus-squarewww.adacore.comAda@programming.devM · 5 months agomessage-square0fedilink
Ada@programming.devM · 5 months agoGCC 14 release brings Ada/GNAT improvementsplus-squaregcc.gnu.orgexternal-linkmessage-square0fedilinkarrow-up19arrow-down10
arrow-up19arrow-down1external-linkGCC 14 release brings Ada/GNAT improvementsplus-squaregcc.gnu.orgAda@programming.devM · 5 months agomessage-square0fedilink
Ada@programming.devM · 5 months agoNew GNAT Studio Continuous Release 20240506plus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkNew GNAT Studio Continuous Release 20240506plus-squaregithub.comAda@programming.devM · 5 months agomessage-square0fedilink
Ada@programming.devM · 5 months ago[YouTube] How to run Ada and SPARK code on NVIDIA GPUs and CUDAplus-squareyoutu.bevideomessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1video[YouTube] How to run Ada and SPARK code on NVIDIA GPUs and CUDAplus-squareyoutu.beAda@programming.devM · 5 months agomessage-square0fedilink