As commonly used by mathematician/theorem/ must be not just provable, but proved.
Conjectures and postulates can get by without proof though (for different reasons though).
There is an intricate mathematical reason why I did it without the tables. In short - the number is too damn big to prove _formally_ (I am a mathematician) using Elliptic Curve Primality Proving (ECPP), due to the O(n^6) runtime.
In my favour is the precedent set by the Think Geek T-shirt which has no tables either. Unless you're talking about the one with only tables, and that has no code. If ThinkGeek have an illegal T-shirt, then my prime number is just as illegal.
Exactly right. That's why I knew it was such a simple search.
No single byte extension to the file (256 choices, 128 were even) was enough to find the prime. I therefore started again, and appended two bytes. It was simple brute force search. I used the excellent OpenPFGW program (www.primeform.net) to do the search - it only took an hour to find (and a day to formally prove using Eliptic Curve Primality Proving (ECPP) using a program called Titanix).
A Gzip file ends with a 0 byte. I had to append 2 bytes as no single byte would do the trick.
It wasn't supposed to be elegant, it was supposed to be a silly stunt.
Charles Hannum and I have shrunk his C code and made far more elegant numbers since then which work simply by permuting the variable names '}' is an odd number, and thus we didn't need to add anything to the end of the file.
I believe I have, according to the letter of a US law comitted a crime. Professor Chris Caldwell of UTM by archiving the prime number on his page (www.primepages.org) is also breaking the law. I first OKed the submission of the prime to his list as I didn't want him to get into trouble. But he has as much disrespect for that law as I do, and was happy to archive it for me.
Actually it was inspired by a mail from me saying "Charles, do you mind if I permute your variable names in order for it to become prime". He simply found one before me...
He's also found one of the C code represented as base 128 not base 256 (as ASCII C source is 7-bit).
Yes. Charles Hannum and myself have found a prime number that encodes the shorted known C implementation of DeCSS. All straight C, just represented in ascii in base 256.
Yes it is. I did it (I am Phil Carmody) purely as another _stupid_ stunt.
I'm not even American, so it's less of an issue for me. However, I just wanted to do take part in my little criticism of the stupidity of that particular law.
I think it was called "3D Monster Maze" but it's soo long ago I can't remember. It didn't have much of an adventure feel to it
Dungeon master postdates that by half a decade
FP. --
"
This is just a symptom of slashdot having become a commercial institution. It no longer cares, when it comes down to the bottom line, about the
principles upon which it was founded.
"
I think that's an insult to slashdot.
I think the powers that be care an aweful lot about those principles. It's just that if they try to adhere to them, they will die.
Sometimes it's not worth dying, it's better to remain alive and complain vociferously.
FatPhil. --
OT Note (pun not intended) - people/sites in Finland and Norway have both been fucked over by Co$ wielding US law. Sweden it appears is as likely to fold under pressure. Hoorah for The Netherlands, for holding on to sensibilities.
I agree.
However, one could always have the circumvention as a "bug" that conveniently never gets fixed!
(Yeah, I know Adobe could probably fix it themselves, and submit the patch to the maintainer.)
FP. --
Fairly good suggestion. It still could annoy Adobe.
Isn't the simplest solution to leave xpdf to follow the standard as is, with copy-protection bit adherence, but to provide a "pdf-edit-utils" package containing 1 or 2 tiny programs that simply toggle the copy-protection bit on and off.
Here in Finland we've had cash cards for many years (approaching 5 I guess). OK, you don't have your own terminal, but you can top them up at any cash machine, and use them almost everywhere you an use Visa for example.
_Deliberately_ obfuscated code. Doesn't matter whether by man or machine, it's just whether there has been a conscious obfuscation stage.
There's more of a description in the document itself. It states that the code must be in a format that the programmer would chose to program it in. Even obfuscators like to have a clear version of the code to work with, and rarely does it change once they've started the obfuscation process. I write obfuscated code using 'Stroustrup ' braces/indenting and with meaningful variable names. The absolute last stage to me is to remove brackets and change variable names to l1 ll l0 lO etc...
They were obliged to weaken the law slightly when some activist types hinted that if the home secretary were to be sent "encrypted allegedly illegal information", which would almost certanly be just random data, he'd have to prove that he didn't know how to decrypt it. Impossible. So they weakened the law so that the authorities have to prove that you have a reason to know the decryption keys now.
Either way, it still sucks.
FatPhil --
Yeah, I agree with you.
What I want to know is how St. Louis could have the demand for _200_ new system administrators _every_ month. I guess that a whole bunch of mid-westerly IT companies thought that it could be interesting to use Linux for some parts of their IT subsystem (mail gateway, firewall, print servers, web proxy, web server even) and got themselves a Linux admin. And then that was saturation, noone else to train, no market, no economic want to satisfy. ooops, 100 jobs down the drain. I bet you their expansion plans were non-existant.
We don't need plans - we're a fast moving IT company!
Your logic is crap.
My Mother Theresa comment is against _Mother Theresa_, and against _dogmatic Roman Catholics_.
Anyway, what do you do when an electrical storm brings down your TV transmission? Fuck?
Now imagine - these guys don't ever have telly! Get a grip - you can't stop people having sex, but you _can_ put a latex membrane in the way.
If you are standing up for Christianity, please step forward more (for example present something approximating a coherent argument) so my next swipe can be more clearly aimed at you.
You really know nothing about Palestinian history do you?
The father of the Jews was an Arab.
The term PLSTN was used by the Egyptians to describe the region a thousand years before Abraham was born.
The way I understood it was that pretty much everything bad said against the Gnostics at the time was false made up by their 'rivals'. (is that the word?)
The mainstream Christians claimed that Gnostics ate babies.
Slashdot Mirror
As commonly used by mathematician /theorem/ must be not just provable, but proved.
Conjectures and postulates can get by without proof though (for different reasons though).
FatPhil
--
There is an intricate mathematical reason why I did it without the tables. In short - the number is too damn big to prove _formally_ (I am a mathematician) using Elliptic Curve Primality Proving (ECPP), due to the O(n^6) runtime.
In my favour is the precedent set by the Think Geek T-shirt which has no tables either. Unless you're talking about the one with only tables, and that has no code. If ThinkGeek have an illegal T-shirt, then my prime number is just as illegal.
FatPhil
--
There are 3 types of number in a 'Unique Factorisation Domain' such as the integers.
1) Composites
2) Primes
3) Units
The units include numbers such as 1 and -1 (and i and -i in the Gaussian integers) which have magnitude 1.
i.e. 1 is not prime.
If you don't have unique factorisation then you don't really have primes as we know them.
FatPhil
--
Exactly right. That's why I knew it was such a simple search.
No single byte extension to the file (256 choices, 128 were even) was enough to find the prime. I therefore started again, and appended two bytes. It was simple brute force search. I used the excellent OpenPFGW program (www.primeform.net) to do the search - it only took an hour to find (and a day to formally prove using Eliptic Curve Primality Proving (ECPP) using a program called Titanix).
FatPhil
--
A Gzip file ends with a 0 byte. I had to append 2 bytes as no single byte would do the trick.
It wasn't supposed to be elegant, it was supposed to be a silly stunt.
Charles Hannum and I have shrunk his C code and made far more elegant numbers since then which work simply by permuting the variable names '}' is an odd number, and thus we didn't need to add anything to the end of the file.
FatPhil
--
I believe I have, according to the letter of a US law comitted a crime. Professor Chris Caldwell of UTM by archiving the prime number on his page (www.primepages.org) is also breaking the law. I first OKed the submission of the prime to his list as I didn't want him to get into trouble. But he has as much disrespect for that law as I do, and was happy to archive it for me.
FatPhil
--
Actually it was inspired by a mail from me saying "Charles, do you mind if I permute your variable names in order for it to become prime". He simply found one before me...
He's also found one of the C code represented as base 128 not base 256 (as ASCII C source is 7-bit).
FatPhil
--
Yes. Charles Hannum and myself have found a prime number that encodes the shorted known C implementation of DeCSS. All straight C, just represented in ascii in base 256.
FatPhil (The Phil Carmody in question)
--
Yes it is. I did it (I am Phil Carmody) purely as another _stupid_ stunt.
I'm not even American, so it's less of an issue for me. However, I just wanted to do take part in my little criticism of the stupidity of that particular law.
FatPhil
--
I think it was called "3D Monster Maze" but it's soo long ago I can't remember. It didn't have much of an adventure feel to it
Dungeon master postdates that by half a decade
FP.
--
Hmm, let's look at some of my recently edited files:
fft_zr.c
Nope, can't see a 'word' in that.
decss_434.c
Nope, can't see a 'word' in that.
Why the buggerybollocks are you talking about words - we're talking about _filenames_.
FP.
--
" This is just a symptom of slashdot having become a commercial institution. It no longer cares, when it comes down to the bottom line, about the principles upon which it was founded. " I think that's an insult to slashdot. I think the powers that be care an aweful lot about those principles. It's just that if they try to adhere to them, they will die. Sometimes it's not worth dying, it's better to remain alive and complain vociferously. FatPhil.
--
Should Slashdot colocate in Holland?
OT Note (pun not intended) - people/sites in Finland and Norway have both been fucked over by Co$ wielding US law. Sweden it appears is as likely to fold under pressure. Hoorah for The Netherlands, for holding on to sensibilities.
I want anon.penet.fi back...
FP
--
I agree.
However, one could always have the circumvention as a "bug" that conveniently never gets fixed!
(Yeah, I know Adobe could probably fix it themselves, and submit the patch to the maintainer.)
FP.
--
Fairly good suggestion. It still could annoy Adobe.
Isn't the simplest solution to leave xpdf to follow the standard as is, with copy-protection bit adherence, but to provide a "pdf-edit-utils" package containing 1 or 2 tiny programs that simply toggle the copy-protection bit on and off.
FatPhil
--
Here in Finland we've had cash cards for many years (approaching 5 I guess). OK, you don't have your own terminal, but you can top them up at any cash machine, and use them almost everywhere you an use Visa for example.
FP.
--
_Deliberately_ obfuscated code. Doesn't matter whether by man or machine, it's just whether there has been a conscious obfuscation stage.
There's more of a description in the document itself. It states that the code must be in a format that the programmer would chose to program it in. Even obfuscators like to have a clear version of the code to work with, and rarely does it change once they've started the obfuscation process. I write obfuscated code using 'Stroustrup ' braces/indenting and with meaningful variable names. The absolute last stage to me is to remove brackets and change variable names to l1 ll l0 lO etc...
FatPhil
--
"Our societies"?
Do you live in China? In Iran? In Afghanistan? In Zaire? In Angola?
"simpler"?
jeeesus, I'm for once speechless.
You really need to get a perspective.
FatPhil
--
They were obliged to weaken the law slightly when some activist types hinted that if the home secretary were to be sent "encrypted allegedly illegal information", which would almost certanly be just random data, he'd have to prove that he didn't know how to decrypt it. Impossible. So they weakened the law so that the authorities have to prove that you have a reason to know the decryption keys now.
Either way, it still sucks.
FatPhil
--
Yeah, I agree with you.
What I want to know is how St. Louis could have the demand for _200_ new system administrators _every_ month. I guess that a whole bunch of mid-westerly IT companies thought that it could be interesting to use Linux for some parts of their IT subsystem (mail gateway, firewall, print servers, web proxy, web server even) and got themselves a Linux admin. And then that was saturation, noone else to train, no market, no economic want to satisfy. ooops, 100 jobs down the drain. I bet you their expansion plans were non-existant.
We don't need plans - we're a fast moving IT company!
Pop!
FatPhil
--
I've since learnt that it's a common piss-take name for the nutter.
My bad.
FP.
--
Learn how to form a sentence.
Learn where you may put commas.
Abortion is not the solution - not bloody conceiving in the first place is.
FP.
--
Your logic is crap.
My Mother Theresa comment is against _Mother Theresa_, and against _dogmatic Roman Catholics_.
Anyway, what do you do when an electrical storm brings down your TV transmission? Fuck?
Now imagine - these guys don't ever have telly! Get a grip - you can't stop people having sex, but you _can_ put a latex membrane in the way.
If you are standing up for Christianity, please step forward more (for example present something approximating a coherent argument) so my next swipe can be more clearly aimed at you.
FatPhil
--
You really know nothing about Palestinian history do you?
The father of the Jews was an Arab.
The term PLSTN was used by the Egyptians to describe the region a thousand years before Abraham was born.
--
The way I understood it was that pretty much everything bad said against the Gnostics at the time was false made up by their 'rivals'. (is that the word?)
The mainstream Christians claimed that Gnostics ate babies.
They didn't.
Insert wolf principle to taste.
FP.
--