AdaM · 2 days agoAdvent of Ada/SPARK 2024 Resultsplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkAdvent of Ada/SPARK 2024 Resultsplus-squareblog.adacore.comAdaM · 2 days agomessage-square0fedilink
AdaM · 11 days agoGNAT Pro 25: New Features, Platforms, and Toolsplus-squareblog.adacore.comexternal-linkmessage-square1fedilinkarrow-up13arrow-down11
arrow-up12arrow-down1external-linkGNAT Pro 25: New Features, Platforms, and Toolsplus-squareblog.adacore.comAdaM · 11 days agomessage-square1fedilink
AdaM · 14 days ago[Youtube]: Ada for Game Developers: A taste of Vulkanplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up14arrow-down11
arrow-up13arrow-down1external-link[Youtube]: Ada for Game Developers: A taste of Vulkanplus-squareyoutu.beAdaM · 14 days agomessage-square0fedilink
AdaM · 18 days agoLearning Ada with raytraced teapotsplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkLearning Ada with raytraced teapotsplus-squareblog.adacore.comAdaM · 18 days agomessage-square0fedilink
AdaM · 19 days agoProgramming Ada: Atomics And Other Low-Level Detailsplus-squarehackaday.comexternal-linkmessage-square0fedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkProgramming Ada: Atomics And Other Low-Level Detailsplus-squarehackaday.comAdaM · 19 days agomessage-square0fedilink
AdaM · 1 month ago[YouTube]: Ada for Game Developers: Linked Listsplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-link[YouTube]: Ada for Game Developers: Linked Listsplus-squareyoutu.beAdaM · 1 month agomessage-square0fedilink
AdaM · 1 month agoFOSDEM 2025 - Program for Ada Developer Roomplus-squarefosdem.orgexternal-linkmessage-square0fedilinkarrow-up13arrow-down10cross-posted to: ada
arrow-up13arrow-down1external-linkFOSDEM 2025 - Program for Ada Developer Roomplus-squarefosdem.orgAdaM · 1 month agomessage-square0fedilinkcross-posted to: ada
AdaM · 1 month agoAdaCore: Security by Default - CHERI ISA coupled with Adaplus-squarewww.adacore.comexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkAdaCore: Security by Default - CHERI ISA coupled with Adaplus-squarewww.adacore.comAdaM · 1 month agomessage-square0fedilink
AdaM · 2 months ago[YouTube] Programming Languages used in Aircraftplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-link[YouTube] Programming Languages used in Aircraftplus-squareyoutu.beAdaM · 2 months agomessage-square0fedilink
AdaM · 2 months agoAnnouncing Advent of Ada 2024: Coding for a Cause!plus-squareblog.adacore.comexternal-linkmessage-square1fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkAnnouncing Advent of Ada 2024: Coding for a Cause!plus-squareblog.adacore.comAdaM · 2 months agomessage-square1fedilink
AdaM · 3 months agoAdaCore: 25 Release Notesplus-squarewww.adacore.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAdaCore: 25 Release Notesplus-squarewww.adacore.comAdaM · 3 months agomessage-square0fedilink
AdaM · 3 months agolearn.adacore.com: New Advanced Ada contentsplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linklearn.adacore.com: New Advanced Ada contentsplus-squareblog.adacore.comAdaM · 3 months agomessage-square0fedilink
AdaM · 3 months agoFOSDEM 2025 will have Ada room!plus-squareforum.ada-lang.ioexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkFOSDEM 2025 will have Ada room!plus-squareforum.ada-lang.ioAdaM · 3 months agomessage-square0fedilink
AdaM · 3 months ago[YouTube] Ada for Game Developers: Using SDLplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up110arrow-down10
arrow-up110arrow-down1external-link[YouTube] Ada for Game Developers: Using SDLplus-squareyoutu.beAdaM · 3 months agomessage-square0fedilink
AdaM · 3 months agoThe Ada Rapporteur Group has a website. The draft ARM is on it.plus-squareada-rapporteur-group.github.ioexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkThe Ada Rapporteur Group has a website. The draft ARM is on it.plus-squareada-rapporteur-group.github.ioAdaM · 3 months agomessage-square0fedilink
AdaM · 4 months agoAlire v2.0.2 releaseplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkAlire v2.0.2 releaseplus-squaregithub.comAdaM · 4 months agomessage-square0fedilink
AdaM · 4 months agoAda User Society has a site!plus-squareada-user.orgexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkAda User Society has a site!plus-squareada-user.orgAdaM · 4 months agomessage-square0fedilink
AdaM · 4 months agoIronclad received an nlnet grant!plus-squareforum.ada-lang.ioexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkIronclad received an nlnet grant!plus-squareforum.ada-lang.ioAdaM · 4 months agomessage-square0fedilink
AdaM · 4 months 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.ioAdaM · 4 months agomessage-square0fedilink
