mikidep@lemmy.world to Programmer Humor@programming.dev · 8 months agoWe did this to ourselveslemmy.worldimagemessage-square12fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1imageWe did this to ourselveslemmy.worldmikidep@lemmy.world to Programmer Humor@programming.dev · 8 months agomessage-square12fedilink
minus-squaredeegeese@sopuli.xyzlinkfedilinkarrow-up0·8 months agoTurns out getting working code is a lot cheaper and more useful than formally proven code.
minus-squareAnders429@programming.devlinkfedilinkarrow-up0·8 months agoCheaper? Yes, I guess so, depending on how you measure cost. More useful? Absolutely disagree.
minus-squaredeegeese@sopuli.xyzlinkfedilinkarrow-up0·8 months agoIndustry will pick functionality over verification every time.
Turns out getting working code is a lot cheaper and more useful than formally proven code.
Cheaper? Yes, I guess so, depending on how you measure cost. More useful? Absolutely disagree.
Industry will pick functionality over verification every time.