this post was submitted on 21 Dec 2023
1021 points (98.9% liked)

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

53939 readers
292 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


💰 Please help cover server costs.

Ko-FiLiberapay


founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] GeniusIsme@lemmy.world -2 points 9 months ago (3 children)

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

[–] sukhmel@programming.dev 2 points 9 months 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

[–] nakal@kbin.social 1 points 9 months ago

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

[–] MachineFab812@discuss.tchncs.de 1 points 9 months ago

Correspondence is not correlation.