00:13:41 pikhq: Miiiiiiiiiiiiiiiiiiiiiicrocosm 00:22:58 more like 00:22:58 shit 00:23:00 rocosm 00:23:54 RocketJSquirrel: ha 00:24:22 BURRRRRRRRRRRRRRRRRRRN 00:24:29 Also I can't compile GCC 4.7 on Mac. 00:25:45 RocketJSquirrel: More like ShitroCC 00:25:55 Hard to argue with that logic. 00:27:38 I had a stupid idea yesterday.. target bash with gcc 00:29:21 -!- calamari has quit (Quit: Leaving). 00:29:42 -!- calamari has joined. 00:29:56 okay whatever key combo that was I need to disable 00:31:21 RocketJSquirrel: More like shitrogic. 00:31:39 that problem with my plan was I'd have to figure out how to handle libraries 00:31:47 |- shitrX 00:33:09 also I wonder if bash imposes any arbitrary limits that would mess me up 00:33:10 oerjan: shitroerjan 00:33:26 @time 00:33:27 Local time for elliott is Thu Mar 29 01:33:29 00:34:04 @time oerjan 00:34:05 Local time for oerjan is Thu Mar 29 02:33:41 2012 00:34:10 whoa oerjan is in a yaer 00:34:11 im not 00:35:01 oerjan: what's it like in 2012 00:35:04 do you know what the best uk isp is yet 00:35:08 elliott: boring 00:35:11 @time 00:35:14 Local time for monqy is Wed Mar 28 17:34:49 2012 00:35:23 being in a year sure is swell 00:35:47 elliott: i hear it might pick up around december. 00:35:59 does monqy know what the best uk isp is yet 00:36:06 no 00:36:20 it turns out that ...dun dun dun... _no one_ knows 00:36:24 it may very well be a mystery of life 00:37:20 maybe the best uk isp is eternal oblivion 00:38:22 -!- Mathnerd314 has quit (Read error: Connection reset by peer). 00:39:40 monqy: how is breathing accomplished 00:39:44 s/ $/ / 00:40:34 -!- Mathnerd314 has joined. 00:40:42 lungs help 00:40:46 dont have those 00:40:49 what are my options 00:40:51 oops 00:41:14 have you considered getting a robot to breathe for you 00:41:50 can the robot be you 00:42:28 no i have to breathe for myself 00:43:03 you can also try gills 00:44:07 oerjan: how 00:45:09 well you attack them to your bloodstream, i think, and then you swim underwater 00:45:21 *attach 00:46:38 ok 00:46:39 whereas water 00:46:42 *whersze 00:46:45 *whence 00:46:47 *wherefore 00:46:51 *war 00:48:44 oerjan: hi, i heard that obsession of the man is one of the most unknown and frightful phenomena, which stops evolutionary development of the man and brings its to full spiritual (and often to physical) death. 00:49:31 yes, that is correct. 00:50:15 except for the "unknown" part, we now have a successful parascientific theory to explain it. 00:50:21 Holy fuck the Cygwin DLL is C++ X_X 00:50:31 http://en.odkk.ru/aura/5b_en.gif 00:50:41 i want a tshirt with that on 00:50:41 @time 00:50:42 Local time for elliott is Thu Mar 29 01:50:44 00:50:48 yikse 00:51:24 a tshirt with a rotating picture would be something. 00:52:01 ive always wanted innovation. In my life. obsession of the man is one of the most unknown and frightful phenomena, which stops evolutionary development of the man and brings its to full spiritual (and often to physical) death. 00:52:50 a bit impossible to die, one thinks 00:53:43 oerjan: what happened to jenga. 00:54:43 i don't know this jenga of which you speak. 00:55:16 here is some informatione. http://en.wikipedia.org.uk.net.ua/wiki/Jenga http://en.odkk.ru/ 00:55:27 pleez believ. 00:55:42 LIAR FOOLE 00:56:21 tha link no lod 00:56:59 MOVE TO ARABIA AND DON THE COAT OF A NIGHT OR YOU WILL SUFFER AS ABRAHAM LINCOLN :) hes your friend 00:57:03 hi monqy 00:57:39 he was a cow and he started in films so ig uess you could say he was a "moo"vie star 00:58:08 who was a cow 00:58:19 hi 00:58:24 i was 00:58:25 the cow 00:58:26 :( 00:58:30 far too long a co 00:58:30 w 00:59:28 oh no 00:59:47 @time 00:59:47 Local time for elliott is Thu Mar 29 01:59:49 00:59:51 the cow stop plan 01:01:48 itsi mposible 01:02:30 oh no 01:02:57 does this mean the cows will go 01:03:01 forever ??? 01:06:00 they will go 01:06:01 for too long 01:06:41 @time 01:06:42 Local time for elliott is Thu Mar 29 02:06:44 01:06:53 im going to do my monthly vulcan prayer, let me know if the dam breaks 01:06:58 -!- elliott has quit (Quit: what is the best UK ISP?). 01:25:33 -!- SimonRC has joined. 02:08:33 -!- MDude has joined. 02:16:41 > chr '\'' 02:16:42 Couldn't match expected type `GHC.Types.Int' 02:16:42 against inferred type ... 02:16:49 > ord '\'' 02:16:49 39 02:30:58 -!- zzo38 has joined. 02:35:39 Can Wikipedia add a sister project for original research? 02:38:51 -!- NihilistDandy has joined. 02:39:14 -!- NihilistDandy has quit (Client Quit). 02:45:42 I think [[Real Fast Nora's Hair Salon 3: Shear Disaster Download]] seems similar to [[Bruijndejx]] in some ways? Is it? (Except that Bruijndejx uses I/O actions instead of being like Lazy-K) 02:52:36 -!- NihilistDandy has joined. 02:57:12 -!- Mathnerd314 has quit (Ping timeout: 245 seconds). 03:27:03 -!- pikhq_ has joined. 03:27:19 -!- pikhq has quit (Ping timeout: 252 seconds). 03:55:25 -!- MDude has changed nick to MSleep. 03:59:29 -!- calamari has quit (Quit: Leaving). 04:00:15 -!- MSleep has quit (Ping timeout: 244 seconds). 04:15:19 -!- asiekierka has joined. 04:25:33 Let's writing thing on this channel please!!!! 04:48:08 -!- cheater has quit (Ping timeout: 246 seconds). 05:02:21 -!- cheater has joined. 05:02:30 Hello!!!!!!!!!!!!!!!!! 05:29:54 -!- NihilistDandy has quit (Ping timeout: 264 seconds). 05:41:55 -!- MoALTz__ has quit (Ping timeout: 244 seconds). 05:42:42 -!- MoALTz has joined. 05:51:50 -!- cheater has quit (Ping timeout: 246 seconds). 05:53:37 @seen pikhq_ 05:53:37 Unknown command, try @list 05:53:59 has @seen worked in years 05:54:10 Nope. 05:54:16 But preflex isn't in here. 05:59:21 fungot: seen pikhq_ around? 05:59:21 fizzie: it's me, dude! i know enough to come to your house, dromiceiomimus, i was going outside! i don't have a very good imagination for that sort of like, a can of food long since unidentifiable... dromiceiomimus and a house and a car in my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen 05:59:54 I think e might be on fungot's kitchen. 05:59:54 fizzie: the " hey did i overhear that we're talking? 06:00:39 -!- cheater has joined. 06:01:30 How can stars darken the horizon? 06:06:11 by collapsing into black holes, hth 06:06:30 -!- cheater has quit (Ping timeout: 264 seconds). 06:06:44 OK 06:08:26 I made horizontal packaging work in Graphics.DVI now. And then I will make vertical packaging, and page breaks, and paragraphs. 06:18:37 -!- cheater has joined. 06:31:38 -!- pikhq_ has quit (Ping timeout: 244 seconds). 06:31:38 -!- pikhq has joined. 06:40:08 -!- cheater has quit (Ping timeout: 246 seconds). 06:41:40 -!- cheater has joined. 07:23:43 -!- ais523 has joined. 07:24:09 I invented a new word recently 07:24:24 because it's missing from English, and I've been needing to use it a lot 07:26:26 let me guess, bird is the word? 07:26:33 splorg, clearly 07:28:14 well, I've been writing it down as "provice" 07:28:19 although really, syntax is so unimportant 07:29:11 * oerjan didn't think ais523 would be pro-vice 07:29:12 and the meaning is to either have some abstract property (typically an ability), or to be capable of making something with that property 07:30:06 it's a generalisation of "provide" 07:35:07 * oerjan is reminded of latin causative verbs, in which case he thinks it would be provise/provisate or so 07:36:38 hm is that the term... 07:38:44 oh hm i'm actually thinking of frequentative 07:45:58 the Latin word "facere" has a reasonably similar meaning, it's closer than anything in English 07:51:05 hm or german machen, i think 07:51:38 (i recall that somewhat merges en:do/make / no:gjøre/lage) 08:01:57 There are words that English lacks, I know that. 08:03:06 indeed 08:17:05 -!- Jafet1 has joined. 08:17:07 -!- oerjan has quit (Quit: leaving). 08:17:47 -!- Jafet has quit (Ping timeout: 246 seconds). 08:21:14 meanwhile: I've traced the random hangs individual programs on this computer have been getting to Compiz, although I'm not sure what specifically it's doing wrong 08:21:24 -!- larsrh has left. 08:21:29 also, Emacs perl-mode and cperl-mode both suck for editing Perl (for different reasons), and I'm trying Kate perl-mode at the moment 08:21:33 which has issues of its own 08:21:47 but (apart from not supporting 5.10 syntax) seem Kate-specific rather than mode-specific 08:52:10 The Chick tract "Bewitched" has a picture of a Ouija board with two letters missing, someone juggling drugs (including pills and syringes), a "Astrology Sales" bar chart with at least three things wrong (the title is covering up the data, there is no vertical axis label, and there is nothing saying what the astrological signs on the horizontal axis correspond to)... but every Chick tract has things wrong with it... 08:53:57 In another one, the sun, moon, earth, stars, are just thrown into space by God, and they are all the same size, and the illuminated part of the moon is the side opposite to the sun 08:59:01 The Chick tract "Dark Dungeons" had a footnote attached to the words "occult books", containing: "Including C.S.Lewis and Tolkien, both of which can be found in occult bookstores." The footnote was removed from later versions, including the one currently on the web. 09:02:33 fizzie: I have seen the mention of the version containing that footnote. 09:03:41 Bewitched is hilarious. They have a business meeting about how their world takeover is progressing, all about high-level stuff like One World Government and whatnot, and then out of the blue that one dude goes "I have a very serious trouble spot! I have a praying grandmother... who's fasting. It's out of control!" 09:04:09 I know. 09:04:16 I guess that's what they call attention to detail, but *still*. A single praying grandmother. 09:05:57 He says that dragons were eventually renamed to dinosaurs 09:06:40 There are also dissections where they make various comments on each page, although they don't always mention everything. 09:07:21 Dark Dungeons has had quite a few parody versions made, too. 09:07:52 I think I have seen some of the parody versions too 09:12:44 -!- asiekierka has quit (Remote host closed the connection). 09:12:57 -!- asiekierka has joined. 09:13:32 -!- NSQX has joined. 09:13:51 http://esolangs.org/wiki/UniCode has had no work for four years! 09:19:54 -!- NSQX has left. 09:33:58 I vaguely recall seeing also a fan page for Fang, the dog that quite often appears. 09:34:01 -!- asiekierka has quit (Quit: Wychodzi). 09:46:30 I have noticed that. 10:06:38 -!- cheater has quit (Ping timeout: 246 seconds). 10:08:21 Hrm, there are 1050577 files in my home directory. That sounds a bit much. 10:08:44 -!- cheater has joined. 10:08:48 fizzie: wow 10:09:08 Uh, that is when counting all subdirectories, I mean. 10:09:12 $ ls -a1 | wc -l 10:09:13 394 10:09:15 oh right 10:09:27 A million files in one directory would be somewhat unmanageable. 10:09:33 (that was in ~, but I missed the ~ in my copy) 10:10:22 it'd take quite a long time to count that 10:10:27 the whole thing, I mean 10:10:51 I've done it before now to find out which files are using up too much disk space (gigabytes for stuff I don't care about), because I've been running low 10:11:03 and sometimes I have large files I do care about but which I don't access often, so I store them on another partition 10:11:08 It's listed in the rdiff-backup-data/session_statistics..data file on the backup. 10:11:40 (And "df -i" can tell it if there's a separate /home and no other users; and "quota -v" if quota tracking is enabled.) 10:46:44 -!- monqy has quit (Quit: hello). 10:49:42 -!- Patashu has quit (Ping timeout: 264 seconds). 10:50:35 -!- Patashu has joined. 11:30:19 -!- ais523 has quit (Read error: No route to host). 11:30:37 -!- ais523 has joined. 11:56:42 -!- MoALTz_ has joined. 11:59:36 -!- MoALTz has quit (Ping timeout: 244 seconds). 12:12:21 -!- Jafet has joined. 12:13:21 -!- Jafet1 has quit (Ping timeout: 245 seconds). 12:24:40 -!- tzxn3 has joined. 12:31:42 -!- sebbu has quit (Ping timeout: 260 seconds). 12:32:08 -!- elliott has joined. 12:41:11 -!- sebbu has joined. 13:09:31 -!- MDude has joined. 13:16:05 -!- Taneb has joined. 13:16:42 Hello! 13:23:40 help 13:24:50 Why do you require help!? 13:25:17 hmm 13:25:18 good question 13:26:14 -!- nortti has joined. 13:29:05 http://en.wikipedia.org/wiki/Template:G-d Is this really permissible? 13:29:15 Yes 13:30:13 (note: I can't look at it for just over a week) 13:30:41 It's a template whose contents are "God", intended to be used as {{subst:g-d}} by people whose religious beliefs prohibit them from directly typing "God". 13:30:53 :-D 13:30:59 If i had a dog, i’d name him D-g. 13:30:59 But I can't see how that's any different from, e.g. copy-pasting it in from elsewhere, which surely isn't permissible either. 13:31:30 elliott, are you a theologist? 13:31:33 It's not like keyboards existed in Biblical times -- if the threshold for indirectness is that low, surely the fact that keyboards go through a bunch of electrical signals and translation on the way to the text box would make typing "God" permissible too? 13:31:42 Taneb: No. Did you really have to ask? 13:31:47 Not really 13:32:19 Seeing as you're younger than me, and from a similar background, and are asking about theology in what is officially a programming channel 13:32:27 How about typing it, key-press-wise, as "doG"? 13:32:33 Taneb: It's a technology-ish question! 13:32:38 Oh, hmm -- I think it might be intended for writing articles, rather than in conversation. 13:32:50 I could see the rules being more lenient there, since you aren't talking to someone, or something. 13:33:43 For some reason the page is not opening to me. Perhaps G-d does not want to show emself to me. 13:34:38 "G-d dammit", as they say. 13:34:52 Doesn’t open for me either. 13:34:54 Hmm, the Wikipeds are slow for me too. 13:35:01 I think they might be having: technical difficulties. 13:35:25 Now it loads. But without CSS. 13:35:30 (It = Wikipedia in general.) 13:36:32 -!- nortti has quit (Quit: Leaving). 13:41:36 Taneb: Yor going to explode, 13:42:04 How eloquent. 13:46:32 Taneb: Im not a fish. ok. 13:46:47 Understood 13:50:05 -!- asiekierka has joined. 13:51:22 -!- nortti has joined. 13:51:28 hey, anyone: what's the file extension for a Makefile fragment? 13:52:15 ais523: .mk or .make 13:52:24 hmm, OK 13:52:33 ais523: arguably, .make is better, otherwise mk(1) would have nothing to use 13:52:38 but I think .mk is slightly more common 13:52:40 I'm trying to work out an appropriate extension for something that serves the same purpose but isn't actually being run by make 13:52:44 dunno though 13:52:55 indeed 13:52:56 oh, another PHP upgrade 13:52:59 prepare for Esolang to break, everyone 13:53:08 first result was apparently from gcc, which uses leading t- and x- for them 13:53:10 which is silly 13:53:34 -!- augur has quit (Remote host closed the connection). 13:53:48 ais523: you know the best thing about Esolang's server setup? 13:53:53 whenever I start the PHP daemon, I get 13:53:54 *** glibc detected *** /usr/sbin/php5-fpm: free(): invalid pointer: 0xb6c91778 *** 13:53:54 ======= Backtrace: ========= 13:53:55 /lib/i386-linux-gnu/i686/cmov/libc.so.6(+0x6e221)[0xb6e6c221] 13:53:55 /lib/i386-linux-gnu/i686/cmov/libc.so.6(+0x6fa88)[0xb6e6da88] 13:53:55 /lib/i386-linux-gnu/i686/cmov/libc.so.6(cfree+0x6d)[0xb6e70b3d] 13:53:55 /usr/sbin/php5-fpm(destroy_zend_class+0x228)[0x83192a8] 13:53:58 and a big memory map 13:54:02 but it somehow starts anyway 13:54:05 and works fine 13:54:05 haha 13:54:11 it may be a launcher script crashing on exit 13:54:19 double-frees have a tendency to happen then 13:54:25 a launcher script written in C? 13:54:32 elliott: this is /PHP/ 13:54:36 they write everything they can in C, you know 13:54:38 oh, it even says that it failed 13:54:38 for speed 13:54:44 but the daemon gets started anyway 13:54:49 so 13:54:49 yeah 13:55:17 actually, C isn't all that implausible, if it couldn't sensibly be written in PHP (due to chicken-and-egg problems) 13:55:34 anyway, so far: aimake can figure out how to build makedefs when pointed at the NiceHack source 13:55:41 with no configuration 13:55:49 I'll need some config to tell it what to /do/ with it, though :) 13:56:34 and it gives you nice output explaining why it couldn't build something, which is pretty interesting 13:56:36 it's sort-of upside-down from most build systems 13:57:08 I guess I'll use .aimk 13:57:20 unlikely to be taken, and has the right sort of implications 13:59:02 .lawrence 13:59:30 no 13:59:42 yes 14:01:52 ooh, Perl actually has a standard-shipped-with-Perl module that, among other things, will tell you things like the extension that executables use on the current OS 14:02:44 because /its/ build system needs to know, and it remembers from then 14:03:02 * ais523 will be disappointed if this build system doesn't eventually run on VMS 14:06:22 ais523: it's cheating to depend on perl's build system 14:06:27 what if perl switches to your system? 14:06:36 hmm... it'll still work 14:06:37 bootstrapping 14:06:39 yes 14:06:43 that's awful 14:06:48 but my system requires Perl to run, and thus would be a bad idea for Perl's build system 14:06:48 you won't be able to cross-compile, anyway 14:07:07 I wasn't going to actually use them, probably 14:07:25 I was planning to use the one that records the OS that Perl was built for, for use as the default OS if no other is specified 14:13:29 -!- hagb4rd has joined. 14:28:39 someone added another example to [[fork bomb]] already 14:28:40 jesus christ 14:28:44 this is going to be a full-time job 14:29:39 -!- augur has joined. 14:31:12 "I've put together what I believe are the final changes for this release, and I think I went with all of your recommended changes." YESSSSSSSS, MY POWER CONTINUES TO GROW STRONGER 14:37:55 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 14:51:11 -!- hagb4rd has quit (Ping timeout: 252 seconds). 14:51:48 -!- hagb4rd has joined. 14:58:46 -!- Phantom_Hoover has joined. 15:03:39 -!- azaq23 has quit (Quit: Leaving.). 15:04:11 hi Phantom_Hoover 15:04:43 hello 15:04:47 No lambdabot? 15:04:51 I am disappoint. 15:06:35 -!- Taneb has quit (Ping timeout: 246 seconds). 15:11:43 what 15:11:44 oh 15:24:33 -!- GhostHand has joined. 15:24:46 i am coming,now 15:25:56 hi 15:26:31 hi 15:27:38 nice to meet you 15:28:36 elliott,what are you doing,now 15:29:00 talking on irc 15:29:59 what time is it now? 15:30:57 @time 15:30:59 Local time for elliott is Thu Mar 29 16:31:00 15:32:39 dude 15:32:52 Local time for me is 23:32 15:32:58 dude 15:33:07 :p 15:33:47 Who likes iphone 15:34:41 Noöne. 15:34:54 I bought a Iphone4s spent 5000 yuan 15:35:13 what's a yuan 15:35:20 hehe 15:35:24 do you mean yawn 15:35:42 China's money 15:35:49 are you chinese? 15:36:08 1 dollars =8 yuan 15:36:32 May be this 15:36:56 do wait do i divide or multiply by 8 15:37:11 -!- elliott has quit (Quit: Leaving). 15:37:17 let's see i'm kind of new to this 15:37:41 I don't speak English well you will forgive me 15:37:59 who does 15:38:02 it's a silly language 15:38:28 I don't think 15:38:37 you should learn chinese instead, i hear we'll all be speaking chinese in a few years anyway. 15:38:39 So many people in use 15:39:21 I speak Chinese you understand 15:39:21 ?? 15:39:29 yes, it was a joke 15:39:30 :P 15:40:08 Can you understand Chinese? 15:40:14 no, some japanese. 15:40:24 my ex tried to learn some chinese 15:40:35 but she didn't really stick to it 15:40:59 i mostly use english and finnish 15:41:06 In fact, Chinese and Japanese to write about 15:41:20 can you rephrase that? 15:41:45 I speak Chinese? 15:41:56 and you can write japanese you mean? 15:42:09 NO 15:42:15 :P 15:42:23 there was this chinese chick in our japanese class and she was just horrible at it. 15:42:28 i can write chinese 15:42:41 yeah i just don't get "In fact, Chinese and Japanese to write about" 15:43:29 Syntax error 15:43:32 hehe 15:44:20 do you know any math by any chance? 15:44:44 In the future I can speak fluent English. 15:44:52 i'm sure you can 15:44:54 how old are you? 15:45:53 I learned the programming, but only a little 15:46:54 so no math? 15:46:58 that means mathematics 15:47:43 I like the programming language is the 'assembly' 15:47:56 Hardcore. 15:48:38 C language is also very good 15:48:55 Less hardcore, but acceptable. 15:48:55 i mean if i said i have Z^d acting by continuous automorphisms on a compact metrizable zero-dimensional abelian group which is c.p.e. and the action is expansive, would you be all like hey it's weakly algebraically conjugate to its adjoint 15:49:19 I'm twenty-one years old 15:50:22 GhostHand: What kind of computer do you have? 15:50:26 so about this math thing. do they teach mathematics in china? 15:50:28 I had not studied 15:51:05 -!- MoALTz_ has quit (Ping timeout: 244 seconds). 15:51:06 nortti:Ienovo 15:51:31 nortti:Have you heard of it 15:51:34 -!- MoALTz_ has joined. 15:51:57 nortti: Lenovo Thinkpad? What model? I have heard of Lenovo computers. They are very good quality. 15:52:51 Chinese education is not good 15:53:29 ThinkPad previously belonged to IBM 15:54:31 Ienovo,the quality is really good 15:54:41 all i've heard about asian education in general is that stuff is usually learned by rote. then i went to the japanese class and our japanese teacher is like so here's these letter's let us write the alphabet 100 times so you learn them. 15:54:55 I have syntax error? 15:54:58 hehe 15:55:00 and i was like holy stereotype 15:55:24 the last few of your sentences make sense to me. 15:55:27 -!- hagb4rd has quit (Ping timeout: 252 seconds). 15:55:51 but i notice that you still haven't ELABORATED on the whole math thing. 15:56:12 I hate Chinese education so I always in the effort, in their own way to learn 15:56:15 * RocketJSquirrel munches on popcorn. 15:56:31 okay that's less clear :) 15:56:39 oh 15:56:51 you mean you always in the effort, _your_ own way to learn? 15:57:06 no? 15:58:01 might be easier to understand how you form sentences if i knew anything about chinese. 15:58:21 hehe 15:58:45 I speak English well 15:59:01 compared to chinese people in general or what do you mean? 15:59:15 I'm going to have a test in CCNA 15:59:32 i did a few of those 16:00:23 Read book very late every day 16:00:50 andl do some tests 16:00:54 yeah 16:00:58 and do some tests 16:01:34 i didn't really learn anything from the first three courses or whatever they're called. anyway those CCNA things. 16:01:38 Cisco Packet Tracer 16:02:14 Perpendicular Soup Continent 16:02:50 that's an english idiom that means i'm not sure why you just said three random words. 16:03:01 I learned a lot of useless 16:03:15 i hope someone is reading this because my genius is going to waste. 16:03:17 yeah 16:03:34 that was my experience as well 16:04:02 well, except that i quickly unlearned everything. so really it was just a waste of time. 16:05:03 I really want to go to the west to learn 16:06:15 if you come to finland, i can buy you a beer and tell you all about group shifts. 16:07:03 Thank you very much 16:07:23 Maybe I love wine 16:07:28 well really that's true for everyone in this channel :D 16:07:29 hehe 16:08:11 oklopol: Alcohol disgusts me 16:08:16 *on 16:08:23 nortti: that does not surprise me 16:08:26 where do you live? 16:08:43 oklopol: Oulu, Finland 16:08:44 I heard that Finland is good 16:08:46 oh right 16:08:51 i guess i asked already 16:08:53 I too am in the non-alcohol group. 16:09:00 But then, I'm a flying squirrel, and probably quite young. 16:09:11 i passed through oulu a few times this spring 16:10:10 i live in finland too in case you don't whois people 24/7. 16:10:41 oklopol: I have noticed that 16:11:09 i don't hide it well. 16:11:19 too much work 16:11:26 I hope I can speak fluent English. 16:11:29 =.- 16:11:44 Like you 16:11:47 do you watch tv shows in english 16:11:48 ? 16:12:25 I love lady gaga 16:12:43 do that five hours a day for a couple of years and you should be set. 16:14:22 i read a book now,bye~ 16:14:25 bye. 16:14:26 try reading English language wikipedia 16:14:43 Nice to meet you 16:14:46 likewise 16:14:55 nortti: have you tried that as a learning method? 16:15:04 yes 16:15:14 for a language you don't know at all i mean? 16:15:36 no. For a language I don't know very well 16:15:37 i tried it for japanese and alsködjflöasdjflkasdjf 16:15:44 oh. 16:16:10 which language? 16:16:53 English on 4th grade and swedish 16:17:12 i guess japanese is a bit different anyway since most of the aösldjfkdfjkadjflkadjf comes from the alphabet. 16:17:39 Is "aösldjfkdfjkadjflkadjf" supposed to mean something >_O 16:17:43 yes 16:17:49 no 16:17:51 it means frustration 16:19:23 大家好 16:19:53 now _that's_ just nonsense. 16:20:03 X-D 16:20:27 are those chinese characters? i never quite learned how to get stuff to show on irc. 16:20:31 my My Chinese name is "顾陆汀" 16:20:40 My Chinese name is "顾陆汀" 16:20:49 hehe 16:21:21 i know you can't read 16:21:34 -!- oklofok has joined. 16:21:40 wanna try again? 16:22:10 -!- GhostHand has quit (Quit: Leaving). 16:22:28 good answer 16:23:08 i suppose he doesn't read logs so i can't brag about my kanji skillz :( 16:25:45 Fail. 16:25:56 Besides, you'd say something that had the right symbols but was grammatically Japanese. 16:25:58 And he'd laugh at you. 16:28:04 wow you're right, maybe knowing a few japanese kanji _doesn't_ mean i'm fluent in chinese. 16:28:21 thanks, i almost made an ASS out of myself 16:28:33 * RocketJSquirrel nods sagely. 16:28:50 Take it from a True American Monoglot™: Knowing foreign languages is trouble. 16:30:29 ignorance is bliss 16:30:47 and being a fucking retard is pure extacy 16:31:25 It's true! 16:31:53 yep 16:32:04 -!- elliott has joined. 16:32:09 HELLO EVERYBODY 16:32:16 hi elliott 16:32:23 are you friends with GhostHand? 16:32:35 he's the newest troublemaker her 16:32:36 e 16:32:37 Best friends. 16:32:56 dude is learning english even though english is a stupid language 16:33:27 Elliott keeps reverting eir edits, wasn't that the cornerstone of their relationship? 16:33:53 -!- saberx has joined. 16:34:05 There aren't enough people to practice ithkuil with I guess. 16:34:10 Hello 16:34:21 Hi 16:36:15 Are you an x-treme saber? 16:36:44 fizzie: Huh? 16:36:45 Kind of. :) 16:36:47 `welcome saberx 16:36:55 saberx: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 16:37:01 ithkuil is, and has continuously been, from a certain point in time which i will leave unspecified, stated as my opinion of which i do not consider particularly reliable as an information source, the best language. 16:37:15 *-of 16:37:36 `@ oklofok quote enthusi 16:37:39 oklofok: 830) Anyone in the Esolang community will probably just remember this day, a week before April Fools Day, as a very enthusiastic day at Esolang. 16:37:56 fizzie: GhostHand is not NSQX. 16:37:59 Oh right, yes. 16:38:04 I got a confuse. 16:38:19 But I'm friends with GhostHand too! 16:38:22 But you were best friends, anyway, that much was true. 16:38:56 Yes. And then you had that girlfriend from earlier, anything going on there? 16:39:02 excuse me 16:39:12 I CAN'T CONTROL MY PIMPING 16:39:13 oklofok: It does have glyphs that look like something The Predator would use. 16:39:16 everyone shut about everything else and let's discuss this forever 16:39:20 Hackego: are you bot? 16:39:26 who's this girlfriend and are you sexually active_ 16:39:27 ? 16:39:36 oklofok: someone came in #esoteric and... 16:39:40 you know what, fizzie just dig up the logs 16:39:43 and?? 16:39:54 I would but I have to food right now. 16:40:00 ... 16:40:01 OH THANKS 16:40:07 I don't reall the name, either. 16:40:10 saberx: HackEgo is actually just a really fast typer. 16:40:11 this is WAY more important than staying alive 16:43:16 he can also execute unix commands in his mind 16:43:35 `run uname -a 16:43:38 Linux umlbox 3.0.8-umlbox #2 Sun Nov 13 21:30:28 UTC 2011 x86_64 GNU/Linux 16:44:55 `echo I'm not a bot, but I'm also not THAT fast of a typist. 16:44:57 I'm not a bot, but I'm also not THAT fast of a typist. 16:45:45 Parrot bot! 16:46:25 `run rm -rf / 16:46:28 rm: it is dangerous to operate recursively on `/' \ rm: use --no-preserve-root to override this failsafe 16:46:32 See, that took whole seconds to type. 16:47:36 This channel needs a good ai bot! 16:47:44 fungot: Say hi to saberx. 16:47:44 elliott: a lot, but they're always a good time, because he thought you were going to me, the omniscient. the dude has to sleep! superman could laser him from orbit while he's having nappy times! enter only if you have a valid passport to dreamland!" 16:48:42 Fungot:how are you 16:48:50 Lowercase f. 16:49:06 -!- augur has quit (Ping timeout: 260 seconds). 16:49:24 oklofok: http://codu.org/logs/log/_esoteric/2012-01-04#220222 16:50:44 sfa 16:51:49 22:09:05: who is mooz 16:51:49 22:09:20: lax :Just this one guy, you know? 16:51:49 22:09:34: im want to talk to eliott 16:51:49 22:09:36: not u 16:51:49 22:09:43: :( 16:51:51 this was the bestest bit 16:56:39 -!- augur has joined. 17:16:16 -!- ais523 has quit (Remote host closed the connection). 17:19:58 noodles and minced meat, holy fuck this is good 17:30:05 -!- Sgeo_ has quit (Ping timeout: 246 seconds). 17:31:13 -!- asiekierka has quit (Ping timeout: 250 seconds). 17:31:31 -!- Sgeo_ has joined. 17:47:59 -!- augur has quit (Remote host closed the connection). 18:01:46 -!- augur has joined. 18:02:30 -!- augur has quit (Remote host closed the connection). 18:03:56 People are cats . 18:05:05 -!- augur has joined. 18:05:26 mroman_: Indeed. 18:05:29 Indeed they are. 18:06:58 "You are using: 18:06:58 Sorry, we couldn’t recognize your browser. The What Browser team has been notified." 18:07:01 What. 18:07:12 It's just Firefox on Lubuntu in Private Browsing mode 18:08:35 Should totally try obscure browsers on that site 18:08:43 Or just fake stuff. 18:08:59 The "Hello There What Browser team! How are you?" web browser 18:09:03 Omg. They have been notified! 18:09:43 Sgeo_: I will bet extremely small amounts of money that Private Browsing mode spoofs the User-Agent. 18:09:53 -!- augur has quit (Remote host closed the connection). 18:11:50 Mozilla/5.0 (X11; Ubuntu; Linux i686; rv:11.0) Gecko/20100101 Firefox/11.0 18:12:19 "You are using: Unknown Browser. IFrame. Learn what a web browser is by watching this 1-minute video." 18:12:55 (ELinks/0.12~pre5-2ubuntu2 (textmode; Ubuntu; Linux 2.6.38-13-generic x86_64; 273x88-2).) 18:13:17 -!- saberx has changed nick to dragonchina. 18:13:24 heh.. if you're using an unknown browser, you're *probably* not using the default browser 18:13:28 Does ELinks support Javascript 18:13:40 It supports Javascript to some degree, IIRC. 18:13:51 I don't really recall the details. 18:14:05 http://www.whatbrowser.org/en/browser.js 18:14:37 IE9 apparently counts as a variation of IE8 in WhatBrowser's eyes 18:14:49 Ah, only Firefox up to 9 is supported 18:14:51 -!- Taneb has joined. 18:14:53 It's possible that it's not enabled in this build, but it does have some sort of a spidermonkey binding thing. 18:14:59 -!- dragonchina has changed nick to saberx. 18:15:19 Hello! 18:15:38 Are they doing it all by scripting and not by the sent user-agent headers at all? 18:15:45 saberx: You're like a dragon in a China shop. 18:15:49 fizzie, yes 18:15:54 Huh. 18:16:03 But for all we know they have equiv. code on the server side that checks for unknowns 18:16:27 (Nothing in the Javascript suggests that stuff will be sent to the server in the event of unknown) 18:18:29 -!- tzxn3 has quit (Read error: Connection reset by peer). 18:18:42 At least the page they send back doesn't really seem to vary with the UA. But I guess they could be silently tracking those. 18:18:47 Sgeo_: They probably just check their logs. 18:18:56 Web servers, you know. 18:22:00 -!- tzxn3 has joined. 18:25:34 In Kipple, is there any difference between a>b and b i don't think so 18:26:10 but i forget what i know of kipple 18:26:24 This is really the first time I've looked at it 18:29:38 -!- augur has joined. 18:38:06 -!- augur has quit (Remote host closed the connection). 18:39:35 -!- saberx has quit (Quit: Bye). 18:41:57 RocketJSquirrel: http://www.chrisseaton.com/katahdin/ 18:41:59 RocketJSquirrel: SUE HIM 18:42:49 (OK, I admit the part where the guy calls a Fortran procedure that returns through one of its arguments in the Python block is cool.) 18:44:17 fortran and python, together at last? 18:49:19 olsner: Apparently. 18:52:14 elliott: By no stretch of the imagination did I invent the concept of programming languages whose syntax and semantics are mutable. 18:53:03 RocketJSquirrel: False. There is a stretch of the imagination in which that applies. 18:53:05 It is the stretch of comedy. 18:53:14 * RocketJSquirrel nods sagely. 18:53:16 This happens to be the one I was using. 18:54:22 -!- nortti has left ("syön"). 18:55:52 elliott: Also, Microcosm works well enough on Cygwin that I can ask amusing licensing questions to piss everyone off. 19:02:21 there's a stretch for everything 19:02:29 and one for anything 19:05:56 Bow ... chicka ... bow wow? 19:09:21 -!- elliott has changed nick to eliet. 19:09:44 -!- eliet has changed nick to eillott. 19:19:39 -!- asiekierka has joined. 19:21:40 OOPS. EXPLODING TONGUE. ERROR SYNDROME 19:22:17 eillott: Are you still using that Gmail alternative that you found? 19:23:30 ...gmail alternative. As though gmail was the inventor of email or webmail or something 19:24:59 No. 19:25:03 Sgeo_: By "alternative" I meant "clone". 19:26:59 -!- boily has joined. 19:34:43 -!- MoALTz_ has quit (Ping timeout: 252 seconds). 19:38:38 -!- asiekierka has quit (Remote host closed the connection). 19:43:00 -!- nortti has joined. 19:44:39 -!- augur has joined. 19:45:30 -!- eillott has changed nick to elliott. 19:47:09 It seems like TenFourFox doesn't like big caches. It started to get slower and slower, but after I deleted my 2GB cache folder and limited it's size to 100MB it has been relatively fast 20:02:01 -!- nortti has quit (Quit: nortti). 20:03:16 Is there a Haskell program which will make up a copy of a nested data structure but with annotation nodes? And then, return can make an annotation node, fmap affects the values at annotation nodes, and join replaces each annotation node with its contents. 20:04:04 Isn't that just the free monad? 20:04:05 Maybe not. 20:04:26 Which makes Maybe to be simply the annotated () 20:05:12 Well, say a recursive data type T is Fix F for a functor F (holds for all algebraic data types). 20:05:13 (So you can see it isn't just the free monad; the kinds don't even match.) 20:05:18 Then I believe that Free F is what you want. 20:06:18 () is Fix Unit. Free Unit a is Pure a | Free (Unit (Free Pure a)). 20:06:24 Unit a = () for all a, so 20:06:30 Free Unit a is Pure a | Free () 20:06:31 which is Maybe a. 20:06:50 OK. 20:06:54 So yes, you're just swapping out Fix for Free, which makes sense, because Free is Fix with an extra type parameter and a constructor taking it. 20:10:41 But there are also nested structures that refer to themself without taking a type parameter. Would you use Template Haskell then? 20:11:20 zzo38: Well, the point is that we know every algebraic type T is Fix F for a functor F, but that doesn't necessarily mean Haskell will give you that F. 20:11:32 http://hackage.haskell.org/packages/archive/functor-combo/0.1.0/doc/html/FunctorCombo-Regular.html defines a typeclass to let you define the isomorphism. 20:11:47 zzo38: You could probably do it with the new generics, no need to resort to TH. 20:12:04 elliott: I know, but if you have access to the datatype definition then you could make it up without the F possibly 20:13:43 (I have also seen your Unit type by other names, such as "phantom monad" and Proxy. Without knowing the names I found this monad on a different category; specifically, a category made from a digraph, having a final object (all nodes lead to one, with no loops).) 20:15:33 I picked Unit since it's what functor-combo calls it (it's just defined as Const ()). 20:15:36 And then I also found the corresponding "cophantom comonad", first in the category from digraph, with an initial object; but then in Haskell, too: data CoPh x; instance Functor CoPh where { fmap _ _ = undefined; }; instance Extend CoPh where { duplicate _ = undefined; }; instance Comonad CoPh where { extract _ = undefined; }; 20:16:43 (Some people have said that CoPh is a monad as well, but I don't believe them.) 20:16:59 -!- Phantom_Hoover has changed nick to CoPhantom_Hoover. 20:17:13 Wait, that's wrong. 20:17:22 -!- CoPhantom_Hoover has changed nick to CoHoover_Phantom. 20:18:30 Why doesn't Haddock link to the instance definition? 20:18:43 -!- augur has quit (Remote host closed the connection). 20:19:00 because it's always with either the class or the data type if it's in that list? 20:19:09 i don't think it lists orphans 20:22:23 What do you think? Do you think CoPh is a monad as well, or only a comonad, or neither? 20:25:27 It is obviously not a monad or a comonad. 20:26:50 So now, I have noticed one person say it is both a monad and a comonad, one person (myself) say it is a comonad but is not a monad, and one person (you) say it is neither a monad nor a comonad. 20:27:23 Why is that? 20:27:39 Because you and the other person are wrong and I'm not. 20:28:02 elliott: Then give a better reason, please. 20:28:04 Note that if your Comonad instance is OK, then I have a Monad instance that's OK too. 20:28:08 -!- boily has quit (Quit: WeeChat 0.3.7). 20:29:08 -!- derdon has joined. 20:29:40 (It really should be extract x = case x of { }; and so on, but Haskell does not accept that.) 20:31:32 elliott: Is it like this? return _ = undefined; No, that is wrong, isn't it? 20:37:17 Oh, wait, it is a comonad. 20:37:27 extract = absurd. 20:37:41 Your original implementation is still wrong, though. Even if the implementation of absurd is const undefined. 20:39:01 OK then explain how that definition is being wrong? 20:42:01 Anything with _|_ in it is wrong! 20:42:06 It looks correct to me since the output is defined for every input. 20:44:31 (It is just that in this case, there are no defined inputs possible, which makes the above vacuously true.) 20:48:46 Therefore it doesn't have _|_ (or anything else) in it. 21:11:49 * Sgeo_ learns of http://www.fossil-scm.org/ 21:24:37 -!- Taneb has quit (Ping timeout: 245 seconds). 21:47:02 -!- pikhq has quit (Ping timeout: 240 seconds). 21:47:13 -!- pikhq has joined. 22:02:02 -!- pikhq_ has joined. 22:02:26 -!- pikhq has quit (Ping timeout: 272 seconds). 22:03:29 -!- Jafet has quit (Quit: Leaving.). 22:09:51 "Now IO isn't that different at all. It's a container for a single value, but it's a "dangerous" impure value like a virus, that we must not touch directly." 22:09:52 NO! 22:09:56 LIAR! 22:09:57 FRAUD! 22:09:59 SCOUNDREL! 22:17:28 -!- calamari has joined. 22:18:21 I have played D&D game it is told that these people were in this room, playing poker on the table, when we arrived, they got weapons to try to attack us. Now one is dead and the other is unconscious (but I bind their wounds). However, one question is not answered: At what point of the poker game is played? Such as, if it is draw poker, there will be before discarding, and after discarding, and so on. To decide what to do next, the referee shoul 22:21:27 -!- oklopol has quit (Read error: Connection reset by peer). 22:21:42 -!- oklopol has joined. 22:22:02 -!- Patashu has joined. 22:29:42 -!- monqy has joined. 22:29:56 -!- derdon has quit (Remote host closed the connection). 22:30:23 * CoHoover_Phantom -> sleep 22:30:38 Or I suppose cosleep -> Phantom_Hoover 22:30:39 -!- CoHoover_Phantom has left ("Leaving"). 22:32:04 -!- pikhq has joined. 22:32:12 -!- pikhq_ has quit (Ping timeout: 252 seconds). 22:34:43 -!- MDude has quit (Ping timeout: 244 seconds). 22:41:48 -!- pikhq_ has joined. 22:41:58 -!- pikhq has quit (Ping timeout: 252 seconds). 23:03:20 -!- Jafet has joined. 23:03:23 -!- Jafet has quit (Changing host). 23:03:24 -!- Jafet has joined. 23:05:08 * DanBurton (~dan@lallab.cs.byu.edu) has joined #haskell 23:05:10 Hello, #haskell. I have come to spam you all with a shamless self-plug. In a minute. 23:05:12 joy 23:05:13 upon 23:05:15 innumerable 23:05:16 joy 23:16:54 http://stackoverflow.com/questions/9811808/finding-and-replacing-words-with-asterisks-in-a-text-file-output 23:16:54 http://stackoverflow.com/questions/9934402/finding-and-replacing-words-with-asterisk-in-a-text-file-output 23:16:56 spot the difference 23:17:05 *differences, i'm sure there's probably 2 23:17:32 The number and the plural 23:18:43 That's true! I meant the differences between the resources identified and located by those URIs. 23:18:57 O, OK. 23:22:41 -!- tzxn3 has quit (Read error: Connection reset by peer). 23:25:06 -!- Frooxius has quit (Read error: Connection reset by peer). 23:26:21 -!- Frooxius has joined. 23:33:35 Attention #esoteric , here are words said to me in /notice to avoid being logged: 23:33:35 -elliott- You should totally add the #esoteric logs to robots.txt so someone from #haskell doesn't Google their IRC nick and find me whining about them 23:34:30 True! 23:34:32 However, RocketJSquirrel LIED. 23:34:36 Because he omitted the ":P" I said after it. 23:34:46 I had a MORAL DILEMMA over that. 23:34:55 I sat there with a space and I was like "OH GOD WHY" 23:36:34 Disappointed that RocketJSquirrel is not revealing all the other secrets I am now telling him. 23:37:15 -elliott- I SHOT A BALL THROUGH THE HOOP 23:37:30 elliott: If you want them revealed, then you to please do so. They did not reveal all of them because it is secret. But some thing should be attention to everyone is why it is revealed, isn' it? 23:37:40 zzo38: Quite. 23:43:25 -!- azaq23 has joined. 23:43:37 -!- azaq23 has quit (Max SendQ exceeded). 23:44:09 -!- azaq23 has joined. 23:49:11 elliott: All RocketJSquirrel claimed was that those were words said to you in /notice. 23:49:33 He didn't even claim that you said them (assuming that you take "-elliott-" to be a word).