tanakian@lemmy.sdf.org · 1 month agoIronclad operating systemplus-squarelemmy.mlimagemessage-square0linkfedilinkarrow-up16
arrow-up16imageIronclad operating systemplus-squarelemmy.mltanakian@lemmy.sdf.org · 1 month agomessage-square0linkfedilink
tanakian@lemmy.sdf.org · 1 month agoAda, ALE, ALICE, and MARC?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11
arrow-up11message-squareAda, ALE, ALICE, and MARC?plus-squaretanakian@lemmy.sdf.org · 1 month agomessage-square0linkfedilink
MarcusE1W@lemmy.world · 4 months agoVerifying LLM-Generated Code in the Context of Software Verification with Ada/SPARKplus-squarearxiv.orgexternal-linkmessage-square0linkfedilinkarrow-up14
arrow-up14external-linkVerifying LLM-Generated Code in the Context of Software Verification with Ada/SPARKplus-squarearxiv.orgMarcusE1W@lemmy.world · 4 months agomessage-square0linkfedilink
MarcusE1W@lemmy.world · 4 months agoIntroduction to Ada: a project-based exploration with rosettas blog.adacore.comexternal-linkmessage-square0linkfedilinkarrow-up12
arrow-up12external-linkIntroduction to Ada: a project-based exploration with rosettas blog.adacore.comMarcusE1W@lemmy.world · 4 months agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 6 months agoAda, other older languages vie for top spots in Tiobe language indexplus-squarewww.infoworld.comexternal-linkmessage-square0linkfedilinkarrow-up13
arrow-up13external-linkAda, other older languages vie for top spots in Tiobe language indexplus-squarewww.infoworld.comJay🚩@lemmy.ml · 6 months agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 7 months agoAda has surged recently in the TIOBE index to #13plus-squarewww.tiobe.comexternal-linkmessage-square0linkfedilinkarrow-up15
arrow-up15external-linkAda has surged recently in the TIOBE index to #13plus-squarewww.tiobe.comJay🚩@lemmy.ml · 7 months agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 10 months agoAda reenters the TIOBE Index top-20plus-squarewww.tiobe.comexternal-linkmessage-square0linkfedilinkarrow-up13
arrow-up13external-linkAda reenters the TIOBE Index top-20plus-squarewww.tiobe.comJay🚩@lemmy.ml · 10 months agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 1 year agoAda projectas looking for funds ?www.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up13
arrow-up13external-linkAda projectas looking for funds ?www.reddit.comJay🚩@lemmy.ml · 1 year agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 1 year 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 · 1 year agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 1 year 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-up12
arrow-up12external-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 · 1 year agomessage-square0linkfedilink
Jay🚩@lemmy.ml · 2 years agoAda Monthly Meeting May 2024plus-squareforum.ada-lang.ioexternal-linkmessage-square0linkfedilinkarrow-up14
arrow-up14external-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-square1linkfedilinkarrow-up13
arrow-up13message-squareGetAda has been released!plus-squareAJ Ianozi@s.aj.immo · 2 years agomessage-square1linkfedilink
Jay🚩@lemmy.ml · 2 years agoWill Ada Replace C/C++?plus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-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-square1linkfedilinkarrow-up13
arrow-up13external-linkWhy choose Ada for educationplus-squarepeople.cs.kuleuven.betanakian@lemmy.sdf.org · 2 years agomessage-square1linkfedilink
tanakian@lemmy.sdf.org · 2 years agoBenchmarking the Generic Image Decoder (GID)plus-squaregautiersblog.blogspot.comexternal-linkmessage-square0linkfedilinkarrow-up13
arrow-up13external-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-up13
arrow-up13external-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-up12
arrow-up12message-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-up13
arrow-up13external-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-up14
arrow-up14external-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-up12
arrow-up12external-linkGetting Started With Ada by Way of Rustplus-squareconiferproductions.commarcuse1w@lemmy.mlM · 2 years agomessage-square0linkfedilink
