Just a heads up, this is writing 16 bits for every 8 bits of input:
https://github.com/philipl/pifs/blob/fded8bf7b8f4fc64233e37b...
πFS
91–100 of 224 posts
Re: πFS
#92I built something with a similar spirit for Pi day: https://pi.yassi.dev/
Re: πFS
#93Someone should make a service "where in the pi am I" then you could use it as a short link. Then there will be hardware accelerated pi chips. All computers will come with pi preinstalled.
Re: πFS
#94I've simplified it and made it more flexible
3._1_415926535897932384626433832795_0_288419716939
Re: πFS
#95Funnily enough I’m reading Service Model and just got to the bit in the Library Archive, which has a very similar vibe to this project. Love it
Re: πFS
#96>One of the properties that π is conjectured to have is that it is normal
conjectured
Glad to see one of my pet points of pedantry come up. No non-constructed irrational number has never been proven to be normal or disjunctive.
Re: πFS
#97This is probably a dumb question, but do we actually know that pi has an infinite number of decimal digits or are we assuming that it does because we haven’t developed a sufficiently powerful computer to calculate the last digit of pi? I’m guessing this is something that could be formally proven?
Here is a one page proof that pi is irrational - https://heuklyd.github.io/papers/pdf/Niven-1947.pdf
For a superb explanation of Niven's proof (which leaves more questions than answers when you first read it), I like Michael Penn's video: https://youtu.be/dFKbVTHK4tU?is=d2DbV5HDP0IpP9tA ....notwithstanding the length of the proof, this is quite a hard problem.
Re: πFS
#98Looked at the repo but it says NOTHING about what value this project offers. I mean, I get that it's "fun" to store information within the digits of pi. But is this just amusement, or is there a value prop for production use here? (Speaking as a math major, by the way. I'm sympathetic to the cause.)
It's a(n IMO weak) argument raised when discussing illegal files/numbers.
This project makes clear the counter-argument: the input that gets you the file out of π is a badly compressed version of the file.
Re: πFS
#99It is worth noting that as the length of data increases it becomes extremely unlikely that the index and length of the sequence within pi would actually be smaller than the data.
Point taken about the index potentially being really long. Why would the length be longer than the data? Don’t you need to find the right sequence?
Re: πFS
#100Reminds me of when I tried to use the library of babel as a data compression tool. It led me down a fun rabbit hole and was my first introduction to information theory. The conclusion being that you basically need the same amount of data to represent the address of your data as the data itself, so it's not really effective at compression, just a fun thought experiment. The cool part of this in modern times is that LL…
3Blue1Brown just released a viduo about this Intelligence-Compression connection.