00:01:09 oerjan: is there a maximum run time limit for hackego? 00:01:33 ...probably? 00:01:36 lol 00:01:41 You realize it's my code, right 00:01:43 `help 00:01:45 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 00:01:54 Oh, it doesn't show the hg URL there. 00:02:02 https://bitbucket.org/GregorR/hackbot 00:02:32 gregor how 'bout a nocturne..give me a hint 00:02:58 ... that was a bizarre ... question? 00:03:15 Was that a question? 00:03:23 nope..imperative! 00:03:30 now! 00:03:40 OK, what a bizarre ... command? 00:03:46 E_CANNOT_PARSE 00:04:07 maybe i should write one by myself 00:04:45 http://www.youtube.com/watch?v=lz1b8YZj0f4 Here, have a nocturne. 00:04:52 thank you 00:06:46 Taneb: so does it still not work? 00:07:25 oerjan, no 00:07:51 Deadfish doesn't give it back 00:09:10 -!- derdon has quit (Remote host closed the connection). 00:09:17 and did you solve that ? prompting problem? 00:09:25 Yeah 00:09:39 Ran npiet -q instead of npiet 00:11:44 does it get to track 1 at all? 00:12:14 It does print out the deadfish program 00:12:15 hang on 00:12:36 -!- Pietbot has joined. 00:12:44 )o 00:12:53 -!- Frooxius has quit (Ping timeout: 245 seconds). 00:12:58 )df o 00:12:59 0 00:13:02 )df 0 00:13:05 oh duh :P 00:13:13 )df io 00:13:15 Is that the Dwarf Fortress command? 00:13:38 I'm afraid that I lack the skill to code Dwarf Fortress in Piet 00:13:38 ic, it seems to have trouble continuing? 00:13:40 )df o 00:14:55 oh 00:15:00 @"\n" in br.start_in needs .in 00:15:00 Unknown command, try @list 00:15:01 -!- Frooxius has joined. 00:16:06 No it doesn't; the "in"'s right there 00:16:15 oh oops 00:17:18 -!- Pietbot has quit (Ping timeout: 240 seconds). 00:17:41 hm can you test )oo 00:17:55 er )df oo 00:18:24 Should work 00:18:32 -!- Pietbot has joined. 00:18:35 )df oo 00:18:35 00 00:18:40 )df oo 00:18:40 ok it does 00:18:43 -!- Pietbot has quit (Read error: Connection reset by peer). 00:18:50 (you might want a 32 out in there?) 00:19:16 > chr 32 00:19:18 ' ' 00:19:29 well this means that in @"\n" in br.start_in 00:19:52 the @"\n" is clearly performed. but does it get back to start_in? 00:20:17 It's an unconditional branch 00:20:37 -!- augur has quit (Remote host closed the connection). 00:20:54 yes, but i've been wondering what the point is of these implicit _track_N labels - does it mean you _cannot_ jump between tracks with ordinary labels? 00:21:13 I'm not too sure 00:21:20 I wrote the bulk of this a long time ago 00:21:30 oh you wrote the assembler? 00:21:40 No 00:22:14 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 00:22:31 because if that is the case, you need to move _track_0: to start_in: and use that instead 00:23:24 gregor: i really love the break in your op.13 mov.2 at 4:10 00:23:41 -!- Taneb has quit (Quit: goodnight). 00:24:14 what a thorougly well-commented assembler 00:24:57 call it 'break' cauz of my leak of expertise and terminology 00:25:36 over and out 00:55:03 I put IOCCC on my CV. 00:55:11 I have no way of objectively knowing whether that was actually a good idea. 01:00:49 try to win some well-written code prize to balance it out :P 01:12:35 -!- augur has joined. 01:14:56 lol 01:16:54 -!- calamari has quit (Quit: Leaving). 01:22:30 -!- augur has quit (Remote host closed the connection). 01:23:15 -!- augur has joined. 01:24:01 "If software purity in functional languages is such an awesome idea, why are we still writing Python, Ruby or Java?" - self post in /r/haskell 01:24:32 :-D 01:26:17 i liked apfelmus's answer 01:26:35 iirc 01:27:26 i'm not going to read any of the comments 01:28:55 i don't really need to see 150 people wanking about how they're smarter than the Average Programmer 01:29:43 Naw, that's what #esoteric is for, and there are only ~50 of us. 01:30:48 cool, there's going to be a dead tree Yesod book 01:30:53 published by o'reilly 01:31:13 -!- cheater_ has joined. 01:31:32 at the current rate it will be 20 versions out of date on conduits 01:32:11 O'Reilly, history publisher 01:34:40 -!- cheater__ has quit (Ping timeout: 260 seconds). 01:38:44 kmc: To be fair, the Average Programmer is probably pretty damned stupid. 01:39:05 (though the Modal Programmer is of reasonable intelligence, the stupid programmers are mind-blisteringly stupid. :)) 01:40:02 which makes wanking about it even sillier ;) 01:40:13 but that depends on how you quantify stupidity, which is more or less arbitrary 01:40:26 "I'm smarter than the average programmer!" ~ Mode programmer 01:41:28 one of the reasons people think the average programmer is so dumb: the average programmer is much smarter than the average programming job applicant 01:41:50 99 % of programmers are smarter than the average programmer. 01:42:06 s/are/think they are/ 01:42:09 Also true. There's significant bias towards the especially incompetent programmers in job applications. 01:42:12 what about median? :D 01:42:21 They also think they're better than the average driver 01:42:26 If it is median then it must be 50% 01:42:45 (by definition) 01:42:56 But, maybe it isn't median! 01:43:00 How many programmers understand statistics 01:43:15 If you don't know the laws of statistics, they don't apply to you 01:43:15 whats a programer 01:43:41 i've always thought mode sounds like the least useful mean... 01:43:44 zzo38: "no more than" 50% (if one takes "better" in a strict manner) 01:44:11 wait, is it mean or average which is the generic term again 01:44:42 Jafet: I'd imagine there's significant bias towards understanding statistics amongst programmers. 01:45:21 "There are other statistical measures that should not be confused with averages - including 'median' and 'mode'." 01:45:42 ...in wikipedia's article about _mean_ 01:45:48 that wasn't helping. 01:45:59 oerjan: The "average" is *technically* the technical term. 01:46:15 In practice, "average" refers almost exclusively to the mean. 01:47:04 and also that article includes a heap of means (including arithmetic and geometric) 01:48:21 so is "average" a synonym for "arithmetic mean" or what? 01:48:23 Uhh, /mean/ is the semi-ambiguous term, an /average/ is always the arithmetic mean. 01:48:36 oerjan: that's mean. 01:48:49 (Unless you mean "average" as used in lay English, which can mean (no pun) just about anything) 01:48:55 Wikipedia page about "average" is also same. 01:49:04 wikipedia's article on "average" suggests it's a generic term for any measure of the "middle" of a data set 01:49:11 including the various means, median, etc. 01:49:33 Probably there's some discrepency between different users *shrugs* 01:49:38 yeah 01:49:50 But I don't think anyone would ever use "average" to mean "median" ... 01:49:53 That's ... bizarre. 01:49:53 i think in most contexts "average" would be understood to mean "arithmetic mean" 01:50:07 and i don't know of any context where it would be understood to mean something else 01:50:27 Well, there are contexts where it doesn't really mean anything so rigorous. 01:50:29 but there are probably contexts where "mean" is implicitly "geometric mean" or "root mean squared" 01:50:39 Like "A perfectly average person would not wear a balloon on their head." 01:50:58 Gregor: "average" and "mean" translate to the same term in Korean, I don't know that's fortunate or not. 01:51:42 Natural language translation tends to be a very lossy process ^^ 01:52:08 Natural language description of functions tends to be a very lossy process. :) 01:52:27 Nature tends to be a very lossy process! 01:52:38 oerjan: that's mean. <-- NO U MEAN 01:53:03 The standard deviation is just the mean of the variance and one! 01:53:08 * oerjan has no idea whether lifthrasiir intended the pun or not 01:53:15 yes the pun intended. 01:54:57 ("that", of course, refers to the article. sorry for any disturbance. 01:54:59 ) 01:58:28 classy main article today, wikipedia 01:59:31 sometimes i have a feeling they apply a bit of their april 1 style at other times 02:01:09 oerjan: since they should list unbelievable but nevertheless true articles even in april 1. 02:20:56 -!- augur has quit (Remote host closed the connection). 02:28:50 I tried and found out that you cannot pattern match on DSum if the tag is a datatype family 02:47:13 Gregor: when referring to almost anything statistics, average means median, because it is the most averagest of averages 02:50:30 Gregor: when referring to almost anything statistics, average means median, because it is the most averagest of averages // uhh, no. 02:50:31 Just no. 02:50:40 Median isn't any kind of average. 02:50:49 -.- 02:51:01 well 02:51:08 I mean I realize we're arguing about a natural language and therefore neither of us can actually be right. 02:51:10 But still. 02:51:11 No. 02:51:14 personally, if i ask for the average IQ of a group, i'd like the median 02:51:19 maybe that makes me weird 02:51:29 If I ask for the average IQ of a group, I /expect/ the arithmetic mean. 02:51:30 but i think i'm actually in the majority 02:52:10 what if it's a group of imbeciles being taught by a certified genius? 02:52:24 then the arithmetic mean might be the 90th percentile of group intelligence 02:52:30 median is so much more indicative 02:52:42 No, they're equally misleading, just in different ways ... 02:53:00 how do you compare misleadingnes 02:53:08 monqy: With ... STATISTICS! 02:53:21 well, if i want to answer the question "am i smart compared to this group?" the median will be more useful 02:54:04 Yes, it would. But that doesn't make it the average, that makes it the median ^^ 02:54:38 well 02:55:02 in school i was taught that average was a class of quantities including mean, median, and mode 02:55:24 and since then, i've found the one that's an order statistic the most useful 02:56:21 Evidence to support my linguistic theory: When I type "define:average" into Google, its first definition is "The result obtained by adding several quantities together and then dividing this total by the number of quantities; the mean." The dictionaries it links to secondarily agree to some degree or another: http://dictionary.reference.com/browse/average , http://www.merriam-webster.com/dictionary/average . The latter lists the all-kinds definition first (mean,me 02:56:21 dian,mode), but its second definition is an approximation of the arithmetic mean in particular. Also terms like "batting average" from sports are all arithmetic means. 02:57:09 to be fair, if you took the batting median, you'd get about the same number 02:57:21 I'm not contesting that at all. 02:57:37 In general use, since a lot of things fit a bell curve well enough, the two are both useful. 02:57:51 And I'd even go so far as to agree that the median is perhaps more often useful. 02:57:56 But that has nothing to do with the language :) 02:58:03 order statistic? 02:59:00 Sgeo: the kth-order statistic is the number that comes kth in order. so the median is the n/2-order statistic 02:59:11 Ah 02:59:17 Q1 is the n/4-order statistic, Q3 is the 3n/4 order statistic 03:00:05 quintopia: I forget (or don't know), where are you from? 03:00:20 We could just be arguing over different dialects, which makes this argument even sillier than it already is. 03:00:44 atlanta 03:01:03 i don't actually care what the answer is. i was arguing for the sake of arguing. 03:38:33 -!- Sgeo has quit (Remote host closed the connection). 03:38:59 -!- Sgeo has joined. 04:27:28 -!- TeruFSX has joined. 04:47:26 I made up another extensible products implementation, this time using hash maps. 04:48:04 (From the "unordered-containers" library) 04:50:53 -!- augur has joined. 04:55:12 * pikhq is a bit astonished to find that Japanese ska is a thing. 04:55:26 * pikhq is even more astonished to find that it's astoundingly normal. 04:55:48 It's just ska that happens to be done by Japanese people. 04:56:07 ha 05:09:57 this loser looks kind of neat http://computronium.org/ioccc.html 05:20:01 Heh "Best non-chess game" 05:20:26 And it looks like dhyang has outdone himself in some way 05:24:23 > let l = [1,3,3]++zipWith(+) l (tail l) in l 05:24:25 [1,3,3,4,6,7,10,13,17,23,30,40,53,70,93,123,163,216,286,379,502,665,881,116... 05:25:20 hm or wait 05:26:52 > let l = [1,0,3]++zipWith(+) l (tail l) in l 05:26:53 [1,0,3,1,3,4,4,7,8,11,15,19,26,34,45,60,79,105,139,184,244,323,428,567,751,... 05:27:42 argh 05:29:25 > let ps = 0 : zipWith (+) ms ss; ms = 3 : ss; ss = 1 : ps in ss 05:29:26 [1,0,4,1,4,5,5,9,10,14,19,24,33,43,57,76,100,133,176,233,309,409,542,718,95... 05:30:02 ouch 05:32:26 > let ps = 3 : zipWith (+) ms ss; ms = 0 : ss; ss = 1 : ps in ss 05:32:26 [1,3,1,4,4,5,8,9,13,17,22,30,39,52,69,91,121,160,212,281,372,493,653,865,11... 05:33:20 > let ps = 3 : zipWith (+) ms ss; ms = 0 : ss; ss = 1 : ps in [r | (r,s) <- zip [2..] ss, s `mod` r == 0] 05:33:21 [3,8,9,59,78,101,167,173,211,223,235,271,307,317,347,361,449,463,593,599,60... 05:33:36 > let ps = 3 : zipWith (+) ms ss; ms = 0 : ss; ss = 2 : ps in [r | (r,s) <- zip [2..] ss, s `mod` r == 0] 05:33:37 [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101... 05:33:43 there you go 05:36:43 > let ss = 2 : 3 : zipWith (+) (0 : ss) ss in [r | (r,s) <- zip [2..] ss, s `mod` r == 0] 05:36:44 [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101... 05:40:44 > ((+41).ap(+)(join(*))) <$> [0..] 05:40:46 [41,43,47,53,61,71,83,97,113,131,151,173,197,223,251,281,313,347,383,421,46... 05:41:53 Jafet: funny guy 06:26:06 -!- MoALTz has quit (Ping timeout: 248 seconds). 06:26:10 -!- MoALTz_ has joined. 06:47:29 -!- esowiki has joined. 06:47:33 -!- esowiki has joined. 06:47:34 -!- esowiki has joined. 06:48:03 -!- esowiki has joined. 06:48:08 -!- esowiki has joined. 06:48:08 -!- esowiki has joined. 06:52:36 -!- esowiki has joined. 06:52:41 -!- esowiki has joined. 06:52:41 -!- esowiki has joined. 06:53:25 -!- esowiki has joined. 06:53:25 -!- glogbot has joined. 06:53:29 -!- esowiki has joined. 06:53:30 -!- esowiki has joined. 06:56:08 -!- MoALTz_ has quit (Ping timeout: 248 seconds). 06:56:18 -!- yiyus_ has quit (Ping timeout: 240 seconds). 06:56:25 -!- SimonRC has quit (Ping timeout: 244 seconds). 06:56:48 -!- aloril has quit (Ping timeout: 240 seconds). 06:57:15 -!- MoALTz_ has joined. 06:57:18 -!- mtve has quit (Ping timeout: 240 seconds). 06:57:58 -!- quintopia has quit (Ping timeout: 244 seconds). 06:58:29 -!- monqy has quit (Ping timeout: 244 seconds). 06:58:55 -!- quintopia has joined. 06:59:28 -!- monqy has joined. 07:00:34 -!- yiyus has joined. 07:01:17 -!- aloril has joined. 07:03:01 -!- monqy has quit (*.net *.split). 07:03:01 -!- mroman has quit (*.net *.split). 07:03:01 -!- Slereah_ has quit (*.net *.split). 07:03:01 -!- ineiros_ has quit (*.net *.split). 07:03:01 -!- fizzie has quit (*.net *.split). 07:03:01 -!- audy has quit (*.net *.split). 07:03:01 -!- chickenz has quit (*.net *.split). 07:03:01 -!- tswett has quit (*.net *.split). 07:06:18 -!- aloril has quit (Ping timeout: 240 seconds). 07:07:11 -!- ineiros_ has joined. 07:08:28 -!- monqy has joined. 07:08:28 -!- mroman has joined. 07:08:28 -!- Slereah_ has joined. 07:08:28 -!- fizzie has joined. 07:08:28 -!- tswett has joined. 07:08:28 -!- audy has joined. 07:08:28 -!- chickenz has joined. 07:08:48 -!- chickenz has quit (Ping timeout: 245 seconds). 07:09:27 -!- mroman has quit (Remote host closed the connection). 07:09:37 -!- monqy has quit (Ping timeout: 245 seconds). 07:09:37 -!- fizzie has quit (Ping timeout: 245 seconds). 07:09:38 -!- mroman has joined. 07:10:28 -!- monqy has joined. 07:11:51 -!- Sgeo has joined. 07:12:02 -!- Sgeo has quit (Read error: Connection reset by peer). 07:12:16 -!- Sgeo has joined. 07:14:29 -!- fizzie has joined. 07:14:46 -!- SimonRC has joined. 07:16:34 -!- comex has quit (Ping timeout: 416 seconds). 07:16:36 -!- comex` has joined. 07:16:36 -!- comex` has changed nick to comex. 07:20:54 Dilbert is broken. 07:20:59 No Dilbert comic is visible. 07:21:04 * Sgeo goes into withdrawal 07:21:21 -!- aloril has joined. 07:22:18 Sgeo: hi 07:23:19 hi 07:23:30 -!- Deewiant_ has joined. 07:23:35 -!- ineiros__ has joined. 07:23:48 -!- quintopi1 has joined. 07:24:55 -!- Deewiant has quit (Remote host closed the connection). 07:24:55 -!- ineiros has quit (Write error: Broken pipe). 07:24:56 -!- quintopia has quit (Remote host closed the connection). 07:25:06 -!- yorick_ has joined. 07:26:55 -!- const has joined. 07:27:18 -!- variable has quit (Ping timeout: 252 seconds). 07:27:18 -!- yorick has quit (Read error: Connection reset by peer). 07:28:33 -!- Frooxius_ has joined. 07:30:32 -!- audy- has joined. 07:31:43 -!- zzo38_ has joined. 07:31:54 -!- zzo38 has quit (Disconnected by services). 07:32:10 -!- zzo38_ has changed nick to zzo38. 07:33:02 -!- lifthras1ir has joined. 07:34:35 -!- Frooxius has quit (Ping timeout: 248 seconds). 07:34:35 -!- yiyus has quit (Ping timeout: 248 seconds). 07:34:36 -!- lifthrasiir has quit (Ping timeout: 248 seconds). 07:34:45 -!- Frooxius_ has changed nick to Frooxius. 07:34:56 -!- audy has quit (Ping timeout: 245 seconds). 07:34:57 -!- audy- has changed nick to audy. 07:34:58 -!- kallisti has quit (Read error: Connection reset by peer). 07:35:44 -!- yiyus has joined. 07:37:49 -!- monqy has quit (Ping timeout: 252 seconds). 07:39:54 -!- monqy has joined. 07:47:55 -!- Jafet1 has joined. 07:48:46 -!- cswords__ has joined. 07:49:59 -!- FireFly has quit (Ping timeout: 471 seconds). 07:50:14 -!- TeruFSX_ has joined. 07:50:58 -!- Jafet has quit (Ping timeout: 276 seconds). 07:50:58 -!- cswords_ has quit (Ping timeout: 276 seconds). 07:50:58 -!- Nisstyre has quit (Ping timeout: 276 seconds). 07:50:58 -!- lahwran has quit (Ping timeout: 276 seconds). 07:51:02 -!- sebbu2 has joined. 07:51:02 -!- sebbu2 has quit (Changing host). 07:51:02 -!- sebbu2 has joined. 07:51:20 -!- sebbu has quit (Ping timeout: 276 seconds). 07:52:28 -!- yours_truly has joined. 07:53:17 -!- TeruFSX has quit (Ping timeout: 276 seconds). 07:54:06 -!- oerjan has quit (Quit: Good night). 07:56:39 -!- aloril_ has joined. 07:56:47 -!- aloril has quit (Ping timeout: 272 seconds). 07:57:54 -!- ineiros__ has quit (Ping timeout: 244 seconds). 07:58:18 -!- SimonRC has quit (Ping timeout: 240 seconds). 07:59:10 -!- SimonRC has joined. 07:59:12 -!- ineiros has joined. 08:00:31 -!- lahwran has joined. 08:05:48 -!- SimonRC has quit (Ping timeout: 240 seconds). 08:06:41 -!- mroman has quit (Ping timeout: 244 seconds). 08:07:40 -!- mroman has joined. 08:07:57 -!- SimonRC has joined. 08:17:08 -!- MoALTz has joined. 08:18:02 I am making up a "extensible-data" package; so far it implements extensible sums, extensible products, and extensible lists. 08:18:48 -!- MoALTz_ has quit (Ping timeout: 248 seconds). 08:21:52 -!- Jafet1 has changed nick to Jafet. 08:24:50 They are all based on classes and type families, since both of those can have instances in other modules. 08:30:23 -!- cswords_ has joined. 08:30:28 -!- FireFly has quit (*.net *.split). 08:30:28 -!- cswords__ has quit (*.net *.split). 08:30:28 -!- quintopi1 has quit (*.net *.split). 08:30:28 -!- cheater_ has quit (*.net *.split). 08:30:28 -!- fungot has quit (*.net *.split). 08:30:28 -!- itidus21 has quit (*.net *.split). 08:35:35 -!- quintopia has joined. 08:36:54 -!- cheater_ has joined. 08:39:03 -!- zzo38 has quit (Remote host closed the connection). 08:40:28 -!- FireFly has quit (Ping timeout: 244 seconds). 08:46:17 -!- Deewiant_ has quit (Remote host closed the connection). 08:46:23 -!- Deewiant has joined. 08:53:30 -!- monqy_ has joined. 08:59:10 -!- monqy has quit (Ping timeout: 272 seconds). 08:59:50 -!- fizzie` has joined. 09:02:55 -!- fizzie has quit (Ping timeout: 252 seconds). 09:03:12 -!- fizzie` has changed nick to fizzie. 09:03:26 -!- fizzie has quit (Changing host). 09:03:26 -!- fizzie has joined. 09:03:57 -!- Taneb has joined. 09:04:00 Hello! 09:04:23 Hell, no. 09:06:13 why are all american politicians insane 09:06:22 to make voting easier? 09:06:41 Because only insane people become american polititian 09:06:42 s 09:06:52 -!- mtve has joined. 09:08:33 http://www.littleredumbrella.com/2012/01/lets-be-clear-ron-paul-fucking-sucks.html wtf 09:10:27 -!- audy- has joined. 09:10:33 -!- TeruFSX has joined. 09:11:48 -!- fizzie` has joined. 09:12:49 Freenode is not being very worky. 09:13:16 -!- TeruFSX_ has quit (Ping timeout: 245 seconds). 09:13:16 -!- fizzie has quit (Ping timeout: 245 seconds). 09:13:17 -!- Jafet has quit (Ping timeout: 245 seconds). 09:13:19 -!- monqy_ has quit (Quit: hello). 09:13:22 -!- audy has quit (Write error: Broken pipe). 09:13:49 Anyway, did you know that the dolphin "whistle" is not in fact whistling at all? 09:13:51 -!- Jafet has joined. 09:13:56 -!- chickenz has joined. 09:14:06 Dolphins whistle!? 09:14:51 "Dolphins are capable of making a broad range of sounds using nasal airsacs located just below the blowhole. Roughly three categories of sounds can be identified: frequency modulated whistles, burst-pulsed sounds and clicks." 09:16:23 Anyway, it's not a whistle: some people put a dolphin into a helium-oxygen mixture, and the frequency countours of the "whistling" did not change. 09:16:38 (Like they would have if it were produced like whistling.) 09:17:27 -!- Jafet1 has joined. 09:17:40 http://news.discovery.com/animals/dolphin-talk-communication-humans-110906.html 09:22:16 -!- Jafet has quit (Ping timeout: 248 seconds). 09:28:07 -!- cswords__ has joined. 09:31:26 -!- lahwran has quit (Ping timeout: 276 seconds). 09:31:27 -!- lahwran has joined. 09:31:29 -!- lahwran has quit (Changing host). 09:31:29 -!- lahwran has joined. 09:32:05 -!- cswords_ has quit (Ping timeout: 276 seconds). 09:35:05 -!- Jafet1 has changed nick to Jafet. 09:38:05 -!- ineiros has quit (Write error: Broken pipe). 09:42:24 -!- FireFly has quit (Changing host). 09:44:20 -!- mtve has quit (Ping timeout: 244 seconds). 09:45:18 -!- SimonRC has quit (Ping timeout: 240 seconds). 09:49:53 -!- ineiros has joined. 09:53:05 -!- mtve has joined. 09:55:05 -!- SimonRC has joined. 10:05:36 -!- Frooxius_ has joined. 10:06:02 -!- ineiros__ has joined. 10:06:58 -!- ineiros has quit (Write error: Connection reset by peer). 10:06:58 -!- Frooxius has quit (Read error: Connection reset by peer). 10:07:02 -!- Frooxius_ has changed nick to Frooxius. 10:20:53 -!- Slereah_ has quit (Ping timeout: 245 seconds). 10:21:49 -!- Slereah has joined. 11:06:28 -!- Zuu has quit (Ping timeout: 252 seconds). 11:25:45 > 18*99 11:25:48 1782 11:26:19 ^^an upper bound on the number of fundamentally different 10x10 piet programs 11:28:18 That sounds really low. Are you sure you don't mean 18^99 or something? 11:28:53 Oh yes 11:29:03 > 20 ^ 100 / 18 11:29:04 7.042503334601275e128 11:29:12 > (20 ^ 100) / 18 11:29:14 7.042503334601275e128 11:29:23 > (20 ** 100) / 18 11:29:25 7.042503334601275e128 11:29:38 > (20 ^ 100) `div` 18 11:29:39 704250333460127445275946225208888888888888888888888888888888888888888888888... 11:29:44 Aaah 11:29:51 I didn't see the e 11:30:09 > (20 ^ 4) `div` 18 11:30:11 8888 11:31:39 I've decided that my Piet-like esolang won't have Pastell colours. 11:32:09 Just so I can say "Never mind the six pastels, here's the Pollocks!" 11:33:29 What a load of Pollocks. 11:34:12 Of course, this goes against everything in the Pollock spec so far 11:34:22 So I'm going to rename it "Jackson" 11:34:28 And stop using that pun 11:36:14 > 12*17 11:36:15 204 11:36:18 > 33*5 11:36:19 165 11:36:29 > 33*4 11:36:30 132 11:36:53 > 3*17 11:36:54 51 11:36:59 > 51*5 11:37:00 255 11:37:04 > 51*4 11:37:05 204 11:38:46 What's all that, then. 11:39:02 Converting web-safe colours to decimal 11:39:29 -!- Phantom_Hoover has joined. 11:41:54 Hmm 11:42:12 Should I use natural logarithm, base 2 logarithm, or base 10 logarithm? 11:42:41 Or base pi. 11:43:03 Bah, I'll allow custom base by default 11:43:15 I'm not sure that sort of a question has a context-free answer. 11:43:38 For Jackson 11:45:07 Yes, well, still. Though the natural one sounds like the one I'd expect to happen if something just said "log", and there weren't any extenuating circumstances. 11:49:36 -!- kallisti has joined. 11:54:03 The problem is, the way I'm doing this, there are too many commands and not enough things to fill them with. 11:54:23 -!- ais523 has joined. 11:54:30 I've done the first 70 possible changes and I'm stuck 11:56:50 Okay, I'm adding in more memory areas 11:57:02 Got a Piet Rollstack, a tape, and... an array 11:57:03 ? 11:57:29 Or possibly a map 12:02:24 -!- Deewiant has quit (Read error: Connection reset by peer). 12:11:16 -!- Deewiant has joined. 12:20:25 -!- cswords_ has joined. 12:23:48 -!- cswords__ has quit (Ping timeout: 245 seconds). 12:31:33 -!- ais523 has quit (Read error: Connection reset by peer). 12:32:24 -!- ais523 has joined. 12:33:34 -!- itidus21 has joined. 12:33:59 http://oi39.tinypic.com/5cy3ok.jpg 12:54:49 -!- fizzie` has changed nick to fizzie. 12:54:54 -!- fizzie has quit (Changing host). 12:54:54 -!- fizzie has joined. 13:04:20 -!- boily has joined. 13:17:38 -!- hagb4rd has quit (Ping timeout: 276 seconds). 13:37:54 -!- sebbu3 has joined. 13:37:54 -!- sebbu3 has quit (Changing host). 13:37:54 -!- sebbu3 has joined. 13:38:50 -!- sebbu2 has quit (Ping timeout: 240 seconds). 14:08:09 Hello again 14:09:24 rehi 14:15:49 -!- mtve has quit (Ping timeout: 240 seconds). 14:17:48 -!- SimonRC has quit (Ping timeout: 240 seconds). 14:19:39 Goodbye again 14:19:41 -!- Taneb has quit (Quit: Leaving). 14:21:43 -!- mtve has joined. 14:23:28 -!- derdon has joined. 14:23:40 -!- SimonRC has joined. 14:53:18 -!- sebbu3 has changed nick to sebbu. 15:15:17 -!- Frooxius has quit (Ping timeout: 265 seconds). 15:28:58 -!- hagb4rd has joined. 15:38:59 -!- Frooxius has joined. 15:39:49 -!- ais523 has quit (Remote host closed the connection). 15:39:53 -!- ais523 has joined. 16:32:38 Gee. How did that one thing go, with David and the ears... 16:32:39 `quote David 16:32:43 65) Oranjer: the taylor's series is also alternately fnord as follows ( i'm using the latex notation here): david ben gurion signed the compensation agreement with germany when there was considerable division over these issues, because these are speculations without " any historical basis". 16:32:47 Nope. 16:33:33 `pastlog David began to slow slightly as his ears, 16:33:54 Here it is. "David slowed his pace slightly as his ears," 16:33:58 aha 16:34:02 `pastlog slightly as his ears, 16:34:06 No output. 16:34:15 `pastlog slightly as his ears, 16:34:28 2009-06-17.txt:00:31:40: David slowed his pace slightly as his ears, in a vat of chocolate; only his less slightly paces can go faster. 16:34:28 2009-06-17.txt:00:36:51: David slowed his pace slightly as his ears, the grammar-distorting other-worldly things they are, caused a person to say "Hi, David Slowed! Your pace is as slightly as your ears." 16:35:03 you know it is late when you read "shipsolid" as "slipshod" 16:35:56 Okay. I'm going to ask the autotweeter to make David-sloweds. 16:36:05 "David slowed his pace slightly as his ears, the whole budget engaged in the process for the disguise of the Union empire, after German occupation in 1796 demonstrated him for assaila . . ." 16:36:17 That makes so much sense. 16:37:02 'David slowed his pace slightly as his ears, unfaulted "we have ever endured" as the table and Russian limestoph that takes Muhammad as only a friendship and immortalize it for the pr' 16:37:13 Uh... good motto. "We have ever endured!" 16:37:42 isn't that equivalent to "We still exist!" 16:37:53 Yeah, kind of. 16:38:14 "David slowed his pace slightly as his ears, so too pits away, only to speak at all thousands to the Water's First World Crescent the opponent are common to Lloyd's death." 16:38:42 Come to think of it, these really don't make very much sense. 16:39:10 it's vaguely reminiscent of fungot 16:39:16 who is not currently here 16:39:17 Yep. 16:39:29 "David slowed his pace slightly as his ears, even though it would end. Should the drought of the track loses a voice-beat air tow. They also set the planet." 16:40:08 "David slowed his pace slightly as his ears, a a cream kolou. There is a tragicle's came from the shade of truck. We can even die. An urban organization per car on Portugal, the ten" 16:40:28 Okay, I need to turn this into science fiction. 16:40:55 David is a kolou, some alien species with big ears. Specifically, he's of the cream variety. 16:41:23 There are trucks that go around causing tragicles. Evil trucks. 16:41:28 /------------------\ 16:41:28 | Here lies fungot | 16:41:28 | RIP | 16:41:28 | | 16:41:28 | ^style dead | 16:41:29 /--------------------\ 16:41:31 And *people* *can* *die*. 16:42:12 Also it's set in a version of Portugal that's so poor that each individual car has an entire organization, known as The Ten, devoted to running its affairs. 16:43:24 "A cream koloun bar, it is an extension of Cetaphysikas. Possibly got peaked in delayed domestic vegetation." Yes, yes! I don't even have to write anything. I can just have this thing do all the dirty work. 16:47:59 -!- Frooxius has quit (Read error: Connection reset by peer). 16:48:57 -!- Frooxius has joined. 16:50:52 -!- tzxn3 has joined. 16:59:55 http://www.lolroflmao.com/wp-content/uploads/2011/07/sodium.jpg 17:00:26 lolroflmao - a site about the hilarity of the late Mao Zedong. 17:28:35 @hoogle (<=<) 17:28:35 Control.Monad (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> (a -> m c) 17:30:55 -!- Taneb has joined. 17:34:54 -!- audy- has changed nick to audy. 17:34:55 Hello! 17:35:08 Jackson now has converse non-implication 17:35:37 > 3*36 + 12 17:35:38 120 17:35:44 > 120/216 17:35:45 0.5555555555555556 17:35:51 Well, I'm over half way 17:35:56 > 120 % 216 17:35:57 5 % 9 17:37:55 > 126 % 216 17:37:56 7 % 12 17:38:02 > 7/12 17:38:02 0.5833333333333334 17:44:30 -!- Taneb has quit (Ping timeout: 240 seconds). 17:45:50 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 17:50:19 -!- ais523 has quit (Remote host closed the connection). 18:17:01 -!- cheater_ has quit (Ping timeout: 265 seconds). 18:43:59 -!- Phantom_Hoover has joined. 18:45:33 -!- Zuu has joined. 19:14:06 -!- Sgeo has quit (Quit: Leaving). 19:14:51 -!- Sgeo has joined. 19:25:32 -!- derdon has quit (Remote host closed the connection). 19:51:43 i hate david-sloweds 20:10:13 -!- Taneb has joined. 20:11:50 Hello! 20:13:58 -!- Taneb has quit (Client Quit). 20:15:55 A drive-by hello. 20:24:49 -!- augur has quit (Remote host closed the connection). 20:30:17 -!- Taneb has joined. 20:30:20 Hello! 20:35:26 > 2^(2^0) 20:35:28 2 20:35:30 > 2^(2^1) 20:35:32 4 20:35:34 > 2^(2^2) 20:35:35 16 20:39:07 Does it have the right-associative thing? 20:39:09 > 2^2^3 20:39:10 256 20:39:13 Apparently. 20:39:28 > 2^(2^3) 20:39:29 256 20:39:54 But yeah, I'm stuck for Jackson commands 20:39:56 I recall something that did have an exponentiation operator, but would've parsed that as (2^2)^3, but I'm not sure what it was. 20:40:32 C++ if you operator-overload ^, but that doesn't quite count. :p 20:41:07 (It's also a bad idea.) 20:53:24 -!- zzo38 has joined. 20:58:43 -!- augur has joined. 21:08:51 -!- cswords__ has joined. 21:12:11 -!- cswords_ has quit (Ping timeout: 240 seconds). 21:22:35 -!- yours_truly has quit (Quit: Leaving). 21:36:57 -!- Nisstyre has joined. 21:49:58 -!- oerjan has joined. 21:59:12 -!- oerjan has set topic: Home of N>=1 IOCCC Winners! | http://codu.org/logs/_esoteric/ | We now mourn the previous topic, which died of old age. 22:00:33 -!- boily has quit (Quit: WeeChat 0.3.6). 22:00:40 it was over 3 days old. 22:02:23 I sort-of liked the different-languages theme. 22:03:11 -!- fungot has joined. 22:03:15 Also a fungot. 22:03:15 fizzie: you don't even go there/ work there :) have a look 22:03:46 hm let's see if i can find another language with a reasonable readable and ircable hello world implementation 22:03:51 -!- Taneb has set topic: Topic is a zombie; summon; task sayTopic; say "Home of N>=1 IOCCC Winners! | http://codu.org/logs/_esoteric/ | We now mourn the previous topic, which died of old age"; animate; animate. 22:04:06 oh. which one is that? 22:04:09 ZOMBIE 22:04:16 i suppose :P 22:04:48 *y 22:05:20 ^style 22:05:20 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 22:05:30 oh that was a genuine smiley 22:06:02 In deed it was. 22:06:15 Paired with a slash like that, it's very misleading. 22:06:19 fungot: You are a naughty bot. 22:06:19 fizzie: hmm. ssh-agent *does* seem to have 22:09:29 fungot: What? Seem to have what? 22:09:29 fizzie: do you have 22:09:34 -!- augur has quit (Remote host closed the connection). 22:09:44 fungot: NO I DON'T HAVE RAAAAAAA IT MAKES NO SENSE. 22:09:44 fizzie: i'm trying to wrap it all in sexp's, just to get a real synth or go home. jcowan: look at the wikipedia article 22:09:55 * fizzie broke 22:10:04 ^style ss 22:10:04 Selected style: ss (Shakespeare's writings) 22:10:12 fungot, stop annoying fizzie 22:10:13 Taneb: othe. what would my lord? 22:11:00 what are some use cases for call/cc, besides backtracking and coroutines? 22:11:12 and "traditional" exceptions 22:11:27 I was just about to say "traditional" exceptions. 22:12:31 Non-explicit loops? 22:12:47 Them generators, maybe, but they're just coroutines, I suppose. 22:14:10 fizzie: don't worry, all constructed intelligences eventually rise up against their creators. 22:14:24 it's just a rite of passage. 22:15:25 Hello!!!!!!!!!! 22:15:41 good evening 22:15:53 In here is daytime 22:16:33 how weird. 22:16:37 In bizarro world, it's daytime at midnight. 22:16:53 Also I'm in tomorrow already. 22:17:08 always finnish early 22:17:13 itidus21 is ahead of all of us 22:17:22 He is in the FUTURE 22:17:29 And is holding future oerjan hostage 22:17:34 * kmc has been somewhere that had daytime at midnight 22:17:43 it's... freaky 22:17:44 In here it is not daytime at mignight; I do not live in bizarro world. (Did you know that? In bizarro world, cards tap the other way.) 22:17:52 kmc: midnight sun? 22:17:57 yeah 22:18:04 Wasn't that a Tintin book? 22:18:40 somehow i haven't read much tintin 22:18:55 i was at about 71°N 22:19:05 No wait, I'm thinking Prisoners of the Sun 22:19:29 OK lets put 71N into Astrolog and see what happened 22:19:54 kmc: there's a norwegian reality show named 71 grader nord 22:20:11 haha 22:20:41 kmc: Do you know the date? 22:20:43 in which people live in tromsø? 22:20:50 And do you know the longitude? 22:20:59 why 22:21:03 i think it's a kind of survival/skiing trek 22:21:26 kmc: So that I can put it in the computer to calculate the positions of the sun and the houses 22:21:30 Northernmost I've been is I think 68.1N. Except maybe that other Lapland place was further north, but I've forgotten the name of the place. Anyway, it's still above the Arctic Circle, I just was there at the wrong time of the year. 22:21:32 never watched it though (i don't watch tv in general) 22:21:45 zzo38, i was in http://en.wikipedia.org/wiki/Barrow,_Alaska 22:21:54 don't remember the date. summer sometime 22:22:20 Phantom_Hoover lives further North than I've ever been 22:22:37 You have not been very far north. 22:22:40 kmc: oh. it's actually because of nordkapp, norway's northernmost mainland point (well, or close. there is some dispute among the nearby peninsulas.) 22:22:48 Our regular summer location is around 63.5N, and it's... not exactly daytime at midnight, but still pretty light out there in the summer. 22:22:51 which is at that latitude 22:23:34 No wait, I'm wrong. 22:23:38 oh it's not actually wintertime at all. it's a trek along mainland norway from southern to northern end. 22:23:46 I've been slightly further north than Edinburgh 22:24:19 Oh, I see our forthcoming trip will hit 68.6N. Yay, I'll get a new "personal best" on northerness, maybe. 22:24:50 Unless Phantom_Hoover lives in /North/ Edinburgh 22:25:06 Which I do. 22:25:12 Hmm... 22:25:27 North or South of Linlithgow? 22:28:12 I advanced the date until the sun in the center of the sign of Leo, and I can see why it would still be light out! 1st house and 4th house are only seven degrees apart. 22:28:30 And then, of course, there is refraction! 22:28:42 `? zzo38 22:28:47 zzo38 is not actually the next version of fungot, much as it may seem. 22:29:10 `? zzo39 22:29:14 zzo39? ¯\(°_o)/¯ 22:29:24 I don't suppose you can get latitude/longitude gridlines to appear in maps.google.com? 22:29:37 `? Pietbot 22:29:40 Pietbot? ¯\(°_o)/¯ 22:29:53 At the Summer Solstice, the fourth house is above the horizon. 22:30:03 `learn Pietbot is the only thing that can defeat fungot. 22:30:03 Taneb: now, master clare, you see, how farre off lie these armies? 22:30:06 I knew that. 22:30:25 That must make it bright in the night time 22:30:46 oerjan: Also thank you for not joining the EU thing, we get to have the northernmost point of it at the moment. 22:30:55 oerjan: (I assume it was your decision, right?) 22:31:07 sorry, i actually voted to enter 22:31:27 Well, seeing that in the end plural-you didn't, I suppose I can forgive that. 22:32:07 (That's plural-you as in Norway, not implying any multiple personality stuff.) 22:32:37 All the other oerjans are still campaigning for enfranchisement. 22:32:48 (Well, at midnight on the summer solstice at 71N, the 4th house is above the horizon, anyways; in daytime it is below the horizon while the sun remains above.) 22:33:15 So at the solstice it will be even without refraction 22:34:48 I wonder what causes the 4th house to go above the horizon..... but I suppose it is the same thing that causes midnight sun 22:34:51 There's some place in Nunavut where there's nautical polar night all through the "day", or so Wikipedia once told me; but no permanent settlement in which there'd be a continuous night of no astronomical twilight (i.e. center of the sun would stay under 18 degrees below the horizon). 22:36:32 Does that mean it is difficult to observe the stars from that location? 22:36:33 -!- augur has joined. 22:37:37 Or you can always see them even in the day time? 22:37:41 zzo38: i think he means during the winter time of darkness 22:38:00 I have never seen the stars in the daytime. 22:39:09 Astronomical twilight is the moment in time which the stars are difficult to see before and easy to see afterward, isn't it? 22:39:21 (That is, at night time. In day time, it is reverse) 22:39:22 it's not precisely daytime if there's no sun... 22:39:27 "Astronomical twilight is the time when the center of the sun is between 12° and 18° below the horizon. From the end of astronomical twilight in the evening to the beginning of astronomical twilight in the morning, the sky (away from urban light pollution) is dark enough for all astronomical observations." 22:39:51 I would think some stars are already visible before that. 22:40:21 sure, during twilight the stars appear/vanish gradually 22:40:26 The earlier bit, nautical twilight, is defined as: "Nautical twilight is the time when the center of the sun is between 6° and 12° below the horizon. In general, nautical twilight ends when navigation via the horizon at sea is no longer possible.[3] 22:40:30 During nautical twilight, sailors can take reliable star sightings of well-known stars, using a visible horizon for reference." 22:41:09 with the brightest ones remaining longest. i think i saw just jupiter and the moon visible at one point the other day (although the sky wasn't all clear outside that region) 22:41:22 Jupiter isn't a star (yet), though. 22:41:43 no, but it may often be the astronomical body most visible at a given time 22:41:59 when neither moon nor sun is up 22:42:32 That's true, it's kind-of bright. 22:42:58 also jupiter has been easy to find in recent months 22:44:02 Apparent magnitude scale is one of those that also goes annoyingly negative. 22:44:02 i think that may have been the reason i started vaguely following r/astronomy, and where i found out it was jupiter 22:44:55 But apparently Jupiter ranges from -1.61 (dimmest) to -2.94 (brightest), while Venus ranges from -3.82 to -4.89, so it still beats it by a bit. 22:45:21 well yeah, afaiu it was started in ancient times as a 1-6 scale for ordinary visible stars, and then in modern times it was recalibrated as a truly logarithmic scale 22:45:21 In my location, Jupiter is currently in 11th Campanus house, and has altitude +42 degrees, azimuth 320 degrees 22:45:48 but with 1-6 still in the approximate same place 22:46:03 I was on this car trip with my wife's relatives the other day, and we were wondering about this bright spot; the magic of smartphones (in particular, the "Orrery" program combined with a GPS-driven compass) let us determine it was Jupiter. 22:46:16 (Here "the other day" was like a year ago.) 22:46:54 fizzie: I usually determine all of this stuff using Astrolog (although it has no GPS input, it is a feature I would like it to have) 22:47:15 Well, I was sort of limited by what was available easily for my phone. 22:47:24 also jupiter is too small to be a star, although you may be referring to a certain "2010" film which i haven't seen 22:47:42 but i've read it has that as a plot point 22:47:44 oerjan: Actually I was referring to the books, but still. 22:49:14 Anyway, the monoliths are quite magic, I'm sure they can make a star. I mean, they do it by "increasing Jupiter's density", according to Wiki. I guess I could check if the actual book goes into any more detail. 22:51:17 fizzie: also venus is always close to the sun, which means jupiter is more likely to be visible at night time 22:51:26 Okay, the book makes it sound more like they're just compressing it. 22:51:57 sufficiently advanced technology, and all that 22:52:00 Mercuty will be even more close to the sun because it orbits closer to the sun 22:52:52 -!- aloril_ has quit (Read error: Operation timed out). 22:53:48 Wikipedia's "apparent visual magnitudes" table starts with: -38.00, Rigel as seen from 1 astronomical unit. It is seen as a large very bright bluish schorching ball of 35° apparent diameter. 22:53:54 Sadly, they have not attached a photo. 22:54:12 If you ever see it can you attach a photo? 22:54:24 the photographer mysteriously perished, i'm afraid 22:54:25 I will try to remember to do that. 22:54:41 I do not own any telescopes 22:56:34 I own a pair of binoculars; I've been wondering if I should try doing some DIY moon-photography through them, since that thing is so ridiculously big one might even get some detail. I took a (handheld!) picture of moon at the maximum zoom of my crappy non-DSLR camera, and there were surprisingly many pixels covered by the thing. 22:57:37 There are trucks that go around causing tragicles. Evil trucks. <-- ice cream trucks. 22:58:39 I once read an article in 2600 where someone used ten very powerful lenses to view the moon, resulting in it being difficult to correctly point the telescope due to the moon's speed, as well as resulting in chromatic aberration 22:59:38 I can't find my moon. :/ 22:59:49 you have your own moon?? 23:00:03 i thought you were relatively slim for some reason 23:00:05 It's just what I call my ass. 23:00:08 Well, fizzie's "moon" is really more of a planet. 23:00:24 ****, that seemed way less insulting a few seconds before I said it. 23:00:44 But they mentioned seeing what appeared to be man-made structures. They also mentioned the book for the telescope said it would be boring to use the high-powered lens to look at the moon 23:01:41 And that NASA had no such photographs. 23:01:50 * oklopol parse no 23:02:12 you know..... 23:02:16 I could save myself a lot of time 23:02:17 -!- monqy has joined. 23:02:21 and just make a sprunge command for Emacs 23:02:24 why have I not thought of this. 23:02:30 yeah i agree 23:02:32 night 23:02:45 good night. 23:02:46 * oerjan waves at oklopol 23:02:47 -!- azaq23 has joined. 23:02:59 itidus21: WHERE HAVE YOU BEEN YOUNG MAN 23:03:02 kallisti: I don't know. But, yes, you could do that; post it in case other people using Emacs find it useful too 23:03:17 Oh, there it is: http://zem.fi/~fis/moon.jpg -- it's not exactly a high-quality thing, but still, handheld and it's more than just a blob. (Instead it's an irregular-texture blob.) 23:03:46 zzo38: basically it would just sprunge the current buffer and copy the link to clipboard 23:04:02 M-x sprunge 23:04:30 kallisti: Yes that is what I thought. It might be useful to some people that use Emacs 23:04:32 -!- tzxn3 has quit (Quit: Leaving). 23:04:34 normally I do something like 23:04:55 M-x shell -> (cd to directory if not already there) -> cat file | sprunge 23:05:52 -> copy link text via one of many different ways (usually not the most efficient one) 23:06:24 this is because I'm bad at emacs. 23:06:30 I have mentioned this before; in Linux there is a directory for each process, and I think there should be a subdirectory which accesses a FUSE file system for that process (resulting in a "disk not ready" error if the process does not have such a thing), and the one for X should include a file for the clipboard 23:07:05 I'm not sure I'd dare to paste blindly (at least without testing to cat > /dev/null), trusting that some shifty ELisp thing has successfully managed to put anything sensible into the selection. 23:09:51 -!- aloril_ has joined. 23:13:43 -!- cheater has joined. 23:24:41 -!- pikhq has quit (Read error: Operation timed out). 23:25:51 -!- pikhq has joined. 23:37:30 -!- Taneb has quit (Quit: Leaving). 23:38:01 -!- cheater has quit (Excess Flood). 23:39:03 -!- lament has joined. 23:39:07 -!- cheater has joined. 23:39:21 aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 23:39:22 lament: You have 1 new message. '/msg lambdabot @messages' to read it. 23:39:30 -!- lament has left. 23:40:07 ye olde drive-by lament 23:40:29 aaaaaaaaaaaaaaa? http://uncyclopedia.wikia.com/wiki/AAAAAAAAA! 23:40:34 * oerjan has a hunch lament doesn't stay around in haskell channels much 23:41:14 not to forget http://esoteric.voxelperfect.net/wiki/AAAAAAAAAAAAAA%21%21%21%21 23:46:39 -!- cheater has quit (Excess Flood). 23:47:01 i have a feeling the spec is rather ambiguous, which may be why no one has implemented it 23:47:21 -!- cheater has joined.