News for hackers. Stuff that matters.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by TeMPOraL on Tuesday September 22, 2020 @11:39AM (#24555783)
Did anyone try to pluck out PDFs from /dev/urandom? How about from radiotelescope feed? Maybe the first evidence of extraterrestrial life will be some poor alien's tax form?
Re:Embedded PDF viewer in Firefox 81 supports filling forms by willis77 on Tuesday September 22, 2020 @11:56AM (#24556041)
The digits of pi contain every pdf that ever could and ever will exist.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by vcxy on Tuesday September 22, 2020 @12:44PM (#24556728)
"Find the earliest valid pdf in consecutive digits of pi"
Re:Embedded PDF viewer in Firefox 81 supports filling forms by paulmd on Tuesday September 22, 2020 @01:15PM (#24557199)
I mean, the answer is trivially zero, there exists a PDF-like structure somewhere in Pi, and the offset of that doesn't have to be zero, it can start or end anywhere. So the range [0, N] is a valid PDF.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by infogulch on Tuesday September 22, 2020 @03:00PM (#24558457)
"Find the last byte of the first valid PDF in the binary digits of Pi"
Re:Embedded PDF viewer in Firefox 81 supports filling forms by paulmd on Wednesday September 23, 2020 @05:36PM (#24572358)
Since the PDF also doesn't have to be end-aligned, the answer is trivially [0, infinity].

The first place a valid PDF could be ended, perhaps.

Re:Embedded PDF viewer in Firefox 81 supports filling forms by infogulch on Wednesday September 23, 2020 @10:20PM (#24574663)
A pdf at [0, N] sorts before the one at [0, N+1], by "first valid pdf".
Re:Embedded PDF viewer in Firefox 81 supports filling forms by paulmd on Friday September 25, 2020 @12:17PM (#24591384)
No, both start at 0. Also, [0, infinity] and [0, infinity+1] are the same thing.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by infogulch on Tuesday September 29, 2020 @02:11AM (#24624615)
Re:Embedded PDF viewer in Firefox 81 supports filling forms by paulmd on Tuesday September 29, 2020 @01:24PM (#24630512)
your example fails to satisfy the invariant. 11 is less than infinity.

you're just pasting random python snippits at me now. It's time to move on.

again, just to summarize: PDF files do not have to be zero aligned, and they do not have to be end aligned. Therefore the answer to the question "what is the first segment of Pi that is a valid PDF file" is trivially (0,infinity). That is a correct statement. The non-greedy (in the regex sense) answer to that question will be different, however.

Re:Embedded PDF viewer in Firefox 81 supports filling forms by infogulch on Tuesday October 06, 2020 @02:06PM (#24700645)
Why is this so hard? If the tuple (0,10) represents the range of a valid pdf, then the next tuple (0,11) is also a valid pdf. Or any after it up to and including (0,infinity).

Note the word "next", implying that (0,10) sorts before (0,11); you even say it yourself "11 is less than infinity". Where I'm from "first" and "less" are related (the first element in a unique sorted list is defined to be less than all other elements). So if there is any valid pdf in pi that can be identified by the range tuple (0,N), then the first valid pdf must occur before N -> infinity. Therefore (0,infinity) can never be the first valid pdf, even though it may be a valid pdf.

Maybe a picture would help:

    Potential pdf file ranges in pi: [(0,0),(0,1),(0,2),(0,3),(0,4),...,(0,N-1),(0,N),(0,N+1),(0,N+2),...,(0,infinity)]
    Is it a valid pdf?                 no    no    no    no    no  (no)  no      yes   yes     yes   (yes) yes
    Which one is first?                                                          ^^^
I thought linking to a python script that shows the order comparison of a tuple (0,N) as less than the tuple (0,N+1) would clearly demonstrate this, but it appears to have failed to communicate that to you. We don't need non-greedy regex rules to do a less than comparison.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by drevil-v2 on Tuesday September 22, 2020 @03:41PM (#24558914)
Please don't give them any ideas.. the whiteboard interview coding tests are hard enough as it is
Re:Embedded PDF viewer in Firefox 81 supports filling forms by gedy on Tuesday September 22, 2020 @07:05PM (#24561052)
How else will we weed out the fakers and people coasting for 10 years? Our CRUD SaaS app needs top people.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by ehsankia on Tuesday September 22, 2020 @07:01PM (#24561020)
Doesn't sound like that hard of a question, given you are provided the structure of the PDF header. I guess it really comes down to substring search.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by btown on Tuesday September 22, 2020 @01:06PM (#24557056)
Imagine if it was a PDF that simply rendered the number 42.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by ddalex on Tuesday September 22, 2020 @06:42PM (#24560868)
If that happens we know for a fact that we are in a simulation
Re:Embedded PDF viewer in Firefox 81 supports filling forms by mtzet on Tuesday September 22, 2020 @12:01PM (#24556116)
Well maybe. We don't know if pi is a normal number.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by poizan42 on Wednesday September 23, 2020 @10:20AM (#24567368)
Actually it only needs to be a disjunctive (or rich) number which is a weaker condition.

We don't know whether pi is that either for any integer base.

Re:Embedded PDF viewer in Firefox 81 supports filling forms by SteveGoob on Tuesday September 22, 2020 @12:40PM (#24556671)
> We don't know if pi is a normal number.

Sure we do. There are plenty of proofs out there that pi is an irrational number.

Re:Embedded PDF viewer in Firefox 81 supports filling forms by andreareina on Tuesday September 22, 2020 @12:43PM (#24556713)
Irrational does not imply normal. For example, 1.01001000100001... is irrational but it's certainly not normal.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by x3c on Tuesday September 22, 2020 @02:54PM (#24558395)
Technically, 1.01001000100001... can be normal depending on what ... stands for. :)
Re:Embedded PDF viewer in Firefox 81 supports filling forms by bscphil on Tuesday September 22, 2020 @06:08PM (#24560547)
Well, obviously. But presumably the ... is meant to imply that this is the summation of 1/(10^(x(x+3)/2)).
Re:Embedded PDF viewer in Firefox 81 supports filling forms by coddle-hark on Tuesday September 22, 2020 @03:55PM (#24559075)
Or what 1 or 0 or . stands for.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by landryl on Tuesday September 22, 2020 @03:27PM (#24558732)
Actually I'd argue the example you provided is normal, as long as you authorise a particular encoding where every number n you're looking for is encoded as a string of n zeros.

It's then trivial to see that every number you can think of is encoded in there, and therefore any data, piece of music or movie that ever existed.

(I'm not sure we're allowed to fiddle with the encoding, but since we allow ourselves to represent a piece of music into a number, we're already talking about encoding anyway, so it doesn't seem like cheating to me...)

Re:Embedded PDF viewer in Firefox 81 supports filling forms by enedil on Tuesday September 22, 2020 @03:36PM (#24558860)
Normality of a number is with respect to number bases, so your trick with encoding is invalid. Otherwise, every computable number could be considered normal - take an algorithm for generating of it, supply a random string (this is the encoding), disregard the random string, and you have a perfectly valid normal representation of your number. So it is cheating.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by NieDzejkob on Wednesday September 23, 2020 @07:41AM (#24565800)
I agree that normality is a specific formalized concept, but you could always require that an encoding function like this is injective.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by dheera on Tuesday September 22, 2020 @04:29PM (#24559493)
Encoding doesn't count. Normality is a very specific mathematical concept: https://en.wikipedia.org/wiki/Normal_number

Also, 1.01001000100001... is a good example of a number that is both irrational and transcendental but not normal.

Re:Embedded PDF viewer in Firefox 81 supports filling forms by jimktrains2 on Tuesday September 22, 2020 @02:50PM (#24558354)
Normal in this sense means that all the frequency of all digits approaches a uniform distribution as the length of the sample increases towards infinity. Basically if we could see "all of" π and count all the 0s, 1s 2s, 3s, &c to 9 all the counts would be equal.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by gugagore on Tuesday September 22, 2020 @03:26PM (#24558721)
That on its own can't be right, because 0.12345678901234.....

According to wikipédia, you gave a definition for "simply normal", and for normal numbers the distribution of any sequence of digits is uniform. So 00, 01, ..., 99 each occur uniformally too.

Re:Embedded PDF viewer in Firefox 81 supports filling forms by enedil on Tuesday September 22, 2020 @03:37PM (#24558870)
Moreover you need to consider it with regards to all other bases than 10 too.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by gorgoiler on Wednesday September 23, 2020 @12:23AM (#24562951)
Is this correct, mathematically?

I understand the point that PI contains every possible piece of information, theoretically.

However, the chance of finding a given string in PI depends on the string’s length. The longer the string, the more the probability tends to 0.

The paradox therefore is that PI contains every PDF, but you will never find them, so in what sense does it really contain them at all?

Re:Embedded PDF viewer in Firefox 81 supports filling forms by lsiebert on Wednesday September 23, 2020 @01:09AM (#24563203)
No, all strings theoretically exist in 𝛑 given enough digits, so longer strings don't reduce probability of existence, they just mean that it will take more digits to find them.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by tsbertalan on Wednesday September 23, 2020 @01:31AM (#24563318)
See Borell-Cantelli lemma.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by gorgoiler on Thursday September 24, 2020 @11:22PM (#24586270)
I looked this up but I’m not sure I grasp your point.

Are you saying that:

- given a long string, we might ask “can this string be found in PI?”

- the probability of finding a long string in PI is infinitely small

- the number of possible strings in PI is infinitely large

- it’s not possible to decide if the answer is yes or no?

Re:Embedded PDF viewer in Firefox 81 supports filling forms by rezeroed on Wednesday September 23, 2020 @10:58AM (#24567869)
If a tree falls in the forest and no one is around to hear it fall. Or a modern take, if a disease has no symptoms is it really a disease.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by nroets on Tuesday September 22, 2020 @01:05PM (#24557042)
<citation needed>

Including a PDF that generates the digits of pi

Re:Embedded PDF viewer in Firefox 81 supports filling forms by adtac on Tuesday September 22, 2020 @11:40PM (#24562704)
actually, if you find the citation, let me know, you might be in for an award
Re:Embedded PDF viewer in Firefox 81 supports filling forms by egocodedinsol on Tuesday September 22, 2020 @10:12PM (#24562240)
I'm not sure that's necessarily true. It is true (at least with a non-constructive proof) that if you pick a 'random' real number then it contains all possible PDFs with probability one ( or that the set of numbers for which this is not true has lebesgue measure zero). But I'm not sure it's known that pi has this property.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by dheera on Tuesday September 22, 2020 @04:21PM (#24559383)
Pi is thought to be normal but it hasn't been proven yet, so we can't say that for sure, but it's likely true.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by ducktective on Tuesday September 22, 2020 @12:54PM (#24556886)
I don't think that is a proven fact.
Re:Embedded PDF viewer in Firefox 81 supports filling forms by rbonvall on Tuesday September 22, 2020 @05:27PM (#24560149)
Since a PDF can begin with non-PDF content, then pi itself is a valid PDF file.