Ada@programming.devM · 8 days ago[YouTube] Ada 2022: Atomic Operationsplus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-link[YouTube] Ada 2022: Atomic Operationsplus-squareyoutu.beAda@programming.devM · 8 days agomessage-square0linkfedilink
Ada@programming.devM · 13 days ago[YouTube] Ada 2022: Declare expressionsplus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-link[YouTube] Ada 2022: Declare expressionsplus-squareyoutu.beAda@programming.devM · 13 days agomessage-square0linkfedilink
Ada@programming.devM · 14 days ago[YouTube] Ada 2022: The 'Image Attribute for All Typesplus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-link[YouTube] Ada 2022: The 'Image Attribute for All Typesplus-squareyoutu.beAda@programming.devM · 14 days agomessage-square0linkfedilink
Ada@programming.devM · 15 days ago[YouTube] Ada 2022: Target Name Symbol (@)plus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-link[YouTube] Ada 2022: Target Name Symbol (@)plus-squareyoutu.beAda@programming.devM · 15 days agomessage-square0linkfedilink
Ada@programming.devM · 16 days ago[YouTube] Contracts for Access-to-Subprogram Types.plus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-link[YouTube] Contracts for Access-to-Subprogram Types.plus-squareyoutu.beAda@programming.devM · 16 days agomessage-square0linkfedilink
Ada@programming.devM · 17 days ago[YouTube] Ada 2022: Iterated Component Associationsplus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down11
arrow-up10arrow-down1external-link[YouTube] Ada 2022: Iterated Component Associationsplus-squareyoutu.beAda@programming.devM · 17 days agomessage-square0linkfedilink
Ada@programming.devM · 19 days ago[YouTube] Ada 2022: Reduce attributeplus-squarewww.youtube.comexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-link[YouTube] Ada 2022: Reduce attributeplus-squarewww.youtube.comAda@programming.devM · 19 days agomessage-square0linkfedilink
Ada@programming.devM · 19 days agoYouTube: Ada 2022: Square Bracketsplus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkYouTube: Ada 2022: Square Bracketsplus-squareyoutu.beAda@programming.devM · 19 days agomessage-square0linkfedilink
Ada@programming.devM · 1 month agoThe Undisputed Queen of Safe Programmingplus-squaremedium.comexternal-linkmessage-square1linkfedilinkarrow-up111arrow-down11
arrow-up110arrow-down1external-linkThe Undisputed Queen of Safe Programmingplus-squaremedium.comAda@programming.devM · 1 month agomessage-square1linkfedilink
cm0002@toast.ooo · 2 months agoIronclad operating systemplus-squarelemmy.sdf.orgimagemessage-square0linkfedilinkarrow-up17arrow-down10
arrow-up17arrow-down1imageIronclad operating systemplus-squarelemmy.sdf.orgcm0002@toast.ooo · 2 months agomessage-square0linkfedilink
tanakian@lemmy.sdf.org · 2 months agoAda, ALE, ALICE, and MARC?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1message-squareAda, ALE, ALICE, and MARC?plus-squaretanakian@lemmy.sdf.org · 2 months agomessage-square0linkfedilink
Ada@programming.devM · 3 months agoAda 2022 parallel features prototypeplus-squareforum.ada-lang.ioexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkAda 2022 parallel features prototypeplus-squareforum.ada-lang.ioAda@programming.devM · 3 months agomessage-square0linkfedilink
Ada@programming.devM · 3 months agoWhat would Ada think of the rise in Ada Language Popularity?blog.adacore.comexternal-linkmessage-square3linkfedilinkarrow-up16arrow-down11
arrow-up15arrow-down1external-linkWhat would Ada think of the rise in Ada Language Popularity?blog.adacore.comAda@programming.devM · 3 months agomessage-square3linkfedilink
Ada@programming.devMEnglish · 6 months agoYouTube: Introduction to Formal Verification with SPARKplus-squarewww.youtube.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkYouTube: Introduction to Formal Verification with SPARKplus-squarewww.youtube.comAda@programming.devMEnglish · 6 months agomessage-square0linkfedilink
Ada@programming.devM · 6 months agoAnnouncing the 2025 Ada/SPARK Crate of the Year Awardblog.adacore.comexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkAnnouncing the 2025 Ada/SPARK Crate of the Year Awardblog.adacore.comAda@programming.devM · 6 months agomessage-square0linkfedilink
Ada@programming.devM · 7 months agoImproving SPARK Counter Examples with Fuzzing and Code Analysisblog.adacore.comexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkImproving SPARK Counter Examples with Fuzzing and Code Analysisblog.adacore.comAda@programming.devM · 7 months agomessage-square0linkfedilink
Ada@programming.devM · 8 months agoAda Developer Workshop [13 June 2025]plus-squareregistration.ada-europe.orgexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkAda Developer Workshop [13 June 2025]plus-squareregistration.ada-europe.orgAda@programming.devM · 8 months agomessage-square0linkfedilink
Ada@programming.devM · 8 months agoSimon J Wright - RIPplus-squareprogramming.devimagemessage-square0linkfedilinkarrow-up17arrow-down10
arrow-up17arrow-down1imageSimon J Wright - RIPplus-squareprogramming.devAda@programming.devM · 8 months agomessage-square0linkfedilink
Ada@programming.devM · 8 months agoAda-Europe Conference programwww.ada-europe.orgexternal-linkmessage-square0linkfedilinkarrow-up14arrow-down10cross-posted to: ada@programming.dev
arrow-up14arrow-down1external-linkAda-Europe Conference programwww.ada-europe.orgAda@programming.devM · 8 months agomessage-square0linkfedilinkcross-posted to: ada@programming.dev