« first day (1254 days earlier)      last day (3919 days later) » 

01:00
@Rapptz No, I really don't understand what you mean.
Well, I recommend reading Gödel's incompleteness theory if you're interested in this kind of stuff.
It's only like 40 pages.
@R.MartinhoFernandes You're using addition to prove addition.
I'm not "proving addition".
I'm proving that adding one to one is two.
1 min ago, by Rapptz
is this a form of pedantry? :v
What does "prove addition" mean then?
In my entire thing I was talking about proving addition as an axiom, 1 + 1 = 2 was just an example.
01:02
i thought pedantry is all the purpose of proofs
Not particularly 1 + 1 = 2. Maybe I should have made that more clear
@Rapptz You don't prove axioms...
Sorry I guess
@R.MartinhoFernandes That's my point?
Why else would I mention Gödel's incompleteness theory and Principia Mathematica?
Rapptz is right, I'm afraid
lol guys you lost me. this is rocket science
Xeo
Xeo
01:03
this is getting too mathy for me, I'm off to sleep
Night
night
good nights
it seems that "sublime" is a popular text editor despite the fact that it's proprietary
I only like it for its looks
01:06
fucking shit
I didn't pass the last exam
To be honest
OSS is overrated
Whoa which exams?
not everything has to be "free"/"open" software
That too
01:07
so, let me see if I got this... let A be a null set and B be {1}: B - A = {1}, B.intersect(A) = null, {1} is not a subset of null
Anything that can edit text files is alright with me
@Descrip computer architecture
i got a 3.7 in my last exam xD
Not very meaningful without a scale of comparison.
01:08
@Johannes 3.7%?
@Descrip 1 => best. greater 4 => no pass.
Hej, man. Like they told us in the Navy. 7-0, you're good to go. (70%)
@Crow Yep. Can you think of any other counterexamples?
not really I just didn't expect it to be so... english
I'm so fucking pissed
01:11
hey
I was the only guy
@Jefffrey What kind of architecture?
THE ONLY GUY IN THE WHOLE FUCKING COLLEGE
to fail the probabilities exam
as long as you're not in my shoes
you're fine
@Alex M. WHAT THE ONLY MALE? Oh.
lol let's not go there again.
the only student, fixed
01:11
@ciphermagi ram, cache, rom, raid, mips, pipeline, instructions... that kind of things
The plot for the perfect anime
so what I don't get is how is something proved to be indefinitely true?
indefinitely?
You mean for all n/
01:14
like, say A is a subset of C, and B is a subset of C. A union B should be a subset of C too, right?
@Crow yes
but how do you prove that, exactly?
That'd be "universally" true I guess
@Crow Pick a generic element x in A union B.
well, fuck
01:14
Prove somehow that x is in C
be pissed won't change anything
That's your strategy
@Jefffrey yeah that's the spirit
Use your anger to do better on the next test
@JohannesSchaub-litb I like it but I wouldn't mind something better that isn't vim/emacs.
01:15
@AlexM. I've just reached the last stage: denail, anger, bargaining, depression, acceptance
Yes, what @Descrip said. The Dark Side has cookies, after all.
and also, what does (a[subset]c [intersect] b[subset]c) imply? Does that just mean do an intersect of A and B, and they are both subsets of C?
That's really two statements
Wait.
@Crow basically
01:17
Never mind.
@KarlKronenfeld what do you mean?
When you write [intersect], are you referring that ^ thingy representing and, or is it that cap thingy representing set intersection?
@Crow You know latex right?
@KarlKronenfeld latex? No
@KarlKronenfeld use mathurl
@Crow It's always a good time to learn
01:21
what is latex in this context?
So much better than office but requires knowledge
@R.MartinhoFernandes A.. zipper there? :s
01:22
sigh Ill be in my bunk
that looks wildly uncomfortable
@Crow I can read your statement in two ways: mathurl.com/n2p6yy2
Not for men
Or homosexual women
And by men I mean heterosexual men
@Rapptz Hmmm, I didn't even notice.
@crow The first interpretation is just a shorthand for two statements, mathurl.com/oeje3pp
@Crow The second interpretation is also two statements, but not a shorthand, eh.
01:24
@KarlKronenfeld this is the formula I was looking at: mathurl.com/kmx9z7g
Ah, they mean the second interpretation.
@Crow To give a more accurate description: it's a way of deluding yourself into believing that you're formatting your documents at least sort of close to reasonably well, but actually wasting gargantuan amounts of time trying to get a decent format, and eventually giving up and putting up with the same sort of horrible mess as everybody else who uses it.
2
@Rapptz Lots of "sexy" stuff seem to be so.
hey now, that's not true at all.
I don't like tight clothing. It's just not my thing
what does it mean? Is the proper subset operator just boolean, saying "this set IS a subset of this other set" ?
01:27
@Crow Yeah, basically.
we should work on a Lounge-wide game
except with realistic goals and what not
I smell an incoming trivia bot.
so this one seems true, but I am not sure how to phrase proving something is correct
and better leadership attitude.
01:29
@Crow Ok, let's start in english. Try to explain to me why it is true.
@Crow Try it first.
socratic method in full force for Crowz eh
It's my favourite.
I need to clean my room.
because, if two things are a subset of another, and you union them, they'd still HAVE to be a subset of that other one, unioning will always result that way, right?
Should have done it today, actually.
@Crow You have to provide answers, not questions!
:P
Why do you think unioning will always result that way?
01:33
well I'm not quite sure what the intersection in the center really implies. Wouldn't it result in an empty set every time?
@Crow The intersection really means logical and in that expression.
Not set intersection, frustratingly
ohh okay that makes a lot more sense actually
Yes, mathematicians overload operators too
So A is a subset of C, and B is a subset of C, which implies A union B is still a subset of C. That makes sense, I can't think of a case where that isn't true
01:35
@KarlKronenfeld I never saw that one overloaded that way.
It's dumb as fuck.
damn mathematics and their abuse of operator overloading.
Where do you think we got it from?
ALGOL
Especially stupid when there's a perfectly serviceable alternative.
@Crow Ok, so it is true in lots of cases. Checking example by example can be helpful, but a proof will almost never come out of that.
So I imagine you are still stuck
01:36
lol proof by exhaustion is ftl
@R.MartinhoFernandes Can't say I disagree. :D
I'm bored and wish I had something to do
@Crow The first thing to do is explain what A subset C means.
you are always bored
I mean in words rather than symbols @Crow
01:38
@telkitty.exe Well, entertainment is scarce.
All elements found in A are found in C
@Crow exactly
I on the other hand, always have something to do but always have better things to do ... ~_~
i.e. I am lazy with things that I should do
lounge teaches set theory?
01:38
@Crow Do the same for the rest.
@melak47 Poor @ThePhD is missing class.
All elements of B are found in C, then all elements in A joined with B are in C? So, is that proving it's true?
@ScottW Wasn't Al Gol a presidential candidate?
haw.
@Crow Seems good enough.
01:39
Al Gore.
he ran for election and lost due to electoral college.
@Crow I'd criticize the last step, since you didn't elaborate that an element of A union B is either an element of A or an element of B. But yeah, it's a satisfactory proof. :)
so his candidacy was important to a degree.
hmm okay... these seem way too English, it's odd to me. Just seems like basic logic puzzles
vice presidents were once a candidate, no? ... unless we are talking about dictatorship
@Crow Set theory is often classified under logic for a reason
01:43
There could have been World Peace if Al Gore won.
I wonder global warming is really caused by human kind
Global Warming happened cause Al Gore lost
true </sarcasm>
@Crow The proof of the FLT, for instance, did not come from someone (Wiles) solving a logic puzzle.
oh... now these make sense just explaining them in English
Thanks for the help Kari, was very helpful
01:45
@Rapptz Nah, that was Obama. Al Gore never won a Nobel Peace Prize.
actually he has
@Crow You're welcome, not sure how you discovered my real name there. :P (directed at "kari")
@Rapptz Oh, dammit.
... I have my ways o.o
al gore reminds me of communism - great idea for idiots
01:47
Obama got rekt.
@ScottW Er, Obama got it. That should be enough for anyone to realise that.
Communism is an excellent idea. We just have to remove all hints of humanity from it to make it work.
@Rapptz What's "rekt"?
wrecked
@R.MartinhoFernandes It should also provide a glimpse of the worlds thoughts on Bush at the time.
01:48
wait, why are we hating on Al Gore again?
maybe there are long term climate change for earth even without human kind, didn't the earth came out of ice age?
@telkitty.exe Dude learn how to statistics.
Al Gore's reason for getting it is at least decent
@CaptainGiraffe sure, you have some reliable ones?
@telkitty.exe Yes they are even publicly available.
01:50
@ScottW What a horrible insult! How can you say such a thing? If I were (for example) some pond scum, I'd be pissed as hell about being classed with politicians.
damn
@ScottW That is a really good song. I'm at about 4:30
Al Gore is board of director of both Google and Apple
he must be rich as hell
@Rapptz We are?
@CaptainGiraffe surly those stats from millions of years ago were obtained very reliably?
01:51
Where "very reliably" stands for "validates my beliefs".
@telkitty.exe I'm very impressed with the ice core drillings for instance.
So... I just came across some serious Intel Compiler loop interchange fail...
@R.MartinhoFernandes Scott is!
I don't really have a reason to dislike him. He seems cool
Loop interchange slowed down a benchmark by 2x. lol
01:53
I think Al Gore's Peace Prize is sorta okayish. Obama's is just a complete joke.
Nobel prize price is a joke
@Mysticial Being a loop, shouldn't you have come through it or around it, not across it?
@R.MartinhoFernandes Obama's was at the time regarded as a slap to Bush, not an award to Obama.
He's still going to die clutching it.
@JerryCoffin hmm?
01:54
Woah, I return and we're talking about US Politics. Goddamnit.
inorite
@ScottW He didn't start wars, though. Just let them go on for a while. Meaning peace.
Must suck being a president.
You get blamed for everything
^ You get such a hard rap.
@ScottW Why would i do that? I used to really enjoy watching a girl who did the news in Colorado Springs years ago. She was gorgeous.
01:56
Congress is pretty crappy though.
I'm sure that nothing that's happening now is the fault of the Legislative Branch.
@JerryCoffin Does your wife know?
@ScottW What a sweet pickup with the song at about 9:00.
@R.MartinhoFernandes By the time I got married, she'd long since moved somewhere else.
@JerryCoffin So the case here was that the iterations of the inner loop were all independent. But each iteration of the outer loop depends on the previous. So when ICC interchanged the loop, it took away all the instruction parallelism.
01:57
@JerryCoffin Because of you?
:P
@Mysticial Oh, ouch.
@ScottW It's a charged topic.
@ciphermagi Nah, that's electromagnetism.
:( no good card games to play
only HearthStone
@R.MartinhoFernandes Doubt it. Sadly, I never met her.
01:58
If only.
so in the sense of A [union] [nullset] = A, the proof could simply be "null set contains no elements, therefore no elements can merge to A"? That seems deceptively simple...
@R.MartinhoFernandes Any physical theory really, you know they use color charge right?
@JerryCoffin I was comparing the same loop unrolled 2x and 4x. Normally, there isn't much of a difference since the CPU can re-order across loop iterations. So the numbers were almost the same in MSVC. But in ICC, the 2x unroll was twice as slow. I was like WTF?!?!
@ScottW ew, traditional card games. :P
I'm a big fan of Skat.
01:59
@Rapptz At least he didn't invite you for Bridge.
@Mysticial ...and when you unrolled it 4x it was 1/4th the original speed?
@Crow In set theory, equality is really the combination of subset and supset.
Look, meaningless dots.
@Crow You have to prove both separately

« first day (1254 days earlier)      last day (3919 days later) »