00:35:24 -!- zuff has changed nick to ehird. 01:07:11 -!- jix has quit ("..."). 01:08:09 -!- Judofyr has quit (Read error: 110 (Connection timed out)). 01:34:23 -!- GreaseMonkey has joined. 01:35:22 -!- Sgeo has joined. 02:34:12 -!- puzzlet_ has quit ("Reconnecting"). 02:34:16 -!- puzzlet has joined. 02:44:25 Making a machine that does something usually done on a computer (e.g., sorting) isn't mechanical engineering, it's just porting to the language "physics" :) 03:00:02 -!- Asztal has quit (Connection timed out). 04:17:02 -!- psygnisfive has joined. 04:30:12 i bin sort hundreds of items by hand ever day :( 04:30:42 get a new job? 04:30:53 same job 04:31:09 i meant 04:31:11 get a new job 04:31:20 oh 04:31:26 :P 04:35:33 i'm not sure how i should go about getting a real job 04:39:32 Everyone on IRC is a college student. 04:40:00 not i 04:40:38 Except ehird, because in Britain, "college" means "Mondays, Wednesdays and Fridays while both digits of one's age are prime". 04:41:07 Or something like that, anyway. 04:42:16 22,23,25,27,32,33,35,37,52,53,55,57,72,73,75,77 04:44:02 Precisely. 04:46:01 Actually, I think the days of the week might be rearranged over there, making it Wednesdays, Mondays, and Thursdays, in that order. 04:47:29 Nope, looks like Britain's days of the week are generally Sunday-first, like ours. 04:49:16 just say prime-numbered days and be done with it 05:09:22 guys 05:09:27 quizicle 05:09:48 f(0) = 1, f(1) = 1, f(2) = 1, f(3) = 1, f(4) = 1 05:09:52 what is f(5) = ? 05:11:43 121 ? 05:11:57 possible. 05:12:04 completely acceptable answer. 05:12:40 infact, f(5) can be any number you want 05:13:48 psygnisfive, saw that on qntm once 05:14:13 because for any arbitrary numbers, x0, x1, ... xn there exists an infinite number of quadratic functions that have zeros at those numbers, so suppose z(x) is just such a function 05:14:35 http://qntm.org/?1111 05:14:37 if thats the case, you can construct any function you want that is constant on exactly those numbers, and something else elsewhere 05:14:44 1+x^5-10*x^4+35*x^3-50*x^2+24*x 05:14:46 sgeo: this is infact where i got it :) 05:14:49 but his explanation is wonky 05:14:56 just think of it like this: 05:14:59 Howso? 05:15:08 x(x-1)(x-2)(x-3)...(x-k) 05:15:32 for x = 0,1,...k, this will equal 0 05:16:13 so from that you can do anything you want. 05:16:20 add it to any relevant number, multiply it, whatever 05:17:05 and at those numbers itll equal 0, but outside that range itll be whatever 05:20:39 in general, finitely many values are not enough to describe a function. 05:20:54 indeed! 05:21:08 which is not surprising at all 05:21:10 for some classes of functions they are but in general no. which is interesting :) 05:21:42 not surprising, but it's got obvious implications for inductivism 05:21:45 why did you bring this up? 05:21:47 not that inductivism makes sense anyway, but 05:21:52 bsmntbombdood: why not? 05:21:56 dis are esoteric 05:22:23 i think a more interesting fact is that countably many values is enough to describe a large class of useful functions 05:25:40 indeed indeed 05:27:48 (f(x) = 1 for x in [0,1]. What's f(42)?) 05:29:33 (for that matter, f(x) = 1 for all x not equal to 42. What's f(42)?) 05:30:01 f(42) =--- Error -21456: Your planet has been demolished by a vogon construction fleet. 05:31:05 f(1) = 0, f(1) = 1, f(1) = 2, f(1) = 3, f(1) = 4 05:31:09 what is f(1) = ? 05:31:25 also, i can divide polynomials while sleep-deprived, out of practice, and intoxicated. 05:31:30 i wonder if i have some russian blood in me. 05:31:45 f(1) = 1 and maybe some other stuff :P 05:59:58 G'night all 06:01:42 -!- Sgeo has quit ("Ex-Chat"). 06:40:29 -!- oerjan has joined. 06:58:36 psygnisfive: is dividing polynomials an extremely hard procedure? 06:59:40 not in a single variable, at least 07:00:33 not in a single variable? 07:00:44 for more variables i vaguely recall the answer can be dependent on order, i think i saw something about it in wp's Gröbner basis article 07:01:53 for two polynomials in x, dividing one on the other gives you a quotient and a remainder by long division 07:01:54 ohh single variable right, you mean like having just one variable. 07:02:25 you meant what you *said*, never occurred to me. 07:02:42 you do it almost like with integers, pretending that x is the base 07:02:57 yes, i know the procedure. 07:03:40 http://en.wikipedia.org/wiki/Gr%C3%B6bner_basis 07:03:42 can't really not know it having gone to school for X years 07:03:50 (not sure how many exactly) 07:04:00 (but too many) 07:04:34 "multivariate division of any polynomial in the polynomial ring R by G gives a unique remainder;" is one of the equivalent definitions of a gröbner basis 07:06:18 http://en.wikipedia.org/wiki/Multivariate_division_algorithm 07:06:29 stop seducing me with your links, i need to read my things. 07:06:50 BWAHAHAHA 07:07:33 i have an exam in $stupid_course in 50 minutes 07:08:35 oh. good luck. 07:09:12 oklofok: you'll appreciate this: http://images.google.ca/images?q=alba 07:09:56 :) 07:11:33 the course is about gui's, the lecture notes are mostly about how java does it, and the exam asks more theoretical questions i can't really answer based on the notes, because they are crap in the theory parts. 07:11:45 * oerjan lends oklofok his swatter to use on lament 07:12:23 stuff like "- how to do this?", and presumably the lecturer has then answered that, but i didn't attend lectures. 07:12:37 oh thanks. 07:12:56 * oklofok swats la.. himself in the face 07:12:59 ouch 07:13:09 i can't use this thing it's like it has a life of its own 07:13:11 :| 07:13:15 where did you get it? 07:14:08 -!- lifthras1ir has quit (Read error: 60 (Operation timed out)). 07:14:57 * oerjan takes it back 07:15:24 well the last - was from pikhq i think 07:16:31 for the rest of it, well i was walking down the internet when i noticed this little webshop that hadn't been there the previous day 07:17:53 inside there was this strange little chinese looking man with glasses, who offered me the fly swatter 07:19:00 ...was that chinese man called wong by any chance? 07:20:15 he didn't say, and i couldn't read the shop sign. i bought the swatter and went. then i realized the manual was in chinese too, so i went back to ask if he had any european language manual. 07:20:34 but the shop was already gone! 07:21:41 fortunately google translate allowed me to get most of it. but there were some mysterious passages that caused google to crash. 07:22:03 not just google translate - apparently their whole network went down. 07:22:42 that's probably normal. 07:23:02 and that's all i know. i just try not to do anything too fancy with the swatter, just in case. 07:23:10 * oklofok fears this'll be his first non 5/5 grade :< 07:23:18 will i die? 07:23:46 yes. 07:23:49 no. but your finnish genes imply a slight chance of a shooting spree. 07:24:00 well, in which case you might die. 07:24:31 oh and of course, eventually. 07:24:46 sooner if you keep using the swatter 07:24:50 oh dear :| 07:25:42 haha 07:25:42 i can already feel my trigger finger starting to twitch uncontrollably 07:26:40 there is a half-translated passage of the manual that says there is a way to use it not to die. but it also warns that this is _very_ unlikely to be considered an improvement. 07:27:09 even in the short term. 07:27:32 if i start shooting people 07:27:37 use the swatter on me, okay? 07:27:58 i'm afraid i won't be there. the swatter only works on the internet. 07:28:31 lol like i'd ever shoot anyone irl :D 07:28:35 it'd be an irc shooting. 07:28:46 ic 07:29:28 in that case, it might be better to use the saucepan. 07:29:46 bleh, megzlna in #haskell... 07:29:56 it has, as far as i can tell, no mystical properties. 07:30:31 although it has a good steel bottom. 07:31:25 steel? are you sure it's not aluminum? 07:31:29 oerjan: what about megsaasc 07:32:05 i think haskell's global names thing is pretty annoying too. 07:33:13 olsner: finest stainless steel 07:33:33 oklofok: what is megsaasc 07:33:52 oklofok: well, I agree, but he/she has a way of being annoyed that is by far more annoying than the thing itself 07:34:21 oerjan: megzlna 07:35:32 but yeah, modules are a working solution for that, which is why i only see it as a slight inconvenience 07:35:52 and dunno about annoying, i'm never annoyed 07:36:44 me, frequently annoyed 07:39:02 haskell modules, do you need to separate them in different files? 07:39:10 yes 07:39:28 that i do find annoying 07:39:48 it's how the compiler finds them 07:40:30 i'm sure it's very practical, that's no excuse, because i'm critisizing the whole world, not just haskell 07:40:56 *cize 07:41:02 *cizing 07:41:06 oooooooooooooooooooooo 07:41:09 ooooooooooooo 07:41:46 the module system is pretty simplistic, but I like that it is 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:33 -!- Corun has quit ("This computer has gone to sleep"). 08:03:01 -!- Corun has joined. 08:03:24 -!- lifthrasiir has joined. 08:42:19 -!- oerjan has quit ("leaving"). 08:54:30 -!- lifthras1ir has joined. 08:54:30 -!- lifthrasiir has quit (Read error: 104 (Connection reset by peer)). 09:03:21 -!- olsner has quit ("Leaving"). 09:07:49 -!- lifthras1ir has quit ("leaving"). 09:10:20 -!- lifthrasiir has joined. 09:12:49 GregorR, there? codu.org seems down 09:12:58 no idea if you know about it or not 09:29:16 -!- GreaseMonkey has quit ("You only need one wheel. Bikers are just greedy."). 09:41:56 -!- Asztal has joined. 09:43:20 -!- Corun has quit ("Leaving"). 10:39:25 -!- Corun has joined. 12:13:38 -!- Judofyr has joined. 13:15:20 -!- Judofyr has quit. 13:38:54 -!- jix has joined. 13:41:54 -!- KingOfKarlsruhe has joined. 14:50:40 -!- KingOfKarlsruhe has quit (Remote closed the connection). 16:06:12 AnMaster: It's gone down a few times recently so I started logging the processes and top output to see why this is happening. The result: I haven't a fegging clue X_X 16:11:02 GregorR: Hmm. 16:11:09 I could check it out if you want. 16:11:15 rutian never goes down except when I restart it :P 16:25:28 The problem is that for some reason some stale trac.cgi processes are hanging around chewing up memory. Pile together a hundred of those or so and I've got no memory left. 16:26:44 In fact ... they're staying precisely to their CPU limit, then failing to die ... 16:27:34 GregorR: ah. 16:27:37 what web server? 16:28:17 apache2 16:28:32 -!- Judofyr has joined. 16:28:38 use nginx :-P 16:29:35 What a useless non-solution. 16:29:41 Because it's not like I have any .htaccess files. 16:29:52 :D 16:33:31 * 16:33:32 Experimental features: 16:33:32 * embedded perl. 16:33:38 Ewwwwwwwwwwww 16:33:40 :P 16:35:21 GregorR: Yeah, yeah. 16:35:30 It also has a module specifically for serving a transparent 1x1 gif. 16:35:37 But just ignore all that shit. :P 16:35:46 http://wiki.codemongers.com/ english docs 16:35:52 Damned commies. 16:40:04 More like COCKMONGLER, amirite? 17:01:52 ehird: It also has a module specifically for serving a transparent 1x1 gif. <<< lol wut? :D 17:02:05 oklofok: it's because in ye olde 90s people did for padding 17:02:13 and spacing 17:02:15 because they knew not of css. 17:02:22 so that module does it hyperfast. 17:05:32 :DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDdddddddddddddddddddd 17:27:38 hm 17:27:44 hi ehird 17:27:50 haven't seen you for a while 17:27:59 -!- ehird has changed nick to zuff. 17:28:02 More bouncer errors. 17:28:05 aha 17:28:20 zuff, is it a config issue or software issue? 17:28:47 It's a SPIRITUAL ISSUE. 17:28:56 if it is the former, complain to ehird, if it is the latter tell ehird he may want to try znc 17:29:01 zuff, oh? how do you mean? 17:29:14 I am not close enough to GOD for my bouncer to work correctly. 17:29:21 err 17:29:22 ehird's bouncer. 17:29:27 You mean Xenu 17:29:43 Err 17:29:44 yes 17:48:59 -!- BtbN has joined. 17:49:20 -!- BtbN has left (?). 18:03:36 zuff, haha 18:03:50 Hi BtbN. 18:03:52 Bye BtbN. 18:04:58 hm 18:26:10 fizzie: can you do something with fungot for me? 18:26:10 zuff: ( c) the judge, or 18:26:34 ^help 18:26:35 ^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool 18:26:45 no; it needs fizzie-permissions 18:27:10 what on earth may that be? 18:28:57 Hm? (I'm preparing food, so partially away.) 18:29:33 fizzie: Make it change nick to meow and join #reddit. 18:29:36 Plz. :D 18:29:36 -!- Hiato has joined. 18:30:06 Uh, no; I want to be around to observe that sort of stuff, and busy right now. :p 18:30:38 Don't worry it's mostly perfectly innocent apart from the one bit which is all of it. 18:39:32 Wow, hold on: is iHope == Actaeus on the XKCD for a? 18:39:54 er, that is to say, is anyone here that person on the fora? 18:40:22 What? 18:40:34 Link to their profile/ 18:41:20 http://forums.xkcd.com/viewtopic.php?f=17&t=31598&sid=bbf395caf53ac448f3e5347d6b4fdc5a#p1189920 that links to http://tunes.org/~nef//logs/esoteric/06.03.20 and I am busy playing that game on the XKCD forum. I was just interested if someone here I knew was, in fact, playing against me 18:42:09 Well, our logs are quite googleable. 18:42:19 * zuff internet-stalks to see 18:42:49 I spend far too much of my time on the xkcd fora, where I go by Actaeus. I’m also a denizen of #xkcd on irc.foonetic.net, where I’m Daedalus, but lately I haven’t been there very regularly. 18:42:53 Never seen either of those here. 18:42:58 So nobody from here I think 18:43:28 * oklofok changes back to IE 18:43:33 oklofok: what why 18:43:45 firefox crashes every day, sometimes many times. 18:44:06 Oh, so it is you zuff - curse you :P Heh, either way, I can't say I knew you before hand 18:44:18 Hiato: I'm ehird. 18:44:31 Oh, damn, you are? Hell, small world 18:44:46 Wait. 18:44:49 Do you know another zuff? 18:44:57 Nope 18:45:00 Ah. 18:45:44 and let me guess then, it was ais523 that came up with the 3 state two symbol (or visa versa) turing machine that caused some controversy.. 18:46:17 Hiato: no; but he solved it and got money in the process. 18:46:21 How did you guess? :-P 18:46:25 Oh, 23? 18:46:27 That's coincidence. 18:46:58 Heh, no, no, not really - but partially. Adrew Smith = AiS:P (Ian?) 18:47:07 Alex (ian) smith 18:47:26 Technically ais523 is a separate person because he's a wikipedia admin and they get death threats and stuff. 18:48:00 Oh, heh - bad memory. So then, let me ask, who is scikidus? Heh, lol - interesting take on FOSS attitude there 18:48:08 Well, most of the death threats were from me. 18:48:13 lol 18:48:14 scikidus? 18:48:18 But it's his fault, really. 18:48:21 I told him. 18:48:26 Don't mess with football. 18:48:30 I don't think we've seen a scikidus. 18:48:36 ...should we have? 18:49:32 Slereah: I see, anything you'd like to share? Ehird/zuff: Well, that other guy on the Big number game - unless, of course, you were joking. Oh, and tricky777 18:49:48 Hiato: Slereah- was joking... also, what was I joking about 18:49:50 :s 18:50:08 It's true. I didn't actually issued death threats to ais523. 18:50:12 Surprising no? 18:50:23 My world has been turned upside-down 18:50:26 Although I could do some now, I suppose. 18:50:30 ais523! 18:50:36 (20:43:01) zuff: I spend far too much of my time on the xkcd fora, where I go by Actaeus. 18:50:39 PREPARE TO MEET YOUR DOOM! 18:50:42 DOOOOOOOOOOOOOOM! 18:50:50 Hiato: that was copy pasting from the guy you linked's blahg 18:50:57 Youtube it (might as well make a pretty penny) 18:50:59 Oh, lol 18:51:00 rofl 18:51:16 Wow, this is what happens after a long day 18:52:57 Ok, let's see - how do we delete the logs? :P 18:55:48 :D 18:56:26 Ooooooh 18:56:30 Spam on the wiki :D 18:56:34 Like shitload of it 18:58:02 link 18:59:20 http://esolangs.org/wiki/Special:Recentchanges 18:59:33 http://esoteric.voxelperfect.net/wiki/Befungehttp:/www.mepis.org/docs/en/index.php/Make_Media_players_work 18:59:36 huh 18:59:43 lol 18:59:48 Misread that as Special:Rectangles. They should have a special page like that. With some CSS rectangles in it, or something. 19:00:00 fizzie: NICK meow JOIN #reddit 19:00:16 :{ 19:00:17 lol 19:00:18 Nnnnah. But you can run your own copy of fungot to do that, maybe? 19:00:18 fizzie: providing a unique name, mintor, except a transfer order 19:00:18 (fungot taht is) 19:00:18 zuff: the initiation of the contract's terms, the voting period. this rule 19:00:27 fizzie: That would be difficult. 19:00:49 Well, nontrivial, maybe. 19:00:53 http://esolangs.org/wiki/Talk:%22The_most_important_thing_in_the_programming_language_is_the_name._A_language_will_not_succeed_without_a_good_name._I_have_recently_invented_a_very_good_name_and_now_I_am_looking_for_a_suitable_language.%22 ais523 WANTS TO DELETE OUR LANGUAGE 19:00:59 The language model stuff needs a bit of disk space. 19:01:18 fizzie: plzzzz 19:01:23 I'll bribe you with agoran assets 19:01:46 I doubt those translate to anything useful in a real-world sense. 19:02:14 fizzie: jaycampbell was offering 5 bucks for 300 coins a while back, iirc. 19:02:35 -!- olsner has joined. 19:03:02 I am wary of doing anything related to freenode channels I do not know about (which, at this point, means anything else than #esoteric) since they might get offended or something. 19:03:13 don't worry, they'll be very happy 19:03:34 I'm also not sure whether you're the most trustworthy person around. 19:03:36 No offence! 19:03:46 C'mon :} 19:04:33 fizzie: CMON :D 19:04:43 Mmmeh. I guess I can always /part if it looks like someone's getting restless. Although fungot's raw-loggery is difficult to follow. 19:04:43 fizzie: be known to all contestants, and cannot be made in a row receive exactly the same 19:04:52 fizzie: Thank you :} 19:05:27 fizzie: :} 19:05:44 Er, I think I'll run another copy, though. If I just do ^raw NICK, it won't change the name it looks for in the babbling thing. 19:05:53 Ah, good point. 19:05:57 That's ok. 19:06:22 Did you want it set to this agora style? 19:06:31 Any style would be OK, but irc would be best. 19:07:02 fizzie: you should explore freenode more, this is the best network there is 19:08:19 oklofok: I did look at some freenode channel list, but was unable to decide, there being so many options. I used to idle on #scheme some time ago, though. 19:09:16 well this is the best channel, so a good start. 19:09:26 fizzie: :} 19:09:59 fizzie: where else are you? 19:10:00 http://forums.xkcd.com/viewtopic.php?f=17&t=31598&sid=bbf395caf53ac448f3e5347d6b4fdc5a#p1189920 that links to http://tunes.org/~nef//logs/esoteric/06.03.20 and I am busy playing that game on the XKCD forum. I was just interested if someone here I knew was, in fact, playing against me <-- hm... that makes me wonder 19:10:10 -!- vabot_ has joined. 19:10:16 oklofok: Nowhere else, in this network. 19:10:18 "fastest-growing recursive function for two arguments that only calls the successor function (x+1) and itself". 19:10:20 what about: 19:10:26 Hmm, for some reason the meow-copy does not babble. 19:10:33 i meant on what other networks 19:10:34 fizzie: :{ 19:10:37 then realized i already know. 19:10:38 maybe fixed lenght check 19:10:41 I think it's missing some file; the list of styles is empty. 19:10:42 N(x) -> N(x+1) 19:10:45 not fast growing 19:10:47 but infinite 19:11:14 buzzy beavor 19:11:45 Yeah, AnMaster: It would be nice, and hugely recursive, but again,it's infinite and thus incomputable thus violating two of the rules in the OP, but there are faster growing ones 19:11:52 oklofok, yeah, already tried 19:11:58 Hiato, ah 19:12:01 hm 19:12:13 any number of arguments allowed? 19:12:30 Sure 19:12:41 then I _think_ it is easy 19:12:50 to make it as fast growing as you want 19:13:00 Yes, it was missing styles.list. 19:13:04 Oh? 19:13:13 fizzie: works now? :D 19:13:18 Seems to. 19:13:25 :DD 19:13:26 Hiato: tried what? 19:13:34 The nickname is registered, though. Not in use right now, but still. 19:13:44 Yeah, well. 19:13:48 oklofok: http://forums.xkcd.com/viewtopic.php?f=14&t=7469&st=0&sk=t&sd=a&start=120#p1119569 19:13:48 Thanks. 19:13:58 AnMaster: what's the idea? 19:14:04 working on it... 19:14:18 The raw log doesn't show anything I send, so I won't see them replies. 19:14:29 N(0,b,c,d) -> d N(a,b,c,d) -> N(a,b,c-1,d+1) 19:14:41 not finished 19:14:58 but the basic idea is that you for each level make it recursively add to the last argument 19:15:06 using the others as counter, adding huge amounts to them 19:15:13 recursively 19:15:21 for each recursion 19:15:22 -!- Corun has changed nick to BurgerFuel. 19:15:30 I think something like that _may_ work 19:15:37 fizzie: that lasted long 19:15:39 Currently I think this to be the greatest number in the competition: http://forums.xkcd.com/viewtopic.php?f=14&t=7469&st=0&sk=t&sd=a&sid=b2fb64934328f8712614dc0c394f9f0a&start=200#p1206232 which relies on this http://forums.xkcd.com/viewtopic.php?f=14&t=7469&st=0&sk=t&sd=a&start=80#p1096078 19:15:40 N(a,b,c,d) -> N(a+,b+,c-1,d+1 19:15:44 then when c reach 0 19:15:48 begin with next 19:15:54 also define several sub recursions for each 19:16:02 Yes, how intolerant. It wouldn't even have looped for any more messages. 19:16:15 Yeah, I've basicly done that in my recent one. While you decrease one argument, increase another etc 19:16:23 fizzie: indeed. what pigs. 19:16:59 Hiato, yes and add a huge amount of arguments + increase several at once, make each such call increase everything else 19:17:20 probably nest it lick 19:17:21 like* 19:17:58 oklofok: Oh. Just the plain old IRCnet. 19:17:59 Yeah, the idea is awesome, the thing is you have to find a way to make it grow in value incomprehensibly at the same time as making it massively recursive 19:18:10 N(a,b,c,d) -> N(N(N(a,b,c,d-1),N(a,b,c,d-1),N(a,b,c,d-1),N(a,b,c,d-1)),N(N(a,b,c,d-1),N(a,b,c,d-1),N(a,b,c,d-1),N(a,b,c,d-1)),N(N(a,b,c,d-1),N(a,b,c,d-1),N(a,b,c,d-1),N(a,b,c,d-1))) 19:18:11 or something 19:18:47 I can't be arsed to work out the details 19:18:52 but the general concept should work 19:19:00 Hiato, as long as you give credits to me ;) 19:19:02 Yeah, though, I hat to say it, but relatively, that is less recursive than some other numbers 19:19:11 Though, AnMaster, you seem to have something there 19:19:25 Hiato, yes, just a rouge sketch 19:19:28 so I'll definitely try to use it - and yeah, you'll get the credit :P 19:19:30 add 10-15 arguments more 19:19:34 or whatever 19:19:42 A(G_A(G_64,G_64),A(G_64,G_64)) 19:19:46 err 19:19:48 A(G_A(G_64,G_64),G_A(G_64,G_64)) 19:19:53 fizzie: yes i know, as i said. 19:19:57 Sure, of course, and make it call itself as a supplmemntary argument as well 19:19:59 zuff, very nice, but just nest them a few more levels 19:19:59 What's G? 19:20:01 i've whoissed you on all networks i'm on. 19:20:04 :) 19:20:05 Oh, Graham? 19:20:07 Slereah-: graham 19:20:10 so we do 19:20:18 the G number indexed by A(g64,g64) 19:20:18 zuff: that is A(G_xkcd,G_xkcd) which is puny 19:20:19 * oklofok is an all-around stalker 19:20:19 Use busy beaver :o 19:20:20 :P 19:20:21 and apply it to A 19:20:24 Hiato: :P 19:20:38 It's a huge-number generator not used enough 19:20:42 Plus, it's on a turing machine! 19:20:49 slereah: http://forums.xkcd.com/viewtopic.php?f=14&t=7469&st=0&sk=t&sd=a&start=120#p1119569 19:21:02 Yay :D 19:21:07 I <3 U Hiato 19:21:07 oklofok: I also used to be on dalnet and efnet, but I can't even remember what channels, except dalnet's #alt.suicide.bus.stop, I think. 19:21:22 alt.suicide.bus.stop is lulzy 19:21:27 Oh, and the numbers from page four are way to large to be computed these days 19:21:32 as is its newsgroup parent 19:22:05 I think hanging on their IRC channel got my picture to some Italian magazine about those crazy Internet people. 19:22:13 * Hiato slaps Slereah with a mackerel 19:22:22 Is this foreplay? 19:22:29 mackerel is the b nomic currency 19:22:52 Lol, and er? 19:22:58 YOU FOUND : ONE MACKEREL! 19:23:06 *Zelda music* 19:23:16 Hiato: b.nomic.net 19:23:18 Hahaha - so, so, so sad 19:23:26 will do Ehird 19:23:53 -!- BurgerFuel has changed nick to CorunFuel. 19:24:15 who wouldn't 19:24:18 vabot 19:24:18 Hiato: Due to a required test protocol, we will not monitor the next chamber, you will be entirely on your own. Good Luck 19:24:50 God's truth oklofok - is everything here destined to be mis-interpreted? :P 19:26:57 Hiato, hm I read about some math professors doing something like that recently 19:27:11 Oh? 19:27:43 one of them ended up with something like (don't remember exactly) "the smallest number that is larger than any number of a finite set" 19:27:50 or such 19:28:13 Oh, Aleph-null? Hrmm, interesting, I don't suppose you have the link... 19:28:14 Hiato: intentionally yes. accidentally only if AnMaster is online ;) 19:28:27 oklofok, what? 19:28:30 well okay he hasn't done that for a while 19:28:46 AnMaster: you're oerjan's official pun-misinterpreter 19:28:48 also I was talking about the big number 19:29:02 oh? you misunderstood what i was saying 19:29:04 i see, i see :P 19:29:07 Hiato: [stalk mode] 19:29:08 (hence forth referred to as Esolangs - whose root word remains unknown to me) 19:29:13 [eso]teric-[lang]uages 19:29:19 oklofok, no I was not reading current convo 19:29:25 I was thinking about big numbers 19:29:33 ehird: Agreed 19:29:34 Hiato, hm think I found it 19:29:39 http://tech.mit.edu/V126/N64/64largenumber.html 19:29:41 there 19:29:47 Thanks, will check it out now 19:29:50 from last year 19:31:41 Hiato, ah it was "The smallest number bigger than any number that can be named by an expression in the language of first order set-theory with less than a googol (10100) symbols." 19:31:53 that 10100 seems wrong 19:31:57 should be 10^100 19:32:19 hrmm, yes, though there is a problem with that 19:32:23 let me find the link 19:32:27 Hiato, oh? 19:32:35 http://www.scottaaronson.com/writings/bignumbers.html 19:32:42 but, essentially: 19:33:28 ? 19:33:29 One plus the biggest whole number nameable with 1,000 characters of English text This number takes at least 1,001 characters to name. Yet we’ve just named it with only 80 characters! Like a snake that swallows itself whole, our colossal number dissolves in a tumult of contradiction. What gives? 19:33:32 From there down 19:33:34 hm 19:35:44 -!- AquaLoqua has joined. 19:36:08 vabot die 19:36:09 Goodbye cruel world 19:36:09 -!- vabot_ has quit ("underflow"). 19:36:13 Hiato, ah that differs a bit doesn't it? 19:36:35 first order logic vs. english 19:36:43 Well, the syntax is different, but the concept is the same 19:37:07 category theory explains that phenomenon 19:37:09 true 19:37:12 oklofok, oh? 19:37:14 The largest number one can notate within a given number of symbols is elegantly beaten by it's definition 19:37:38 -!- AquaLoqua has quit (Client Quit). 19:37:52 well, basically it defines set as something that cannot contain certain sets, you need classes (?) for that 19:37:59 i don't really understand it. 19:38:06 so i can't say much about it 19:38:40 hmm 19:38:42 paradox :- not(paradox). 19:38:51 is that the prolog translation of "is the answer to this question false?" 19:38:52 I think so 19:38:59 Well, I don't know much about that approach, but logic most certainly invalidates this 19:39:48 Ehird: What is the answer to this question?" 19:39:48 "This statement is neither true nor false" 19:39:48 "Why doesn't this question have an answer?" 19:39:48 "The following statement is false. The previous statement is true" 19:40:18 Hiato: I mean 19:40:22 The following statement is false. 19:40:23 How do you say, in Prolog, the statement 19:40:29 "This statement is false." 19:40:53 Oh, I see :P Still, the irrelevance and obscurity of my quotes should be entertaining enough 19:40:55 in haskell, x = not x 19:41:06 lament: i don;'t think so 19:41:07 * Hiato leaves for a brief ice-cream break 19:42:45 ok then 19:44:26 -!- Sgeo has joined. 19:45:59 it's equivalent though 19:46:24 suppose we have a statement X that says "X is false" 19:46:27 X == false 19:46:35 expanding X: 19:46:38 (X == false) == false 19:46:43 simplifying: 19:46:45 X == true 19:46:49 mm 19:46:51 expanding X: 19:46:54 (X == false) == true 19:46:57 simplifying: 19:46:59 X == false 19:47:00 etc 19:47:01 uh oh 19:47:06 oh 19:47:07 thank god 19:47:08 so X == not X 19:47:08 :D 19:49:01 Hiato, also there is an easy way to always post a number bigger than the last posters number 19:49:06 copy paste it, add +1 19:49:08 :D 19:50:01 big numbers and paradoxes are boring 19:50:36 boredom is boring 19:50:47 hey that wasn't a meme 19:50:49 you meant: 19:50:54 -!- CorunFuel has quit ("Leaving"). 19:50:55 boring boredom is boring 19:50:57 :DF 19:50:59 no. 19:50:59 :D* 19:51:00 he didn't. 19:51:04 zuff, yes he did 19:54:01 -!- KingOfKarlsruhe has joined. 20:02:43 AnMaster: Again, in violation of the OP :P 20:02:47 oh and 20:02:57 * Hiato returns from the ice-cream break, non the hotter 20:03:27 I disagree. 20:03:33 YOU ARE ONE HOT INDIVIDUAL 20:03:35 WINK WINK 20:04:23 Oooh, oh my... so subtle, yet attractive too 20:05:33 Subtle. Like my dick. Which I am about to shove in your mouth 20:05:46 Allright I'll stop. 20:07:19 Oh, no, please, don't feel compelled - it was just getting inappropriate 20:08:05 get a channel 20:08:19 Slereah? 20:08:28 That's me. 20:08:44 ... channel ideas? 20:09:02 #hiato_and_slereahs_hot_loving 20:09:14 Nah, that's the name of our paying website 20:09:52 -!- Slereah- has changed nick to Slereah. 20:10:05 See, future planning, that's where you phail zuff 20:10:17 lol 20:13:02 Hiato, OP? 20:14:19 Original Post (methinks) - basically the rules for the post/description of what is needed/requested 20:17:20 http://forum.osdev.org/viewtopic.php?f=2&t=18573 - lol 20:17:49 Needs moar esoOS 20:17:53 EVERYBOOOODY YEAH 20:17:55 WOOOO-O 20:17:59 woo 20:18:00 ROCK YOUR BOOOOOOODY YEAH 20:18:14 I'll rock your body alright! 20:18:24 And by that I mean STONE YOU YOU SHAMELESS WHORE 20:18:33 COVER YOUR BODY AND STOP THIS DEMONIC DANCING 20:18:35 ...wait how did you turn that into something sexual?!? :o 20:18:37 Damn, slereah, I though *WE* had something special 20:18:51 Slereah: are you covering for psygnisfive today? 20:19:05 since when is stoning threats gay? 20:19:24 Are you calling Iran gay? 20:19:24 'cause I'm telling. 20:19:32 :) 20:19:34 oh you 20:19:39 and your silly anecdotes 20:19:43 O_o 20:23:15 hey kids 20:23:19 oklofok: no hes not 20:23:25 * psygnisfive pounces oklofok 20:23:47 psygnisfive : I'll cover you! 20:23:58 x.x 20:26:58 :oo 20:27:38 so i have to say 20:27:42 being drunk is really boring 20:28:56 being drunk occasionally makes the little things more fun 20:29:06 but you can't do the big things, because those require brain. 20:29:41 for instance i can never get myself to wash the dishes, but give me a bottle of vodka, and it becomes trivial. 20:29:51 lol 20:30:16 i mean boring in that the drug produces no fun mental or physical effects 20:30:17 but yes, being drunk isn't that much fun 20:30:23 yes 20:30:34 it usually just numbs you 20:30:42 at least that's the most noticeable effect 20:30:46 yeah, it was indeed numbing 20:30:57 the whole experience was much like DXM actually 20:31:04 only DXM eventually produces dissociation 20:31:21 i suspect alcohol might do that eventually too but i think it'd be too difficult for me to consume enough to do that 20:31:47 Maybe you should do drugs instead. 20:31:51 Winners do drugs. 20:31:51 i.. do? 20:32:23 WHAT DRUGS 20:32:34 TELL ME, MY FRIENDS IN THE PARTYVAN WOULD LIKE TO KNOW 20:32:44 YOU ENJOY PARTY, RIGHT? 20:32:55 ive done DXM the most, tried salvia, and tried lsd. the latter two never actually got anywhere D: 20:33:05 DXM? 20:33:25 Oh, cough syrup. 20:33:54 indeed 20:34:10 tho dont let that cause you to think it's trivial 20:34:18 DXM is essentially identical to Ketamine 20:34:25 in terms of effects 20:34:27 I could use some cough syrup myself 20:34:34 Not for drugs, though. I have a cold :( 20:34:46 psygnisfive: how much did you consume? 20:35:02 i usually drink 15-20 beers 20:35:07 if you plan on ever doing dxm, get cough gels. the syrups often have other crap that will destroy your liver. 20:35:23 oklofok: ehh 12-16 oz of 42% sambuca 20:35:30 (well used to, nowadays i don't really drink) 20:35:41 hmm 20:36:02 i have no idea how much that is in terms of beer, how much is 1 oz 20:36:43 1 US fluid ounce = 29.5735296 milliliters 20:37:09 okay so that's half a liter or smth 20:37:19 ok 20:37:50 "ok"? :P 20:38:01 "i believe you o great mathemagician" 20:38:31 :P 20:39:20 anyway that's a good dose if you aren't used to drinking, you should have experienced "being drunk" 20:39:31 i did 20:39:38 it just wasnt terribly interesting 20:39:42 i dont see what people get out of it 20:39:51 being with friends. 20:39:52 and i certainly dont see why they're so incompetent on it 20:40:00 im with friends all the time! 20:40:04 and i dont even need to get drunk! 20:40:10 you're not finnish. 20:40:17 you're right 20:40:20 "Imaginary friends don't count." 20:40:20 im a crazy linguist 20:40:23 I'm finnish. 20:40:24 and so are all my friends 20:40:30 Even though I was not born in Finland 20:40:34 Or from Finn parents. 20:40:42 Because Finn is a way of being, you see. 20:40:50 yes, definitely 20:41:00 if you understand that, you are automatically finnish. 20:41:17 Yay! 20:41:28 I hope I don't have to pay Finn taxes though 20:42:09 -!- Hiato has quit ("Leaving."). 20:44:29 we don't have taxes here, every week we sacrifice a few hundred citizens (poison gas) and take their money 20:45:07 probably more than a few hundred, i'm not a politician 20:45:33 not politician, that other thing. 20:53:22 -!- kar8nga has joined. 20:56:51 oh, drugs 20:57:30 i want to get my hands on some lsd 21:04:52 huh 21:05:01 * AnMaster read a bit of scrollback 21:05:04 made no sense 21:05:52 :D 21:10:19 guys 21:10:23 how do you say ? 21:10:45 two-pull 21:10:47 is the in the in or the in ? 21:10:55 Heh. 21:10:56 butt. 21:11:59 anyone else? 21:12:15 With /u/. 21:12:25 I would've used the butt variant, I think. 21:12:31 Although actually, I never use tuple. 21:12:36 I always say ordered pair. 21:12:47 what about a 5-tuple, slereah? 21:13:01 I think en:tuple is officially fi:monikko, which sort-of sucks, since that word has a lot more common meaning of en:plural. 21:13:01 ok so one for /u/, one for /V/ 21:13:10 and slereah doesn't say it 21:13:29 psygnisfive : You can build a 5-tuple with ordered pairs 21:13:33 wee i like how fizzie is using the language prefixes :D 21:13:44 slereah: i can build a 5-tuple out of your mother 21:13:46 whats your point 21:13:57 No you can't. 21:14:07 sure can 21:14:32 My pronunciation is not something anyone should draw any conclusions from, since it's mostly guesswork. The native English speakers should comment on this. 21:14:45 fizzie: i say the same as you 21:15:25 the pronunciation is optionally /u/ as in or /V/ as in 21:15:47 http://www.youtube.com/watch?v=qqKb1P_RKKk 21:16:50 oh boy 21:17:50 this is hilarious 21:18:04 :) 21:18:19 i'm pretty sure psygnisfive was being sarcastic 21:18:20 psygnisfive: two-pull 21:19:20 actually i love it zuff 21:20:39 but that's a word i've never heard used (well probably have, but haven't paid attention) nor checked, because i haven't had to say it 21:21:21 been wanting to check it though, because both pronunciations sound possible to me 21:21:45 I've spoken "tuple" the way I'd read it as a Finnish word, when speaking otherwise-Finnish but needing that particular concept, because I don't think anyone seriously uses the translation. 21:22:04 I'm not sure I can explain that pronunciation, though; maybe oklofok could. 21:23:00 you mean you don't think anyone uses the word "tuple" in finnish? 21:23:14 I don't think anyone uses the word "monikko" for it, even though that's what my dictionaries give. 21:23:28 Except maybe some database people, they are freaky. 21:23:46 ah. 21:23:57 some of our lecturers use it 21:24:07 and i think the rest use english. 21:24:17 but otherwise i've only heard "tuple" 21:25:07 -!- Judofyr has quit. 21:26:35 poll: What project should I begin this xmas (apart from upgrading some servers and such that I have to do anyway): 1) Start learning haskell 2) Start working on a hobby OS (very basic, think, real mode only, very basic shell) 21:27:01 2) 21:27:03 because it is not 1) 21:27:04 note I may ask the same question elsewhere, and what I will decide may be based on several sources 21:27:07 write a hobby OS in haskell... in the type system! 21:27:20 lament: you really don't want to inflict AnMaster learning another functional language on us. 21:27:20 lament, hah, I think I will have to do 1 first then 21:27:25 please think of the kittens!! 21:27:35 i will personally kill 5 kittens if AnMaster chooses 1) 21:27:45 hm, yes, consider the kittens then 21:27:55 well I asked this question in another channel and got 5 "1" so far 21:27:59 well,* 21:28:18 and just 1 "2" 21:28:29 they're both fun 21:28:34 1 is easier, in the sense that it is achievable 21:28:35 Asztal: god damnit 21:28:37 i am dying here 21:28:43 please think of the kittens 21:28:47 Asztal, indeed, and I will probably try the other one later 21:28:52 2 is not really achievable, and even if you do achieve it, all you'll have for it will be a really shitty hobby OS. 21:28:55 haskell is better 21:28:55 after killing the kittens i will put them in the fucking lhc 21:28:59 and make them die 21:29:00 and the world will DIE 21:29:02 and AnMaster will DIE 21:29:07 and everything will STOP 21:29:10 dunno, a friend of mine recently made an os 21:29:12 and I will envelop the UNIVERSE 21:29:13 and it will DIE 21:29:18 I did 2 before 1, anyway. But I turned into a Ctard. 21:29:19 and I will KILL IT 21:29:21 lament, indeed, it would be like LFS, very interesting distro to install, and you learn a lot 21:29:24 but usable? no 21:29:25 can't be that hard 21:29:25 and I will KILL IT 21:29:29 AND I WILL KILL IT 21:29:41 one track mind 21:29:53 lament, well said 21:30:05 err, that may be a Swedishism 21:30:08 how is a working os not usable, all you need it brainfuck, irc and some kinda word processor 21:30:12 and you can code those in a minute 21:30:13 these kittens are eating my brain 21:30:18 i am ready to strangle them 21:30:20 oklofok, not so easy 21:30:34 I have investigated these questions a bit 21:30:51 and I will probably go for 1. but I don't know. 21:30:59 AnMaster: here's something to put you off: 21:31:05 Make an OS in Haskell! 21:31:07 AnMaster: http://learnyouahaskell.com/ 21:31:15 AnMaster: modern haskell is painful without compiler-specific extensions. 21:31:18 including major ones. 21:31:21 no standard! 21:31:30 * zuff watches AnMaster choke on his own breath 21:31:39 Don't do it AnMaster! 21:31:50 Beware of the monads! 21:32:02 AnMaster: it's easy. and you can't convince someone who doesn't know what he's talking about that he's wrong, so don't even try. 21:32:18 * Sgeo knows just enough haskell to make one stupid joke 21:32:44 hm? 21:32:52 also I'm going for 1 21:32:56 agh 21:32:58 /ignore AnMaster 21:33:02 let me know when the nuclear fallout is over 21:33:08 What did Goldilocks say upon seeing "Maybe (b -> Either a b)"? 21:33:09 wait! 21:33:17 scheme is said to be painful without compiler extensions 21:33:26 after using it: I disagree 21:33:27 /ignore zuff 21:33:28 it is fun that way 21:33:28 Sgeo: hehe 21:33:41 Funnily enough, in XChat, /ignore does not work that way 21:33:49 funnily enough, xchat sucks dick 21:34:20 There's an OS project course in at least our university; they do build and OS there, and it doesn't seem to be terribly difficult. Okay, so they do get some skeleton code provided, but still. 21:34:26 s/and/an/ 21:34:27 lament, is that "hehe" at the joke, or at /ignore zuff ? 21:34:32 AnMaster: with haskell, unlike with scheme, there's only one compiler 21:34:35 Sgeo: the joke 21:34:37 err 21:34:39 lament: no there isn't 21:34:44 ok, all the other ones suck 21:34:45 "It's Just Right" 21:34:48 and the interpreters suck 21:34:51 but :P 21:35:15 lament, indeed 21:35:26 lament, I use erlang too, there is just one implementation 21:35:42 lament: you are a really awful person. 21:37:48 Sgeo: what did she say? 21:37:59 zuff: i'm awfully real. 21:37:59 oklofok, "It's Just Right" 21:38:16 lament: yes. your continued existence is awful in light of recent events 21:38:37 http://haskell.org/haskellwiki/Humor/Goldilocks 21:38:46 Sgeo: that page does not belong under Humor/ 21:39:05 also, that would be Maybe (Either a) 21:39:12 oh, wait 21:39:20 Right the actual constructor 21:39:40 -!- GreaseMonkey has joined. 21:39:52 Sgeo: ah. 21:42:49 also is zuff actually ignoring me? 21:42:51 oh well 21:45:56 you'll probably know right after i answer you 21:50:21 -!- KingOfKarlsruhe has quit (Remote closed the connection). 21:54:16 -!- KingOfKarlsruhe has joined. 21:57:52 AnMaster: http://learnyouahaskell.com/ <-- thanks btw 21:58:01 "This tutorial is aimed at people who have experience in imperative programming languages (C, C++, Java, Python …) but haven't programmed in a functional language before (Haskell, ML, OCaml …)." 21:58:02 well 21:58:18 I do know scheme and erlang, but it will still be useful I'm sure 21:59:56 lament, I have already collected a small collection of links to Haskell tutorials 22:00:58 -!- Corun has joined. 22:01:13 learnyouahaskell is only good if you like cartoons and code examples involving calling people gay. 22:01:14 which i do. 22:01:30 ah not on ignore :) 22:01:43 yes on ignore. 22:01:45 i just checked the logs. 22:01:55 zuff, "real world haskell" looks quite interesting too 22:02:07 it's not a good intro. also, stop learning haskell. 22:02:07 he goes to great lengths to be able to read everything you say yet ignore you. 22:02:19 oklofok, indeed :D 22:02:21 he must love/hate you quite a lot. 22:02:34 oklofok: the ignoring is symbolic of my fiery hatred. 22:02:38 also what about the chicken 22:02:40 the reading is symbolic of my morbid curiosity. 22:02:57 zuff, suggestion: I don't ask you haskell questions, I ask someone else? 22:03:01 what about that 22:03:04 *shrug* 22:03:11 it's still in here :P 22:03:22 oh the answers will also be here then 22:03:28 so you don't get around it any way 22:04:00 in conclusion, fuck life 22:05:49 someone give me some rss feeds to subscribe too. I'm trying out google reader to further convince myself that rss sucks 22:06:20 i like google reader 22:06:52 it seems ok. the design made me puke though so i satisfied my inner wannabe typographer by installing http://helvetireader.com/ 22:06:55 zuff, I know some 22:07:39 AnMaster: http://learnyouahaskell.com/ 22:07:41 err 22:07:44 http://www.gentoo.org/rdf/en/gentoo-news.rdf 22:07:45 there 22:07:50 http://www.news.com.au/story/0,27574,24812462-23109,00.html ahahahahahahahahahahahahahahahah 22:07:53 /insensitive 22:08:01 AnMaster: yeah it would help if I used gentoo 22:08:09 hm 22:08:42 http://book.realworldhaskell.org/feeds/comments/why-functional-programming-why-haskell/ 22:08:43 ? 22:09:01 why-haskell <- because you hate yourself 22:09:11 umm, why would I subscribe to the feed of comments on one section of a haskell book that I don't like all that much 22:09:20 speaking of RWH 22:09:26 i just got my copy yesterday 22:09:34 lament: but you hate haskell 22:09:56 zuff, hm was just random feed 22:10:25 * zuff adds his google reader feed to google reader, ending the universe 22:11:06 damn, it works properly 22:11:08 what a disappointment 22:11:44 i should make a blog just to subscribe to it 22:12:02 zuff, don't you already have a blog? 22:12:12 not as if I post to it or anything. 22:12:23 oh right 22:12:25 also, it's technically down. 22:12:31 ah 22:12:32 also, that's tusho's blog/ 22:12:35 not mine 22:12:37 ahha 22:12:38 or ehird's. 22:13:24 it occurs to me that I should probably just write yet another rss->email thing since I check my email often. 22:15:32 hmm. 22:15:38 that would be the _one single_ good use of html mail./ 22:16:45 crazy. 22:20:01 wellllll 22:20:10 it'd kind of suck in that you'd just get the title and source 22:20:16 instead of a summary of the article 22:20:19 in the list 22:25:38 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 22:26:52 zuff, I see why you like http://learnyouahaskell.com/introduction 22:26:53 :D 22:26:59 "Also, I think you can do Haskell development with that wacky mouse with one button, although I'm not sure." 22:27:12 yes yes I know macs have two nowdays 22:27:16 except on laptops 22:27:22 "congratulations you got the joke" 22:28:21 zuff, last I checked macbook and macbook pro still use single mouse button below the touchpad 22:30:22 -!- kar8nga has quit (Read error: 145 (Connection timed out)). 22:36:30 ... 22:36:33 WRYYYYYYYYYY 22:36:38 Mathematica no works ;_; 22:37:20 Slereah, oh? 22:37:29 what are you trying to do? 22:37:39 I _may_ know some other software that does the same 22:37:49 AnMaster: that is really not helpful 22:38:01 zuff, oh? I was trying to be helpful 22:38:03 AnMaster : Convolutions. 22:38:04 nor was your suggesting of trying another editor when SimonRC (i think) had a minor problem with another 22:38:12 Slereah, ah hm, no idea 22:38:16 \!\( 22:38:17 \*SubsuperscriptBox[\(\[Integral]\), \(-\[Infinity]\), \ 22:38:17 \(\[Infinity]\)]\((HeavisideTheta[t - T]* 22:38:17 A)\)*\((HeavisideTheta[t - T - \[Tau]]*A)\) \[DifferentialD]t\) 22:38:40 Slereah, that looks like somewhat broken LaTeX notation? 22:38:50 no 22:38:52 that looks like mathematica. 22:39:04 oh 22:39:06 Yes. 22:39:15 Mathematica looks like that in the real world. 22:39:22 to me it looks somewhat similar to LaTeX 22:39:25 It only looks neato in Mathematica 22:39:39 yeah, in mathematica that \ stuff transforms into real-mathematical-equation looking 22:39:47 ah ok 22:39:49 right 22:39:55 * AnMaster notes it does in LaTeX 22:40:14 Well, it should answer a function. 22:40:19 But I get infinity. 22:40:22 example: LyX, has WYSIWYG LaTeX formula editor 22:40:23 heh 22:40:26 Slereah, :/ 22:40:40 And I really don't want to do it by hand 22:40:46 And I must give something back friday 23:13:50 -!- Sgeo has joined. 23:26:33 I received this from a random ICQ person 23:26:35 364399558: , ! , , ! sex-gong()ru 25879 23:26:44 Must be some sort of secret code! 23:28:26 -!- wumpus_ has joined. 23:28:32 hi 23:28:45 Hey dude. 23:29:11 howdy 23:29:12 probably iso-8859-5 23:30:48 probably cp1251 23:31:06 Подготовься, друг! Тебе понадобится все свободное время, чтобы пересмотреть нескончаемые порно фильмы, которые мы припасли для тебя! sex-gong(точка)ru 23:31:23 yep 23:31:31 Sex gong. 23:31:46 I'm picturing russian men strinking gongs with their penises. 23:31:51 It's a million dollar idea. 23:34:22 sounds like something russian men would do 23:34:41 Well, it's Russia, they probably don't have the internet 23:34:45 You've got to pass the time 23:35:17 Vodkadoes help 23:36:15 hi wumpus_ 23:36:18 you new here? :P 23:36:38 yep 23:36:56 sacrificed some goats already? 23:37:23 You smell a wumpus_ nearby. 23:37:24 Humans are also accepted. 23:37:35 nope, but I beat up my dog regularly :-) 23:38:03 Is it a puppy? 23:38:11 no 23:38:18 Not good enough then. 23:38:36 it s a St. Bernhard 23:38:50 that is good enough 23:38:53 Nah. 23:38:57 They're not cute. 23:39:02 They're mops. 23:39:10 Barely alive 23:39:10 ! 23:39:12 ok next time it's your turn :-) 23:39:26 lol 23:40:10 I will rape your dog. 23:40:43 you are really brave Slereah 23:41:30 That's all in a days work. 23:41:36 lol 23:41:38 /topic #dogabuse 23:43:33 what's up around here 23:43:41 not much. 23:44:04 hello wumpus_, welcome to #esoteric 23:44:16 lament here is your channel cofounder 23:44:31 we're a small multinational community dedicated to designing a programming language centered around sexual abuse of domestic animals 23:44:40 naturally 23:44:42 hi lament, you are also a fan fan of those BSD-games? 23:44:52 You don't want to know how to write a cat program! 23:44:57 *rimshot* 23:45:01 groan 23:45:30 my fortune-software started today with some ways to skin a cat 23:46:56 so you are dealing with Satanic Code 23:49:13 It's really a bitch to type pentagrams. 23:50:16 I expected there to be a pentagram in unicode, but sadly no :( 23:51:32 perhaps you did not mumble the right mantras while programming 23:54:14 http://www3.waterstones.com/wat/images/nbd/l/20/9780099403357.jpg 23:54:18 Fuck. 23:54:21 in Satanic Code, typing a pentagram is pretty easy: data Pentagram = Pentagram Point Point Point Point Point 23:54:24 Adaptation decay 23:54:26 TO THE MAX :o 23:57:18 that doesn't look like an inverted pentagram to me! 23:57:54 -!- wumpus_ has quit (Remote closed the connection). 23:58:23 lament: pfft, you are not using Pan! 23:58:29 type Image a = Point -> a 23:58:38 type Point = (Float, Float) 23:59:34 You are not using pants 23:59:42 -!- psygnisfive has quit ("Leaving...").