« first day (1433 days earlier)      last day (3509 days later) » 

11:00 PM
yep
it sounds like a machine gun
 
The hardest part is forcing myself not to cheat certain keys. The low-profile keyboards allowed me to get away with some really bad habits.
 
the chicklets?
 
So I'm still slower on this keyboard at the moment, but speed's getting better. Yeah, chicklets
Also having to get used to not bottoming out the keys
Loving the blank keys though. Already not looking down as much as I used to.
 
Mechanical keyboard might be nice... shame I have coworkers.
 
@Loktar open and closed. All news agencies forbidden from announcing anything until tomorrow
 
11:04 PM
Not the best when you're debugging at 3am with your parents sleeping in the next room
 
They're not the quietest things in the world :P Even the brown switches are significantly louder than chicklets
 
@monners I despise clicky
I use a microsoft 800-whatever
 
clicky === Love();
 
It's too clicky. I think I'd probably type best on a hard surface
 
As opposed to what, a beanbag?
 
11:07 PM
Something that feels like a sheet of slate
 
Diamond table maybe :P
 
@monners I've touch-typed since middle school
 
However you hit a key, if its axis faces straight down - which every keyboard ever made does - it'll feel weird
you usually strike keys from the side
 
@SomeKittensUx2666 I made a concerted effort to relearn about two years ago. Now I'm just cleaning up a few niggling habits I didn't fix back then.
 
I only break touch when my keyboard angers me I cackhand something profound
 
11:10 PM
oh dear
 
!!urban cackhand
 
@monners No definition found for cackhand
 
caprica y u no spk britsh
 
!!tell TomW echo I'm afraid I can't do that Dave.
 
@monners Command `i'm does not exist. (note that /tell works on commands, it's not an echo.)
 
11:12 PM
Well shit
 
@monners Command echo does not exist. (note that /tell works on commands, it's not an echo.)
 
I hate you Caprica
And by extension, @Zirak
 
m59
 
Does anyone here have math proof experience?
 
m59
11:14 PM
It would take my a while to demonstrate this - anyone want to give it a go? ^
 
I passed a course on these last year, but god knows if I ever learned how to do them...
 
m59
ah nm someone already did, but I can do better and it'll only take a few minutes.
 
Could somebody explain how this works?
 
@Cereal I know how a proof works, but I've never proved anything profound
 
var a = dontIndent
        `This is a template string.
         Even though each line is indented to keep the
         code neat and tidy, the white space used to indent
         is not in the resulting string`;
 
11:16 PM
It's nothing profound, I'm just extremely ignorant
Given a doesn't divide 3, prove a = 3k + 1 or a = 3k + 2
 
How do you define this dontIndent thing?
 
I know why. I Dunno how to prove it
 
Given the case a = 0.5, the result is false
proof by contradiction
QED
 
a might belong to the natural numbers
one sec
a is an integer
`Show that if an integer a is not divisible by 3, then a = 3k + 1 or a = 3k + 2 for
some integer k.`
 
I suspected you had left that part out :)
 
11:19 PM
We've been avoiding decimals, I keep thinking as if it's assumed
 
I don't really know what axioms I can use here
we can probably generalize
 
I think I got this one...
 
0
A: How Mocha determines nesting level?

SomeKittens Ux2666Mocha keeps track of these things in Suites, as you can see from the source /** * Describe a "suite" with the given `title` * and callback `fn` containing nested suites * and/or tests. */ context.describe = context.context = function(title, fn){ var suite = Suite.create(suites[0], title);...

 
if x % y != 0 then x % y is in {1, .. y-1}
 
Hmm, is it cheating to use the fact that "x % 3 in {0, 1, 2} for all integer x"
 
11:22 PM
you'd have to prove it first ._.
 
That seems so elementary, but I doubt that can be considered an axiom
 
Ah, I think it's the remainder theorem? x = 3q +r ?
(Where r is 0, 1, 2 ?)
 
that rings a bell
 
Yeah, that's not the name of it.
 
@Cereal I got you hold on
 
11:24 PM
Hmm... though that's still pretty much what you're trying to prove, so that still might be "cheating".
 
I was about to say, she's getting us to prove x = 3q + r
Probably can't use it
 
> Show that if an integer a is not divisible by 3, then a = 3k + 1 or a = 3k + 2 for
some integer k.

Is what we're trying to prove, right?
 
Yes
 
Hmm, there's a bunch of ways to do it that I can think of, but they all come down to restatements of "x % 3 in {0, 1, 2}"
 
Everything I think of is "3k is the definition of divisible by 3, therefor 3k + 1 or 3k + 2 is not" =_=
I'm not good at this
 
11:32 PM
I keep thinking of 2x%3 = x%3==1 ? 2 : 1
 
@Loktar do they sit on your roomba?
 
no
 
Let `a = 3x + y`,
case 1: y % 3 = 0 , therefore `a = 3x` contradicts "a is not divisible by 3".
case 2: y % 3 = 1, therefore y = 3z+1, (integer z), therefore a = 3x + 3z + 1, a = 3(x+z) + 1
case 3: y % 3 = 2, therefore y = 3z+2, (integer z), therefore a = 3x + 3z + 2, a = 3(x+z) + 2
 
ou, trichotomy
 
they don't like it very much tbh lol
 
11:33 PM
now prove that there is not another case
 
mine sits on it, fucker turns it on randomly.
 
Isn't there not another case by definition of y % 3?
 
lol
 
maybe prime factorization is the answer
@Cereal That's what we're trying to prove
 
Right, I'm relying on that definition of modulus.
 
11:35 PM
xy%z == ((y%z)*x)%z
say xy is a, and x is some factor of a
since a is not divisible by 3, neither is x
(z = 3)
I have no idea if this is useful
I think it shows that my favourite proof is the proof of infinite primes
 
m59
this guy again
Error is what error says. Check 1) that the script resource was fetched correctly (ie. HTTP 200 OK) and; 2) there are no conoslle error messages while loading said script. — user2864740 39 secs ago
 
@Cereal What level course is this?
 
Third year, it's elementary number theory
 
m59
nm, I guess that was technically my bad. I believed the OP lol
 
Never believe the OP
 
11:42 PM
I'm guessing my proof would suffice; I think any more than that you're going to have to reprove the Remainder Theorem, and those proofs look a lot more complicated than what I'd expect from that level of a homework assignment, but I could be wrong.
 
I would guess you can use prior knowledge. Tell us everything you've been taught.
EVERYTHING >:)
 
m59
This is getting out of hand!!
Stahp!? Why is everyone posting crazy answers to this?? — m59 14 secs ago
 
Euclid's lemma, properties of natural numbers, trichotomy, dichotomy... I dunno. She just does proofs on the board all class mindlessly
 
ahhh y u no white background
 
m59
11:46 PM
downvote ragers pls?
 
<nitpick> x ∈ Z </nitpick>
 
I'm confused
 
But yeah, I don't see how the rest of that would prove it either.
 
For all x there exists a k such that x = 3k or x = 3k + 1 or x = 3k + 2 or x = 3k + 3 etc
 
(It just occurred to me how longs its been since I had to type mathematical proofs into Microsoft Word on a regular basis. I used to be a wizard with the formula editors)
@Meredith Right, you're saying x = 3k + y, for some y >= 0
 
11:49 PM
LyX ftw
 
You can rewrite each of those as x - n = 3k
 
@Meredith Uh huh, and this shows that a = 3k + 1 or 3k + 2?
 
so if x - n = 3k for when n = 3l
then it's divisible by 3
x is divisible by 3
 
The question states a is not divisible by 3
 
I thought x was an arbitrary integer?
Did you just prove all integers are divisible by 3?
 
11:52 PM
@Retsam No, if you take an integer that's divisible by 3 and subtract it from an arbitrary integer
And your result is divisible by 3, then your original integer is divisible by 3
 
@Meredith Unless your original integer is 3, then you're dividing 0 by 3
 
What
 
(9 - 3) % 3 === 0; // fits your rule
 
Yeah
 
(3 - 3) % 3 === 3; // doesn't fit your rule
 
11:55 PM
3 is divisible by 3
 
But 0 isn't
 
So if you subtract 3 from 9 and get a number that's also divisible by 3
Then your answer is true
 
@monners Yes
 
@Meredith I mean, I agree with this statement, but 1) I'm pretty sure that's not what your proof stated, and 2) I still don't see the relevance to proving a = 3k + {0, 1}
 
So you have the expression x= 3k + n
If n is divisible by 3
Then there's also a k where x - n = 3k
If x is divisible by 3
 
11:59 PM
@Meredith We already have a k? And you could have just subtracted n from both sides?
 

« first day (1433 days earlier)      last day (3509 days later) »