Pro@programming.dev to Technology@lemmy.worldEnglish · 13 days agoThe Department of Defense Efforts to Buy and Maintain IT Systems Are Billions Over Budget and Delayedwww.gao.govexternal-linkmessage-square14linkfedilinkarrow-up1247arrow-down13
arrow-up1244arrow-down1external-linkThe Department of Defense Efforts to Buy and Maintain IT Systems Are Billions Over Budget and Delayedwww.gao.govPro@programming.dev to Technology@lemmy.worldEnglish · 13 days agomessage-square14linkfedilink
minus-squarebacon_pdp@lemmy.worldlinkfedilinkEnglisharrow-up7arrow-down1·13 days agoMy husband says it is not secret what they use. It is something called L4-SEC which has formal proofs of correctness
minus-squareshalafi@lemmy.worldlinkfedilinkEnglisharrow-up1arrow-down3·13 days agoWe need the /s tag around here for even the mildest and most obvious jokes.
minus-squaredanzania@infosec.publinkfedilinkEnglisharrow-up3·12 days agoYou may need to work on your jokes :)
minus-squarebacon_pdp@lemmy.worldlinkfedilinkEnglisharrow-up3·12 days agohttps://www.sigops.org/s/conferences/sosp/2009/papers/klein-sosp09.pdf
My husband says it is not secret what they use. It is something called L4-SEC which has formal proofs of correctness
We need the /s tag around here for even the mildest and most obvious jokes.
You may need to work on your jokes :)
https://www.sigops.org/s/conferences/sosp/2009/papers/klein-sosp09.pdf