tanakian@lemmy.sdf.org · 1 year agoIronclad operating systemplus-squarelemmy.mlimagemessage-square0linkfedilinkarrow-up11
arrow-up11imageIronclad operating systemplus-squarelemmy.mltanakian@lemmy.sdf.org · 1 year agomessage-square0linkfedilink
tanakian@lemmy.sdf.org · 1 year agoAda, ALE, ALICE, and MARC?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11
arrow-up11message-squareAda, ALE, ALICE, and MARC?plus-squaretanakian@lemmy.sdf.org · 1 year agomessage-square0linkfedilink
MarcusE1W@lemmy.world · 1 year agoVerifying LLM-Generated Code in the Context of Software Verification with Ada/SPARKplus-squarearxiv.orgexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkVerifying LLM-Generated Code in the Context of Software Verification with Ada/SPARKplus-squarearxiv.orgMarcusE1W@lemmy.world · 1 year agomessage-square0linkfedilink
MarcusE1W@lemmy.world · 1 year agoIntroduction to Ada: a project-based exploration with rosettasplus-squareblog.adacore.comexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkIntroduction to Ada: a project-based exploration with rosettasplus-squareblog.adacore.comMarcusE1W@lemmy.world · 1 year agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 1 year agoAda, other older languages vie for top spots in Tiobe language indexplus-squarewww.infoworld.comexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkAda, other older languages vie for top spots in Tiobe language indexplus-squarewww.infoworld.comJay🚩@lemmy.ml · 1 year agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 1 year agoAda has surged recently in the TIOBE index to #13plus-squarewww.tiobe.comexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkAda has surged recently in the TIOBE index to #13plus-squarewww.tiobe.comJay🚩@lemmy.ml · 1 year agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 2 years agoAda reenters the TIOBE Index top-20plus-squarewww.tiobe.comexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkAda reenters the TIOBE Index top-20plus-squarewww.tiobe.comJay🚩@lemmy.ml · 2 years agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 2 years agoAda projectas looking for funds ?plus-squarewww.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkAda projectas looking for funds ?plus-squarewww.reddit.comJay🚩@lemmy.ml · 2 years agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 2 years agoOpportunity to push/promote Ada coming soonplus-squareforum.ada-lang.ioexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkOpportunity to push/promote Ada coming soonplus-squareforum.ada-lang.ioJay🚩@lemmy.ml · 2 years agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 2 years agoThe Good, the Bad, and the Disruptive: Let us know where you stand in the 2024 Annual Developer Survey - Stack Overflowplus-squarestackoverflow.blogexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkThe Good, the Bad, and the Disruptive: Let us know where you stand in the 2024 Annual Developer Survey - Stack Overflowplus-squarestackoverflow.blogJay🚩@lemmy.ml · 2 years agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 3 years agoAda Monthly Meeting May 2024plus-squareforum.ada-lang.ioexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkAda Monthly Meeting May 2024plus-squareforum.ada-lang.ioJay🚩@lemmy.ml · 3 years agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 3 years agoWill Ada Replace C/C++?plus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkWill Ada Replace C/C++?plus-squareyoutu.beJay🚩@lemmy.ml · 3 years agomessage-square0linkfedilink
tanakian@lemmy.sdf.org · 3 years agoWhy choose Ada for educationplus-squarepeople.cs.kuleuven.beexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkWhy choose Ada for educationplus-squarepeople.cs.kuleuven.betanakian@lemmy.sdf.org · 3 years agomessage-square0linkfedilink
tanakian@lemmy.sdf.org · 3 years agoBenchmarking the Generic Image Decoder (GID)plus-squaregautiersblog.blogspot.comexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkBenchmarking the Generic Image Decoder (GID)plus-squaregautiersblog.blogspot.comtanakian@lemmy.sdf.org · 3 years agomessage-square0linkfedilink
tanakian@lemmy.sdf.org · 3 years agoMaking a game in Ada with Raylibplus-squareforum.ada-lang.ioexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkMaking a game in Ada with Raylibplus-squareforum.ada-lang.iotanakian@lemmy.sdf.org · 3 years agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 3 years agoApril 2024 What Are You Working On?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11
arrow-up11message-squareApril 2024 What Are You Working On?plus-squareJay🚩@lemmy.ml · 3 years agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 3 years agoMarch 2024 monthly meet up discussed topicsplus-squareforum.ada-lang.ioexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkMarch 2024 monthly meet up discussed topicsplus-squareforum.ada-lang.ioJay🚩@lemmy.ml · 3 years agomessage-square0linkfedilink
marcuse1w@lemmy.mlM · 3 years agoLightweight Parallelism library based on Ada 2022 featuresplus-squareforum.ada-lang.ioexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkLightweight Parallelism library based on Ada 2022 featuresplus-squareforum.ada-lang.iomarcuse1w@lemmy.mlM · 3 years agomessage-square0linkfedilink
marcuse1w@lemmy.mlM · 3 years agoGetting Started With Ada by Way of Rustplus-squareconiferproductions.comexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkGetting Started With Ada by Way of Rustplus-squareconiferproductions.commarcuse1w@lemmy.mlM · 3 years agomessage-square0linkfedilink
marcuse1w@lemmy.mlM · 4 years agoIntroduction to Embedded Systems Programmingplus-squarelearn.adacore.comexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkIntroduction to Embedded Systems Programmingplus-squarelearn.adacore.commarcuse1w@lemmy.mlM · 4 years agomessage-square0linkfedilink
