« first day (1215 days earlier)      last day (3732 days later) » 

user3010322
12:00 AM
Like, all students admitted beforehand should get exemptions or they should just follow the old path (that's what my Uni does).
 
She made me fail from pure, genuine evil.
fucking idiot. I hope she rots there with her terrible pay.
 
@R.MartinhoFernandes Talk to someone about odd changes. They get fixed. I do them all the time.
 
that video I linked is great
 
@CaptainGiraffe Too late now.
 
I really like it
 
user3010322
12:01 AM
@Rapptz Write a summary here for us. :D
 
@Rapptz +1
 
can't
 
@BartekBanachewicz Hmm... there does seem to be a touch of malice there, yes.
 
(Add to that that the schedule was published on Friday, and exams were on Monday starting before the administrative offices opened)
 
user3010322
@R.MartinhoFernandes Woo, planning!
 
12:03 AM
Just a cluster of unluckiness. Not all rolls can be good. /cc @thecosh
 
user3010322
Hehehe.
 
user3010322
I heard thecoshman got a run for his money during the games.
 
@BartekBanachewicz Sounds somewhere between 'spread rumours about how she supplements her income' and 'torch the bitches' car'.
 
@BartekBanachewicz I failed Digital Systems because the teacher held a grudge against me.
 
user3010322
So far, all my Professors like me.
 
12:05 AM
@R.MartinhoFernandes because of the fact that she did that, I won't get my BSc on time
 
When the marks were published, mine was "***".
 
user3010322
@R.MartinhoFernandes .... Lolwat.
 
There was a note at the bottom "*** come talk to me"
I didn't care.
 
user3010322
One of my professors has completely exempted me from the Final Projects of the course. So I could literally never go to his class and I'm basically all set.
 
user3010322
(Well, not exempted: I got 100% already).
 
12:07 AM
@R.MartinhoFernandes Maybe your result was so high that the teacher suspected cheating.
 
Pretty sure not.
 
user3010322
@MartinJames That shit's the worst.
 
@R.MartinhoFernandes LOL!
 
user3010322
He's the one I'm making the DSP for: his Electrical Engineering departmental project for the rest of the students is for them to transmit music and notes over light. Since I was already all done with this shit, he simply put on the table the prospect of making a DSP to take in the analog signals of everyone's shit and adding some vibrato or reverb. One of the professors I just talked to today suggested I could even do spatial partioning of the sound (faking surround sound and stuff using DSP).
 
There was this extra question on the exam that was only for anyone that was under the special thingy for people that work.
I wasn't, but answered anyway with a joke.
Pretty sure that was it.
 
user3010322
12:09 AM
He didn't like the joke?
 
It was complete nonsense.
I don't know why he would take it personally, but it seems he did.
 
@R.MartinhoFernandes That can happen, depending on the huge amount you don't know about someone else's private life:)
 
user3010322
Not even an explanation could clear the air?
 
TIL over 90% of items in TF2 and DotA2 are made by players.
 
user3010322
Or had he already condemned you to die?
 
user3010322
12:10 AM
@Rapptz Of course. Nobody's got time for that shit.
 
I wrote something like "To make one kilo of Limiano cheese, we need ten liters of Portuguese cow milk".
 
@ThePhD No. Once somehing like that fucks up, there is nothing you can do without making it worse.
 
I can pretty much admit to being a necrophile without feeling guilty about it anymore.
 
Don't recall the question. I don't think I ever read it.
It was a reference to a TV ad that was around at the time.
 
@R.MartinhoFernandes Ah! Was the teacher male and married to a Portguese cow?
 
12:12 AM
In the ad someone asks a cheesemaker some advanced physics questions and similar stuff, and the cheesemaker always replies with random trivia about Limiano cheese.
So I did the same.
 
user3010322
> bindless rendering and MultiDraw commands
 
user3010322
FUCK NOT HAVING DSA.
 
user3010322
Fuck intel in its dirty little whore mouth. D:<
 
@ThePhD I didn't go there to talk to him.
 
Wow, I just actually watched Crockford's language on monads. It's horrible, but the part where he gets real questions (and gets all of them wrong) is funny.
 
12:14 AM
I had close to zero worry about passing shit. In hindsight that was pretty stupid.
 
Last time I stopped watching after 5 minutes.
 
@ThePhD I read that as 'FUCK NOT HAVING DNA'. For a moment, I thought we had a second robot.
 
user3010322
@MartinJames Being a robot would be nice, but @R.MartinhoFernandes is not sharing his secrets. :(
 
user3010322
He should OpenSource his firmware!
 
12:15 AM
@R.MartinhoFernandes Phantom virusStorm?
 
@ThePhD Third law forbids me.
 
user3010322
In fact, unless he open-sources it, he's not allowed to participate in the GameJam with his front-end! /cc @BartekBanachewicz
 
..of thermodynamics?
 
Robotics. The Law of Self-Preservation.
 
Oh, Asimov
 
12:20 AM
lol
 
I want to learn a new programming language, throw something at me (imperative or functional)
 
I "know" C++ to some extent, something I am entirely unfamiliar with
 
javascript is a very odd language
 
I looked at Go and Rust recently
 
user3010322
12:28 AM
Ugh.
 
user3010322
I have a map quiz tomorrow.
 
JavaScript it is
(if this wasn't lounge I'd say I know C++ very well but here I'd get laughed at ^^)
 
user3010322
Meh. Standard C++ is boring.
 
user3010322
WOW
 
user3010322
THIS FUCKING ONLINE SUBMISSION SHIT DIDN'T SAVE ANY OF MY WORK
 
user3010322
12:32 AM
I JUST LOST 15 ANSWERS OF WORK.
 
user3010322
Well whatever no big deal. ._.
 
@BartekBanachewicz There's another issue with that. The recursion stops based on how close together the points are. Which means I can't easily turn this into a loop. I would have to set a certain number of iterations which is not ideal.
 
user3010322
@Borgleader Tessellation and patches are usually iterative.
 
user3010322
Guys
 
user3010322
can a question be a proposition? (In terms of like the definition of propositions)
 
12:41 AM
 
"Will you marry me?"
^ there
 
user3010322
@sehe u.u
 
user3010322
@sehe That's technically a proposal, you know.
 
I do
...
 
user3010322
Hehehehe.
 
12:43 AM
55 mins ago, by ThePhD
@R.MartinhoFernandes Not if your dick has the power to slay many an evil villian.
^ finally spotted my error. I read "Not if your dick has"
Oh wait, that /is/ what's written. Oh well. YT doesn't load for me
 
user3010322
Blah.
 
user3010322
I can't simplify this one any further.
 
user3010322
Which is pretty bad, because I only simplified it by one step.
 
user3010322
( p AND q ) AND ( p AND r )
 
user3010322
There's a lot of AND there. I feel like I could crush it into something very simply.
 
12:52 AM
What happens if any of the three is false?
 
user3010322
The whole thing fails.
 
user3010322
They all have to be true.
 
Oh. Do you need to prove it?
 
user3010322
No.
 
user3010322
I need to condense it.
 
12:53 AM
@ThePhD (p AND q AND r)
:>
 
user3010322
@Rapptz That doesn't really count as a simplification, does it?
 
I don't see how it doesn't.
 
You have three variables and you only used each of them once. I don't see what else you can do.
 
user3010322
Blah.
 
user3010322
Maybe I need to step back and view the whole thing
 
user3010322
12:54 AM
The whole part is like,
 
user3010322
Discrete math. u.u
 
user3010322
( ( p AND q ) AND ( p AND r ) ) OR ( ( p AND q ) AND ( p AND !r ) )
 
user3010322
So if I have it down tot his, maybe there's a law I can apply on it
 
user3010322
( p AND q AND R ) OR ( p AND q AND !r )
 
So.. you do have to prove it.
 
user3010322
12:55 AM
That's almost like all of them, except R.
 
user3010322
@BoniTea No, just have to simplify the expression.
 
user3010322
Maybe I can get rid of r here?
 
user3010322
Since it's logical OR-ing the two, and the only difference is !r and r
 
Turns out, browsers can run JavaScript, who knew.
 
@ThePhD (p && q).
 
user3010322
12:57 AM
@Rapptz Aha!
 
user3010322
See, I was right!
 
user3010322
But wait
 
user3010322
What law is that? Absorption?
 
user3010322
I think it's Absorption
 
@ThePhD it's that transformation that makes sense
(I believe that's the terminus technicus for it)
 
user3010322
12:59 AM
p OR ( p AND q) = p is the Absorption law.
 
there is also that other transformation that makes sense
 
user3010322
So if you just replace "p" with "( p AND q )" the only missing component is the "r"
 
user3010322
The "r" cancels itself out.
 
First rightfold, now ThePhD.
 
user3010322
Hey, HEY.
 
user3010322
1:00 AM
I'm trying. :c
 
@ThePhD Schlorp.
 
user3010322
Alright, now the next part is ( p AND q ) OR !q
 
user3010322
Pretty sure there's a law for that.
 
user3010322
Like, almost exactly.
 
(p && !q)
 
user3010322
1:03 AM
awkjdawdj
 
user3010322
I DIDN'T EVEN START YET
 
suck less
 
user3010322
You're not evne explaining anything. ;~;
 
iunno how to
I didn't take noob algebra
 
user3010322
1:05 AM
u.u
 
user3010322
Fine, I'll keep it to myself.
 
These are kinda doable with truth tables.
 
user3010322
the huge expression wasn't really doable with a truth table.
 
user3010322
At least, not one I'd want to write.
 
seems straight forward to me
 
user3010322
1:06 AM
Anywho, I made it to...
 
user3010322
((p OR !q) AND (q OR ~q))
 
user3010322
Right side cancels itself out to TRUE
 
user3010322
So we're left with ( p OR !q )
 
user3010322
@Rapptz Hah, you were wrong!
 
user3010322
It was p || !q, so there!
 
1:08 AM
oh I used && by accident
 
user3010322
A LIKELY STORY.
 
I just do regular algebra with them in my head
 
user3010322
As atonement for your screwup,
 
user3010322
you should explain that step to me~
 
I didn't take nooboolean algebra. :P
I just convert things to a form that makes sense to me and go from there
e.g. p && q == p * q, and p || q == p + q - p * q
 
user3010322
1:10 AM
The fuck kind of form is that.
 
math
1 && 1 == 1 * 1
1 && 0 == 1 * 0
 
user3010322
|| ?
 
1 || 0 == 1 + 0 - 0
 
Write them out.
 
@ThePhD that's or
 
user3010322
1:11 AM
@HamZa You don't say?
 
ok I should go to sleep
 
1 || 1 == 1 + 1 - 1
etc
 
user3010322
@Rapptz 1 || 1 == 1 + 1 - 1 * 1 == 1 + 1 - 1?
 
user3010322
Oh, right.
 
ones and zeroes
 
user3010322
1:12 AM
Wow, this algebra form makes stuff super easy.
 
!p is 1 - p
 
user3010322
Fuck doing math-y simplifications.
 
user3010322
Well, actually
 
Good luck with ^ and !
 
user3010322
I want to understand the laws behind this one too.
 
user3010322
1:14 AM
@Rapptz What happens if you get 2?
 
user3010322
From a computation.
 
How do you get 2?
 
user3010322
Or like a -1 ?
 
today I discovered grep -r "code I'm looking for" . ... they really need to teach this in school
 
All the operations so far map {0,1} to {0,1}.
 
1:16 AM
@Crowz true, I've even installed pcregrep on my windows
 
@ThePhD you don't
everything is either 1 or 0
 
user3010322
... Hm.
 
though
there is going to be ones that don't translate 1 to 1
 
user3010322
Which means they translate to 0?
 
like say, (p && q) || (p && q) would translate to something dumb, but it's really just (p && q)
 
user3010322
1:19 AM
(1 * 1) || (1 * 1)
 
user3010322
1 || 1
 
AND is not +.
 
&& is multiplication
 
user3010322
Oh.
 
a || a == a + a - a * a
 
user3010322
1:20 AM
1 || 1 == 1 + 1 - (1 * 1)
 
user3010322
Which is just... 1
 
hm guess so.
 
user3010322
p THEN !q
 
what's "THEN"?
 
user3010322
So if q is true, then !p... is... maybe true?
 
user3010322
1:21 AM
Uh.
 
At my school they teached it like this
a || b --> a + b
if a + b >= 1 then the result is 1 else result is 0
 
user3010322
It's p -> !q
 
@HamZa p || q == p + q - (p * q) so you don't get the piecewise function :P
 
@Rapptz Yeah, quite smart
 
user3010322
i2AAa
 
user3010322
1:23 AM
OH MY GOD
 
user3010322
IT DIDN'T SAVE MY ANSWERS AGAIN
 
user3010322
FFFFFFFFFFFFFFFFFFFFFFFFFFFFF
 
user3010322
I quit.
 
@ThePhD I think you want contraposition.
 
user3010322
@BoniTea I don't want to negate it. I'm trying to translate it to sort-of english.
 
user3010322
1:24 AM
Like, I have one of those proposition tables.
 
user3010322
I think that if you have...
 
Btw @Rapptz how in the world did you solve ~400 problems on PE ?
I could only solve ~50 (well partly because PHP is too slow)
 
user3010322
p -> !q
q
THEREFORE: !p
 
still don't know what "THEN" is
 
user3010322
@Rapptz conditional
 
user3010322
1:24 AM
if ( p ) then ( q )
 
I think he is using THEN as "implies"
 
user3010322
Yeah, implies
 
what does that have to do with boolean algebra though
 
user3010322
p implies q
 
@HamZa I haven't solved a problem in a long time
 
user3010322
1:25 AM
@Rapptz It's, uh. Part of it?
 
@Rapptz same here, but did you use C++ to solve most problems ?
 
Contraposition gives an equivalent statement, not the negation.
 
@HamZa yes
 
ok
 
@ThePhD oh
wait I know what you're talking about now
why would you call it THEN
 
user3010322
1:26 AM
That's the word for it, I guess?
 
it's called material implication
 
user3010322
So, p IMPLIES !q ?
 
What do you need to do for that question?
 
user3010322
Nooothing.
 
user3010322
I'll figure it out.
 
1:30 AM
Oh.
 
Hmmm...
 
user3010322
Arrgh.
 
user3010322
This doesn't make any sense
 
user3010322
Material implication with p IMPLIES !q means that if q is true, nothing happens!
 
user3010322
It has NO bearing on p !!!
 
1:32 AM
Contraposition: (if p then q) iff (if !q then !p)
 
what does ^ mean in set theory again?
 
@Crowz xor ?
 
user3010322
Exclusive OR
 
user3010322
or whatever
 
user3010322
@BoniTea That just means it's q IMPLIES !p is the logical equivalent
 
user3010322
1:33 AM
... Oh... which means... !p is the answer.
 
user3010322
Welp.
 
p -> q == (1 - p) + q - (1 - p) * q is quite messy, but at least you could simplify it to p * q - p + 1
@Crowz never heard of it
 
Have a good day/night
I'm going to sleep
And don't give up :)
 
user3010322
Maybe I will give up.
 
user3010322
YOU'LL SEE
 
1:36 AM
heh, noob math
 
user3010322
Alright!
 
user3010322
!p -> q == p || q
 
wot
 
user3010322
Woops
 
user3010322
Dem letters.
 
user3010322
1:39 AM
Therefore the negation of !p -> q is !p && !q
 
user3010322
!(p && q) == !p || !q
 
user3010322
I think.
 
user3010322
Yeah, that's right.
 
user3010322
And
 
user3010322
!(p || q) == !p && !q
 
1:42 AM
De Morgan's Laws.
 
user3010322
Yeah.
 
user3010322
So negating p -> q should look like...
 
user3010322
!( p -> q ) == !(!p || q) == p && !q
 
That is correct.
 
user3010322
AWW FUCK SHITTLES
 
user3010322
1:45 AM
It's the smelly word. The nasty word.
 
user3010322
The terrible, terrible word that strikes fear into the heart of booleans and binary everywhere...
 
user3010322
Some bananes are yellow.
 
user3010322
> Some bananes
 
user3010322
> Some
 
user3010322
(╯°□°)╯︵ ┻━┻ !
 
user3010322
1:47 AM
The negation of some x is usually none of x, right?
 
user3010322
So in this case...
 
Yes.
 
user3010322
!(Some bananas are yellow) == No bananas are yellow
 
user3010322
And...
 
user3010322
!(Everyone loves kiwi) == At least one person does not love kiwi (the sick, sick fuck that they are)
 
1:49 AM
That's right.
 
user3010322
⊆ is the, uh
 
user3010322
"subset" symbol, right?
 
Or equal. Yes.
 
user3010322
Hm.
 
user3010322
∪ is... union?
 
user3010322
1:52 AM
Wait, no, it's... intersection... ?
 
It is.
 
user3010322
Oh. Union.
 
user3010322
<3 Union.
 
Cup for union. Cap for intersection.
 
user3010322
@BoniTea 2 girls 1 cup -- a union of horror and morbid fascination.
 
1:53 AM
What..?
 
user3010322
Don't... worry about it.
 
...
What did you make me Google..
 
user3010322
Don't do it.
 
user3010322
DON"T DO IT.
 
Are you on drugs, @ThePhD?
 
1:54 AM
are you new to internet? @BoniTea
 
user3010322
DON'T DO IT MAN
 
user3010322
JUST SHUT IT OFF NOW.
 
user3010322
I watched like a minute of that shit, and stopped.
 
user3010322
Just turn away man, before it destroys you.
 
user3010322
@BoniTea PLINKITY PLINK, THE SOUND THAT YOU SHOULD LISTEN TO.
 
user3010322
1:55 AM
SAVE YOUR SOUL, MOTHER FUCKER.
 
Only went into Wiki.
 
user3010322
Well, that's only half damage then.
 
user3010322
Also, what the hell is { ... } x { ... } supposed to mean?
 
user3010322
As in, P x Q, where P and Q are some kind of set.
 
Tuples.
 
user3010322
1:57 AM
Wat.
 
user3010322
Is that the unique union or something?
 
Think of.. R x R.
R = The set of all real numbers.
 
user3010322
Uh.
 
user3010322
So what's the tuple of R and R then?
 
Then RxR is the set of all numbers in the form of (x,y).
 
user3010322
1:59 AM
... So....
 
user3010322
.... You've utterly lost me. ;~;
 
Have you worked with std::tuple?
 

« first day (1215 days earlier)      last day (3732 days later) »