AdaM · 2 days agoA new math library for Ada: Neo.SIMDplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkA new math library for Ada: Neo.SIMDplus-squareblog.adacore.comAdaM · 2 days agomessage-square0fedilink
AdaM · 2 days agoAda PDF Writer version 7plus-squareforum.ada-lang.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAda PDF Writer version 7plus-squareforum.ada-lang.ioAdaM · 2 days agomessage-square0fedilink
AdaM · 6 days agoGNAT Pro Webinar - What’s New: Key Features and Roadmapplus-squarewww.adacore.comexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkGNAT Pro Webinar - What’s New: Key Features and Roadmapplus-squarewww.adacore.comAdaM · 6 days agomessage-square0fedilink
AdaM · 7 days agoVerifying FACEⓇ Conformance for Ada Softwareplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkVerifying FACEⓇ Conformance for Ada Softwareplus-squareblog.adacore.comAdaM · 7 days agomessage-square0fedilink
AdaM · 11 days agoNVIDIA Security Team: “What if we just stopped using C?”plus-squareblog.adacore.comexternal-linkmessage-square1fedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkNVIDIA Security Team: “What if we just stopped using C?”plus-squareblog.adacore.comAdaM · 11 days agomessage-square1fedilink
AdaM · 20 days agoOpen-Source Ada: From Gateware to Applicationplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkOpen-Source Ada: From Gateware to Applicationplus-squareblog.adacore.comAdaM · 20 days agomessage-square0fedilink
AdaM · 26 days agoAda Developer Room at FOSDEM 2025 - Sun 2 Febplus-squareforum.ada-lang.ioexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkAda Developer Room at FOSDEM 2025 - Sun 2 Febplus-squareforum.ada-lang.ioAdaM · 26 days agomessage-square0fedilink
AdaM · 29 days ago[YouTube] Why Aerospace and Railways Rely on Ada Programming?plus-squareyoutu.beexternal-linkmessage-square1fedilinkarrow-up14arrow-down11
arrow-up13arrow-down1external-link[YouTube] Why Aerospace and Railways Rely on Ada Programming?plus-squareyoutu.beAdaM · 29 days agomessage-square1fedilink
AdaM · 1 month 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 · 1 month agomessage-square0fedilink
AdaM · 1 month 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 · 1 month agomessage-square1fedilink
AdaM · 2 months 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 · 2 months agomessage-square0fedilink
AdaM · 2 months agoLearning Ada with raytraced teapotsplus-squareblog.adacore.comexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkLearning Ada with raytraced teapotsplus-squareblog.adacore.comAdaM · 2 months agomessage-square0fedilink
AdaM · 2 months 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 · 2 months agomessage-square0fedilink
AdaM · 2 months 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 · 2 months agomessage-square0fedilink
AdaM · 2 months 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 · 2 months agomessage-square0fedilinkcross-posted to: ada
AdaM · 2 months 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 · 2 months agomessage-square0fedilink
AdaM · 3 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 · 3 months agomessage-square0fedilink
AdaM · 3 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 · 3 months agomessage-square1fedilink
AdaM · 4 months agoAdaCore: 25 Release Notesplus-squarewww.adacore.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAdaCore: 25 Release Notesplus-squarewww.adacore.comAdaM · 4 months agomessage-square0fedilink
