00:00:04 -!- CrackBunny has joined. 00:00:19 -!- CrackBunny has left (?). 00:02:09 -!- Corun has changed nick to [. 00:02:16 -!- [ has changed nick to iDGCorun. 00:03:36 -!- iDGCorun has changed nick to IDG_SHIRT. 00:05:28 -!- IDG_SHIRT has changed nick to Corun. 00:05:39 -!- Corun has changed nick to IDG_SHIRT. 00:07:14 -!- IDG_SHIRT has left (?). 00:09:57 -!- ihope_ has changed nick to ihope. 00:40:56 -!- puzzlet_ has joined. 00:49:09 -!- puzzlet__ has joined. 00:51:10 -!- puzzlet has quit (Read error: 110 (Connection timed out)). 01:01:43 -!- puzzlet_ has quit (Connection timed out). 01:08:34 -!- SEO_DUDE has quit (Read error: 104 (Connection reset by peer)). 01:37:40 -!- clayrat has quit (Read error: 110 (Connection timed out)). 01:46:58 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 01:53:07 -!- Tritonio__ has joined. 01:53:50 -!- Tritonio_ has quit (Read error: 104 (Connection reset by peer)). 02:07:51 -!- Sgeo has joined. 02:55:08 -!- AxleLonghorn_ has joined. 02:55:34 -!- AxleLonghorn_ has changed nick to AxleLonghorn. 02:56:14 -!- AxleLonghorn has left (?). 02:56:30 -!- AxleLonghorn has joined. 03:06:31 -!- immibis has joined. 03:14:31 -!- sebbu2 has quit ("@+"). 03:21:46 -!- AxleLonghorn has left (?). 04:22:41 -!- puzzlet__ has quit (Remote closed the connection). 04:22:43 -!- puzzlet has joined. 04:39:36 -!- faxathisia has quit (Connection reset by peer). 04:41:01 -!- faxathisia has joined. 04:58:29 -!- BoredCollegeGuy has quit (Read error: 110 (Connection timed out)). 05:09:04 -!- calamari has joined. 05:10:26 -!- puzzlet has quit (Remote closed the connection). 05:10:39 -!- puzzlet has joined. 05:11:50 -!- immibis has quit ("Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. A fine is a tax for doing wrong. A ). 05:17:49 -!- chuck has joined. 05:29:12 -!- calamari has quit ("Leaving"). 05:41:20 did anyone try Epigram? 05:47:36 What's Epigram? 05:49:01 It seems to be a programming language where you can have types depend on values 05:49:09 and sub-turing 05:49:14 but I don't really know much more 05:49:40 the code looks cool some examples on http://en.wikipedia.org/wiki/Epigram_%28programming_language%29 05:50:13 fuck, wine smells more 05:57:44 more than what 06:02:30 than before 06:02:43 -!- chuck has quit ("This computer has gone to sleep"). 06:10:02 -!- oerjan has joined. 06:12:16 is that general problem NP-complete? <<< no 06:12:28 although someone has prolly said that 06:13:29 I got confused 06:13:34 zero sum is NP complete apparentlly 06:13:42 but this isn't zero sum, it's maximizing 06:15:50 i think i'll put it in the crawlspace 06:16:18 ...why am i talking about this in here 06:16:54 faxathisia: i think you mean on where any subset can be taken 06:17:21 oklopol: that would be even easier, just take _all_ positives 06:17:22 anything that only cares about continuous sequences can be no 06:17:24 np 06:17:38 oerjan: for the max, yes, not the zeroing 06:17:52 right 06:17:52 *mean one where 06:18:18 anyway, the 2d one is np? did someone say that or did i misunderstand something 06:18:24 oh, and of course for maximizing under a bound (knapsack) 06:18:25 how could it possibly be 06:18:32 yeah 06:19:01 oh, he was talking about subset sumzorz 06:19:58 wonder if generalizing that to hypercube sum makes it np 06:20:10 or is hypercube a tesseract? 06:20:18 i knows nothings 06:21:29 * oerjan vaguely recalls those are the same thing 06:21:51 or maybe hypercube is for all dimensions 06:21:56 i mean, can hypercube be used for further dimensions as well 06:22:04 eh 06:22:22 i hate it when people steal my thoughts 06:22:25 only one way to find out 06:22:29 teh google! 06:22:46 and teh wikipedia! 06:22:58 only _two ways_ to find out 06:23:11 teh google, teh wikipedia, and teh mathworld 06:23:57 the fourth way is asking the spanish inquisition, which is not recommended 06:24:43 indeed, time travel sometimes leads to catastrophes 06:24:45 anyway it's apparently arbitrary n 06:24:55 * oklopol knew! 06:25:39 hmm, the typing checker doesn't know "tesseract", is that the correct form, now that you have your pedias open 06:25:53 i closed them again 06:25:58 (since you can't possibly just know that...) 06:26:01 but i think that was it 06:26:16 and i did see it but i did not rememorize the spelling :) 06:27:02 i learned the word from watching hypercube in french 06:27:07 if you know the series 06:27:25 i don't 06:27:29 i've actually pointer you out a paradox from that movie, although you don't remember it 06:27:36 *pointed 06:30:18 no one remembers. it's a paradox! 06:30:40 oh and that sub-hypercube thing. 06:30:55 n dimensions, 2^n elements 06:31:26 3^n sub-hypercubes i think 06:31:43 (for each coordinate, take both, 0 or neither) 06:32:57 3^(log 2 x) = (3^log 2)^x, still a polynomial number in the original elements 06:33:04 oh wait 06:33:14 er, no 06:33:44 darn i'm not supposed to do _that_ kind of silly mistake :D 06:34:18 lessee 06:34:19 why can't you take 1, why just 0? 06:34:28 er, i meant 1 06:34:34 you cannot take neither 06:34:39 then 4^ 06:34:42 oh 06:34:43 indeed 06:34:48 oh right, i'm forgetting to eat breakfast 06:35:40 breakfast is for melvins 06:35:48 * oklopol learned a new word 06:35:54 my brain does not work without food 06:38:22 actually, i think this kind of brain usage is for melvins too 06:38:41 not sure whether it means "geek" or "gay", no real difference in usage 06:40:46 never heard it 06:41:08 so back to this thing which my intuition tells me _is_ polynomial 06:41:52 3^(log 2 n) = 2^(log 3*log 2 n) = n^log 3 Q.E.D. 06:42:47 so you can check all sub-hypercubes in n^log 2 3 time 06:43:20 n^log_2 3 06:43:40 every circle of kiddo buddies comes up with their own set of words, and there are about a quadrillion kids in the us 06:43:45 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 06:43:47 i'd be surprised if you'd heard it 06:44:03 * oklopol should memorize urbandictionary 06:44:15 er times some overhead per cube, which is linear 06:44:55 -!- johnk_ has quit (Read error: 110 (Connection timed out)). 06:45:23 exercise: pepper your speech with words used differently than most people do. if challenged point to a dictionary 06:45:50 * oerjan now wonders if "pepper" is used in that sense in english 06:46:50 yep 06:47:03 it seems so, at least close to it 06:47:09 now, the 3 there is related to 2 06:47:18 why not generalize for any cube size? 06:47:56 n_1*n_2*...*n_k gives (n_1+1)*...*(n_k+1) subcubes 06:48:41 is that so? 06:48:49 er, no 06:49:09 i'd say it's quadratic growth 06:49:30 hm right if it's to be consecutive 06:49:51 i mean, the number of continuous segments in a list 06:49:53 and multiplying quadratic things are still quadratic 06:49:54 easy to calc 06:50:09 although still too much for me without paper.. 06:50:17 ehm 06:50:25 quadratic * quadratic is quartic 06:50:34 not in this case 06:50:42 hey, don't get colloquial with me! thazz no proof! 06:50:51 because you also multiply the things you start squaring 06:51:09 <= (n_1^2)*...*(n_k^2) subcubes 06:51:16 = (n_1*...*n_k)^2 06:51:42 rrrright 06:52:53 people at the computer science classes look at me like a geek when i'm reading coding theory xD 06:53:00 not classes, lectures 06:53:00 i say that's proof enough 06:53:01 anyhow 06:53:51 i say that's pretty proof 06:53:54 quite indeed 06:54:05 why didn't i eat anything... i'm hungry too 06:54:17 i'm gonna go melvin it up -> 06:54:23 because you're pretending to be the anti-melvin :) 06:59:54 it's funny, most of the time when reading math i'm thinking of ways to enhance the notation itself; math doesn't really try alternative notations that much, why is that :\ 07:00:10 the notation used today is like 70 billion years old right? 07:01:53 not always 07:02:58 some things do get more efficient notation occasionally 07:05:13 i guess a reason why the main notation is uaually the same could be that, unlike with programming, you can just use any other notation you want 07:07:19 sss 07:08:01 like these days i think few people use Boole's notation for Boolean formulas 07:08:18 ab = a and b, a+b = a or b 07:09:09 well, in that case the mathematical notation definately owns 07:09:10 definitely 07:09:20 which one? 07:09:28 *+ 07:09:48 boole's notation was with "and" and "or"? 07:09:59 wasn't it the one with those weird characters? 07:10:08 no the other way around 07:10:22 i did not give the modern one 07:10:31 it may not be entirely consistent, hm 07:10:54 well, "and" and "or" are definately too verbose for anything 07:10:56 definitely 07:12:16 /\ and \/ are probably most common now 07:12:48 we used those in school for the first few lessons 07:12:54 then moved to * and + 07:13:03 oh 07:13:11 after which /\ and \/ were considered bad-. 07:13:16 *-- 07:13:20 Why what is wrong with /\ and \/ 07:13:20 ? 07:14:19 teachers tend to want the students to use the system used in classes 07:14:30 to make checking a simpler process 07:16:19 i do vaguely recall my father has an old book which uses * + 07:16:57 about digital circuits 07:17:29 must have been my first introduction to boolean algebra 07:18:10 but nowadays - when you know about boolean rings, you realize it is xor that is the addition :) 07:18:57 yeah 07:19:07 i realized that right away, but the teacher didn't mention it 07:19:29 i almost yelled it out loud 07:19:52 when were boolean rings come up with? 07:20:08 -!- johnk has joined. 07:21:13 don't know 07:23:25 prime fields are the coolest thing ever, the lives of those before the must have been quite meaningless 07:24:07 what is a prime field? 07:24:16 hmm 07:24:22 that's prolly not the right term 07:24:49 like, a field over (mod p) where p is prime 07:25:03 galois field, except that also includes p^n 07:25:18 well, any field really other than reals is pretty awesome 07:25:35 yeah i don't know about n!=1, since the book hasn't considered that :P 07:25:46 prime field seems to be used 07:26:09 i think n!=1 is even more awesome 07:26:18 is that so? 07:26:20 impress me! 07:26:32 they're harder to find 07:27:28 i almost ejaculated when i heard there's always a generator member in the field whose exponents create every other member of the field 07:27:45 will the size 2^16 (i think) field i hid in my INTERCAL Unlambda interpreter do? 07:28:01 :D 07:28:27 hmm... every p^n, where n!=1 is not a field? 07:28:37 i discovered in INTERCAL it was easier to do a multiplication over that field than actually incrementing a variable :) 07:29:12 on a side note, i should learn intercal 07:29:28 Z(p^n) is not a field for n!=1, indeed 07:30:02 only some are? 07:30:12 but there _is_ a field of size p^n, which is not the same as calculating mod p^n 07:30:21 ah, right 07:30:25 it's called GF(p^n) 07:31:01 in that case, it is pretty awesome 07:31:43 also, there is exactly one of each size 07:31:53 :O 07:32:02 up to isomorphism 07:32:43 http://en.wikipedia.org/wiki/Finite_field 07:32:48 why the fuck isn't this taught at school, discrete math is a fucking mental orgy 07:33:16 well as i said these are harder to find 07:34:44 i meant why am i learning all this now that i'm already old and wrinkled 07:34:52 o_O 07:35:09 oh, right, sorry :P 07:35:24 what i mean is, this should be taught before integration and that shit 07:36:07 or, calculus could be taught in physics, and math could concentrate on the interesting stuff 07:38:04 i mean, these things seem so fundamental every time i hear something like that, i feel i gain +1 lev 07:38:23 and these are levels i could've gained in elementary school 07:49:25 surely galois did not die in a duel, his head exploded from all the awesome 07:52:58 yeah and abel didn't die of tuberculosis either sorry, don't know enough history to get the reference :P 07:56:51 i need to come up with something completely new, or stop reading about these guys 07:57:00 wonder which one is easier 07:58:01 Niels Henrik Abel, the greatest norwegian mathematician, died 27 years old 07:58:46 er 26 07:59:05 i know that much, i'm just assuming you were pointing out a conspiracy of some sort! 07:59:35 a conspiracy to prevent the world from learning about unsolvable equations! 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:00:06 why do you _think_ Godel was paranoid, hm? 08:00:08 well, those were kind of a bummer 08:00:38 just because you're paranoid doesn't mean no one is after you 08:00:48 oh and Turing didn't fare so well either 08:01:22 hmm... this may be the reason discrete math is *not* taught in elementary school 08:01:33 it makes your brain pop 08:01:45 hmm 08:01:53 i guess math in general 08:08:08 the other day, i realized what i wanna be when i grow up 08:08:34 a god 08:08:38 like, that'd be so cool 08:09:04 wonder if that's a wanted occupation? 08:09:32 i'm willing to compromise on the size of the world i'm goding 08:14:41 you could do like Mobius's major Grubert and inflate the world from inside 08:15:44 i think i'd prefer a simpler world, tbh 08:16:25 universe simulator programmers get paid well, right? 08:16:59 the problem is the pay is virtual, i hear 08:17:43 i guess when i have my own universe, i don't have to care squat about this one 08:18:07 anyhow, i don't get category theory based on wikipedia, unless morphisms are just functions 08:18:17 -!- puzzlet has quit (Remote closed the connection). 08:18:18 -!- puzzlet_ has joined. 08:18:51 not necessarily 08:20:39 hmm... is a category like a system of axioms? 08:21:05 i don't get the analogue of morphisms in that case, since axioms are always bijective functions 08:21:17 huh? 08:21:23 axioms are propositions 08:21:32 hmm 08:21:55 aren't they tautologies over the object system in use? 08:22:14 equalities that is 08:22:27 not all propositions are equalities 08:22:33 i see 08:23:02 indeed 08:23:17 the kind of system with a set of equations like for groups and rings is called a variety of algebras 08:23:20 i was just assuming you could reduce them to equalities, i guess you can't 08:23:48 and axioms are more general than that 08:23:52 ? 08:23:54 yep 08:24:08 understandable, i just haven't seen anything else. 08:24:16 e.g. the axioms for ZFC are not all equations 08:24:16 else than equations 08:24:28 hmm 08:24:39 then i definately have seen them... 08:24:41 just don't remember 08:24:44 definitely 08:24:45 ... 08:25:30 hmm, indeed, they aren't equations 08:25:39 i just like thinking of axioms as reduction rules 08:26:11 in which case equations are the nicest representation 08:26:38 logics often have only one-way reduction 08:26:48 assume this, conclude that 08:26:58 trues you say 08:27:35 although for many you have a way to rephrase it as an equation 08:28:05 yeah 08:28:15 e.g. a => b can be rephrased as a or b = b 08:28:22 i need to take a shower, gotta leave soon 08:28:32 hmm 08:28:52 is that an example of it, or the general way to make any => into an equation :P 08:29:09 i think that's general, in boolean logic anyhow 08:29:51 is there a branch of math that somehow considers the number of steps needed for proofs? 08:29:55 actually an even more general way is as (a => b) = True 08:29:59 or reduction steps 08:30:26 i vaguely recall... 08:30:31 i mean, of course every branch considers that as part of themselves, but a more general one 08:30:45 ah, right :) 08:31:06 i think essentially that's complexity theory, when you apply the curry-howard isomorphism 08:31:15 between logics and programs 08:31:18 hmm, what's the chi? 08:31:21 CHI 08:31:35 ouch 08:31:38 :P 08:32:12 there is a correspondence between propositions and proofs on the one side, and types and programs on the other 08:32:47 i see 08:33:01 originally, intuitionistic propositional logic <=> simply typed lambda calculus 08:33:07 and that's what all the fuzz about automatic proving of programs is all about? 08:33:30 i see 08:33:34 but gotta leave now 08:33:37 cya 08:33:39 ->>>>> 08:33:42 bye 08:33:49 -!- clayrat has joined. 09:13:29 -!- oerjan has quit ("leaving"). 09:32:23 -!- faxathisia has quit. 11:26:41 -!- Jontte has quit ("Konversation terminated!"). 12:00:29 -!- SEO_DUDE has joined. 12:42:43 Yay, category theory. 12:44:12 -!- puzzlet_ has quit (kubrick.freenode.net irc.freenode.net). 12:44:13 -!- sekhmet has quit (kubrick.freenode.net irc.freenode.net). 12:44:13 -!- cmeme has quit (kubrick.freenode.net irc.freenode.net). 12:44:13 -!- Possum has quit (kubrick.freenode.net irc.freenode.net). 12:44:19 -!- dbc has quit (kubrick.freenode.net irc.freenode.net). 12:44:19 -!- SimonRC has quit (kubrick.freenode.net irc.freenode.net). 12:44:20 -!- GregorR has quit (kubrick.freenode.net irc.freenode.net). 12:44:20 -!- bsmntbombdood has quit (kubrick.freenode.net irc.freenode.net). 12:44:20 -!- Overand has quit (kubrick.freenode.net irc.freenode.net). 12:44:20 -!- oklopol has quit (kubrick.freenode.net irc.freenode.net). 12:44:20 -!- ololobot has quit (kubrick.freenode.net irc.freenode.net). 12:45:13 -!- ololobot has joined. 12:45:13 -!- bsmntbombdood has joined. 12:45:13 -!- oklopol has joined. 12:45:13 -!- dbc has joined. 12:45:13 -!- Overand has joined. 12:45:13 -!- SimonRC has joined. 12:45:13 -!- GregorR has joined. 12:45:28 -!- puzzlet_ has joined. 12:45:28 -!- Possum has joined. 12:45:28 -!- cmeme has joined. 12:45:28 -!- sekhmet has joined. 13:00:29 -!- sebbu has joined. 13:01:33 -!- drwilco has joined. 13:06:34 -!- SEO_DUDE has quit (Remote closed the connection). 13:11:52 -!- sebbu has quit (kubrick.freenode.net irc.freenode.net). 13:11:52 -!- dbc has quit (kubrick.freenode.net irc.freenode.net). 13:11:53 -!- SimonRC has quit (kubrick.freenode.net irc.freenode.net). 13:11:53 -!- Overand has quit (kubrick.freenode.net irc.freenode.net). 13:11:53 -!- GregorR has quit (kubrick.freenode.net irc.freenode.net). 13:11:53 -!- bsmntbombdood has quit (kubrick.freenode.net irc.freenode.net). 13:11:53 -!- oklopol has quit (kubrick.freenode.net irc.freenode.net). 13:11:53 -!- ololobot has quit (kubrick.freenode.net irc.freenode.net). 13:12:12 -!- sebbu has joined. 13:12:12 -!- ololobot has joined. 13:12:12 -!- bsmntbombdood has joined. 13:12:12 -!- oklopol has joined. 13:12:12 -!- dbc has joined. 13:12:12 -!- Overand has joined. 13:12:12 -!- SimonRC has joined. 13:12:12 -!- GregorR has joined. 13:12:19 -!- drwilco has changed nick to DocWilco. 13:13:08 -!- SEO_DUDE has joined. 13:17:37 -!- SEO_DUDE has quit (Remote closed the connection). 14:02:11 -!- jix has joined. 14:36:33 -!- oerjan has joined. 14:38:37 -!- sebbu2 has joined. 14:43:24 o 14:44:23 now that is circular reasoning 14:44:45 Indeed. 14:45:21 It's like saying there's a morphism from A to B just because there's a morphism from B to B. :-P 14:45:53 ...no no, that was an o 14:46:00 Oh. 14:46:12 and o's are circular 14:46:15 In that case, it was... a very nice o. 14:48:31 -!- chuck has joined. 14:48:49 oerjan: circular? yes. reasoning? definately not 14:48:52 definitely 14:49:02 o's are the result of reasoning. 14:49:15 not at all to do with the process of reasoning 14:56:38 -!- sebbu has quit (Connection timed out). 15:06:13 now _that_ is definitely circular reasoning 15:09:32 Circular reasoning makes me unhappy. 15:10:28 as long as it is not a downward spiral 15:10:41 Helical reasoning is just fine. 15:10:59 As a bonus, it's topologically equivalent to linear reasoning. 15:11:45 how could that be circular reasoning? i did not justify what i said at all, that can hardly be circular. 15:13:01 -!- BoredCollegeGuy has joined. 15:13:19 you were definitely reasoning about circles there 15:14:13 also remember rule #1: 63% of everything i say is a pun 15:14:46 Please generate 10 random numbers within the range [0,1023]. 15:15:46 0, 0, 0, 0, 0, 0, 0, 0, 0, 0. 15:18:02 [564,840,725,105,384,584,255,962,522,528] 15:18:08 oh, thank you. 15:19:08 oerjan: did you, by any chance, take 10 (randomRs (0, 1023) gen :: [Int])? 15:19:29 print.take 10.randomRs (0,1023::Int) =<< newStdGen 15:20:00 and it took me far too long to get that typed right :( 15:20:22 Took me longer. 15:20:35 Though only a little bit, I'm guessing. 15:23:02 Please, state the most difficult problem yet processed through this interpreter. 15:23:45 Well, gee... 15:23:53 i once processed a hello world 15:24:11 Coming up with a complete AI program running at a reasonable pace. 15:24:24 for what? 15:28:10 BoredCollegeGuy: unknown symbol- "most difficult" 15:28:48 fair enough. 15:30:01 -!- puzzlet_ has quit (Remote closed the connection). 15:30:02 -!- puzzlet has joined. 15:30:03 Please, let "most difficult problem" be defined as the problem requiring more work from the interpreter than any other problem. Retry last request. 15:31:59 I've been asked to type the lyrics to 99b, but I'm not certain saying "go to hell" counts as processing the problem. 15:32:33 it does in IRP, in fact it's the canonical answer :) 15:32:34 considering the fact that that's a bug in the interpreter, I think I'd have to say no. 15:33:11 that is most definitely NOT a bug 15:33:23 IRP is by nature a nondeterministic language 15:34:01 hmm... do we have any nondeterministic languages in the wiki? 15:34:10 certainly 15:34:12 someone should fix the wiki then, I think. 15:34:17 hmm 15:34:19 Thue is one 15:34:22 i actually know a few myself 15:34:25 yeah 15:34:25 "Due to a bug in the IRP interpreter, it is very difficult to produce a working implementation of the 99 bottles program in this language." 15:34:34 LOLCATS is deterministic. 15:34:38 and that ofd d'main ovorl 15:34:42 LOLCODE, rather. 15:34:47 or smth 15:35:07 lolcode is nondeterministic? i rather doubt that 15:35:21 BoredCollegeGuy: i'm sure they'll get to adding an exception to that if they haven't already 15:36:17 oklopol: wait, you mean noit o' mnain worb? 15:36:36 yes, although i may confuse it to another language... not sure 15:36:43 i mean the one with the pressure thing 15:36:45 -!- BoredCollegeGu1 has joined. 15:37:20 yeah 15:37:24 that's the one 15:37:38 yeah, that's nondeterministic 15:38:31 boooo. 15:38:39 this irc client won't let me /ghost. 15:39:23 -!- BoredCollegeGu1 has quit (Client Quit). 15:40:08 -!- BoredCollegeGu1 has joined. 15:40:18 well, that didn't work. 15:40:29 I don't suppose it lets you add new commands 15:40:32 does anyone here have rights to kick the other one? 15:40:49 pidgin? probably does. 15:41:00 Well, kicking won't let you change nicks. 15:41:04 at least lament has 15:41:04 try /quote ghost? 15:41:15 Can't you /msg NickServ GHOST BoredCollegeGuy password? 15:42:02 not a registered user, unfortunately. 15:42:21 it'll die eventually 15:42:30 oh well. 15:42:39 ooh. I thought of a fun one. 15:43:34 Please return a stack trace of the calculation of A(3,5) where A is the Ackermann function. 15:44:40 hm, this calls for something more than "Go to hell" 15:45:55 Go to Malebolge, You Fiend! 15:46:03 BoredCollegeGu1: will do! 15:46:57 * DocWilco points out to BoredCollegeGu1 that the topic contains "IRP in #irp" 15:46:59 =) 15:47:38 irp is okay if you know it's not 15:48:20 ENOSENSE 15:49:09 well, that too 15:49:32 that's another place where we could do with a wiki update then. 15:49:48 -!- clayrat has quit (Read error: 104 (Connection reset by peer)). 15:50:05 * BoredCollegeGu1 is most definitely a newb around these parts. 15:50:22 me too 15:51:01 on the other hand, #irp seems to be unimplemented at this point. 15:51:31 oh nvm. I typoed irc instead of irp. 15:51:55 it's still quite unimplemented it seems =) 15:52:48 -!- jix has quit (Nick collision from services.). 15:52:56 there's no #irc? where will all the irc'rs go then? :O 15:52:57 -!- BoredCollegeGuy has quit (Read error: 110 (Connection timed out)). 15:52:58 -!- jix has joined. 15:53:19 we are the diaspora! 15:54:00 BoredCollegeGu1: well, it's running. 15:54:11 Oh, it's finished. The answer is 61. 15:54:16 BoredCollegeGu1: you can change nicks now 15:54:26 ihope: cool trace 15:54:41 Except it isn't actually? Hmm. 15:54:58 Well, I'll give what it gave. 15:55:00 wait 15:55:14 i'm pretty sure the request was for the actual trace 15:55:21 Oh, it exceeded my scrollback. 15:55:27 -!- BoredCollegeGu1 has changed nick to BoredCollegeGuy. 15:55:28 :P 15:55:42 yeah, ackermann's complicated like that. 15:55:48 Now I need to stuff this into a file somehow. 15:58:15 -!- Tritonio__ has quit (Remote closed the connection). 16:08:47 Oh, that's why the program gave the wrong output. I gave it the wrong input. 16:09:11 always such a GIGOlo 16:09:44 lol! 16:12:18 i always have that problem, 100 lines of code, no bugs... and then i debug for 2 hours to find i was testing it with a different input than i thought 16:15:04 Good thing I saw the error immediately upon seeing the "stack trace". 16:15:13 And all this work just to get 253! 16:15:24 -!- iEhird has joined. 16:15:42 Is it a me-parody or an Apple user? 16:15:57 Or something entirely different? 16:16:25 its me on my iphone 16:16:52 using a native IRC client 16:18:22 -!- iEhird has quit (Remote closed the connection). 16:18:35 -!- iEhird has joined. 16:19:01 They have an IRC client for iPhone? 16:19:05 iDoneBrokeIt 16:19:06 How 'bout VoIP? :P 16:19:08 yes 16:19:11 heh 16:19:13 maybe 16:19:31 I'm gonna go with "no" on VoIP, as that would undermine their business model :P 16:19:35 off your need to jailbreak it first 16:19:40 Oh 16:19:46 Well then probably :) 16:19:59 You jail-broke yours? Need to carefully not update it? :) 16:20:33