minus-squareflavonol@lemmy.worldOPtoProgramming@programming.dev•What are some good resources to learn to write very reliable/formally verifiable software?linkfedilinkarrow-up5·6 months agoThe Software Engineering Handbook PDF appears to just be a single page with a broken link on it; is there an archive for the document that’s supposed to be there? linkfedilink
flavonol@lemmy.world to Programming@programming.devEnglish · edit-26 months agoWhat are some good resources to learn to write very reliable/formally verifiable software?plus-squaremessage-squaremessage-square17linkfedilinkarrow-up154arrow-down12
arrow-up152arrow-down1message-squareWhat are some good resources to learn to write very reliable/formally verifiable software?plus-squareflavonol@lemmy.world to Programming@programming.devEnglish · edit-26 months agomessage-square17linkfedilink
flavonol@lemmy.world to Videos@lemmy.worldEnglish · 7 months ago[James Lee (Animation)] How I Broke up with Adobewww.youtube.comexternal-linkmessage-square2linkfedilinkarrow-up125arrow-down13
arrow-up122arrow-down1external-link[James Lee (Animation)] How I Broke up with Adobewww.youtube.comflavonol@lemmy.world to Videos@lemmy.worldEnglish · 7 months agomessage-square2linkfedilink
The Software Engineering Handbook PDF appears to just be a single page with a broken link on it; is there an archive for the document that’s supposed to be there?