The Official Status Thread
-
name me a number. go on name me a number of finite length.
i can prove that it's in the digits of PI eventually.
I might not be able to show you where, but it is in there!
This is about pi being normal? I didn't think that had been proven.
If you're going to go for the "it's infinite therefore contains every number" argument, that's pretty easy to disprove for the general case
-
-
Yup.
-
Doing my year-end review. These are the details for the "Leadership" category:
- Establishes clear directions and sets stretch objectives.
- Aligns and energizes associates behind common objectives.
- Champions the $company Values & Behaviors. Rewards / encourages the right behaviors and corrects others.
The last two sound more Orwellian than anything involving Leadership...
-
The last two sound more Orwellian than anything involving Leadership...
Propaganda Officer is wery important position, comrade.
-
it becomes proveable once you limit the search number to a terminating decimal pattern.
which if we are honest isjust fine.
-
-
Is that an AbstractUniverseFactory?
-
it's a RosieFactory
-
It's more a TranscendentalFactory.
-
Still wondering why it was a good idea to connect to a production MySQL instance using Python 2.7 and MySQLdb on a Windows 7 box last night.
holy jeebus
a script was importing data since 2001. the data that I have on my side (where this data was being imported from) only goes back to 2006. some time between those data, the import script failed to import correctly, and the data is messy, and mostly incorrect.
sigh
-
some time between those data, the import script failed to import correctly, and the data is messy, and mostly incorrect.
Hey--it's been 8+ years and nobody noticed so it couldn't have been too important, right?
-
Status: Working Saturday, for a decent overtime rate, but discovered on leaving the house that my motorbike has been stolen, meaning a half hour walk into work rather than a 10 minute ride and all the associated arsing around with ploice crime numbers and insurance claims
-
it becomes proveable once you limit the search number to a terminating decimal pattern.
Do you have a link to the proof? Like I said, I thought it wasn't proven - just strongly suspected.
The naive proof of "it's an infinite non-repeating series, so any possible substring has to appear" is quite trivially falsifiable by constructing an infinite, non repeating decimal that can't have a particular substring. Here are two off the top of my head:
- 0.01001100011100001111...
- start with a single 01, add a double, then a triple etc. This can be shown never to repeat quite easily
- the number 2 never appears
- Neither does 010101, because we quickly get past the point when a single 1 or 0 can appear, and 010101 isn't there
- Take pi, convert it into base 9. It is then an infinite, non repeating decimal that contains no 9 digits. It's still a valid decimal irrational though
Ah a nice bit of Saturday morning maths to take my mind off the whole vehicle theft thing
-
well it's not proveable for every trancendental number, i think it's only been done for pi.
and the only reason that particular proof works is because of the very nature of pi itself.
i'm also fairly certain that your example number is not trancendental, but can't be arsed to prove it.
also if we're working with a base 9 mumber then we also have to work with a base 9 search term
-
Status: amused (still) by this: Wife and I went to see The Maze Runners yesterday. We got all the way to the end (not-really-a-spoiler: it's a cliffhanger) and all off a sudden she starts cursing. "What?" asked I? "Fuckers! It's a cliffhanger!" she spitted out through gritted teeth. Ah. Dawning comprehension. "You didn't know it was a series, did you?"
Turns out, she didn't. So we bought the first couple of books to rectify the situation.
Had exactly the same with The Hobbit. My reasoning beforehand: "LotR are 3 books, it makes sense to translate them to 3 movies. The Hobbit is 1 book (and not even a long one at that), so 1 movie, right?"
No. A 200ish page book gets stretched in 3 movies.
-
trancendental number
That might change things. I was talking irrationals in general, not trancendentals specifically
also if we're working with a base 9 mumber then we also have to work with a base 9 search term
My point was that it's still an irrational when interpreted as base 10, but guaranteed not to have any 9s in it. I don't know if it's necessarily trancendental but I suspect it would be
-
but it would no longer be pi would it? the original proof would no longer hold.
-
I was proposing a disproof of "if it's irrational it must contain any finite number", not the more specific "pi must contain any finite number"
-
well in that case, yes it is trivial to disprove irrational numbers must contain any finite number. you did it yourself by counterexample.
-
Exactly. Most times when you see the "pi contains every number" the proof is basically "It's irrational"
see here for an example, which also suggests that it's not proven yet
-
Hey--it's been 8+ years and nobody noticed so it couldn't have been too important, right?
Right. It's just historical data on past events.
-
That blows. I'm working as well, but I get to swap out a normal weekday for today.
-
status: procrastinating writing that prologue that i owe to @arantor and @royal_poet
i suppose i also owe it to @accalia, but... well this is going to hurt.... but it has to be done.... tomorrow for sure. i know that's what i said yesterday. i mean it today.
-
Current status: thinking about referring to all applicable food trends as the "anti-science food movement"
-
Not fun. My motorcycle was stolen last year and never found. It was insured so I bought a replacement once all the paperwork was done, and on this one I have a Ninja Tracker unit (UK company but works fine in the US) installed in a very hidden location. If this one gets stolen, someone's getting a visit from a clue-by-four.
-
Stop inflicting science onto fun stuff...
-
I've always been a bit lax on security for my bikes, generally relying on the fact that in a given group mine is going to be one of the least desirable. I am now aware that this is Doing It Wrong
-
stop inflicting fun onto science stuff
-
What kind of bike is it?
My problem is I always get dirt bikes. It's not too hard for a couple guys and a pickup truck to walk away with a 250-pound motorcycle regardless of disc/fork locks and such.
-
Kawasaki ER5. It was only a cheap first bike, same model as what I did my test on and I was planning on trading up at some point anyway, but it's still pretty horrible walking outside and seeing it gone.
It's not too hard for a couple guys and a pickup truck to walk away with a 250-pound motorcycle regardless of disc/fork locks and such
Not sure how much this weighs but I know it's not easy to lift if you drop it
-
Did they even test multi-monitor systems? I cannot scroll right in the game because my mouse falls off the window onto my other monitor. But the game is fullscreen-ish and freaks out if I click anything over there.
If you're going to do fullscreen, capture the freaking mouse! Otherwise give me a resizable window!
Huh. I remember Civ5 getting it right - it didn't capture your mouse, but also worked perfectly if you used stuff on your other monitor. Talk about regression...
-
It's very strange. I have no problem using Windows Media Player on my other screen, but if I use a web browser the game totally vomits all over itself. I've seen bad multi-monitor windowing before, but never a system that was dependent on what the other application was.
-
Now in the office.
I wear a tech shirt since my back usually gets sweaty when I drive, and I bring another shirt to change into once I get to work.
I forgot another shirt today.
-
What's a tech shirt? One made out of old motherboards?
-
-
At work on a Saturday. With speakers. Currently listening to an Oxford-style debate, pondering whether I should switch over to death metal.
-
Dealing with date/time issues in Python.
The
time_struct
type has dateparts, which is kinda messed up. When you usestrptime()
to parse a time string, the date part is set to 1/1/1900. So when usingmktime()
, it fails, sincemktime()
can't handle dates before the Unix epoch.
-
Status: making fresh pizza. Planning on having a nice Cabernet Sauvignon with it, while watching "The LEGO Movie".
-
When Lojack first came to Boston I heard reports that it changed the nature of car theft once people caught on to it: since there's a couple dozen places you can put it, thieves would park a stolen car in an innocuous place and leave it for a day or two, under the theory that someone with a Lojack would come for it, leading to a very high recovery rate.
I never heard statistics, just the anecdote. Be nice if it were true.
-
I'm not proud of this.
import datetime as dt eventdatetime = dt.datetime.combine(eventdate, dt.datetime.strptime(eventtime, "%I:%M %p").time
-
I have no idea, he completely changed my quote.
Yes, I misread. You were talking about pescatarians. You were right, I was mistaken in what I thought you said.
-
It doesn't help that most of my posts are designed into making the read over-analyze the content.
-
Aren't the set of things that are like "fish-eating vegetarians" why we got the term "vegan"?
Don't think so...
Vegetarian: doesn't eat animal flesh (eats nothing that has a mommy)
Vegan: doesn't eat animals or animal-derived food (no dairy, no eggs, no honey)
Eats fish: is NOT a vegetarian, even when they like to call themselves so because apparently it's trendy nowadays
-
-
It doesn't help that most of my posts are designed into making the read over-analyze the content.
Over-analyzing posts is our bread and butter ;)
-
-
Is the index of the first digit of Graham's number in pi greater than or less than Graham's number?
-
I don't remember hearing the term vegan until long after vegetarian. I hadn't heard of "fish-eating vegetarians" (for example) either, until long after--I always assumed vegan was a new term made up to differentiate "no meat or meat products" from fish-eating vegetarians.
-
Vegetarian is the middle-ground. Fish-eating people aren't really vegetarians, they're analagous to people that are "religious", but don't attend service. Vegans are more like militant religious vegetarians.