tanakian@lemmy.sdf.org · 3 months agoIronclad operating systemplus-squarelemmy.mlimagemessage-square0linkfedilinkarrow-up16arrow-down10
arrow-up16arrow-down1imageIronclad operating systemplus-squarelemmy.mltanakian@lemmy.sdf.org · 3 months agomessage-square0linkfedilink
tanakian@lemmy.sdf.org · 3 months agoAda, ALE, ALICE, and MARC?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareAda, ALE, ALICE, and MARC?plus-squaretanakian@lemmy.sdf.org · 3 months agomessage-square0linkfedilink
MarcusE1W@lemmy.world · 6 months agoVerifying LLM-Generated Code in the Context of Software Verification with Ada/SPARKplus-squarearxiv.orgexternal-linkmessage-square0linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkVerifying LLM-Generated Code in the Context of Software Verification with Ada/SPARKplus-squarearxiv.orgMarcusE1W@lemmy.world · 6 months agomessage-square0linkfedilink
MarcusE1W@lemmy.world · 6 months agoIntroduction to Ada: a project-based exploration with rosettas blog.adacore.comexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkIntroduction to Ada: a project-based exploration with rosettas blog.adacore.comMarcusE1W@lemmy.world · 6 months agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 7 months agoAda, other older languages vie for top spots in Tiobe language indexplus-squarewww.infoworld.comexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkAda, other older languages vie for top spots in Tiobe language indexplus-squarewww.infoworld.comJay🚩@lemmy.ml · 7 months agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 9 months agoAda has surged recently in the TIOBE index to #13plus-squarewww.tiobe.comexternal-linkmessage-square0linkfedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkAda has surged recently in the TIOBE index to #13plus-squarewww.tiobe.comJay🚩@lemmy.ml · 9 months agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 1 year agoAda reenters the TIOBE Index top-20plus-squarewww.tiobe.comexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkAda reenters the TIOBE Index top-20plus-squarewww.tiobe.comJay🚩@lemmy.ml · 1 year agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 1 year agoAda projectas looking for funds ?www.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAda projectas looking for funds ?www.reddit.comJay🚩@lemmy.ml · 1 year agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 2 years agoOpportunity to push/promote Ada coming soonplus-squareforum.ada-lang.ioexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-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-up11arrow-down10
arrow-up11arrow-down1external-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 · 2 years agoAda Monthly Meeting May 2024plus-squareforum.ada-lang.ioexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAda Monthly Meeting May 2024plus-squareforum.ada-lang.ioJay🚩@lemmy.ml · 2 years agomessage-square0linkfedilink
AJ Ianozi@s.aj.immo · 2 years agoGetAda has been released!plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareGetAda has been released!plus-squareAJ Ianozi@s.aj.immo · 2 years agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 2 years agoWill Ada Replace C/C++?plus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWill Ada Replace C/C++?plus-squareyoutu.beJay🚩@lemmy.ml · 2 years agomessage-square0linkfedilink
tanakian@lemmy.sdf.org · 2 years agoWhy choose Ada for educationplus-squarepeople.cs.kuleuven.beexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWhy choose Ada for educationplus-squarepeople.cs.kuleuven.betanakian@lemmy.sdf.org · 2 years agomessage-square0linkfedilink
tanakian@lemmy.sdf.org · 2 years agoBenchmarking the Generic Image Decoder (GID)plus-squaregautiersblog.blogspot.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkBenchmarking the Generic Image Decoder (GID)plus-squaregautiersblog.blogspot.comtanakian@lemmy.sdf.org · 2 years agomessage-square0linkfedilink
tanakian@lemmy.sdf.org · 2 years agoMaking a game in Ada with Raylibplus-squareforum.ada-lang.ioexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkMaking a game in Ada with Raylibplus-squareforum.ada-lang.iotanakian@lemmy.sdf.org · 2 years agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 2 years agoApril 2024 What Are You Working On?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareApril 2024 What Are You Working On?plus-squareJay🚩@lemmy.ml · 2 years agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 2 years agoMarch 2024 monthly meet up discussed topicsplus-squareforum.ada-lang.ioexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkMarch 2024 monthly meet up discussed topicsplus-squareforum.ada-lang.ioJay🚩@lemmy.ml · 2 years agomessage-square0linkfedilink
marcuse1w@lemmy.mlM · 2 years agoLightweight Parallelism library based on Ada 2022 featuresplus-squareforum.ada-lang.ioexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLightweight Parallelism library based on Ada 2022 featuresplus-squareforum.ada-lang.iomarcuse1w@lemmy.mlM · 2 years agomessage-square0linkfedilink
marcuse1w@lemmy.mlM · 2 years agoGetting Started With Ada by Way of Rustplus-squareconiferproductions.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGetting Started With Ada by Way of Rustplus-squareconiferproductions.commarcuse1w@lemmy.mlM · 2 years agomessage-square0linkfedilink
