minus-squareflavonol@lemmy.worldOPtoProgramming@programming.dev•What are some good resources to learn to write very reliable/formally verifiable software?linkfedilinkarrow-up5·7 days 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-27 days agoWhat are some good resources to learn to write very reliable/formally verifiable software?plus-squaremessage-squaremessage-square17fedilinkarrow-up153arrow-down12
arrow-up151arrow-down1message-squareWhat are some good resources to learn to write very reliable/formally verifiable software?plus-squareflavonol@lemmy.world to Programming@programming.devEnglish · edit-27 days agomessage-square17fedilink
flavonol@lemmy.world to Hardware@lemmy.mlEnglish · 1 month ago[Daniel Owen] Are Bottleneck Calculators Nonsense? Do CPUs matter at 4K? Let's talk about bottlenecks...plus-squarewww.youtube.comexternal-linkmessage-square0fedilinkarrow-up16arrow-down15
arrow-up11arrow-down1external-link[Daniel Owen] Are Bottleneck Calculators Nonsense? Do CPUs matter at 4K? Let's talk about bottlenecks...plus-squarewww.youtube.comflavonol@lemmy.world to Hardware@lemmy.mlEnglish · 1 month agomessage-square0fedilink
minus-squareflavonol@lemmy.worldtoLemmy Shitpost@lemmy.world•What if?linkfedilinkarrow-up4·7 months agoA cursed caramel ribbon custard, I assume. linkfedilink
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?