cm0002@lemmy.zipEnglish · 4 days agoIronclad OS crafts Unix-like kernel in Ada and SPARK • The Registerplus-squarewww.theregister.comexternal-linkmessage-square1linkfedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkIronclad OS crafts Unix-like kernel in Ada and SPARK • The Registerplus-squarewww.theregister.comcm0002@lemmy.zipEnglish · 4 days agomessage-square1linkfedilink
cm0002@lemmy.worldMEnglish · 2 months agoVerifying LLM-Generated Code in the Context of Software Verification with Ada/SPARKplus-squarearxiv.orgexternal-linkmessage-square2linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkVerifying LLM-Generated Code in the Context of Software Verification with Ada/SPARKplus-squarearxiv.orgcm0002@lemmy.worldMEnglish · 2 months agomessage-square2linkfedilink
cm0002@lemmy.worldMEnglish · 2 months agoIntroduction to Ada: a project-based exploration with rosettasplus-squareblog.adacore.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkIntroduction to Ada: a project-based exploration with rosettasplus-squareblog.adacore.comcm0002@lemmy.worldMEnglish · 2 months agomessage-square0linkfedilink
cm0002MEnglish · 4 months agoAda, other older languages vie for top spots in Tiobe language indexplus-squarewww.infoworld.comexternal-linkmessage-square2linkfedilinkarrow-up15arrow-down11
arrow-up14arrow-down1external-linkAda, other older languages vie for top spots in Tiobe language indexplus-squarewww.infoworld.comcm0002MEnglish · 4 months agomessage-square2linkfedilink
cm0002@lemmy.worldMEnglish · 6 months agoAda has surged recently in the TIOBE index to #13plus-squarewww.tiobe.comexternal-linkmessage-square1linkfedilinkarrow-up11arrow-down13
arrow-up1-2arrow-down1external-linkAda has surged recently in the TIOBE index to #13plus-squarewww.tiobe.comcm0002@lemmy.worldMEnglish · 6 months agomessage-square1linkfedilink
