1025

I absolutely love VideoLAN's stance regarding patents (lemmy.dbzer0.com)

submitted 2 years ago by pacjo@lemmy.dbzer0.com to c/piracy@lemmy.dbzer0.com

64 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[-] GeniusIsme@lemmy.world 11 points 2 years ago

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.

[-] hglman@lemmy.ml 13 points 2 years ago

No, the proof - program correspondence is in both directions.

[-] GeniusIsme@lemmy.world -2 points 2 years ago

Correspondence is quite a weak relation. Very far from one being another.

[-] sukhmel@programming.dev 2 points 2 years ago

I'd say if you ask a mathematician, they would disagree with you. But maybe that depends on how far they have gone into maths from common sense

[-] MachineFab812@discuss.tchncs.de 1 points 2 years ago

Correspondence is not correlation.

[-] nakal@kbin.social 1 points 2 years ago

That's why it's also called Curry-Howard isomorphism.

this post was submitted on 21 Dec 2023

1025 points (98.9% liked)

Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ

70806 readers

255 users here now

⚓ Dedicated to the discussion of digital piracy, including ethical problems and legal advancements.

Rules • Full Version

1. Posts must be related to the discussion of digital piracy

2. Don't request invites, trade, sell, or self-promote

3. Don't request or link to specific pirated titles, including DMs

4. Don't submit low-quality posts, be entitled, or harass others

Loot, Pillage, & Plunder

We heartily recommend visiting the free port of freemediaheckyeah (aka FMHY) while you sail the high seas, for all the freshest links the ocean has to offer.