Skip to main content



intellectual property law trolling/shitpost

Pi is an irrational number. This means that its digits continue indefinitely without ever repeating. Every possible finite combination of digits is therefore contained therein. This would technically include a digital representation of every possible copyrighted work.

Does this constitute prior art?

reshared this

in reply to Jonathan Lamothe

If you can find them, yes. This idea was used by Carl Sagan in his novel Contact.
in reply to Jonathan Lamothe

I'll bite, but not about the IP part.

Just because an irrational number's digits continue indefinitely without ever repeating, does that necessarily mean that it contains every arbitrary finite sequence of digits?

#Mathstodon

1/

in reply to Bob Jonkman

Is there at least one finite sequence of digits that isn't represented in pi? If so, there are probably an infinite set of finite sequences of arbitrary numbers not represented in pi.

*something something* Cantor's infinite set of infinite sets...

#Mathstodon

2/

in reply to Bob Jonkman

OTOH, if every finite sequence of arbitrary digits is represented in pi, then we should be able to find in pi a representation of, say, Euler's number to any given precision...

#Mathstodon

3/3 Enough for now. I don't have the math-fu to know if I'm being rational.

#BaDumTiss

in reply to Bob Jonkman

@Bob Jonkman So I've been told. I also took it as a given that the numbers never repeat. I have a mathematical proof for at least the non-repeating part now at least.
in reply to Bob Jonkman

@bobjonkman No. Consider 1.0100100010000100001..... This is irrational but it doesn't contain any sequence of digits containing digits other than one or zero.

As for the irrational number pi, I think maybe it is unknown whether it contains all sequences of digits, but I don't know where to quickly check that.

Bob Jonkman reshared this.

in reply to Jonathan Lamothe

@soaproot ...though could it not then be argued that this number contains a binary encoding of all possible sequences?

Edit: actually, not necessarily.

Edit 2: Okay, I see the pattern now. Definitely not.

Bob Jonkman reshared this.



So, I've learned that the couple who own the building I live in are moving in to the unit directly beneath us.

While I definitely have mixed feelings about this, at least I guess they're less likely to sell to a REIT.



TIL:
data Foo = Bar { val :: Int } | Baz { val :: Int }

is valid #Haskell. I wouldn't have thought you could define val twice like that.



I have a messenger bag that I typically carry around with me. Sometimes things go in there and I forget about them.

Katy was looking for something and discovered that for some reason I had put our marriage certificate in there. The last time I needed the physical certificate was years ago, so it must've been sitting in there and I've just been carrying it around with me unknowingly for quite some time.

I imagine I should probably find a better place for it.

I should probably also go through it to see what else I've put in there and forgotten about.



Me: I like math because its answers are unambiguous and not up for debate. Two plus two is always four.

Finite fields: Oh really?



In what may be the first time in the history of the world that anyone has done this, I just managed to use super glue without getting any on my fingers.




meta: on CWs

I've stated before that I'm not the CW police and I'm not going to dictate how others should use them, but if you're looking for a general guideline on when you might consider using them, this seems a reasonable guide:


Time to trot out this old thing:


GHCup: Because #Haskell apparently needs a package manager for its various package management systems.


I'm an idiot.

I was trying to install #Haskell on a machine and thought the installer was taking a really long time. In my defense, the last line of text was:

Installation may take a while.

It sat at this stage for over an hour while I did other stuff, because I hadn't bothered to read the previous line:
Press ENTER to proceed or ctrl-c to abort.
in reply to Jonathan Lamothe

It's not you, it's bad design. The prompt should always be the final line of output.


I find that hlint is a great tool for pointing out where your code can be improved, but sometimes its suggestions are... interesting. Case in point, it just recommended changing
map (\(a, b) -> {- ...stuff... -}) $ zip as bs

to
zipWith (curry (\(a, b) -> {- ...stuff... -})) as bs

instead of
zipWith (\a b -> {- ...stuff... -}) as bs


*sitting at my desk*

Why is there no music in my headset?

Oh.

*restarts the aNONradio stream that I stopped when I stepped out for a moment, and goes back to doing other stuff*

*~60 seconds pass*

Wait, there's still no music.

*Selects the correct audio output device.*

Isn't ADHD fun?




Has anyone else been having troubles getting updates from @The Tor Project's #Debian repository? The signing key seems to be expired.

reshared this




I wonder how many times I'm going to have to re-learn how to use lenses in #Haskell.


Mormonism, mention of suicide

Mormon apologists: Maybe the reason the teen suicide rate in Utah is so high is because of the altitude.

Me: That feels like bad planning on God's part when he told Brigham Young to settle there, doesn't it?








Brief outage because the new server accidentally came disconnected from power.

Everything's back up. Anxiety levels returning to normal.




This website uses cookies. If you continue browsing this website, you agree to the usage of cookies.