cm0002@lemmy.zipEnglish · 1 year agoIronclad OS crafts Unix-like kernel in Ada and SPARK • The Registerplus-squarewww.theregister.comexternal-linkmessage-square0linkfedilinkarrow-up11
arrow-up11external-linkIronclad OS crafts Unix-like kernel in Ada and SPARK • The Registerplus-squarewww.theregister.comcm0002@lemmy.zipEnglish · 1 year agomessage-square0linkfedilink
cm0002@lemmy.worldMEnglish · 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.orgcm0002@lemmy.worldMEnglish · 1 year agomessage-square0linkfedilink
cm0002@lemmy.worldMEnglish · 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.comcm0002@lemmy.worldMEnglish · 1 year agomessage-square0linkfedilink
cm0002@programming.devMEnglish · 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.comcm0002@programming.devMEnglish · 1 year agomessage-square0linkfedilink
cm0002@lemmy.worldMEnglish · 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.comcm0002@lemmy.worldMEnglish · 1 year agomessage-square0linkfedilink