Ada@programming.devM · 6 months agoAlire v2.0.0 release! 🎉plus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAlire v2.0.0 release! 🎉plus-squaregithub.comAda@programming.devM · 6 months agomessage-square0fedilink
Ada@programming.devM · 6 months agoYouTube: Ada Meetup - 2024 Marchplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkYouTube: Ada Meetup - 2024 Marchplus-squareyoutu.beAda@programming.devM · 6 months agomessage-square0fedilink
Ada@programming.devM · 6 months agoAda Monthly Meeting March 2024 topicsplus-squareforum.ada-lang.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAda Monthly Meeting March 2024 topicsplus-squareforum.ada-lang.ioAda@programming.devM · 6 months agomessage-square0fedilink
Ada@programming.devM · 7 months agoBenchmarking the Generic Image Decoder (GID)plus-squaregautiersblog.blogspot.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkBenchmarking the Generic Image Decoder (GID)plus-squaregautiersblog.blogspot.comAda@programming.devM · 7 months agomessage-square0fedilink
Ada@programming.devM · 7 months agoThe release candidate for Alire 2.0 is available now!plus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe release candidate for Alire 2.0 is available now!plus-squaregithub.comAda@programming.devM · 7 months agomessage-square0fedilink
Ada@programming.devM · 7 months agoAda's success story at LatenceTechplus-squarewww.adacore.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAda's success story at LatenceTechplus-squarewww.adacore.comAda@programming.devM · 7 months agomessage-square0fedilink
Ada@programming.devM · 7 months agoMemory Safety with Formal Proof Webinarplus-squarewww.youtube.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkMemory Safety with Formal Proof Webinarplus-squarewww.youtube.comAda@programming.devM · 7 months agomessage-square0fedilink
Ada@programming.devM · 7 months ago[PDF] Ada User Journal Volume 43, 2022/4plus-squarewww.ada-europe.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-link[PDF] Ada User Journal Volume 43, 2022/4plus-squarewww.ada-europe.orgAda@programming.devM · 7 months agomessage-square0fedilink
Ada@programming.devM · 7 months agoAda on NetBSD!plus-squaremessage-squaremessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareAda on NetBSD!plus-squareAda@programming.devM · 7 months agomessage-square0fedilink
Ada@programming.devM · 7 months agoPost-quantum key exchange in Ada & SPARKplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkPost-quantum key exchange in Ada & SPARKplus-squaregithub.comAda@programming.devM · 7 months agomessage-square0fedilink
Ada@programming.devM · 7 months ago📆 Ada Monthly Meeting: March 2024plus-squareforum.ada-lang.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-link📆 Ada Monthly Meeting: March 2024plus-squareforum.ada-lang.ioAda@programming.devM · 7 months agomessage-square0fedilink
Ada@programming.devM · 8 months agoReal-Time Logging with SEGGER RTTplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkReal-Time Logging with SEGGER RTTplus-squareblog.adacore.comAda@programming.devM · 8 months agomessage-square0fedilink
Ada@programming.devM · 8 months agoGNAT Static Analysis Suite: A Vision for Static Analysis in Adaplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGNAT Static Analysis Suite: A Vision for Static Analysis in Adaplus-squareblog.adacore.comAda@programming.devM · 8 months agomessage-square0fedilink
Ada@programming.devM · 8 months ago[Programming Languages] Episode 16 - First Impression - Adaplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-link[Programming Languages] Episode 16 - First Impression - Adaplus-squareyoutu.beAda@programming.devM · 8 months agomessage-square0fedilink
Ada@programming.devM · 8 months agoHexapod Robot: Ada on board, transition between gaitsplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkHexapod Robot: Ada on board, transition between gaitsplus-squareyoutu.beAda@programming.devM · 8 months agomessage-square0fedilink
Ada@programming.devM · 8 months agoAdaCore Enhances GCC Security with Innovative Featuresplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAdaCore Enhances GCC Security with Innovative Featuresplus-squareblog.adacore.comAda@programming.devM · 8 months agomessage-square0fedilink
Ada@programming.devM · 8 months agoAda on Arduino Dueplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAda on Arduino Dueplus-squaregithub.comAda@programming.devM · 8 months agomessage-square0fedilink
Ada@programming.devM · 9 months agoAdvanced Journey With Ada: A Flight In Progressplus-squarelearn.adacore.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAdvanced Journey With Ada: A Flight In Progressplus-squarelearn.adacore.comAda@programming.devM · 9 months agomessage-square0fedilink
Ada@programming.devM · 9 months agoSPARK Pro for Embedded and Systems Programming | AdaCore Webinarplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSPARK Pro for Embedded and Systems Programming | AdaCore Webinarplus-squareyoutu.beAda@programming.devM · 9 months agomessage-square0fedilink
Ada@programming.devM · 9 months ago🔌 Managing Power Line Adapters Made Easy with Ada!plus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-link🔌 Managing Power Line Adapters Made Easy with Ada!plus-squaregithub.comAda@programming.devM · 9 months agomessage-square0fedilink