Ada@programming.devM · 3 months agoYouTube: Ada Developer Workshopwww.youtube.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkYouTube: Ada Developer Workshopwww.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-down10
arrow-up14arrow-down1external-linkAda Developers Workshop [14 Jun 2024]plus-squarewww.ada-europe.orgAda@programming.devM · 4 months agomessage-square0fedilink
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.beexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-link[YouTube] How to run Ada and SPARK code on NVIDIA GPUs and CUDAplus-squareyoutu.beAda@programming.devM · 5 months agomessage-square0fedilink
Ada@programming.devM · 5 months agoProgramming Ada: First Steps On The Desktopplus-squarehackaday.comexternal-linkmessage-square0fedilinkarrow-up112arrow-down11
arrow-up111arrow-down1external-linkProgramming Ada: First Steps On The Desktopplus-squarehackaday.comAda@programming.devM · 5 months agomessage-square0fedilink
Ada@programming.devM · 6 months agoGetAda release 1.0.0plus-squarewww.getada.devexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkGetAda release 1.0.0plus-squarewww.getada.devAda@programming.devM · 6 months agomessage-square0fedilink
Ada@programming.devM · 6 months agoAlire in Debian and Ubuntuplus-squarepackages.debian.orgexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkAlire in Debian and Ubuntuplus-squarepackages.debian.orgAda@programming.devM · 6 months agomessage-square0fedilink
Ada@programming.devM · 6 months ago[YouTube] Will Ada Replace C/C++?plus-squareyoutu.beexternal-linkmessage-square2fedilinkarrow-up15arrow-down14
arrow-up11arrow-down1external-link[YouTube] Will Ada Replace C/C++?plus-squareyoutu.beAda@programming.devM · 6 months agomessage-square2fedilink
Ada@programming.devM · 6 months agoWee Noise Makers PGB-1plus-squarewww.crowdsupply.comexternal-linkmessage-square0fedilinkarrow-up18arrow-down11
arrow-up17arrow-down1external-linkWee Noise Makers PGB-1plus-squarewww.crowdsupply.comAda@programming.devM · 6 months agomessage-square0fedilink
Ada@programming.devM · 6 months ago[ANN] Muen version 1.1 releasedplus-squaregroups.google.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-link[ANN] Muen version 1.1 releasedplus-squaregroups.google.comAda@programming.devM · 6 months agomessage-square0fedilink
Ada@programming.devM · 6 months ago[Webinar] Proving Software Security with SPARK Proplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-link[Webinar] Proving Software Security with SPARK Proplus-squareyoutu.beAda@programming.devM · 6 months agomessage-square0fedilink
Ada@programming.devM · 6 months agoAda Developer Workshop @ AEiC 2024plus-squareforum.ada-lang.ioexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkAda Developer Workshop @ AEiC 2024plus-squareforum.ada-lang.ioAda@programming.devM · 6 months agomessage-square0fedilink
Ada@programming.devM · 7 months agoCome and see Ada+WebAssembly in action!plus-squaresites.google.comexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkCome and see Ada+WebAssembly in action!plus-squaresites.google.comAda@programming.devM · 7 months agomessage-square0fedilink