unquietwiki@programming.dev to Programming@programming.devEnglish · 2 days ago"Bend": an attempt to apply formal proofs to AI-generated codeplus-squaregithub.comexternal-linkmessage-square3fedilinkarrow-up19arrow-down125
arrow-up1-16arrow-down1external-link"Bend": an attempt to apply formal proofs to AI-generated codeplus-squaregithub.comunquietwiki@programming.dev to Programming@programming.devEnglish · 2 days agomessage-square3fedilink
minus-squareunquietwiki@programming.devtoLinux@programming.dev•"notwin95" -- A minimal application launcher.linkfedilinkEnglisharrow-up2·5 days agoUpvoted because its neat, but the distribution needs work: you have a TAR file in the GZIP, not labeled as a TAR file, so it’s hard to tell at first what/how you’re supposed to access this. linkfedilink
minus-squareunquietwiki@programming.devtoProgrammer Humor@programming.dev•Rest in peace....linkfedilinkEnglisharrow-up6·2 months agoI used to do contract work for AVASO; they were using WhatsApp for comms at the time. linkfedilink
Upvoted because its neat, but the distribution needs work: you have a TAR file in the GZIP, not labeled as a TAR file, so it’s hard to tell at first what/how you’re supposed to access this.