Become a fan of Slashdot on Facebook


Forgot your password?

Slashdot videos: Now with more Slashdot!

  • View

  • Discuss

  • Share

We've improved Slashdot's video section; now you can view our video interviews, product close-ups and site visits with all the usual Slashdot options to comment, share, etc. No more walled garden! It's a work in progress -- we hope you'll check it out (Learn more about the recent updates).


Comment: Opt In Mathematics and Functional Programming (Score 1) 418

by Googol (#11966552) Attached to: Major PC Makers Adopt Trusted Computing Schema

The issue here is a deep one. Our current legal paradigm is skewed exclusively towards Imperative programming. The public and judges and most lawyers understand no other. We try to prohibit side-effects that the legal system doesn't want by limits to functions that might compute them. The net result, since side-effects of functions are quite unpredictable, is the only way to enforce undesirable side-effects is to censor the functions in advance. This amounts to pre-censorship rather than the present unsuccessful post-censorship. It also drives attempts at defining, in advance, which functions are off-limits conceptually (by software patents).

This amounts to taking away the right to program an (approximation to) a universal computing device. To the extent this approach succeeds, it will be to the detriment of computational freedom generally.

The line of defense in the long run *must* be the freedom to compute anything. Computation is like thinking. You can't censor it in advance by rules.

Whom the gods would destroy, they first teach BASIC.