|
|
|
|
|
|
by subpub47
684 days ago
|
|
|
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.) |
|
|