00:00:00 -!- oklopol has joined. 00:00:00 -!- lament has joined. 00:00:00 -!- sebbu has joined. 00:07:06 -!- oerjan has joined. 00:07:26 -!- Leonidas has quit (Ping timeout: 264 seconds). 00:07:28 -!- Leonidas has joined. 00:07:51 -!- fax has quit (Quit: Lost terminal). 00:09:02 -!- FireFly has quit (Quit: Leaving). 00:13:04 -!- comex_ has joined. 00:14:13 -!- jix_ has joined. 00:14:43 -!- EgoBot has quit (Ping timeout: 240 seconds). 00:14:44 -!- comex has quit (Ping timeout: 240 seconds). 00:14:44 -!- jix has quit (Ping timeout: 240 seconds). 00:15:10 -!- EgoBot has joined. 00:15:56 -!- oerjan has set topic: "Gwandocu (n): Extremely strong evidence, far beyond a reasonable doubt." | alise sighting counter: A(g_64,g_64) | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 00:24:21 -!- Gregor has quit (Ping timeout: 245 seconds). 00:24:54 -!- Gregor has joined. 00:25:05 -!- werdan7_ has joined. 00:25:57 -!- Leonidas_ has joined. 00:27:02 -!- uorygl_ has joined. 00:27:27 -!- werdan7 has quit (Remote host closed the connection). 00:27:28 -!- Leonidas has quit (Ping timeout: 264 seconds). 00:27:28 -!- uorygl has quit (Ping timeout: 264 seconds). 00:47:33 -!- werdan7_ has changed nick to werdan7. 01:32:25 "As the only entrant in the category, Cougar Energy Shot for Women White is both the best and the worst energy drink for women of 2009. I tend to lean more toward it being the worst." 01:33:09 the glass is half empty, and that is a _good_ thing in this case. 01:42:55 I talk about energy drinks, and my dad suggests trying caffeine pills 01:43:45 it's just a phase 01:43:58 ? 01:44:10 solid, that is 01:44:32 Ah, lol 01:44:42 Pathetic that I needed the joke explained to me :( 01:45:02 mwahaha 01:48:46 Nah, it's actually not a very clear joke. >.> 01:49:00 uorygl_: shh 01:50:04 * oerjan considered the "explanation" the punchline, actually 01:51:33 Sgeo: ? 01:51:59 -!- cheater2 has quit (Ping timeout: 240 seconds). 01:56:53 "As the only entrant in the category, Cougar Energy Shot for Women White is both the best and the worst energy drink for women of 2009. I tend to lean more toward it being the worst." 01:56:57 erm, wrong paste 01:57:05 "What caffeine does is make a person lose water, which in effect makes a person drink plenty of water to reciprocate, thus minimizing the feeling of hunger" 01:57:17 I don't think I can afford to have my hunger lessened :( 01:58:55 *facepalm* 01:59:37 * coppro dislikes energy drinks, including caffeine, generally 02:04:06 oh because you are thin? 02:04:58 this is so cool, i've been playing my guitar since you said the caffeine and the hunger thing, and i was reading those sentences all that time, then the same second i stop playing i suddenly understand what the sentences mean 02:05:51 pikhq, hm? 02:19:52 Sgeo: Caffeine does not work that way. 02:22:13 Blame http://www.howtodothings.com/health-fitness/how-to-use-caffeine-pills-safely 02:23:17 I shall. 02:24:50 So how does it work? 02:25:11 And why should I trust an Internet stranger [who admittedly I'm friends with] over an Internet stranger, one way or the other? 02:26:19 -!- Asztal has quit (Ping timeout: 246 seconds). 02:26:25 Caffeine is a mild diuretic, causing people to be likely to urinate more. Most caffeine delivery forms contain sufficient water to compensate for this. 02:26:58 Also, water does not minimise the feeling of hunger much; goes through the digestive tract too quickly. 02:28:08 Ah 02:28:22 I always add a couple drops of cyanide to my coffee to negate the urinating effect; works splendidly. 02:28:30 Caffeine pills wouldn't contain sufficient water.. 02:28:48 Doubt that that's enough of a reason to go with energy drinks though 02:28:55 I suppose caffeine could *possibly* stimulate you enough to cause a mild weight loss affect. Still, it ain't going to do much. 02:29:22 Caffeine pills don't have sufficient flavor, IMO. 02:29:56 I could always drink a sod.. wait, no. If I take one form of caffeine in a day, I will _not_ take another 02:30:18 * pikhq takes a rather absurd amount of caffeine. 02:30:52 Until recently, all my caffeine came from soda 02:49:15 -!- comex_ has changed nick to comex. 03:51:37 -!- lament has quit (Ping timeout: 276 seconds). 03:58:27 -!- coppro has quit (Ping timeout: 276 seconds). 03:59:11 -!- coppro has joined. 04:36:41 -!- jcp has joined. 04:44:52 -!- oerjan has quit (Quit: leaving). 05:15:31 -!- Sgeo has quit (Ping timeout: 265 seconds). 05:22:26 -!- Oranjer has left (?). 05:34:53 -!- coppro has quit (Quit: I am leaving. You are about to explode.). 05:48:25 -!- oerjan has joined. 06:13:52 -!- zzo38 has joined. 06:16:27 enq 06:16:29 !!! 06:16:32 ??? 06:16:45 -!- zzo38 has quit (Remote host closed the connection). 06:16:48 ... 06:18:01 なるほど。 06:19:44 -!- zzo38 has joined. 06:19:46 Are we on today? 06:20:01 no 06:20:13 ぜんぜんない。 06:20:19 today we are under 06:20:31 I noticed I have to use the view-source function in my browser to view thw log because otherwise it treated it as a application/octet-stream and trying to override it didn't work either 06:20:47 huh 06:20:54 Are all pure-state density matrix also valid as projector matrix? 06:21:14 Also, are all pure-state density matrix singular? 06:21:31 um 06:22:02 Is the identity matrix the only unitary projector matrix? 06:22:10 density matrix is v*v, right? 06:22:30 A pure-state density matrix for state |x> is |x> right. yes that's a projection. 06:22:50 i don't recall what singular is. 06:23:05 I read the definitions of those things in Penrose's book. So I thought about it and think these might be true 06:23:15 Singular is a matrix with determinant is zero 06:23:31 a unitary projection matrix has all eigenvalues 1, so yes it must be identity. 06:23:57 in dimension > 1, then yes. 06:24:42 in a basis where the pure state is the first member, the matrix takes the form upper left = 1, rest 0 06:24:55 and everything else can be changed to that with a basis change. 06:25:08 (which preserves determinants) 06:25:47 My logic was a bit different: I had read previously on this channel what unitary is. A unitary matrix has its conjugate transpose also as its inverse, therefore multiplied by its conjugate transpose must make the identity matrix. A projector matrix squares to itself and is also its own conjugate transpose. Therefore, it would have to be the identity matrix to be both projector and unitary. 06:26:15 -!- Sgeo has joined. 06:27:18 Is my logic correct? 06:27:25 p = pp = p^*p = 1. yes. 06:27:50 -!- jcp has quit (Quit: I will do anything (almost) for a new router.). 06:28:40 -!- jcp1 has joined. 06:29:21 I have tried various pure-state density matrices to see if they were projectors and in fact they were, so then I tried to see if that was the general case. 06:31:14 (|x>^*) = |x> because |x> = I also played D&D today. Sometimes other people in the game think my character is really a big cockroach 06:31:53 oerjan: Yes I can see that 06:32:26 That's what the notations means 06:32:49 (|x>()1 And yes now I can see how it makes it projector. 06:33:12 because is 1*1 matrix 06:33:36 Yes, and if normalized =1 now it makes sense! 06:35:22 :) 06:35:23 I am glad you understand this stuff, because the people I know personally, don't know this stuff, so I have to explain it to them. 06:35:51 So they can't answer my question, but you can. 06:36:42 Someone gave me Penrose's book as a present (I think a birthday present), actually. 06:38:22 Something I did in the D&D game today reminds me of the "Projector For Dematerializing Any Matter For One Minute". 06:39:44 huh - is that also something from penrose's book? 06:39:49 No. 06:39:53 -!- coppro has joined. 06:39:54 It is something unrelated 06:40:02 http://superdickery.com/index.php?option=com_content&view=article&catid=33%3Aweird-science-index&id=485%3Aprojector-for-dematerializing-any-matter-for-one-minute&Itemid=24 06:41:00 ah superman comic 06:41:29 Most. Cumbersome. Product. Name. Ever. indeed :D 06:42:06 Another question: Do you ever tell anyone to "O, go drink hydroxic acid" 06:42:49 unless hydroxic acid is another name for dihydrogen monoxide, i doubt it 06:43:11 Hydroxic acid is another name for dihydrogen monoxide. 06:43:17 ah. 06:43:26 But do you ever say "O, go drink dihydrogen monoxide" to anyone? 06:43:44 -!- coppro has quit (Client Quit). 06:43:47 well i don't usually say that under any name, really 06:44:15 now hydroxic acid seems a misnomer given that it is not actually acidic... 06:44:31 -!- coppro has joined. 06:45:34 -!- jcp1 has quit (Quit: I will do anything (almost) for a new router.). 06:45:55 oerjan: It is both an acid and a base. 06:46:15 "Both acid and alkali names exist ... because it is amphoteric (able to react both as an acid or an alkali)." 06:46:19 Though the term is actually "hydric acid". 06:46:19 so yeah 06:46:31 (IIRC) 06:46:57 "Other systematic names ... include hydroxic acid, hydroxylic acid, and hydrogen hydroxide." 06:47:08 Mmkay. There we go. 06:49:09 The spell which reminded me of that Superman comic was Time Hop. And I had manifester level 10 so the duration was 10 rounds (= 1 minute). 06:50:00 http://en.wikipedia.org/wiki/Hydroxic_acid#Systematic_naming 06:51:06 zzo38: 'Tis a fun spell. 06:51:12 Well. Power. 06:51:39 Yes, psionic power. Right 06:52:42 But do you ever say "O, go drink dihydrogen monoxide" to anyone? <-- no, but I never say "O, " 06:52:51 other than that, I could do so 06:53:37 O go thou and imbibe of the dihydrogen monoxide 06:58:53 oerjan, "imbibe"? 06:59:03 * AnMaster doesn't have time to check a dictionary atm 06:59:05 `define imbibe 06:59:08 * absorb: take in, also metaphorically; "The sponge absorbs water well"; "She drew strength from the minister's words" \ * assimilate: take (gas, light or heat) into a solution \ * drink: take in liquids; "The patient must drink several liters each day"; "The children like to drink soda" 06:59:28 I first read sponge as "spoon" 06:59:42 there is no spoon 07:00:01 -!- augur has joined. 07:01:08 bbl 07:04:07 I used: the "Time Hop" power twice, the natural capability to create spider webs twice, "Amanuensis" spell once, "Object Reading" once, and "Dimension Door" power once. My brother's character is a human ninja so they used ethereal and see invisible, a lot this time. It is a useful way for him to trick the bartender. 07:10:12 Have you plaed "Xnazzyball"? 07:10:23 -!- zzo38 has quit (Quit: This is not a "spoon"). 07:14:25 -!- fizzie has joined. 07:28:29 augur: ping 07:28:36 pong 07:29:05 i think i have a graph for which your algorithm doesn't work 07:29:44 *--* 07:29:53 |\ | 07:29:55 | \| 07:29:58 *--* 07:30:02 lol 07:30:06 for which node? :P 07:30:10 upper left 07:30:14 it works fine ;) 07:30:22 ive tested it well enough on that graph 07:30:34 well then the pdf you posted was not the right algorithm 07:30:43 yes, it was. you're doing it wrong. :) 07:31:43 my intuitive reading of your pseudocode is that you remove the vertex with the smallest number of (non-u) neighbors. 07:31:59 leaving only the upper left and lower right for the next step 07:32:25 so if that's not what it does, the pseudocode needs some clarifying. 07:32:57 (well the upper left is of course just implied) 07:33:10 read it again 07:33:22 what happens is you find the smallest set of neighbors neighbors 07:34:02 um need some notation 07:34:10 u--a 07:34:14 |\ | 07:34:18 | \| 07:34:21 b--c 07:34:24 so you go from u to a,b,c 07:34:49 then from a to u,c; from b to u,c; and from c to u,a,b 07:35:06 the first pairs = {(a,{c}),(b,{c}),(c,{a,b})} 07:35:15 er 07:37:03 dropped = {(a,{c}),(b,{c})}, after = {(c,{a,b})} 07:37:18 before the if 07:37:29 eh 07:37:40 so first pairs is that yes 07:37:47 min is 1 07:38:04 yes ok 07:38:40 then the for loop changes after to {(c,{})} 07:39:24 eh.. oh, you're right. let me see if my actual code is like that 07:41:55 aha you're right. my algorithm doesn't work! 07:42:09 i couldve sworn i've run it on graphs like this before tho. 07:42:09 wtf 07:42:10 :| 07:44:03 note that if you start with a or b instead it probably works 07:45:08 -!- FireFly has joined. 07:46:48 meh. whatever. im not interested in the algorithm in any real sense except to make this pos induction thing work :P 07:47:43 very well 07:49:19 but i want the POS induction to work fast, so.. :p 07:49:22 ok im off to bed 07:49:24 night dude 07:49:28 night 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:04:22 -!- tombom has joined. 08:18:44 -!- BeholdMyGlory has joined. 08:34:19 -!- oerjan has quit (Quit: Good night). 08:51:13 -!- tombom has quit (Quit: Leaving). 09:10:36 -!- cheater2 has joined. 10:06:45 -!- lereah_ has joined. 11:13:04 -!- BeholdMyGlory has quit (Remote host closed the connection). 12:30:01 -!- EgoBot has quit (*.net *.split). 12:30:01 -!- MaXo2 has quit (*.net *.split). 12:30:01 -!- olsner has quit (*.net *.split). 12:34:38 -!- MaXo2 has joined. 12:35:17 -!- olsner has joined. 13:32:51 if oerjan keeps owning augur like that, sooner or later he'll start believing when he says he's wrong, which is a scary thought. for verying meanings of he. 13:33:03 *believing him 13:34:37 of course i've just seen random snippets of their interaction, so maybe it's not as one-directional as i think 13:35:51 Bidirectional ownership starts to sound like some sort of relationship thing there. 13:36:45 well i believe augur prefers just being owned, so i'm not sure it even needs to be bidirectional 13:54:40 -!- atrapado has joined. 14:19:30 -!- fax has joined. 14:57:50 -!- ais523 has joined. 15:08:55 -!- MigoMipo has joined. 15:18:59 wow, the Poincaré conjecture has been proved 15:19:09 it's one of the ones that had a million-dollar prize attached 15:19:45 ais523, I am watching a talk on this now 15:19:55 -!- FireFly has quit (Quit: Leaving). 15:20:53 -!- FireFly has joined. 15:25:34 hE SAID SOMETHING ABOUT KNOT THOERY WHICH I DONT GET 15:28:36 i know everything about knot theory 15:28:39 you can just ask me 15:29:14 knots can be uniquely factorized into primitive knots and primitive knots commute 15:29:45 braids have been pretty much completely characterized, but we know very little about knots in general 15:29:46 oklopol, so unknotting algorithm can be implemented? 15:29:54 oh.. 15:30:03 maybe this is like what I used to think 'polynomials' were univariate 15:30:06 that's a very grey area knowingnesswise 15:30:14 perhaps when he said this about knots he was really talking about braids 15:30:37 braids are sort of permutations but with strings 15:31:34 you can represent them prettily as a braid algebra sort of thing 15:31:51 knots.. links.. braids I have no idea what one I mean 15:31:57 where you construct them with different sorts of primitive braidings which are taking a string over another and so on 15:32:08 aaaaand i guess that's all i know 15:32:16 oh 15:32:23 well do you know what they are? i have no idea what links are 15:32:29 unless they are trivial knot 15:32:29 s 15:32:47 say a closed simple path in 3D 15:32:50 he was probably talking about knots, i haven't heard about braids nearly as much as knots 15:32:57 yeah that works 15:33:11 can you detect if they are the unknot (just a circle) with an algorithm? 15:33:24 or well 15:33:25 I heard the algorithm to do that was one of the hardest possible algorithms to write 15:33:37 that's like saying the reals are lists of rationals, it's the equivalence classes that are knots 15:33:48 but then this guy in the talk says someone coded a thing which turns a knot into a normal form on APPLE ][!!! 15:33:54 but i guess you know that 15:34:14 fax: you can, i think that's pretty obvious, but you can't do it efficiently as far as we know 15:34:24 no it's not obvious 15:34:31 well with the simple path representation of course it's not obvious 15:34:42 but there are other ways that make it obvious 15:34:46 reidmeister moves don't normalize for example 15:34:54 yeah but you can just try them all out 15:35:04 finite amount of things to do 15:35:32 but the idea was like, 15:35:35 if they normalized, we might have something remotely efficient for it, and might call the problem solved; all that's obvious is that we have this exponential (or more) time algo to do it 15:35:37 you can tile space with cubes or whateer 15:35:50 and this guy says there's an apple ][ program which computes a tile from a knot.. and the tile is a normal form 15:36:33 to me, a fast algorithm to untangle knots would be much more interesting news than pointcare's conjecture 15:36:45 :/ 15:36:47 i mean i don't really give a fuck about that thing 15:36:51 were not even talking about poincare... 15:37:14 i thought someone said something about knots in the pointcare talk 15:37:18 yes 15:37:55 "you start with this knot with 10 crossings... maybe I have to take it through a knot with 100 crossings to show it equal to this other knot" 15:38:00 so what i said was totally relevant, "what, there's an algo for knots? then why are you still watching the pointcare talk??" 15:38:32 i mean that's not what i meant, but i'm sure there was a discussion theoretic reason to say it. 15:38:52 okay 15:39:08 but I want to find normal forms for knots 15:39:12 who doesn't 15:39:23 do you not know of such? 15:39:48 if there were any, in any useful sense, then there would be an efficient algorithm to check if knots are equal. there isn't 15:40:14 or well in the rewrite system sense 15:44:26 a normal form is a function from representations of some things into some set, which gives the same return value for things in the same equivalence class, and is an injection in the sense that it gives a different value for two things if they're not in the same equivalence class. we don't have this, but we have it sans the equivalence class respecting injectivity part, we have these functions that give the same value for two represen 15:44:32 did that all come through? 15:44:43 I know what a normal form is 15:44:50 all this would be so much clearer if i knew good definitions for these representation spaces 15:45:16 yeah, but i'm not sure you understand the connection between normal forms and knot invariants 15:45:22 because i just came up with it 15:45:33 the vauge idea he sketched out was that for any knot in 3D you can think about the spaec around it 15:45:44 okay 15:45:46 then you can make some kind of tile which represents the topology of that space 15:45:50 and these tiles are a normal form 15:46:39 so... they all have the same normal form? 15:46:44 o_O 15:46:58 i mean aren't all those topologies just a link 15:47:35 "In 1985 thurstens graduate student, jeff weeks wrote a program for the little gray machintosh that finds these blueprints.. you draw a knot and a few seconds later, it determines a canonical blueprint for the knot" 15:48:04 "this program easily replaced perko tate and little, it immediately identifies the perko pair as being the same, and classifies all knots up to 10 crossings" 15:48:24 -!- BeholdMyGlory has joined. 15:48:46 oh, cool 15:49:39 ah, this seems to be an intro to the topic -- http://pzacad.pitzer.edu/~jhoste/HosteWebPages/downloads/HTW.pdf 15:49:43 I'll just read this 15:51:11 wow it seems to cover knots which are a finite set of closed paths rather than just one path 15:51:54 * fax afk 15:53:13 -!- charlls has joined. 16:05:03 -!- charlls has quit (Ping timeout: 258 seconds). 16:17:18 oklopol, ah... the method they use only works for alternating knots 16:17:27 losing intrest... 16:21:25 ic 16:22:10 I was going to implement it, if it was a normal form for all knots :( 16:22:20 http://www.geometrygames.org/SnapPea/ 16:23:50 -!- Asztal has joined. 16:26:19 -!- lereah_ has quit (Quit: Leaving). 17:11:52 -!- kar8nga has joined. 17:31:16 -!- oerjan has joined. 17:32:29 -!- pineapple has joined. 17:57:28 -!- kar8nga has quit (Remote host closed the connection). 18:04:09 -!- tombom has joined. 18:14:04 -!- sshc has quit (Quit: leaving). 18:19:18 hmm, http://en.wikipedia.org/wiki/The_Book_of_Mozilla is really ridiculously detailed 18:19:24 it's almost as if people are starting a religion about it :) 18:23:04 -!- kar8nga has joined. 18:24:59 ais523: people these days will start a religion following jut about anything 18:25:14 yes 18:25:17 see also: the number of people who stated their religion as "Jedi" in the 2001 census 18:25:26 yep, I'm aware of that 18:25:47 it lead to hilarious side-effects when someone who was asked to remove their hood in a Jobcentre managed to keep it on by claiming that they were a devout Jedi 18:25:58 heh 18:26:41 going back on topic for a moment (and since there's someone else around now)... 18:27:34 i noticed in the DoubleFuck article that the 2 pointers operate on seperate arrays... and was wondering if it would be more interesting if they operated on the same array 18:28:17 quite possibly, although it's unlikely to make much difference 18:28:28 hmm? 18:28:43 hmm, well, it would 18:28:58 you could make it work like the original lang simply by putting them in far-off sections of the tape 18:29:16 or by having one starting at an odd location, the other at an even location, then moving with << >> rather than < > 18:30:03 but that's boring, compared to haveing them start in the same place, and letting thje programmer do something interesting with having them both in the same space, with the chance to affect the same data 18:30:31 yep 18:30:41 so sharing a tape is probably a more general language 18:34:18 s/probably/definitely/, you just gave the proof three lines above... 18:36:47 err, yes 18:36:57 I'm stuck in talking in weasel words for some reason atm 18:37:04 heh 18:37:14 Too much Japanese. 18:37:57 (seriously, you use weasel words to be more polite in Japanese) 18:43:42 -!- charlls has joined. 18:44:42 -!- oerjan has quit (Quit: I hope you honorable people will excuse me for leaving now.). 18:44:49 oklopol: you can own me all you want ;o 18:48:18 * Sgeo should probably do his C++ homework at some point 18:48:25 In class, I put it off in favor of $BIG_PROJECT 18:49:55 that's so cool 19:15:03 -!- sshc has joined. 19:17:06 -!- sshc has quit (Client Quit). 19:17:23 -!- sshc has joined. 19:27:48 Is there a reason to attempt to learn Erlang when I already know Haskell? 19:28:09 Erlang seems like a dynamically typed, non-lazy Haskell with strange syntax, from what I've seen 19:29:06 Sgeo: it's good for different things 19:29:18 learn erlang while you write the program 19:29:27 if you don't need to write a program in erlang why bother 19:31:00 The syntax is confusingly Prology; for some reason I find it funny, even though there's really nothing especially funny there. 19:32:05 erlang was originally implemented in prolog, IIRC 19:32:13 but reimplemented in something more efficient after a while 19:32:23 reimplemeted in prolog 19:32:33 bytecode compiler rather than direct interpretre 19:32:33 My one-liner description would've been "non-declarative Prolog with concurrency and communications bits", but I guess that always depends on from where you look at. 19:32:43 then I dunno what happened next 19:44:11 * Sgeo is considering learning about F# 19:46:18 learn about the theory of codes 19:46:53 it's real sexy 19:58:48 -!- deschutron has joined. 19:59:12 What is ridiculous is that there was this ad in the "jobs" noticeboard at the university; it consisted of only a single huge QR code, which, when decoded, yielded a longish quotation from the Book of Mozilla (11:9, I think) and a tinyurlish link to the actual job ad, which was some sort of web-mobile-developery thing. 19:59:45 QR? 19:59:54 that those 2d barcode things? 20:01:29 Yes. 20:01:34 It's the one with the squares in it. 20:01:47 http://upload.wikimedia.org/wikipedia/en/4/42/Wikipedia_mobile_en.png 20:36:16 -!- deschutron has left (?). 20:36:30 -!- deschutron has joined. 20:48:42 -!- augur has quit (Ping timeout: 248 seconds). 21:03:04 -!- alise has joined. 21:03:20 This is... Dispatch ... Four? 21:03:33 Three was the whole crisis thing I think so it wasn't really a dispatch. 21:04:51 hi alise 21:05:01 Hi, there. 21:05:51 20:57:21 I wonder how groups work. 21:05:52 20:59:23 Poorly. 21:05:52 Also true out of context. 21:06:17 21:07:24 For instance, I'm fairly certain that SELinux implements ACLs (along with a trillion other things), but I have not one clue how they work.] 21:06:17 It does 21:06:19 It's awful 21:06:20 hey alise I used finite calculus to prove something 21:06:25 alise: So, uh. Hi? 21:06:30 alise! We haven't seen you for xkcd days! 21:06:35 fax: Cool; show me. I need to forget about the week. 21:06:39 Sgeo: Well, like I said, the unit. 21:06:52 It's Friday, Saturday, Sunday from now on. Until countries become move. 21:06:53 *moved 21:07:00 alise "(1 + 2 + 3 + ... + n) ^ 2 = 1^3 + 2^3 + 3^3 + ... + n^3" 21:07:02 oops 21:07:03 (So that they are under my feet. That's why it's called "moving country".) 21:07:07 "Why does the square of a sum of numbers equal the sum of each individual number cubed?" 21:07:09 fax: that ... CANNOT BE EXPANDED 21:07:16 It doesn't EXIST 21:07:19 alise: Time remaining? 21:07:20 It's INFINITE 21:07:21 lol 21:07:23 you're infinet 21:07:25 pikhq: Who the fuck knows 21:07:31 Mmkay. 21:07:39 alise, - http://www.reddit.com/r/math/comments/bep0g/why_does_the_square_of_a_sum_of_numbers_equal_the/c0meexi 21:08:01 /r/math is a cesspool 21:08:03 I'm busy trying to convince myself to do more kanji studying. And failing horribly ATM... 21:08:07 (of idiocy) 21:08:14 alise, also I used it to prove bijections between N^k and N 21:08:25 -!- Asztal has quit (Ping timeout: 246 seconds). 21:08:57 -!- Asztal has joined. 21:09:47 do you know a better math forum? : | 21:09:52 no :) 21:09:53 #math? 21:10:05 pikhq: considering all the trolls we get here are from related channels to #math i doubt it 21:10:12 also i think there is a lot of idiotic drama there 21:10:21 fax: actually i do 21:10:22 #esoteric 21:10:48 #esoteric is indeed a better channel. 21:11:04 pikhq, that cannot have been a serious suggestion 21:11:16 ooh, hi alise 21:12:02 * Sgeo wonders what the Math channel on FICS is like 21:12:05 ais523: Descarfed? 21:12:10 yes 21:12:13 -!- Deewiant has quit (*.net *.split). 21:12:13 -!- ineiros has quit (*.net *.split). 21:12:13 -!- AnMaster has quit (*.net *.split). 21:12:14 -!- HackEgo has quit (*.net *.split). 21:12:15 too many people complained 21:12:20 Although I was on FICS recently, and iirc, it was somewhat inactive. 21:12:31 Maybe if I said something, someone would respond, though 21:12:32 ais523: What; why? 21:12:38 alise: I'm not sure 21:12:39 Nobody has complained about my nick. 21:12:45 but if people want me to use this nick, I may as well use it 21:12:48 Maybe that means nobody cares about me. :) 21:12:51 FICS? 21:12:57 and what is it like? 21:12:58 or we want to help you stay undercover 21:13:10 That wasn't why I changed nick but sure. 21:13:10 FICS = Free Internet Chess Server. freechess.org 21:13:14 I don't think they know I'm ehird. 21:13:29 for a while, I was wondering if pineapple was you (UK ISP, and my client decided to give you the same nick colour), but I decided it was someone else 21:13:45 Never seen him. 21:14:00 he was here earlier, and talked in a similar way 21:14:00 If you ask I'll always respond in the affirmative, btw, so that's one way of identifying me. 21:14:05 but I suppose it was just a case of both being brits 21:14:09 What, whiningly? :) 21:14:21 alise: that isn't a definite method of identification 21:14:28 it's free from false negatives, but not from false positives 21:14:35 in that if I ask someone else if they're alise, they might lie and say yes 21:14:40 Anyway I could tell you all about the horrible week I've had, but you've heard it all before. So unless anyone asks - or I get the inclination - it'll just be left unsaid. 21:14:55 alise: So, horrible but nothing new? Mmkay then. 21:15:02 Enjoy your moments of sanity, then. 21:15:16 -!- Deewiant has joined. 21:15:21 -!- AnMaster has joined. 21:15:21 -!- HackEgo has joined. 21:15:26 hmm, partly as an antidote to the Java I do for work, I was doing some Haskell also for work 21:15:26 Well, something got marginally better in the latter days - they're, zomg, closing the door to my bedroom at night! So now I can actually have troubled sleep instead of staring at bright lights all night. 21:15:35 Which is, you know, "improvement". 21:15:58 alise: it sounds to me like an equivalent boarding school, which seems pretty awful 21:16:08 -!- ineiros has joined. 21:16:15 I remember that I was at one of the UK maths camps, which was being held in a boarding school 21:16:17 Boarding school with bullshit pseudo-psychology 21:16:22 can we just talk about finite calculus?? 21:16:24 ais523: same nick colour? 21:16:26 the environment was weird, and more so because I was in a girl's bedroom 21:16:27 Although at about the same time I was told that if I wanted to continue reading at night I'd have to go to bed earlier... 21:16:34 pineapple: yes, my client colours people's nicks depending on who they are 21:16:39 but from a relatively small palette 21:16:47 Because, you know, going to bed minutes later will kill me. (Maybe they could not wake me up at 7 every day?!) 21:16:52 (she wasn't there at the time, they were reusing the bedrooms) 21:16:53 (It's not like I have to travel.) 21:16:54 alise: Wait, wha? Makes no sense. 21:17:00 I never went to a math camp 21:17:01 the 16 colour palette? 21:17:09 pineapple: no, a different one I think, and even smaller 21:17:11