HN user

subpub47

40 karma
Posts0
Comments12
View on HN
No posts found.

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.)