pacjo@lemmy.dbzer0.com to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish · 9 months agoI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.comimagemessage-square54fedilinkarrow-up1954arrow-down110
arrow-up1944arrow-down1imageI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.compacjo@lemmy.dbzer0.com to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish · 9 months agomessage-square54fedilink
minus-squareGeniusIsme@lemmy.worldlinkfedilinkEnglisharrow-up15arrow-down5·9 months agoProofs can be represented as programs, not the other way around. Also, USA allows for algorithm parents, and algorithms are maths. While I agree with you, your reasoning is not correct.
Proofs can be represented as programs, not the other way around. Also, USA allows for algorithm parents, and algorithms are maths. While I agree with you, your reasoning is not correct.