pacjo@lemmy.dbzer0.com to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish · 7 months agoI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.comimagemessage-square60fedilinkarrow-up1968arrow-down110
arrow-up1958arrow-down1imageI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.compacjo@lemmy.dbzer0.com to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish · 7 months agomessage-square60fedilink
minus-squareGeniusIsme@lemmy.worldlinkfedilinkEnglisharrow-up15arrow-down5·7 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.