I'm still upset that my "you can't patent software because of the Curry-Howard i...

subpub47 6 months ago | parent | context | favorite | on: I recreated Shazam’s algorithm with Go

I'm still upset that my "you can't patent software because of the Curry-Howard isomorphism" legal argument never took off. (Basically, software is equivalent to math, and you can't patent math. Therefore, you can't patent software. QED.)