00:05:50 -!- Lymia has quit (Ping timeout: 240 seconds). 00:12:30 http://linux.softpedia.com/get/Programming/Interpreters/cfunge-37128.shtml 00:30:19 -!- cheater3 has quit (Ping timeout: 252 seconds). 00:30:54 -!- augur has quit (Remote host closed the connection). 00:41:47 -!- BeholdMyGlory has quit (Remote host closed the connection). 00:43:44 -!- FireFly has quit (Quit: swatted to death). 00:44:20 !swedish again 00:44:21 ​egeeen 00:44:28 !swedish egeeen 00:44:29 ​egeeee 00:44:43 !swedish egeeee 00:44:44 ​egeeee-a 00:44:54 !swedish egeeee-a 00:44:54 ​egeeee-a-a 00:45:04 !swedish come again 00:45:04 ​cume-a egeeen 00:45:17 !swedish cume-a egeeen 00:45:18 ​coome-a-a igeeee 00:45:44 -!- foocraft has joined. 00:49:03 My yow.lines apparently only has the cabbage-brain quote. 00:51:28 -!- ralc has quit (Quit: Leaving). 01:12:34 hmmm, now the question is 01:12:55 how do I support programmer-defined prefix, postfix, infix, ternary, and circumfix operators... 01:12:59 without it being a huge mess. 01:13:53 hmm, should I use harpy or generate nasm code myself 01:14:00 CakeProphet: agda mixfix 01:15:58 -!- hagb4rd has quit (Quit: hagb4rd). 01:18:36 The function fac is not really our wanted factorial function. Instead 01:18:36 it is a monadic command that, when executed, writes assembler code 01:18:36 into a buffer. To ensure, that this buffer is always large enough to hold 01:18:36 the generated instruction, you have to sprinkle your code with calls to 01:18:36 ensureBufferSize. In line 7 we make sure that 160 bytes are available, 01:18:37 which is enough for our 10 instructions. As a rule of thumb, no instruction 01:18:38 can be larger than 16 bytes, so the number of assembler instructions times 01:18:40 16 is a safe upper bound. 01:18:42 BARF 01:23:56 hey olsner 01:24:02 if I want to push a structure to the stack 01:24:06 do I push the first field first or last 01:24:11 * elliott is not so smrt 01:24:48 aka "is the stack growing upwards or downwards"? 01:25:21 oh and what about alignment 01:25:40 oerjan: on xeightsix 01:25:44 and alignment dfjsodfj 01:25:49 well it's a dword and a byte 01:25:55 i can make that two dwords if necessary 01:25:59 (dword = thirty two bits, i.e. machine word here) 01:26:12 (note: i don't actually know any specific answers) 01:26:58 :D 01:30:11 i know some specific answers 01:31:00 *GASP* 01:31:25 " colon is where your ass comes from right" <<< what :D have i said this :DS 01:31:34 yes :D 01:32:51 and I just became so tried that I was about to reply to elliott in swedish 01:32:51 olsner: please do so 01:32:54 what if I do that 01:33:36 no i hate you i want olsner to do it :( 01:33:59 elliott, aha, jag förstår 01:34:05 elliott: du r en svansnyckel 01:34:15 oklopol, en vad för något? 01:34:20 oklopol, "tail key"? 01:34:22 wtf is that 01:34:24 svansnyckel 01:34:30 oklopol, what on earth is that 01:34:31 ... 01:34:35 you just said it 01:34:45 oklopol, then what does a tail key do 01:34:51 I just translated the compound word 01:34:57 I have no idea what a tail key IS 01:35:01 erm, obviously that depends on the data structure 01:35:20 oklopol, oh, I was imagining something like an hexkey, like you get with IKEA stuff 01:35:38 :D 01:35:38 nej, bara en svansnyckel. 01:35:54 okej 01:36:00 okej dokej 01:36:05 as they say in sweden 01:36:15 hm 01:36:32 Jag tror det är ute liksom 01:37:44 A theory about Rose from a CS perspective (self.homestuck) 01:37:45 posts that can not be good dot txt 01:38:03 so um half of thursdays lectures were time travel stuff 01:38:15 oklopol: HAHAHA 01:38:41 a rose by any other name would still be NP-complete 01:39:01 and *not* within a formal model. *shiver* 01:39:36 thought experiments and shit 01:40:13 timey-wimey braided algebras 01:40:52 and everyone found it really funny when the lecturer presented his examples of weird ways time travel would work because they were sooo crazy. and i was like oh god, did i just teleport into some kind of monkey kindergarten. 01:41:01 *braided hopf algebras 01:41:39 i wish i had the balls i had in high school when i'd just start laughing and walk out when things got stupid 01:42:44 Vorpal: oh btw i totally don't get " Jag tror det är ute liksom" 01:43:29 oklopol, that means that I think "okej dokej" is slang that is no longer in fashion 01:44:12 erm "ute" as in english "out (of fashion)"? 01:44:13 ... "okej dokej"? Is that in *any* way similar to the apparent cognate in English? 01:44:27 pikhq_: in *very* way similar. 01:45:51 elliott: granted, i didn't actually understand half of the time travel stuff they said so it might have made sense. everything i did understand was retarded at least tho. :D 01:47:01 oklopol: Most discussions of time travel are. 01:47:22 ill discuss 01:47:22 YOUR 01:47:23 time 01:47:24 travle 01:47:25 s 01:48:17 It's one of those things that generally gets handwaved because people really don't want to contemplate the (il)logic of it all. 01:48:22 pikhq_: but it's an INTERNATIONAL CONFERENCE, and we all know people who talk in those must be p smart right? at least wolfram didn't come.... :DSDS 01:48:47 that would've been just... awesome 01:51:49 half the time the time travel model is one where a consistent universe essentially seems impossible if it supports any nontrivial agent-like behavior (because certainly one agent will want to destroy it using a retarded paradox), the other half seems to actually assume an implicit extra time axis and moving in time is still moving forward on this axis, you are just given a copy of past contents of the world. 01:52:02 aaaand i just said something trivial and retarded about tt 01:52:11 luckily it's so long you can't quote it 01:52:33 `addquote half the time the time travel model is one where a consistent universe essentially seems impossible if it supports any nontrivial agent-like behavior (because certainly one agent will want to destroy it using a retarded paradox), the other half seems to actually assume an implicit extra time axis and moving in time is still moving forward on this axis, you are just given a copy of past contents of the world. 01:52:34 ​448) half the time the time travel model is one where a consistent universe essentially seems impossible if it supports any nontrivial agent-like behavior (because certainly one agent will want to destroy it using a retarded paradox), the other half seems to actually assume an implicit extra time axis and moving in 01:52:36 try me bitch 01:52:38 HAH 01:52:44 its in the file dude 01:52:46 its in the file 01:52:50 `pastequotes time travel 01:52:51 ​http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.5048 01:53:04 :D 01:53:44 elliott: are you sure it will be apparent why that was quoted in the first place :D 01:53:54 oklopol: who cares :) 01:54:03 good point :P 01:56:04 i kind of want to buy domino tiles and build a half-adder, but there's the slight problem that you can only try it on one input and then it's gone :\ 01:56:24 oklopol: make a self-resetting domino computer 01:56:28 using like 01:56:30 vacuum dominoes 01:56:31 to un-fall 01:57:06 vacuum dominoes huh 01:57:09 yeah 01:57:32 what i want is some sort of global "plz get up again lol" button 01:57:59 your idea is pressing it pumps the dominoes full of vacuum so that air pressure lifts them in the air or something? 01:58:43 oklopol: like, a domino that, when it falls, pushes a gust of air in front of it 01:58:49 so that a fallen domino in front of it will upright itself 01:58:50 and um 01:58:51 hm... dominoes with resettable springs 01:58:58 you just need a bunch of them lined up next to all your real dominoes 01:58:59 yeah 01:59:00 and a trigger 01:59:26 but they can't just rise right away, the implementation of all nontrivial behaviors *relies* on dominoes falling just once 01:59:40 oklopol: thus the trigger 01:59:42 at least the way that psychologist dude did it 01:59:50 when you need to reset, you make it flip over the trigger 01:59:55 which then runs down a line of vacuum dominoes 02:00:41 " you just need a bunch of them lined up next to all your real dominoes" <<< so to lift up my dominoes, i build another identical arrangement next to the fallen one? 02:01:43 I SEE NO PROBLEM WITH THAT PLAN 02:02:07 oklopol: yes 02:02:15 um wait what? 02:02:21 no, the vacuum dominoes next to them /lift up/ the dominoes 02:02:23 thus resetting them 02:02:29 yeah, while falling themselves 02:02:44 oklopol: oh 02:02:46 but that's not really a problem since you can just use another layer of vacuum dominoes 02:02:47 well they push down too 02:02:55 oklopol: no wait, have another type of domino 02:03:01 when it's pushed down, it blows air to the side of it 02:03:06 then, just use them as your normal dominoes 02:03:11 erm 02:03:12 when it's pushed up 02:03:17 and they'll prop up the vacuum dominoes as soon as they're used 02:03:18 :D 02:03:29 so am i to understand vacuum dominoes pass a signal along the arrangement, while not losing potential energy in the process? 02:03:33 yes. 02:03:37 ah 02:03:41 also they use time travel 02:03:49 elliott: ew, underscores. 02:03:53 effectively they teleport all the dominoes back in time to when they were all up. 02:03:55 understand now? 02:04:06 CakeProphet: got no asterisk key fucker 02:04:08 yes 02:04:53 oklopol: oerjan's spring idea is better :P 02:05:05 just need a trigger for the springs that is weak enough to be pushed by a domino 02:05:11 and then um, acts as a spring itself 02:05:24 wait 02:05:27 ELECTROMAGNETS 02:05:33 there are little platforms for all the dominoes 02:05:34 actually for a while yesterday i seriously did try to come up with a domino tile that would fall, and then automatically rise up after falling 02:05:35 that are magnets 02:05:38 and there's a button 02:05:41 that when a domino falls on it 02:05:49 turns on all the electromagnets for like half a second 02:05:52 then i realized there's this thing called physics 02:05:53 snapping all the dominoes back into place 02:05:58 because the bottom of them is magnetic 02:06:00 best idea???? 02:06:32 yesssss 02:06:57 i'd replace my computer with one made out of those 02:07:49 anyway i have to get going, first lecture at 9 and i need to do a few iterations on my article, and do some unmentionable things which also take hours 02:08:17 and masturbate as well 02:10:24 `addquote anyway i have to get going, first lecture at 9 and i need to do a few iterations on my article, and do some unmentionable things which also take hours and masturbate as well 02:10:25 ​449) anyway i have to get going, first lecture at 9 and i need to do a few iterations on my article, and do some unmentionable things which also take hours and masturbate as well 02:13:11 `quote 02:13:13 ​244) oerjan: What, can girls aim their penises better? 02:14:43 elliott: oh, I was referring to the agda mixfix stuff. 02:14:51 CakeProphet: oh, well that's irrelevant 02:15:04 you don't really use underscores in identifiers in haskell or agda 02:15:05 so it's a decent choice 02:15:13 -!- elliott has left ("Leaving"). 02:15:21 LAMENESS 02:15:26 -!- elliott has joined. 02:16:30 I will instead do something ridiculous. 02:17:45 I was thinking about including some kind of metasyntactic capability beyond the limited form I'm thinking of implementing. 02:17:52 CakeProphet: how is it lame 02:17:53 but that will probably just makes things really confusing. 02:17:54 just pick another damn character 02:17:57 it can even be syntax like 02:18:00 "if","then","else" 02:18:04 so you can use every character in a name 02:18:11 come on, the meaningful part of mixfix is how you implement it 02:18:21 it lets you mix operators of all fixity, and also make control structures into operators 02:18:21 elliott: mainly because I don't trailing characters because they're lame. Sound reasoning, I know. 02:18:31 I will instead do something BETTER. 02:18:53 CakeProphet: dude, read the whole paper before saying things like that 02:19:00 this is a really well-tested way to do the shit you want 02:19:07 all kinds of operators with a simple parser that can handle module imports properly 02:19:41 CakeProphet: you can layer over whatever "definition" syntax you want 02:20:45 I wasn't aware there was a "whole paper". 02:21:07 but I think I just found it. 02:22:15 i think there's more than one, even 02:22:23 http://www.google.co.uk/url?sa=t&source=web&cd=3&ved=0CC8QFjAC&url=http%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fdownload%3Fdoi%3D10.1.1.157.7899%26rep%3Drep1%26type%3Dpdf&ei=0X_xTa_cJMPOhAfi_Pw_&usg=AFQjCNFD2vxF9fbpvu3Fo19922FVD_qFMw&sig2=fexG0fjeemztQHd3K9x0Yw 02:22:25 ugh 02:22:26 stupid google 02:22:30 that's the paper 02:22:38 Parsing Mixfix Operators 02:22:38 Nils Anders Danielsson1, and Ulf Norell2 02:27:06 elliott: so this paper will show me how to parse mixfixed operators without requiring ugly naming conventions? 02:27:44 CakeProphet: THE NAMING CONVENTIONS ARE A PURELY SYNTACTIC FEATURE OF DEFINING THE OPERATORS 02:27:49 FOR FUCK'S SAKE THAT IS LIKE THE LEAST IMPORTANT PART OF ANYTHING 02:27:59 IT GIVES A FULL PARSING GRAMMAR >_< 02:28:06 CakeProphet: Would you prefer I said: 02:28:13 -!- shachaf has quit (Remote host closed the connection). 02:28:27 CakeProphet: No, the theorems used in the quasimodular parsing definition require on the exact ASCII string used, which must have embedded underscore characters in it. 02:28:30 Otherwise it is mathematically inconsistent. 02:28:45 no that is the opposite of what I prefer. :) 02:30:29 CakeProphet: Anyway, the only time you EVER have trailing characters is in prefix situations. 02:30:41 if/then/else is affected; if/then/else/end is not. 02:30:51 And you can easily form the actual list of holes however you want in your actual language. 02:41:16 There will be no holes in my language as that will produce memory leaks. 02:41:45 Any holes that are found will be patched accordingly. 02:44:38 What does a compiled Perl regex consist of? 02:44:59 Y'know, automake really could do with a means of having per-directory Makefile.am files *without* producing recursive make. 02:45:30 CakeProphet: bytecode 02:45:44 -!- augur has joined. 02:45:45 CakeProphet: Reading http://perl.plover.com/Rx/ is quite elucidating 02:47:41 as in the source code right? The actual English is rather sparse and not helpful.. 02:48:37 CakeProphet: Uh, wait. 02:48:39 CakeProphet: http://perl.plover.com/Rx/paper/ 02:48:47 Read this and you'll understand everything. 02:48:53 Or at least some things. 02:49:59 whut, regex debugger? unfathomable. 02:50:30 Hardly; Rx works well (I've never used it, but it reportedly does) 02:50:38 And "Rx formed the basis for the regex debugger component of ActiveState's ASPN Komodo IDE. (Whether it still does, I can't say.)" 02:50:53 Anyway, just read it, it's interesting and helpful for understanding Perl regex internals :P 02:53:04 I will definitely read it because it will help me in writing an efficient regular expression engine. 02:53:15 It... won't. 02:53:23 But it'll help you understand Perl's. 02:53:30 CakeProphet: But really, you should just use PCRE :-p 02:53:44 uh, why? 02:54:07 Because it can do just about every fancy thing Perl can, and is fast, neither of which you'll be able to say about yours unless you work on it for literal years :P 02:54:14 Plus everyone knows PCRE syntax. 02:54:18 Or wait. 02:54:22 Is this your fancy super-regexp thing? 02:54:31 Because those aren't regexps, dude, they're a programming language inspired by regexps. 02:55:21 -!- augur has quit (Remote host closed the connection). 02:56:49 elliott: yes I know. 02:57:21 which is why learning about how regexps are handled internally by other programs will be helpful. 02:59:27 "The logo of Lulz Security suggests the group does not take what it does too seriously" --BBC News 03:00:32 Doesn't the name alone do that? 03:01:50 -!- Vorpal has quit (Ping timeout: 268 seconds). 03:02:37 elliott: quiet with that nationalist dogma. 03:03:23 I only accept the sensationalism of American television news sources. 03:08:07 -!- augur has joined. 03:13:06 "Barack Hussein Commubama is going to rape your puppies and build the Twin Towers again just to bomb them!" --Fox News 03:13:09 Better? 03:13:36 Actually, make that "Führer Hussein Commubama". 03:15:37 ahhh, familiarity. 03:17:14 hmmm, so currently every expression produces a "result string" which is used in computations and side-effect operations. 03:17:29 Perhaps there should be a "result number" as well, to be used in numeric contexts. 03:21:06 before, the plan was to handle numbers as Perl does. Where the string "0" is treated as 0 when used in a numeric operation, but having a numeric result would allow operations to return both a capture string as well as number that signified something. a -> b would return a 1 if successful, and a 0 if not. * would return the summation of the numeric results of its operand. Thus (a -> b)* would return the number of successf 03:21:57 (a->b)+ would do the same, but fail if there were no substitions. 03:23:33 and the string result would be a concatenation of the replaced strings, which is probably less useful. 03:24:25 http://gcc.gnu.org/onlinedocs/gcc-4.6.0/gcc/Push_002fPop-Macro-Pragmas.html#Push_002fPop-Macro-Pragmas // is CPP + this TC? 03:24:54 No. 03:25:01 cpp computation does not involve new defines at all. 03:25:06 You can't loop those in any way, so yah. 03:25:29 Apparently chaos-pp just uses "exponential expansion" or something btw, and so may not actually be TC 03:25:31 Dunno about order-pp 03:25:36 I can buy that it's not TC though 03:26:11 hmmm... I need like... four different quote types. 03:26:30 ``, "", '', <>... done :) 03:26:32 No output. 03:31:47 Unless you need it to nest. 03:32:10 []{}()<> done. 03:32:45 -!- copumpkin has quit (Ping timeout: 240 seconds). 03:34:13 Actually I narrowed it down to two quote types again. 03:34:33 why do you need so many quote types 03:34:39 what's a quote type 03:34:48 -!- foocraft has quit (Quit: Leaving). 03:35:01 the problem was that both " and ' literals attempt matching on the input string, but there would be situations where you only want to use them for their string result and ignore any kind of matching behavior. But placing another operator before the quote fixes that. 03:36:38 -!- shachaf has joined. 03:38:44 well, currently " performs interpolation of \ sequences, and ' produces a literal string. I could have interpolation on by default since it's not a huge deal, and have " being the matching literal and ' be the zero-width literal. 03:39:27 open_file 'foobar.txt' #example, you don't want 'foobar.txt' to attempt a match on the input string. 03:40:17 cyclexa is cooler it has antitext 03:40:44 token:="foobar.txt"; token(token",")* #here, this is exactly what you want to happen. 03:42:21 elliott: I was actually thinking of "borrowing" (read: stealing) the antitext operator, but I don't really know why it would be useful in my case. 03:43:10 that's just a sign that your version is boring >:) 03:43:46 yeah I'm not really going esoteric at this point. 03:44:01 it will be esoteric in that it's a somewhat sensible regular expression language. 03:46:13 The ; is somewhat clever. It's syntactic sugar that basically encloses everything before it up to the beginning of the line or the preceding ; on the same line in parentheses 03:46:22 a;b;c = (a)(b)c 03:48:16 -!- variable has quit (Remote host closed the connection). 03:48:58 -!- variable has joined. 03:49:02 your mom is clever 03:52:25 Abelson: Well, I was a new graduate student. I said, “What the hell, I’m never going to get a chance to go sit in the president’s office.” So I wandered around to the president’s office and there were a whole bunch of people from Students for a Democratic Society sitting around on the floor. One of the people who was sitting around on the floor was somebody who I’d gone to high school with. 03:52:25 And I said, “I’m a new graduate student. I’m looking for a job. What’s a good place to go work?” And he said, “Well, why don’t you go over to the Artificial Intelligence Laboratory. They do good things.” So I wandered around there for a little bit and talked to people, and that’s pretty much how I got started. 03:52:45 -!- Sgeo has quit (Ping timeout: 255 seconds). 03:53:10 -!- Sgeo has joined. 03:53:18 What a pile of improbable circumstances. 03:56:58 digit := [0-9]; number := digit+("."digit+)?; capturedvalue = parsenum number #note that this is where the actual matching occurs; capturedvalue = 1 <+> capturedvalue #not sure what the numeric operators should look like, or why I'm incrementing this number 04:00:48 -!- pikhq has joined. 04:01:02 -!- pikhq_ has quit (Ping timeout: 268 seconds). 04:19:14 https://github.com/github/dmca/blob/master/2011-06-07-sony.markdown sony sure are dedicated 04:19:26 https://github.com/SonyPS3/scedev haha, they didn't even remove it, just disabled it 04:20:00 "and promptly disclose to SCEA the identities and contact information corresponding to the account owners and/or users of your hosting services who posted the content identified herein." 04:20:11 They seem to not understand how a DMCA request works. 04:20:33 It's not a subpoena. 04:40:57 -!- oerjan has quit (Quit: Good night). 04:43:16 pikhq: I bet they understand 04:43:51 Never underestimate someone's stupidity. 04:44:50 coppro: are you sure? one of the GitHub dmca notices specifies that they should use a /USENET cancellation notice/ to delete both github repositories and a file hosted on a generic file hosting service unrelated to github 04:45:47 I think it's more likely they attempt to prey on the weak 04:46:19 Content owners know that lots of sites will listen to takedown notices for all sorts of things that aren't copyright-infringing 04:46:40 they published a counternotice, which is cool: https://github.com/github/dmca/blob/master/2011-02-03-sony-counternotice.markdown 04:46:44 or, more plainly, try harder than is necessary to cover their own assess 04:46:47 *asses 04:46:53 http://help.github.com/dmca-takedown/ here is github's actual policy 04:47:24 it's been more than ten days though 04:47:27 so I guess Sony replied 04:48:25 indeed 04:48:59 it's plainly obvious that the repos don't actually violate Sony's copyright 04:49:16 unfortunately, no company would set the policy "we'll honour dmca notices, unless we think they're wrong" :) 04:54:51 -!- Kustas has joined. 05:06:26 elliott: They'll follow the law 05:06:38 there are plenty of companies that will say "you're misapplying the law" 05:07:03 elliott: Also, bear in mind that it's not actual copyright her 05:07:04 *here 05:07:08 it's circumvention tools 05:07:11 which are covered also 05:07:23 I think Sony is actually in the right, from a legal perspective 05:07:36 unfortunately 05:07:47 indeedy 05:07:53 *Legally*, they can actually request a DMCA takedown and have it complied with in this case, yeah. 05:08:01 elliott: have you read the paper about optimal copyright term, by chance? 05:08:03 They just overstepped on it. 05:08:11 coppro: How many months is it? 05:08:16 coppro: no, but i don't feel like doing so 05:08:27 pikhq: He gives a set of variables that it would depend on 05:08:29 discussions about copyright just make me slit my throat and drain all my blood out 05:08:38 i don't even have an inkling of care left 05:08:48 elliott: How very cynical of you. 05:08:55 elliott: You should do that to lawyers. 05:09:04 or i might just be tired 05:09:10 WE'LL FIND OUT TOMORROW!!!!!!! 05:09:32 pikhq: he sets generous ranges of values; within those ranges, the median is 15ish years 05:10:28 coppro: So, what you mean is that we had it right in the year 1800? 05:10:29 looks like a gamma distribution 05:10:44 pikhq: Possibly not; the societal variables can change over time 05:10:49 but possibly yes 05:11:11 http://rufuspollock.org/economics/papers/optimal_copyright_term.pdf 05:11:12 It was, uh, 17 years, I think, then. 05:11:27 thx jerk i just clicked that now 05:11:32 iff it snot set in latex ill close i- fuck 05:11:35 fuuuck you 05:11:41 oh the linespacing is way too high 05:11:42 closed 05:14:22 Yeah, jeeze, was it written for some moron convinced that 1 inch margins, double spaced is how you do papers? 05:14:27 -!- Kustas has left. 05:14:41 whine whine whine whine (im allowed im tired) 05:14:47 wow tcl is probably the worst language I've ever seen. 05:14:56 like, the worst one. 05:14:57 CakeProphet: that's because you don't understand it 05:15:06 no I understand it just fine. 05:15:09 it's not something i'd want to use, but it occupies a corner. 05:15:11 no, you don't. 05:15:21 You almost certainly don't. 05:15:27 CakeProphet: you should _really_ read http://antirez.com/articoli/tclmisunderstood.html 05:15:37 you don't have to like tcl, but it's something to respect 05:16:10 (and http://antirez.com/page/picol.html is an interesting followup (only a followup, don't read it before) in that it shows that tcl is as minimal as Lisp) 05:16:39 Interesting. Its summation of concepts is a longer version of the dodecalogue. 05:17:27 AKA "the semantics of Tcl, in a short man page". 05:17:27 CakeProphet: basically: lisp : lists :: tcl : strings, except that tcl actually builds data structures out of strings (a list is just a certain type of string; tcl code is a list (therefore a string), {} is just an uninterpolated string literal) 05:17:31 CakeProphet: but really: read http://antirez.com/articoli/tclmisunderstood.html. 05:19:07 I shall note here that PEBBLE is Tcl with a different command set. 05:19:17 elliott: yeah, so I read that, and I'm pretty sure tcl is still a bad language. 05:19:29 CakeProphet: whoops: look at that, you didn't read it, you at most skimmed it. 05:19:40 I did skip the things I already knew 05:19:44 which is, most of the first half. 05:19:44 i know this because i have read it multiple times and you did it about ten times as fast as anyone can humanly read that and actually understand it. 05:19:47 CakeProphet: hahahahaha 05:19:53 CakeProphet: yes, obviously it is merely a collection of facts 05:20:05 obviously you can go ahead and ignore the bits you already "know" because it is not trying to make any sort of point 05:20:26 oh, whatever, you're an idiot, i'm grumpy, and i should go to bed. no wait i'll turn over to the plof tab and mock Gregor for being the worst gc coder evarrr 05:21:15 I don't need someone to make points for me. I skipped most of the section explaining the language itself because I already knew how the language worked, and can derive my own opinions on that. 05:21:22 I doubt you do. 05:21:31 CakeProphet: ok, so 05:21:34 The language itself is much more subtle than you think. 05:21:34 I HATE PERL 05:21:36 hey 05:21:41 this language goes through perl's features in a different way to normal 05:21:44 and i think makes the case for perl 05:21:50 I SKIPPED ALL THAT I KNOW HOW LISTS WORK LOL 05:21:51 PERL STILL SUCKS 05:21:59 um if you read it properly you might think differently 05:22:07 I didn't mention Perl at all. 05:22:07 I DONT NEED U IM PUNK I CAN THINK FORE MYSELF 05:22:19 it's an example of a language i know you like 05:22:31 right, which doesn't suck. There's the key difference. 05:22:36 but, you have clearly made the foregone conclusion that tcl sucks 05:22:41 and nothing that can be presented will change your mind 05:22:44 CakeProphet: Okay, if you know how Tcl actually works, then tell me: what are the core bits of Tcl? 05:22:47 because you will view it as a collection of facts 05:22:53 and ignore them and "derive your opinions from them" 05:23:03 so basically this is just an excuse to tell us that you hate tcl and hope we agree 05:23:04 which 05:23:09 is stupid from a perspective of actually wanting to learn anything 05:23:11 or having an open mind 05:23:12 whatever 05:23:16 im switching the tab back again 05:23:17 pikhq: the core bits? you mean how it works internally? I have no idea. How it works: lists and commands? I don't know what you're asking. 05:23:17 I'll give you a hint: the entirety of Tcl is described in like 2 pages. 05:23:17 god i need sleep 05:23:30 no wait no im not 05:23:39 CakeProphet: What's the core bits of its semantics. 05:23:42 CakeProphet: you can only understand lisp by knowing how you implement it. you can only understand forth by knowing how you implement. 05:23:51 fill in the blanks. wait i just showed that this was completely pointless why am i talking 05:25:59 pikhq: Well tcl uses strings for about everything. But for structure it uses lists and commands (which can roughly be the same thing). Probably not what you were looking for, I don't care. 05:26:18 My main complaint is the syntax. 05:26:28 im changing the topic to the homestuck update now 05:26:31 hahaha hussie really went there 05:26:33 ok go back to arguing 05:26:38 CakeProphet: what syntax 05:26:43 tcl's syntax.... 05:26:47 its just a list of "command arg ...", that's even simpler than Haskell 05:26:56 [x] runs x, then interpolates the result in; that's a feature of strings 05:26:57 I did say "the syntax is not simple" 05:26:59 I said I don't like it. 05:27:04 "x" and {x} are the same 05:27:05 *didn't 05:27:09 just the latter doesn't interpolate 05:27:13 CakeProphet: but there /is/ no syntax 05:27:25 It's at least as syntaxless as Lisp. 05:27:28 there is. You just described it. 05:27:36 yeah, but its practically nonexistent 05:27:38 lets put it this way 05:27:43 Tcl has less syntax than /Perl string literals/ 05:27:48 and, since Tcl is basically one big string literal 05:27:49 ....okay? 05:27:52 that's actually meaningful 05:28:23 elliott: I think he might be *objecting* to simple syntax. 05:28:24 this has nothing to do with the fact that I still don't like tcl's syntax. You are wasting your time by trying to demonstrate how simple or nonexistent it is. 05:28:34 CakeProphet: What don't you like about it? 05:28:59 can i just sit here and quietly lol at someone who likes perl complaining about superficial syntax details 05:28:59 The lack of it, yes. 05:29:01 tee hee hee hee 05:29:05 hee hee hee 05:29:06 tee hee hee 05:29:08 hee hee hee hee 05:29:11 hee hee hee 05:29:13 hee 05:29:17 Wait, you like Perl? 05:29:20 yes. 05:29:31 and a number of other languages. 05:29:46 elliott, is Hussie working on EOA5? 05:29:52 The least aesthetic language? 05:29:52 I should be asleep right now 05:30:01 Sgeo: i dont know let me get out my psychic goggles 05:30:05 Haskell, bash, Python is kind of okay but I'm starting to like it less. C is fine but slightly fucked up. 05:30:06 Sgeo: have you seen the update anyway 05:30:11 No, just noticed it now 05:30:14 Reading now 05:30:15 "Haskell, bash" worst way to start a list 05:30:19 *pfft* 05:30:22 You *like* shell. 05:30:22 unless its like 05:30:28 an alternating list of good things and bad things 05:30:32 ..no. 05:30:55 I can see why you dislike Tcl, at least. 05:31:00 You have no taste. 05:31:18 taste is subjective. So, sure. 05:31:42 ATTN EVERY DINOSAUR COMIC FANS 05:31:43 http://local-static4.forum-files.fobby.net/forum_attachments/0027/5004/DinosaurComicsTheme.mp3 05:31:48 pikhq: Gregor: all good people: 05:31:56 About the best that can be said for Perl and bash is that you can get shit done with them. 05:32:09 Which, incidentally, is the only reason they survive. 05:32:30 pikhq: yes that is what I like about them. 05:32:43 You like the ugly hackishness? 05:32:51 ..yes, it's convenient. 05:32:59 pikhq: you are doing something that isn't listening to the dinosaur comics theme 05:33:01 and actually Perl isn't that ugly. 05:33:01 cease 05:33:09 people can make it ugly, sure. 05:33:24 Sigels are inherently ugly. 05:33:31 cease 05:33:31 sigils? 05:33:33 honestly I don't see "oh no there's symbols everywhere" as ugly. 05:33:35 Sigils, rather. 05:33:57 tcl in my opinion is ugly. 05:34:35 You are everything that is wrong with computers. We're done. 05:34:51 pikhq: listen to the fucking dinosaur comics theme or die a horrible death 05:35:02 pikhq: on tesla coil 05:35:03 I like two different qualities in languages. a) it is useful and easy to get shit done with b) it's pure or elegant. tcl is neither of those. 05:35:15 What's not pure or elegant about Tcl? 05:35:17 tcl is b 05:35:19 elliott: I don't like to stop albums halfway through. 05:35:30 pikhq: dude this is the DINOSAUR COMICS THEME. 05:35:34 it has RYAN NORTH'S APPROVAL HIMSELF. 05:35:35 elliott: It's queued. 05:35:41 this would be worth stopping CHILDBIRTH for, pikhq. 05:35:55 i would abandon my currently-being-born baby to listen to this. 05:37:06 pikhq: I find it amazing that you can say that I'm "everything that is wrong with computers" from such a minor difference in opinion about programming languages. 05:37:35 hash esoteric always one hundred percent and literal about every statement 05:38:23 Yup. We are never over the top or exaggerated. Only perfectly literal about every statement. 05:38:50 its funny because if i said youre all stupid terrible idiots i would actually be being perfectly sincere :D 05:39:09 yes, more often than not things are taken literally in here. 05:39:13 not always. 05:39:14 BTW, picol is pretty neat. 05:39:29 i wonder what you could actually remove from tcl, as far as minimalism goes 05:39:36 dollar sign is obviously a relatively minor convenience 05:39:36 expr. 05:39:42 i mean the core pikhq 05:39:50 "" could go, you can just use {} and manual splicing 05:39:51 Oh. Dodecalogue. 05:39:59 so basically 05:40:00 You could remove {*}. 05:40:07 you have [] at top level and everything evaluated 05:40:09 and {} 05:40:10 Which itself was only added in 8.5. 05:40:18 full list of things: words, [], {} 05:40:21 whoops it is tiny... 05:40:24 oh you can remove global variables too 05:40:27 just pass everything around 05:40:45 then change {} into () and you have weirdo lisp 05:40:52 or maybe [] 05:44:16 CakeProphet: http://antirez.com/picol/picol.c.txt What's not elegant about this? 05:44:49 -!- mycroftiv has quit (Ping timeout: 260 seconds). 05:45:50 pikhq: that is not tcl code. That is an interpreter for tcl. 05:46:06 And I'd consider that a pretty much full implementation, seeing as to get an interpreter of Tcl 8.4 out of that you'd only need to implement more commands. 05:46:06 -!- mycroftiv has joined. 05:46:56 cool, so it's easy to parse. 05:47:07 CakeProphet: everything you are saying is pointing towards tcl being something you respect or admire for its simplicity and elegance of implementation rather than actually use 05:47:22 despite this you are only referring to these qualities in mocking terms which is just totally inconsistent if you like any other language like that 05:47:24 which you said you did 05:48:26 Hmm. Actually, it's missing the semantics of unknown; you'd need a couple of lines in picolEval for that. 05:48:34 uh, not really. But yes, I do respect that it's a simple language. But that's it. I still think it sucks to actually write tcl code. 05:48:37 and {star} 05:48:53 CakeProphet: "I like two different qualities in languages. a) it is useful and easy to get shit done with b) it's pure or elegant." 05:48:58 sooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo 05:49:09 Yeah, {*} would need a little bit of work in the parser. 05:49:10 elliott: but I never specfically mentioned tcl being pure or elegant. 05:49:14 nobody's saying you should think tcl is nice to code in, just that if you really hate it on every possible level, you probably just don't understand it at all. 05:49:17 nor do I think it's pure... or elegant. Just simple. 05:49:25 What's not pure or elegant about it? 05:49:35 CakeProphet: no, but cool, so it's easy to parse. is dismissing something that is actually a - oh fuck this you're an idiot have i mentioned 05:49:39 im going to go ask Gregor if his gc is still segfaulting 05:49:58 I also think it's occasionally nice to code in, but I admit, it has some rough spots. 05:50:01 pikhq: that is a difficult question to answer. :P 05:51:12 to me those words imply a kind of mathematical beauty. I think tcl lacks that. 05:51:34 http://www.tcl.tk/man/tcl8.5/TclCmd/Tcl.htm That's the whole of Tcl. 05:52:24 It's got a man page the size of cat's. 06:05:14 at least when you guys bash Perl, I actually know you've used it to some extent. 06:05:20 I cannot say the same for others. 06:05:29 -!- Lymia has joined. 06:06:18 Yes, I actually have personal experience to back my opinion of the language. 06:06:36 Which... Actually can't be said of most critics of most languages, really. 06:07:06 here's an idea 06:07:09 every time you want to complain about a language 06:07:12 make a new esolang instead 06:07:49 elliott: I'd probably have written the entire esolangs wiki by now. 06:08:25 precisely 06:08:30 pikhq: I admit Perl would be horrible if you were working with someone elses horribly designed code in some kind of decently large project. 06:08:52 but that never happens for me, so that's why I like using it. 06:09:22 and the above statement is true of most languages. 06:09:28 http://grasptheuniverse.com/random/free-fall-from-space/ 06:09:30 hacked by leet hackers 06:09:33 $pecial Fuck 2 TuNiSian ministry of justice & defence & interior 06:09:54 If you're working with other people's horribly designed code, all languages suck, and we should exterminate humanity. 06:12:50 -!- ray24 has joined. 06:13:08 ray24: where did you put the earlier raws 06:13:09 rays 06:16:20 So lesse, on my laptop, which is two-core so essentially Java can't do parallel GCs, my GC is consistently faster now. 06:16:23 Even in the default branch. 06:16:31 On my home computer (4-core) it's a tossup. 06:16:36 And on my work machine, it wins. 06:16:40 (8-core there) 06:16:44 So ... yeah, parallel collection :P 06:17:45 Gregor: Faster... than... Java? 06:17:54 BRB xorg 06:17:59 -!- elliott has quit (Remote host closed the connection). 06:18:00 Space Gregor is a programmer from SPACE 06:18:02 I don't know. I've been pirating everything off the internet 06:18:11 FEels good to not pay a dime for anything! 06:18:34 -!- elliott has joined. 06:18:43 ray24: are you trying to pirate things here 06:18:56 I'm trying to pirate everything that I think is good 06:19:30 do you know what this channel is about 06:19:36 Yeah 06:19:42 Pirate esoteric 06:19:49 what is pirate esoteric 06:19:50 i mean 06:19:51 in yoru view 06:19:54 what is pirate esoteric 06:20:02 hehe 06:20:09 this is an important question to ask ray24 06:20:17 You should think about it 06:20:23 i already know 06:20:27 i am asking you 06:20:29 it is something we do 06:20:35 what if I don't know the answer 06:20:39 guess 06:20:47 what if I can't guess 06:20:52 then you must leave 06:21:08 what if I can't leave 06:21:25 this channel is about programming btw 06:21:33 Yeah what do you program 06:21:40 esoteric programming languages, see http://esolangs.org/wiki/Main_Page 06:21:44 sorry you got too boring to mislead :( 06:21:59 how come a programming channel have less than 50 people 06:22:10 because it's esoteric. 06:22:33 we're also really rude and horrible to newbies. well ok i am 06:22:44 we're the cool internet cabal that everyone talks about. 06:22:48 You've been pretty nice and generous in your response 06:23:09 yeah i dunno what is up with me 06:23:10 i need sleep :( 06:23:22 Maybe you're programming in the wrong language, iono 06:23:42 who says i'm only programming in one 06:24:03 Me 06:24:14 ur a liar bad pirate 06:24:21 ^_^ 06:24:32 Anyways, I got to loot more stuff 06:24:34 so hey how did you find this place anyway 06:24:37 Um 06:24:38 i simply don't believe anyone actually looks at /list 06:24:51 I just randomly load the channel list and clicked 06:25:01 wow 06:25:03 people actually do that 06:25:04 ok 06:25:09 :D 06:25:16 have fun with your copyright infringement :P 06:25:20 :D thanks man 06:27:07 ray24: where are you from? 06:27:22 > cross = liftM2 (,) in cross [1..10] [1..10] 06:27:23 : parse error on input `=' 06:27:28 > let cross = liftM2 (,) in cross [1..10] [1..10] 06:27:29 southpark 06:27:29 [(1,1),(1,2),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(2,1),(2,2),(... 06:27:32 I'm from southpar 06:27:34 coppro: are you asking like physical location 06:27:49 elliott: no I wanted to know if he's from DARPANET 06:27:58 lmao 06:28:07 ray24: total child porn pirate warez channel this 06:28:10 let me show you the dccs 06:28:20 coppro: * [ray24] (~ray24@adsl-70-231-243-95.dsl.snfc21.sbcglobal.net): ray24 06:28:23 say whAt 06:28:24 INCONTROVERTIBLE PROOF, we're safe 06:28:37 elliott: I can't read hostnames and am lazy 06:28:47 so why do you look up people's IP 06:28:53 ~ray24@spying.on.you.darpa.gov 06:28:56 ray24: its hardly looking up 06:28:57 /whois foo 06:29:06 gives you foo's realname field, username field, hostname 06:29:06 what is there to gain for you? 06:29:13 lol its a feature of irc dude 06:29:14 ray24: I want to know where you are :D 06:29:18 it shows channels you have in common 06:29:20 Why do you want to know where I am 06:29:22 what their realname is filled out to be 06:29:23 because you're hot and I want to stalk you 06:29:32 often i can remember someone from the wiki if i see their realname 06:29:35 ray24: paranoid much?... 06:29:37 your ip is public when you join irc 06:29:38 look 06:29:43 * ray24 (~ray24@adsl-70-231-243-95.dsl.snfc21.sbcglobal.net) has joined #esoteric 06:29:43 well, no 06:29:47 i saw it as soon as you entered the channel, everyone did 06:30:05 elliott: no one else cares though. 06:30:14 CakeProphet: ray24 evidently does :D 06:30:33 ray24: hey, how's life in san francisco? 06:30:34 stop e-raping me 06:30:40 ray24: behind you ;) 06:30:43 yeah well.. I'm not in SF 06:30:45 fuck 06:30:50 well your ip thinks you are. 06:30:56 so what step did you take to arrive at that answer? 06:30:59 you're in california anyway 06:31:06 elliott: damn, beat me to it 06:31:08 ray24: google "geo ip" -> click first result -> paste in -> hit enter 06:31:17 lol 06:31:17 took like three seconds and you were freaking out so i figured it might provide some amusement 06:31:55 Often times you don't even really need to bother, though. 06:32:08 It's pretty inaccurate 06:32:13 I'm not even close to SF 06:32:19 your isp is 06:32:19 are you in california? 06:32:24 maybe 06:32:25 :P 06:32:30 close enough :P 06:32:36 You'll never find me 06:32:37 :D 06:33:06 ray24: oh, you've fallen right into our trap. 06:33:09 admitting your rampant piracy like that. 06:33:13 we are coming to cease your possessions. 06:33:17 coppro: initiate operation 9terra 06:33:25 * pikhq hits the google 06:33:34 !show rot47 06:33:34 ​perl $_=<>;tr/!-~/P-~!-O/;print 06:33:36 ^_^ I keep all my pirated stuff on an external drive 06:33:37 ray24: We will be with you within the hour. 06:33:37 activated. 06:33:38 -!- elliott has left ("xp0.FOUR/xy;initiate;procedure"). 06:34:06 http://thetegu.com/member.php?1688-Ray24 Any relation? 06:34:15 no lol wtf 06:34:24 dude you guys are weird 06:34:28 -!- elliott has joined. 06:34:28 freaks 06:34:34 God damned generic nicks. 06:34:40 ray24: you'd better evacuate your wife and kids. 06:34:42 pikhq: ow 06:34:45 your house is about to disappear. 06:34:51 Why can't people be easy to Google? 06:35:02 coppro: Yours is easy to Google. 06:35:04 it is very easy to trace my online identity since no one else uses this screen name. 06:35:10 maybe hes twenty four years old 06:35:13 pikhq: no, I mean you hit Google. That hurts. 06:35:17 coppro: Hah. 06:35:21 ;) 06:35:35 ray24: http://ray24.livejournal.com/profile 06:35:38 ray24: you totally are in sanfran. 06:35:45 operation 9terra phase 2 initiate 06:35:55 But we already knew this. 06:35:56 lol... that's not me 06:35:57 -!- coppro has left. 06:36:03 Enjoying Taekwondo, deadman? 06:36:07 -!- elliott has left ("Leaving"). 06:36:36 -!- scshunt has joined. 06:36:36 !rot47 computer: initiate tracking programs. find target 542049. confiscate kids and hold them for ransom. 06:36:37 ​4@>AFE6Ci :?:E:2E6 EC24<:?8 AC@8C2>D] 7:?5 E2C86E dca_ch] 4@?7:D42E6 <:5D 2?5 9@=5 E96> 7@C C2?D@>] 06:36:44 EXTERMINATE! 06:36:44 PEACE 06:36:47 -!- ray24 has left ("Leaving"). 06:37:02 -!- coppro has joined. 06:37:08 operation 9terra: successful 06:37:13 -!- elliott has joined. 06:37:18 Well, that was nicely done. 06:37:19 -!- scshunt has left. 06:37:31 And now he's probably freaked out by the power of Google. 06:38:02 i've moved to /msg 06:38:03 poor guy 06:38:07 reading the logs, I have no fucking clue what just happened 06:38:07 pikhq: except we found nothing :F 06:38:09 [asterisk]:D 06:38:13 coppro: seems to not include notices 06:38:22 hmm indeed 06:38:23 elliott: I figured a lot of scary symbols would scare him. 06:38:37 http://tunes.org/~nef/logs/esoteric/11.06.09 this does 06:38:45 BTW, coppro, dang you have a large Internet presence. 06:39:01 least creepy thing to say ever 06:39:12 Yup! 06:39:25 Gregor has a pretty odd one, though. 06:39:30 pikhq: it's like a chronicle of my life, the various fora I've been to and stuff 06:39:30 ok stop it 06:39:48 https://encrypted.google.com/search?q=Gregor+Richards&hl=en&client=iceweasel-a&rls=org.mozilla:en-US:unofficial&prmd=ivns&tbm=isch&tbo=u&source=univ&sa=X&ei=CbzxTYGMG4uu0AHcl5XdCw&ved=0CFsQsAQ&biw=1440&bih=784 Check out a GIS. 06:40:12 It's like a blend of 5 different people. 06:40:34 elliott: Stop what, putting nicknames or real names into Google? 06:41:05 both :D 06:41:27 I'll Google *you* next. :P 06:41:30 pikhq: searching my full name gives little though, except for the math society where the names are loaded from the university database and I haven't bothered asking them to take my middle names out 06:41:30 :( 06:41:34 I should though 06:41:36 "Surprisingly", not helpful. 06:42:14 I do love how hard it is to find me on Google if you don't know either of my common nicknames though 06:42:38 hi christopher sherwood 06:42:42 that's a fake name btw 06:42:47 which i made up as a demonstration for the log 06:42:49 not anything real 06:42:57 elliott: thanks 06:43:13 yeah i would never do something that stupid for a joke on irc 06:44:24 My dick is like lightning. 06:44:30 yes. 06:44:31 * pikhq wonders how much stuff is actually tied to his real name... 06:44:38 CakeProphet: you should say your real name now so that google hears this. 06:44:44 Never. 06:45:17 I'm apparently still staff at Tufts. 06:45:21 News to me! 06:45:30 lol 06:45:33 welcome to the internet 06:45:34 it never dies 06:46:05 pikhq: was that when you were like three years old 06:46:28 No, but it was over a year ago. 06:46:47 !delinterp rot47 06:46:48 ​Interpreter rot47 deleted. 06:46:49 !addinterp rot47 perl print<>=~tr/!-~/P-~!-O/ 06:46:49 ​Interpreter rot47 installed. 06:46:56 !rot47 this is a test 06:46:57 ​Can't modify in transliteration (tr///) at /tmp/input.8441 line 1, at EOF 06:47:06 ... 06:47:09 ah, yes. 06:47:13 of course. :P 06:47:40 !delinterp rot47 06:47:40 ​Interpreter rot47 deleted. 06:47:45 !addinterp rot47 perl $_=<>;tr/!-~/P-~!-O/;print 06:47:46 ​Interpreter rot47 installed. 06:47:50 no golfing for me. 06:49:07 pikhq: so when you were two then 06:49:13 -_-' 06:49:37 sorry, one 06:50:34 does tr have any uses besides rotn 06:50:40 !addinterp rot32 sh cat 06:50:40 ​Interpreter rot32 installed. 06:50:43 !addinterp rot32 cat 06:50:44 ​There is already an interpreter for rot32! 06:50:46 !delinterp rot32 06:50:46 ​Interpreter rot32 deleted. 06:50:49 !addinterp rot32 cat 06:50:50 ​Interpreter cat does not exist! 06:50:52 Lymia: ...whut. 06:50:54 CakeProphet: the unix command, yes. 06:50:59 !addinterp rot32 sh cat 06:50:59 ​Interpreter rot32 installed. 06:51:01 !rot32 test 06:51:02 ​test 06:51:07 double encrypt 06:51:23 Lymia: ...you have gotten rid of the original rot32. That will take years to recode. 06:51:37 Rot32 is the application of rot16 twice. 06:51:40 13* 06:51:46 no shit 06:51:48 No wait... 06:51:49 Rot 32? 06:51:53 Wrong joke! 06:52:00 !delinterp rot32 06:52:00 ​Interpreter rot32 deleted. 06:52:07 !addinterp rot52 sh cat 06:52:07 ​Interpreter rot52 installed. 06:52:41 ... -_- 06:53:01 quadruple encrypted... 06:53:08 !addinterp rot26 sh cat 06:53:09 ​Interpreter rot26 installed. 06:53:29 !rot13 test 06:53:30 ​grfg 06:53:33 delinterp Lymia 06:53:35 !rot13 .,23.,24998!@#*!@#$*!@#% 06:53:36 ​.,23.,24998!@#*!@#$*!@#% 06:53:53 okay, so it leaves those characters alone. 06:54:54 !rot47 !@#)*#*)!@#*!@)#*!)@@$*!)@#*)!@#*!)@$&!@)#$&!@%)!@# 06:54:54 ​PoRXYRYXPoRYPoXRYPXooSYPXoRYXPoRYPXoSUPoXRSUPoTXPoR 06:55:50 I think from Google results, I can conclude that I am a time traveller. 06:57:04 pikhq: excellent 06:57:34 please go back in time three days and tell George Histenton not to do it 06:58:04 what did he do 06:58:18 im hoping something horrible that will make this entire thread of conversation really awkawrd 06:58:48 how the fuck should I know? 06:58:56 note 06:58:59 i dont actually know who George Histenton is 06:59:04 me neither 06:59:27 coppro: I'm afraid I have yet to obtain my time machine. 06:59:28 lets just say he did a huge school shooting then jumped off a building near where you are, that should be enough to make this very awkward 06:59:54 Though I could hit up Cambridge and see my grave. 06:59:56 pikhq: the logs will be available then 07:00:05 Quite true. 07:00:14 pikhq: What if you're a time lord? 07:00:23 pime tord 07:01:12 Then that would explain the name change I saw. 07:01:52 Actually, no, no it wouldn't. 07:02:23 eight am, i should sleep, i should sleep, i sh 07:02:28 ould sleep, i 07:06:14 http://jon.io/ this is the worst fucking webpage to ever exist augh 07:06:59 augh 07:07:36 * pikhq should sleep. 07:07:50 ditto 07:07:54 what time is it there 07:08:00 T01:07 07:08:01 monqy: do you feel the un-zepto terribleness of it 07:08:10 its the least zepto webp- 07:08:10 "Built using Clojure and MailChimp." 07:08:12 two times least zepto webpage 07:08:21 WHY ARE THE FUCKING LOGOS FLOATING 07:08:24 IT MAKES NO FUCKING SENSE 07:08:25 DOSIJFOSFOFDF 07:08:31 Seems to fail with noscript. 07:08:32 I actually forgot about zepto 07:08:34 oops 07:08:49 monqy: its the best adjective and vapourware 07:08:51 why are there logos at all anyhow 07:08:51 OH GOD THE UNZEPTO 07:09:02 monqy: theyre in a cloud 07:09:03 oh my god 07:09:03 wait 07:09:06 is that an actual metaphor for like 07:09:07 the cloud 07:09:08 please say no 07:09:10 it fucking is isnt it 07:09:12 im going to cry 07:09:14 I thought it was actually 07:09:17 it probably is 07:09:29 i hate startsups i fucking hate startups everyone in a startup should die 07:09:30 I thought that's why you aughed. it's why I aughed at least. 07:09:31 wow this webpage is 07:09:34 I hereby ban them from HTML. 07:09:36 eating at my soul 07:09:38 The unzepto! 07:09:38 elliott: nothing describes the internet better than a cloud, obviously. 07:09:44 eating at my fucking soul 07:09:46 cloud cloud 07:09:50 ok thats been my two minutes hate i cant stand to have this page open any longer 07:09:54 It's absolutely terrible without Javascript. 07:10:10 dude 07:10:13 cant possibly worse than it with javascript 07:10:14 It's got the header, a few *pages* of whitespace, and then the content. 07:10:25 better, the logos don't move 07:10:34 The logos don't exist. 07:10:45 :))) 07:10:46 Though I think the code for them is the whitespace. 07:10:46 happier life 07:10:56 pikhq: I don't think you can comfortably browse most websites anymore without Javascript. 07:11:08 >incoming nerdrage 07:11:28 CakeProphet: I use Noscript extensively. 07:12:00 It goes a long, long way to making random websites tolerable. 07:17:29 WOW LOOK AT THIS IN MERE SECONDS I AM GOING TO SLEEP (LIES) 07:21:25 -!- Phantom_Hoover has joined. 07:27:11 What was the first language to pass arguments by key-value pairs? 07:28:24 http://en.wikipedia.org/wiki/Named_parameter <-- your mom, apparently 07:35:39 oh god it's only after midnight 07:40:56 I *could* sleep. 07:41:00 Or I could listen to Queen. 07:41:31 Only one of those two options is awesome in audible form. 07:42:56 Ahahah foolish Americans it is morning in the civilised world. 07:42:56 Phantom_Hoover: You have 4 new messages. '/msg lambdabot @messages' to read them. 07:43:42 Phantom_Hoover: elliott is also complaining about how he needs to sleep. 07:44:11 Admittedly, elliott defies your dormal norms. 07:46:17 Also, it is definitely "morning" here, for certain definitions of "morning". 07:46:48 It's morning here as in I had breakfast an hour ago. 07:47:22 Yeaaah, that's a terrible definition of morning. 07:47:41 Seeing as my first meal of the day is generally lunch. 07:49:06 -!- ais523 has quit (Remote host closed the connection). 07:49:35 It's morning as in it's nearly 9 o'clock what more do you want from a morning. 07:49:54 A TARDIS. 07:50:08 Also a pony. 07:52:06 Agreed 07:52:13 pikhq: Sleep is for the weak 07:52:20 and those who don't need to be in a cab in 5 hours 07:52:58 Why a cab? 07:53:21 so I can catch the airplane 2 hours 18 minutes later 07:53:33 also 5 hours 7 minutes 07:54:00 Baaah, specific yet non-specific answers! 07:54:07 I have to be in a cab in half an hour. 07:54:40 I'm not sure it'd be possible for me to catch a cab. 07:54:49 pikhq: I was referring to me 07:54:59 coppro: Yes, I know. 07:59:11 a targis? what? huh 07:59:16 tarddddis 07:59:20 cause i cant toop 07:59:22 augur: out 07:59:33 coppro: in 07:59:50 pikhq: This could all be solved, however, by you getting a TARDIS at some point in your future, and taking me where I need to go 08:01:31 -!- ralc has joined. 08:02:39 coppro: Why yes, yes it would. How convenient that I will at some point have one. 08:03:02 As we can conclude by my death being in the 1700s. 08:06:18 I willen on-not having-been a good game of timey wimey ball in ages. 08:07:13 Sorry Doctor Who's time-travel system is not all that complex. 08:07:28 I'm fairly sure it can be modelled accurately simply by adding a second time dimension. 08:08:35 Phantom_Hoover: Doctor Who does not have a single time travel system. 08:08:49 It has whatever time travel system is most convenient at the time to the writers, near as I can tell. 08:08:53 Hence the timey wimey ball. 08:10:27 -!- myndzi has quit (Ping timeout: 252 seconds). 08:10:39 pikhq, doesn't it essentially come down to "you can change the past"? 08:10:44 No 08:10:47 Except when you can't. 08:10:54 And when other things happen 08:11:08 It's never been an essential physical law that you can't, it's just been that Bad Things happen when you do. 08:11:35 We're talking about a series where, at one point, the entire universe ceased to ever have existed, except Earth and an explosion. But Earth existed and was fully-formed and had a human civilization despite. 08:11:52 Still modellable. 08:12:00 No, it really isn't 08:12:09 And time demons destroy everything when you change the past wrong. 08:12:28 Also, the main character has never been born. 08:13:03 And at various points, there are stable time loops. 08:13:16 Oh, yeah, and the canonical reason for him not preventing Hitler is that it's physically impossible, IIRC. 08:13:45 Remember, this is a series which has aired for decades. 08:13:53 And has time travel as its basic premise. 08:13:59 pikhq: Actually, the next episode is entitled "Let's Kill Hitler" 08:14:08 And has not always had the best writing. 08:14:17 -!- elliott has quit (Ping timeout: 240 seconds). 08:14:32 Phantom_Hoover: I should add that "timey wimey" is canonical 08:15:12 Pretty much the only way to handle Doctor Who time travel is to shut up and enjoy the show. :P 08:15:17 ^ 08:15:29 -!- monqy has quit (Quit: hello). 08:15:46 also the part where nothing is every truly erased from history 08:16:02 (why hasn't the doctor tried to use this to get gallifrey back?) 08:16:18 Pretty much the only way to handle Doctor Who time travel is to shut up and enjoy the show. :P 08:16:33 I gave up on enjoying it around the time River Song became a semi-regular character. 08:16:39 Incidentally, that's one of my favorite lines 08:16:56 Fear me, I have killed hundreds of Time Lords. 08:17:08 Fear me, I killed all of them. 08:17:16 Which house? 08:18:05 coppro: Because the Doctor does not want Gallifrey back. Indeed, in The End of Time (recent-ish), he stopped the return of the Time Lords. 08:19:07 (note: written by Russel T Davies, who is one corny writer) 08:19:21 Phantom_Hoover: character named House 08:19:45 pikhq: How much have you seen total of the series? 08:19:48 pikhq, by 'corny' you mean 'terrible', of course. 08:20:20 coppro: Random bits of the 4th, large chunk of 9th and 10th, few episodes of the 11th. 08:20:26 ok 08:20:44 Phantom_Hoover: I was being generous. 08:20:58 pikhq, don't be. He doesn't deserve it. 08:21:12 His only achievement was keeping Moffat decent. 08:22:04 And reincarnating the series. 08:23:57 Phantom_Hoover: Here's another one 08:24:16 Phantom_Hoover: Doctor goes back in time and changes the past concurrently with the present, Back to the Future style 08:26:23 pikhq, yes, but he then decided that he should be able to write for it. 08:26:46 I suppose it does even out. 08:48:45 Phantom_Hoover: River's development is pretty good in my opinion, but I haven't seen pre-11th 08:57:22 pikhq: The 11th has shown quite a bit of remorse and jumped several times at the thought of another Time Lord.. perhaps it's due to the regeneration? 09:00:17 -!- FireFly has joined. 09:25:49 -!- pikhq_ has joined. 09:26:01 -!- pikhq has quit (Ping timeout: 268 seconds). 09:56:10 -!- Patashu has joined. 10:11:16 -!- azaq23 has joined. 10:21:09 -!- Vorpal has joined. 10:39:01 -!- myndzi has joined. 10:54:30 -!- MigoMipo has joined. 11:15:55 -!- BeholdMyGlory has joined. 11:56:46 -!- pikhq has joined. 11:56:59 -!- pikhq_ has quit (Ping timeout: 260 seconds). 12:14:07 -!- cheater1 has joined. 12:35:40 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 12:41:26 -!- ralc has quit (Read error: Connection reset by peer). 12:41:26 < just found out about tput 12:41:43 -!- ralc has joined. 13:50:19 -!- copumpkin has joined. 13:58:36 -!- oerjan has joined. 14:30:41 -!- oerjan has quit (Quit: leaving). 14:33:08 -!- Vorpal has quit (Ping timeout: 268 seconds). 14:51:59 -!- Kustas has joined. 15:00:38 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 .). 15:40:41 -!- wareya_ has joined. 15:43:50 -!- wareya has quit (Ping timeout: 246 seconds). 15:50:10 -!- Kustas has quit (Quit: gone). 16:01:15 -!- pikhq has quit (Ping timeout: 252 seconds). 16:01:17 -!- pikhq_ has joined. 16:45:43 -!- Vorpal has joined. 16:55:42 -!- Phantom_Hoover has joined. 16:57:42 -!- TOGoS has joined. 16:58:00 -!- TOGoS has left. 17:10:23 http://www.wolframalpha.com/input/?i=volume+of+atlantic+ocean+*+butter+density 17:10:28 I like the units it picks. 17:10:48 Ounce cubic kilometres per cup. 17:12:39 http://www.reddit.com/r/askscience/comments/hvugz/is_it_true_that_the_seconds_between_lightning/c1ywftn 17:12:51 Said like one who has never met augur on IRC. 17:15:36 -!- zzo38 has joined. 17:16:11 42 atlantic oceans of butter equal 1 pluto 17:16:25 *approximately :) 17:16:36 Of extreme scientific importance, that is. 17:16:56 I started writing that sentence and then realised that I had no idea how to terminate it in a non-Yoda way. 17:19:05 are all your arrow keys, backspace and home broken? does your IRC client not have some kind of line editor? 17:19:19 It does, but I couldn't be bothered rewriting the sentence. 17:19:26 So I Yoda'd it up. 17:19:31 That is o 17:19:42 . 17:20:22 olsner I feel you are overthinking this. 17:20:51 overthinking I am not, I feel 17:22:01 .....use tape bound..... 17:26:56 -!- azaq23 has quit (Quit: Leaving.). 17:43:31 -!- Kustas has joined. 17:52:19 -!- monqy has joined. 18:17:32 -!- Kustas has left. 18:31:32 -!- ralc has quit (Remote host closed the connection). 18:38:16 Do you like Charities for poor people and monsters with names starting with "A"? 18:42:17 If you are making a program that, in UNIX, uses SIGUSR1 to interrupt some loops (by setting flags, etc), how can you do similar things in Windows? 18:42:41 Well, would you look at that. New version of the Haskell Platform in Debian this morning. 18:44:55 Which Debian? 18:47:10 Wheezy. 18:47:21 Been in Sid for a while. 18:50:40 http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-615.pdf 18:50:46 OK this paper is now my favourite. 18:52:02 Phantom_Hoover: Text looks like badly on my computer 18:54:57 Phantom_Hoover: :) 18:55:41 check out my response to the comment :) 19:01:45 -!- cheater1 has quit (Ping timeout: 240 seconds). 19:02:32 augur, what's with the star things on /r/Anarchism. 19:02:41 Phantom_Hoover: what do you mean 19:02:52 The half black/half coloured ones. 19:03:22 yes but whats the question 19:03:23 Someone mentioned Boltzmann brains in here/ 19:04:40 The half black/color stars of anarchism are also mentioned on Wikipedia. 19:04:53 The color half indicates different categories of anarchism. 19:05:03 oh, the question is what do they mean? 19:05:04 yes. 19:05:15 augur, yes. 19:05:21 sorry, i wasn't sure what you were asking 19:05:32 i was half tempted to respond "whats up is we like them!" 19:05:39 Red=communism Yellow=capitalism Green=naturalism White=pacifist 19:05:50 @tell elliott BtW, that CA paper has a lot about conservative CAs. There are no new ideas under the sun. 19:05:51 Consider it noted. 19:05:51 Black=anarchist 19:06:06 @tell elliott Also we all suck. 19:06:06 Consider it noted. 19:06:14 Phantom_Hoover: theres a link in the sidebar 19:06:20 that explains the stars 19:06:22 Maybe I shouldn't bother to make my language statically typed. I mean, LSL is statically typed, but there's a glaring type hole 19:06:51 Phantom_Hoover: http://www.reddit.com/help/faqs/Anarchism#WhatarethosefunkystariconsnexttosomenamesandhowcanIgetone 19:06:58 "type hole". What a technical sounding term 19:07:57 Sgeo: sounds like a hole/shed in a type 19:08:03 as opposed to a lacuna 19:08:12 What is "type hole"? 19:08:21 * Sgeo wikis lacuna 19:08:40 Sgeo: it means hole 19:08:41 x3 19:09:01 but usually people use it to mean when something is missing 19:09:03 zzo38, well, llList2String([5], 0) compiles 19:09:05 like a gap 19:09:40 Lists are heterogeneous in a statically typed environment. 19:09:44 void ***writing_garbage_collectors_is_fun 19:11:22 Phantom_Hoover: s'at explain things for you? 19:11:33 augur, so many varieties. 19:11:44 Phantom_Hoover: those arent all there is too! 19:11:50 * Phantom_Hoover wonders how the insufferability differs between groups. 19:11:51 those are just some main tendencies 19:12:03 Phantom_Hoover: everyone hates anarcho-capitalists 19:12:15 and a bunch of people hate anarcho-primitivists 19:12:26 augur, unsurprising; unsurprising. 19:12:32 everyone hates Hakim Bey but thats a separate issue 19:12:40 and other than that people generally get along 19:16:00 I don't even know what llList2String([5], 0) is supposed to mean 19:17:06 zzo38, 0th element from the list [5] assuming (wrongly) that it's a string 19:19:41 Gregor: I think soon you'll have more *s than Gs. 19:22:20 I have a book it describes a few things about garbage collection, including mark/sweep, and some others 19:27:44 -!- zzo38 has quit (Remote host closed the connection). 19:40:07 -!- oerjan has joined. 19:51:34 -!- pikhq has joined. 19:52:00 -!- pikhq_ has quit (Ping timeout: 260 seconds). 19:55:46 -!- Sgeo has quit (Read error: Connection reset by peer). 19:56:23 -!- Sgeo has joined. 19:57:37 Do you like Charities for poor people and monsters with names starting with "A"? 19:58:25 hey vampires and zombies want charity too! preferably in the form of blood and brains 20:01:38 Lists are heterogeneous in a statically typed environment. 20:01:48 well not in haskell... 20:02:04 oerjan, I was referring specifically to the environment of LSL 20:02:29 ic. same as Java without generics, perhaps? 20:02:48 oerjan: I was thinking, the knapsack problem might be better for our NP-complete syntax 20:03:10 or in fact C 20:03:46 Hmm. I'm not familiar with how Java deals 20:04:19 Sgeo: basically before generics, your container types would just contain Objects, i think (which they still do _internally_) 20:04:34 where Object is the superclass of every other class 20:04:43 Fun 20:04:59 There is no universal superclass in LSL 20:05:05 although _not_ of some primitive types such as int iirc 20:05:14 Sgeo: is there OO at all? 20:05:17 No 20:05:43 is there a way to check the type of a list element? 20:05:46 Yes 20:06:18 i guess a single-element list could work as a sort of wrapper for anything 20:06:48 does speed matter in second life 20:07:00 execution speed that is 20:07:12 Sgeo: presumably it works sort of like [Dynamic] in haskell, then 20:07:23 http://wiki.secondlife.com/wiki/LlGetListEntryType 20:07:49 wow nice language 20:09:04 Sgeo: hm i note lists are not themselves among the types possible 20:09:14 Indeed 20:09:23 Can't put a list in a ist 20:09:24 *list 20:09:26 -!- ais523 has joined. 20:11:54 http://wiki.secondlife.com/wiki/List 20:13:26 gah, I'm getting a burst of Sgeoism from my parents, who have basically banned the family from eating vegetables because of the E. coli outbreak in Germany 20:14:13 lsl looks so gross :( 20:14:32 good luck sgeo with making something less gross 20:15:00 I think I may lack a clear enough view of all of LSL's grossness 20:17:08 ais523: even british grown ones? 20:17:39 Well, I'll be damned. 20:17:49 oerjan: my mother is convinced that any vegetable I eat will be a contaminated one bought up because it was cheap, and mislabeled to trick people into buying it 20:18:02 The SCOTUS ruled yesterday that phone companies are required to unbundle their network. 20:18:20 ic. paranoid and prone to delusions. 20:18:35 pikhq: wow 20:18:54 they also ruled on i4i vs. Microsoft; now i4i have won and Microsoft is out of appeals 20:19:00 Ah. As the FCC has been demanding. 20:19:11 "Yes, AT&T, you *are* subject to FCC regulations" 20:19:16 luckily, though, they did say that the law in question is stupid (or imply it as strongly as they could), but said that it was relatively clear 20:19:33 The SCOTUS ruled yesterday that phone companies are required to unbundle their network. 20:19:37 also, the opinion looked to me like a deliberate attempt to point out a loophole in the law in question 20:19:40 Explain? 20:19:53 that could be exploited by other people who thought it was stupid 20:19:59 Phantom_Hoover: Y'know how you can have multiple DSL providers using the same last-mile wiring? 20:20:07 pikhq, in theory, yes. 20:20:29 That's because you have unbundling in your country. 20:20:34 Which law? 20:21:27 22:42:53: which is pretty much the case with current version of Standard Model + General Relativity 20:21:29 Erm. 20:21:30 No. 20:21:45 Standard Model doesn't predict neutrino flavour oscillation IIRC. 20:22:12 Phantom_Hoover: i thought they'd sort of upgraded it to include that already :P 20:22:19 (thus "current version") 20:23:01 but still no one has any idea how to combine SM and GR into something which can actually be tested for correctness in our lifetime 20:23:09 hmm, random fact I learned today: there is a division by zero in Pokémon's source code, but the division routine they use has x/0=x so they never noticed 20:23:41 I suppose x/0=x is probably the best default if you want your program to not crash on a division by zero, as it's likely to produce a result in the range it was looking for 20:24:42 assuming you are dividing by integers, and not a floating point number which should actually be close to 0 20:25:24 oerjan, also, QM is not at all friendly towards actually modelling things./ 20:25:24 floating point arithmetic's avoided like the plague in computer games, except in graphics routines, generally speaking 20:25:53 -!- cheater8 has joined. 20:27:00 Phantom_Hoover: what do you mean by "modelling" here? 20:27:34 -!- twice11 has joined. 20:27:51 oerjan, well, QCD for instance is impossible to calculate in all but the very simplest of cases. 20:27:58 if you mean "calculating simulation results" there's a guy named John Sidles frequently commenting on the Godel's Lost Letter blog who would disagree with you 20:28:19 at least for noisy systems 20:29:00 oerjan, well, I know that there's no analytical proof of colour confinement, which is very nearly the simplest case you can actually have. 20:29:25 Phantom_Hoover: oh he is not talking about analytical proof, but about numerical calculation 20:29:39 oerjan, well, I'm not sure about approximation. 20:29:54 The eigenratio of reality has to be enormous, though. 20:30:12 `addquote The eigenratio of reality has to be enormous, though. 20:30:15 ​450) The eigenratio of reality has to be enormous, though. 20:31:16 ais523: Floating point arithmetic is avoided like the plague, period. 20:33:27 pikhq: most 3D graphics libraries work in single-precision floating point because rounding errors tend not to be visible, and pathological cases of floating-point arithmetic don't happen a lot in the sort of algorithms used 20:33:28 -!- ais523 has quit (Remote host closed the connection). 20:33:37 -!- ais523 has joined. 20:33:48 [21:32] pikhq: most 3D graphics libraries work in single-precision floating point because rounding errors tend not to be visible, and pathological cases of floating-point arithmetic don't happen a lot in the sort of algorithms used 20:34:51 Not to mention that single-precision is faster. 20:36:37 Wow. Fedora 16 is going to have btrfs as its default filesystem. 20:36:53 It doesn't have an fsck yet. 20:39:29 wrsfs 20:39:57 mount -o wo,remount / 20:40:59 Use this as backing device: http://www.national.com/rap/Story/WOMorigin.html 20:44:55 Oh god "Garfield in " is even worse than "Garfield inus Garfield". 20:45:31 Phantom_Hoover: i have no idea what the first is referring to 20:45:48 oh ... 20:45:52 * oerjan remembers 20:51:23 pikhq, not-present-elliott: OK, my threadsafe branch now substantially outperforms both Boehm and malloc/free, but it's still a non-marginal 27% slower than the non-threadsafe branch. 20:52:03 Hmm. 20:53:35 I have some ideas for how to bring it down, in particular my per-thread pools wasn't stable enough to make it in yet. 20:53:37 @hoogle forkIO 20:53:37 Control.Concurrent forkIO :: IO () -> IO ThreadId 20:53:49 !haskell import Control.Concurrent; main = forkIO (putStr "That is "); putStr "great!" 20:53:58 oops 20:54:04 !haskell import Control.Concurrent; main = do forkIO (putStr "That is "); putStr "great!" 20:54:08 ​grTehaatt! is 20:55:14 Gregor: the first game me something looking like the result of ls / rather than a ghc error message 20:55:17 *gave 20:55:47 !haskell import Control.Concurrent; main = forkIO (putStr "That is "); putStr "great!" 20:56:02 that gave the expected error 20:56:12 !sh ls / 20:56:12 ​bin 20:56:24 wtf 20:56:32 Gregor: _that_ gave me 20:56:36 22:56 =EgoBot> QUIT :This better not work 20:56:36 22:56 =EgoBot> 20:57:04 there's something really wrong about EgoBot's passing on of messages 20:57:38 !sh ls | fmt -w500 20:57:39 ​interps lib slox 20:57:45 oh hm 20:57:58 it was ls not ls / 20:58:04 !sh ls / | fmt -w500 20:58:04 ​bin dev etc home lib lib64 proc tmp usr 20:58:16 and missing the interps 20:58:49 Gregor: it seems like i get messages that someone else _should_ have got in DCC long ago 20:59:06 in fact i remember that QUIT :This better not work attempt from before 20:59:08 -!- elliott has joined. 20:59:44 oerjan: "Huh"? 21:00:09 !haskell import Control.Concurrent; main = forkIO (putStr "That is "); putStr "great!" 21:00:43 Gregor: several of those commands gave me responses in DCC that were completely unrelated to the command i made, and which looked like what someone else would have gotten in response to a different command 21:01:02 also, it is not repeatable in a deterministic way 21:01:12 EgoBot is based on the principle of chaos computing. 21:01:55 in fact my _second_ try of that erroneous haskell thing gave the expected ghc error message in DCC 21:02:53 however i remember this happening for quite a while. that !sh ls / above is the first case i remember where it happened as response to a fast command, though 21:03:45 !sh ls / 21:03:45 ​bin 21:04:03 nothing strange this time 21:06:38 :t fix forkIO 21:06:39 Not in scope: `forkIO' 21:06:45 :t fix Control.Concurrent.forkIO 21:06:46 Couldn't match expected type `()' 21:06:46 against inferred type `GHC.Conc.ThreadId' 21:06:47 Expected type: IO () 21:07:09 :t Control.Concurrent.forkIO 21:07:10 IO () -> IO GHC.Conc.ThreadId 21:08:01 :t fix . forever . Control.Concurrent.forkIO 21:08:02 Couldn't match expected type `a -> a1' 21:08:02 against inferred type `IO GHC.Conc.ThreadId' 21:08:02 Probable cause: `GHC.Conc.forkIO' is applied to too many arguments 21:08:18 :t forever 21:08:18 forall (m :: * -> *) a b. (Monad m) => m a -> m b 21:08:34 :t fix $ forever . Control.Concurrent.forkIO 21:08:35 IO () 21:13:03 :t Control.Concurrent.forkIO 21:13:04 IO () -> IO GHC.Conc.ThreadId 21:13:15 oh I see. 21:13:33 wouldn't fix forkIO do the trick as well? 21:13:33 for some reason it doesn't have IO a -> 21:13:44 which is why you cannot fix it 21:13:54 I think there's a IO a -> IO () function 21:14:02 but at that point you might as well use forever. 21:14:25 :t forever 21:14:26 forall (m :: * -> *) a b. (Monad m) => m a -> m b 21:14:28 right, besides fix forkIO doesn't actually do anything _after_ forking 21:14:38 :t fix (>>) 21:14:39 Occurs check: cannot construct the infinite type: m = (->) (m b) 21:14:39 Probable cause: `>>' is applied to too few arguments 21:14:39 In the first argument of `fix', namely `(>>)' 21:14:47 urgh 21:14:52 :t fix . (>>) 21:14:53 forall (m :: * -> *) a b. (Monad m) => m a -> m b 21:14:58 it's just this 21:15:17 ah 21:15:33 @hoogle m a -> m () 21:15:33 Foreign.Marshal.Error void :: IO a -> IO () 21:15:33 Text.ParserCombinators.ReadP optional :: ReadP a -> ReadP () 21:15:33 Text.ParserCombinators.ReadP skipMany :: ReadP a -> ReadP () 21:15:53 nothing direct it seems 21:15:55 although... 21:15:57 @hoogle Control.Monad m a -> m () 21:15:58 Parse error: 21:15:58 --count=20 "Control.Monad m a -> m ()" 21:15:58 ^ 21:16:02 ah 21:16:08 no there's a void function in Control.Monad. 21:16:10 :t (() <$) 21:16:11 forall (f :: * -> *) b. (Functor f) => f b -> f () 21:16:17 that also works 21:16:21 :t void 21:16:22 Not in scope: `void' 21:16:25 ...or maybe not? 21:16:30 it was definitely in the docs. 21:16:38 perhaps it's too new 21:16:50 :t ignore 21:16:51 Not in scope: `ignore' 21:16:56 yeah it is new 21:17:03 iirc gwern petitioned for it 21:17:42 :t gwern 21:17:43 Not in scope: `gwern' 21:18:15 :t elliott 21:18:15 Not in scope: `elliott' 21:18:19 ...what is this crap. 21:18:41 I can't think about typeless entities. 21:19:03 you cannot expect lambdabot to import all of elliott 21:19:19 it would ruin her self esteem 21:19:43 Perhaps Haskell needs a Please extension, like INTERCAL. 21:19:48 -!- BeholdMyGlory has quit (Read error: Connection reset by peer). 21:19:54 @list please 21:19:54 No module "please" loaded 21:20:04 so we could modify elliott with enough pleases to satisfy the interpreter/compiler in question. 21:20:29 PLEASE forever $ do ... 21:20:40 but the pleases would annihilate against the elliott 21:21:06 @hoogle void 21:21:06 Foreign.Marshal.Error void :: IO a -> IO () 21:21:11 ah yes, the natural law of anti-relationship of please and elliott. 21:21:16 @hoogle ignore 21:21:16 Text.Regex.Posix.ByteString compIgnoreCase :: CompOption 21:21:16 Text.Regex.Posix.Sequence compIgnoreCase :: CompOption 21:21:16 Text.Regex.Posix.String compIgnoreCase :: CompOption 21:21:17 * CakeProphet scribbles on some paper furiously. 21:21:25 -!- pikhq has quit (Ping timeout: 240 seconds). 21:21:31 -!- pikhq has joined. 21:21:33 i hate sweating 21:21:46 oklopol: I have actually come to train my brain to not mind it at all. 21:22:05 it's motherfuckin' built-in temperature control. 21:24:28 CakeProphet, ah, but oklopol is Finnish. 21:24:43 Wait don't they have really hot summers in Finland. 21:24:53 Like, hot by Edinburgh standards. 21:26:44 well i only mind it when i'm sitting or lying down, i don't enjoy marinating my back against a sweaty cloth, since i have acne in my back which i'd like to get rid of - although i don't actually know whether marinating it in sweat is bad for the acne. 21:27:30 Possibly you could sit in a bath of Coke all day. 21:27:41 Assuming you are still a bachelor. 21:27:41 Phantom_Hoover: finnish summers are like twenty degrees arent they 21:27:57 Otherwise you may have to compromise and use Sprite. 21:28:03 elliott, hmm. 21:28:17 at most 21:28:43 no the polar bear would die more like at most plus 1 21:28:44 You seem to be right. 21:28:52 * CakeProphet lives in the southern US. It is most likely hotter here in the summer. 21:29:07 Although Helsinki's record high is 34°. 21:29:09 but anyway it's often more than 30 in shade 21:29:15 goes up to mid-90s Fahrenheit 21:29:20 for some definitions of often 21:29:33 Phantom_Hoover: That's a *record* high? 21:30:01 elliott, AH BUT 21:30:12 Edinburgh's average high in July is 19°. 21:30:28 WHICH IS A WHOLE TWO DEGREES LESS THAN HELSINKI 21:30:29 That's... Fucking chilly. 21:30:33 A SAUNA 21:31:08 so about jacuzzis, do they usually have a way to make it it not heat but freeze the water? 21:31:16 Georgia's record high is 112 F, 44 C 21:31:16 `addquote so about jacuzzis, do they usually have a way to make it it not heat but freeze the water? 21:31:18 ​451) so about jacuzzis, do they usually have a way to make it it not heat but freeze the water? 21:31:25 *-it 21:31:26 pikhq, daily upper maxima are rarely above 22°, apparently. 21:31:26 CakeProphet: Sounds 'bout right. 21:31:27 fuck you 21:31:31 oklopol: sry 21:31:35 it wasn't because of the it it 21:31:41 :O 21:31:42 Maritime climate, bitches. 21:31:46 THERE WAS ANOTHER TYPO?!?!?!?!? 21:31:52 lol 21:32:41 today it's 31.6 C 21:33:18 CakeProphet: how do you cope 21:33:24 i die at about twentyfive degrees 21:33:30 by staying inside all day. 21:33:35 i don't mind pretty much any temperature when i'm outside, it's mostly sitting naked in my armchair which is uncomfortable, and that's kind of a problem because that's my favorite thing. 21:33:39 though even when I'm outside it's not bad. I'm accustomed to it. 21:33:40 CakeProphet: with AC on constantly? 21:33:44 elliott: pretty much. 21:33:47 nice :P 21:33:56 it's like 70-something in the house 21:34:03 which is... I don't know. 21:34:07 our climate is nice when we have good summers, winter always sucks though 21:34:10 I've been googling all of these conversions. :P 21:34:39 CakeProphet, you realise that noöne else understands Fahrenheit, right? 21:34:42 winters are pretty moderate, which means they're still pretty fucking cold but it only goes below freezing occasionally. 21:34:48 Phantom_Hoover: yes. 21:34:56 twenty-one C apparently 21:35:10 fahrenheit is the stupidest scale, true facts 21:35:29 so umm why are americans so stupid? 21:35:31 -shrug- I don't have a built-in celcius sense like I do fahrenheit 21:35:33 speaking of fahrenheit 21:35:53 it's just a standard that hasn't changed. 21:36:04 08:10:39: pikhq, doesn't it essentially come down to "you can change the past"? 21:36:09 pikhq: the record high for _all of norway_ is 35.6°C 21:36:12 it would break people's feeble minds to establish a new temperature scale. 21:36:16 how about those ofter standard like every standard US uses? 21:36:18 Phantom_Hoover: You can change it really badly, just as long as the history books look much the same 21:36:20 *other 21:36:21 argh 21:36:25 Butterfly effect: MYTH BUSTD 21:36:26 BUSTED 21:36:45 hey i have an idea 21:36:59 US could change from fahrenheit to celsius *continuously*! 21:37:02 I don't know I'd say yards are actually a bit more convenient than meters and centimeters. 21:37:05 oklopol: awesome 21:37:08 so people would have time to adjust! 21:37:10 CakeProphet: Only for interventions. 21:37:15 for eyeballing distances, anyways. 21:37:23 haha yeah right 21:37:24 oklopol: that is indeed awesome 21:37:33 the issue is, it'd be like me trying to remember my age 21:37:33 ITT: CakeProphet is used to US units, not metric; thinks US units are easier to intuitively use; world shocked 21:37:36 regarding yards 21:37:37 I keep forgetting it because it changes so oftwn 21:37:39 *often 21:37:42 ais523: yes 21:37:45 !addinterp sanetemp sh dc -e "?32-5*9/" 21:37:45 ​Interpreter sanetemp installed. 21:37:50 !sanetemp 100 21:37:56 elliott: what's more intuitive, acres or ares? 21:38:04 I don't have an intuitive idea of how big either is, so I wouldn't know 21:38:04 elliott: I only mentioned /one/ thing as /possibly/ being a better scale for the kinds of distances one would eyeball. That is all. 21:38:07 but nobody seems to use ares ever 21:38:20 ais523: no idea, but land ownership is pretty old-school so that doesn't surprise me >:) 21:38:28 everyone just uses hectares, which is a bit like the kilocalories thing 21:38:29 wait 21:38:32 ais523: people use hectares all the time 21:38:32 umm yards are essentially meters aren't they 21:38:39 What oklopol said. 21:38:43 actually, in practice people normally use square metres and square feet for things that aren't farmland 21:38:44 ...not really. 21:38:48 they're similar in length though. 21:38:49 and yes, people do use hectares all the time 21:38:53 but that isn't an SI unit 21:38:57 it has an invalid prefix 21:39:08 true 21:39:10 because it isn't a power of 1000 21:39:11 " umm yards are essentially meters aren't they" " ...not really." " they're similar in length though." <<< am i missing something? 21:39:23 oklopol, a yard = 3 feet. 21:39:30 A foot ~= 30cm. 21:39:36 0.9144 meters 21:39:38 closer than I thought 21:39:41 oklopol: *essentially* they are completely different, but they accidentally ended up similarly lengthed 21:39:46 1m ~= 39 in, 3 feet = 36 in 21:40:05 my solution to metric-other conversion is 21:40:08 I'm not sure how accurate the 39-inches comparison is, but it's more accurate than most of the others I know 21:40:08 don't talk to people who use other 21:40:08 * Phantom_Hoover wonders why sanetemp isn't working. 21:40:15 i still use miles for long distances though 21:40:18 elliott: how closed-minded of you. 21:40:19 because road signs :( 21:40:19 oh what olsner said i guess. i guess i have my own usage of terms like essentially. 21:40:31 elliott: I am quite fine with converting my units to your scales for the purposes of communication. 21:40:32 D'oh. 21:40:35 I don't really measure long distances well at all 21:40:36 !addinterp sanetemp sh dc -e "?32-5*9/p" 21:40:37 ​There is already an interpreter for sanetemp! 21:40:38 CakeProphet: same reason I don't talk to German people by tediously using a phrasebook 21:40:43 for every word 21:40:45 !delinterp sanetemp 21:40:45 ​Interpreter sanetemp deleted. 21:40:48 !addinterp sanetemp sh dc -e "?32-5*9/p" 21:40:48 ​Interpreter sanetemp installed. 21:40:54 !sanetemp 100 21:40:54 ​37 21:40:59 !sanetemp 0 21:40:59 ​-17 21:41:09 !sanetemp 32 21:41:10 ​0 21:41:23 08:16:56: Fear me, I have killed hundreds of Time Lords. 21:41:23 08:17:08: Fear me, I killed all of them. 21:41:23 08:17:16: Which house? 21:41:25 dr gregory 21:41:26 !sanetemp 265 21:41:26 ​129 21:41:35 BEST CROSSOVER? 21:42:13 08:19:48: pikhq, by 'corny' you mean 'terrible', of course. 21:42:13 Phantom_Hoover: Eh, the series was alright with him. 21:42:16 That's... Fucking chilly. 21:42:22 I mean yeah he was a bad writer but not so bad as to be intolerable. 21:42:28 You realise I live at the same latitude as the Hudson Bay, right? 21:42:51 Fahrenheit actually makes some intuitive sense for outdoor temperatures. 0 = really fucking cold 100 = really fucking hot 21:43:04 80 = pretty warm 21:43:27 70 = comfortable room temperature for most people 21:43:35 CakeProphet, that's no better than Celsius. 21:43:42 yeah, I know. 21:43:45 I didn't say it was better. 21:43:51 you do realize 70 is not really even a number 21:43:52 there was no comparison to Celsius made, in fact. 21:43:58 oklopol: whut? 21:44:03 someone got a link to that anti-metrician site 21:44:20 CakeProphet: i really have no answer 21:44:24 but i stand by what i said 21:44:26 haha. 21:44:28 okay... 21:45:02 though some people are wimps who live in AC all day and prefer 65 to 70 21:45:14 elliott, can't find it. 21:45:29 !sanetemp 70 21:45:29 ​21 21:45:31 !sanetemp 65 21:45:31 ​18 21:45:43 i don't actually even know what this AC thing is 21:45:48 air conditioning... 21:45:49 i wonder if we have those in finland 21:45:55 i know what it *means* 21:45:58 18°... that registers as "cool room" for me. 21:46:07 or what it's an acronym for i mean 21:46:10 i just don't know what that is 21:46:12 Phantom_Hoover: yep. that's what 65 is in Fahrenheit 21:46:27 Although when the heating is off my breath has fogged indoors in May. 21:46:42 it kind of works like a fucked up school grade. from 0 to 100 21:47:07 ...kind of. 21:47:29 http://www.reddit.com/r/askscience/comments/hw9zx/what_happens_to_computer_files_when_you_delete/ 21:47:59 !sanetemp 35 21:48:00 ​1 21:48:08 > 1/39 21:48:08 2.564102564102564e-2 21:48:09 !sanetemp 44 21:48:10 ​6 21:48:18 some typical winter temperatures in the south US. 21:48:28 !sanetemp 15 21:48:29 ​-9 21:48:32 occasionally it gets pretty low. 21:48:38 -!- oklofok has joined. 21:49:08 CakeProphet, FWIW, we were significantly incapacitated by about 20cm of snow this winter. 21:49:19 -!- oklopol has quit. 21:49:50 2 inches of snow in Georgia = oh my god everyone shut down everything 21:50:19 suddenly, mirc pops up a window saying i need to register it. so i had to open the program a few times to get it to accidentally have a continue button instead of an exit button. 21:50:48 !delinterp sanetemp 21:50:48 ​Interpreter sanetemp deleted. 21:50:58 !addinterp sanetemp sh dc -e "1k?32-5*9/p" 21:50:58 ​Interpreter sanetemp installed. 21:51:06 !sanetemp 70 21:51:06 ​21.1 21:51:11 so you're removing interpreters but not bans? 21:51:28 * oerjan couldn't bear seeing an approximate number printed as an integer 21:52:01 also yes, the number of interpreters has got a bit large 21:52:06 !userinterps 21:52:06 ​Installed user interpreters: aol austro b1ff bc bct bfbignum brit brooklyn bypass_ignore bytes chaos chiqrsx9p choo ctcp dc decisionengine drawl drome dubya echo eehird ehird elmer fudd google graph gregor gregor__1 hello id jethro kraut lperl lsh map num ook pansy pi pirate plot postmodern postmodern_aoler prefixes python redneck reverse rimshot rot13 rot26 rot47 rot52 sadbf sanetemp sfedeesh sffedeesh sh__ simpleacro simplename slashes svedeesh swedish ucat 21:52:16 :t (>>=) 21:52:17 forall (m :: * -> *) a b. (Monad m) => m a -> (a -> m b) -> m b 21:52:19 it's cut off again, there are more 21:52:49 Gregor: any suggestions for the too many userinterps problem? 21:52:52 !rot26 test 21:52:52 ​test 21:52:57 remove that one? 21:53:10 And rot52 at the same time? 21:53:11 !show rot26 21:53:11 ​sh cat 21:53:13 all of the rots except 13 and 47 are cats. 21:53:16 !show rot52 21:53:16 ​sh cat 21:53:21 !delinterp rot26 21:53:22 ​Interpreter rot26 deleted. 21:53:25 !delinterp rot52 21:53:25 ​Interpreter rot52 deleted. 21:53:32 !userinterps 21:53:33 ​Installed user interpreters: aol austro b1ff bc bct bfbignum brit brooklyn bypass_ignore bytes chaos chiqrsx9p choo ctcp dc decisionengine drawl drome dubya echo eehird ehird elmer fudd google graph gregor gregor__1 hello id jethro kraut lperl lsh map num ook pansy pi pirate plot postmodern postmodern_aoler prefixes python redneck reverse rimshot rot13 rot47 sadbf sanetemp sfedeesh sffedeesh sh__ simpleacro simplename slashes svedeesh swedish ucat valspeak war 21:53:52 i already removed a bunch before 21:53:56 !show ucat 21:53:56 ​unlambda ``cd``d`@|`cd 21:54:01 !delinterp ucat 21:54:01 ​Interpreter ucat deleted. 21:54:28 oh wait 21:54:30 !show aol 21:54:31 ​sh b1ff 21:54:35 someone has readded those i removed 21:54:53 !help 21:54:53 ​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 21:55:04 !help languages 21:55:05 ​languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh. 21:55:20 !addinterp ustemp haskell printLn . (+32) . ((9/5)*) . read =<< getLine 21:55:20 ​Interpreter ustemp installed. 21:55:23 2 inches of snow in Georgia = oh my god everyone shut down everything 21:55:46 * oerjan goes hunting for the culprit 21:55:50 !ustemp 0 21:55:54 Have I pointed that this is two inches of snow at the same latitude that polar bears live at. 21:56:07 no. that's surprising. 21:56:17 ..huh, well obviously I fucked something up. 21:56:19 hm or wait 21:56:39 > (+32) . ((9/5)*) . read $ "0" 21:56:41 32.0 21:56:48 !delinterp ustemp 21:56:49 ​Interpreter ustemp deleted. 21:57:04 !addinterp ustemp haskell (printLn . (+32) . ((9/5)*) . read) =<< getLine 21:57:05 ​Interpreter ustemp installed. 21:57:17 Also you cannot compete with that dc code don't even try. 21:57:20 !ustemp 0 21:57:36 Phantom_Hoover: not trying to, just unrustifying myself with Haskell, poorly. :P 21:57:59 My dad is under the impression that people will sneak drugs into you at raves 21:58:05 heh 21:58:06 ...into you? 21:58:10 As in spiking drinks/ 21:58:13 !show simpleacro 21:58:14 ​haskell import System.Random; import Control.Monad; main = do {len <- pick [2..10]; putStrLn =<< (replicateM len $ pick ['A'..'Z'])} where pick a = randomRIO (0, length a - 1) >>= return . (a !!) 21:58:17 Phantom_Hoover, I guess 21:58:23 I'm really hoping he actually thinks they sneak them into you. 21:58:40 Like, they surreptitiously insert them surgically. 21:58:56 X-D 21:59:02 :t printLn 21:59:02 Not in scope: `printLn' 21:59:04 Surprise suppository! 21:59:05 lol 21:59:20 I told him about a party I want to go to, but it's from 11pm-4am. He claims it's a drug party, and to look up "raves". I say that I'm fully capable of not taking drugs, he says they'll get drugs into you 21:59:24 :t putStrLn 21:59:24 String -> IO () 21:59:27 :t print 21:59:28 forall a. (Show a) => a -> IO () 21:59:33 !delinterp ustemp 21:59:34 ​Interpreter ustemp deleted. 21:59:38 print already outputs a line feed. No need for printLn 21:59:41 !addinterp ustemp haskell (print . (+32) . ((9/5)*) . read) =<< getLine 21:59:42 ​Interpreter ustemp installed. 21:59:47 !ustemp 0 21:59:50 ​32.0 21:59:54 Sgeo: drinks being spiked is actually relatively common, although you can avoid it by paying attention 22:00:10 ais523: have you ever been to a rave 22:00:14 Sgeo, counterspike your drinks. 22:00:15 Sgeo: tell him it's your body and you can use as much heroin as you like if it makes you happy 22:00:16 how's this 22:00:28 I've never heard of drink spiking at raves 22:00:28 elliott: I don't think so 22:00:31 yeah pour liters of water in there 22:00:34 but I'm sure it happens. 22:00:39 ais523: damn, i was hoping i would be surprised 22:00:40 oklofok, given that Sgeo's dad houses him and pays for his 'education'... 22:00:42 I was once in a nightclub by mistake 22:00:45 but me nor any of my friends that have gone have never had that happen. 22:00:52 what happened was, I was trying to watch election results 22:00:58 drugs are expensive. It would be a waste to use them on a random stranger. 22:01:01 and the room I was in was being converted into a nightclub while the results were on 22:01:01 Phantom_Hoover: I don't need education, I have drugs! 22:01:07 ais523: are you sure that wasn't a dream 22:01:13 no, it was quite ridiculous 22:01:16 `addquote [on spiking] drugs are expensive. It would be a waste to use them on a random stranger. 22:01:17 ​452) [on spiking] drugs are expensive. It would be a waste to use them on a random stranger. 22:01:20 especially as it meant we got in without paying the entry fee 22:01:30 it was inevitable, thinking about it 22:01:36 CakeProphet: if you accepted DCC CHAT from EgoBot you would actually get error messages for your haskell, you know 22:01:37 CakeProphet: I actually quite line that line 22:01:44 because the room in question is one used by different people in the same organisation for a range of purposes 22:01:53 oerjan: ah. see I'd have to alt+1 to see that. 22:02:01 and one of them had told us to use it for the election results without thinking about the other set of people using it as a nightclub once a week 22:02:01 Phantom_Hoover: he should just go to a free university and live off the money the government pays him every month for like 7 years. 22:02:02 that will be helpful in the future. 22:02:03 OH WAIT 22:02:06 I do not believe ais523 would be allowed near a nightclub. 22:02:14 CakeProphet: On a forum I'm on, someone once responded to a (well-known) idiot saying that dealers were, like, the most scary dangerous people on EARTH by saying that killing your customers is bad for business :) 22:02:21 Phantom_Hoover: He's too young. 22:02:24 Phantom_Hoover: I'd have to explicitly go and take my passport with me to have any sort of ID 22:02:28 His beard marks him as untrustworthy. 22:02:34 elliott: haha. nice. 22:02:42 dealers come in all kinds of varieties, of course. 22:02:54 apart from my university ID card, which used to get into pubs on occasion even though it isn't really valid ID 22:03:01 *which I used 22:03:05 hmm 22:03:09 although admittedly the typo is funnier 22:03:12 if we had an underage Queen, technically she could get into any nightclub she wanted 22:03:24 after all, all passports are issued by her authority 22:03:30 TODO: test this 22:03:34 (I don't actually drink anything in pubs, I just go there to order food, and confuse the bar staff when I don't order any drink to go with it) 22:03:43 lol @ the UK having a queen. 22:03:45 This could quite easily become the most awesome experiment ever conducted. 22:03:55 ais523, not even water? 22:03:59 CakeProphet, noöne cares. 22:04:05 CakeProphet: Having fun deifying your political classes? 22:04:13 Sgeo: it's much cheaper to drink water when I get home 22:04:16 ...deifying? 22:04:19 CakeProphet: I can't tell you how much I prefer idolising the royal family over idolising Sarah fucking Palin. 22:04:29 The amount would simply not fit into the universe. 22:04:36 as far as I know most logical people hate Sarah Palin. 22:04:45 Congratulations, you missed the point entirely. 22:04:46 CakeProphet, see also the US attitude towards patriotism and its foundation. 22:05:08 elliott: no I got the point. 22:05:26 You'd think you were founded by a race of demigods who descended from the heavens to fight off the moustache-twiddlingly evil British and reclaim their rightful land. 22:05:28 Nobody with enough of a brain gives a shit about Sarah Palin or the royal family or anything, but patriotism will always exist and it needs someone to be all hyped up about, and a powerless monarchy is a better target than a dangerous idiot. 22:05:36 though, it's not a good rebuttal to what I said. I was simply commenting on the strageness of a modern nation having a queen. 22:06:02 I wasn't saying that you idolize her... at all. 22:06:02 elliott, France and Germany don't seem to have too bad a time of it. 22:06:06 CakeProphet: You realise the Commonwealth is pretty big right? 22:06:13 of course. 22:06:27 Phantom_Hoover: Yeah, but do you want to risk it? Heard of Berlusconi/ 22:06:29 [asterisk]? 22:06:29 elliott: that's a rationalization tho, can't we laugh at you having a queen because you actually have it for retarded reasons? 22:06:48 oklofok: it's not a rationalisation so much as a reason to keep a now-useless remnant 22:06:50 Sgeo: it's much cheaper to drink water when I get home <-- huh. in norway it's established that establishments cannot take more than a token payment for tapwater. 22:07:02 elliott, you're reducing vastly complex social factors into an extremely simplistic view. 22:07:05 oerjan: Yes but you're communists. 22:07:07 wait, you have to pay for water? 22:07:10 Phantom_Hoover: Welcome to IRC. 22:07:18 elliott: are you sure that's one of the actual reasons you keep it? 22:07:22 It's about four times more verbose than Twitter. 22:07:31 water is pretty much universally free at establishments in the states. 22:07:36 oklofok: you're acting like I have the power to individually abolish the monarchy 22:07:42 I'm expressing my personal opinion 22:07:42 oklofok: major practical advantage of having a Queen: it means that we have someone we can send abroad for state visits to shake hands without having to take the Prime Minister away from the actual job of governing 22:07:54 elliott, your argument is completely flawed as a result, though. 22:08:02 ais523: I dunno, I think I'd prefer an excuse to take the PRime Minister away from governing 22:08:05 most Universities have a Chancellor for the same reason, while the Vice-Chancellor does all the actual work 22:08:14 elliott: I'm talking in general 22:08:15 Phantom_Hoover: maybe if this wasn't IRC I'd actually bother fleshing out my argument rather than stating it off-hand as part of banter 22:08:18 ais523: It was a joke 22:08:20 I mean, people in the UK are not as patriotic as those in the US; it's not a fixed thing/ 22:08:21 or do you dislike prime ministers in general? 22:08:21 [asterisk]Prime 22:08:23 -!- MigoMipo has quit (Read error: Connection reset by peer). 22:08:29 Agora needs someone who can shake online hands. 22:08:42 while Sgeo does all the work of protecting it from invasion? 22:09:11 elliott: i called it a rationalization because i thought it was a personal opinion. then you said it's a reason so i figured maybe that's somehow explicitly stated in secret government files you read every day. 22:09:19 oklofok: it is totes 22:09:30 YOU KNOW FROM WIKILEAKS OR SOMETHING 22:09:30 oklofok: nah, I'm not saying why I think we have a queen 22:09:40 I'm saying why I don't particularly think getting rid of the queen is something to bother doing 22:09:46 not that it would ever happen, anyway 22:09:55 oklofok: wikileaks? lol hello i am the prime minister 22:10:19 Phantom_Hoover: depends on the person of course. Most of my personal friends are very disappointed with American government, and the few UKers that I've met have been oddly patriotic. 22:10:24 wait, you have to pay for water? <-- not in practice. 22:10:35 CakeProphet: How many national treasures does the US have ;D 22:10:44 elliott: way too fucking many. :P 22:10:52 elliott: oh that would explain why you're so stupid hahahahahahahaha 22:10:55 too many being more than 0 22:11:04 CakeProphet: I don't think you know what national treasure (is used to) mean(s) 22:11:08 oklofok: hahahaha yeah 22:11:12 im gonna fire the nukes 22:11:15 oerjan: you don't have places that resell bottled tapwater? we do 22:11:38 elliott: No I do, but there are also these shitty films you see.... 22:11:43 CakeProphet, well, it's rare that you see any prominent figures in the UK calling us the "greatest nation on Earth". 22:11:53 In the US... 22:12:38 Phantom_Hoover: there's quite a large current of disatisfaction with the US government in the states. Of course, it doesn't show as much in the political sphere. 18:02 < CakeProphet> elliott: haha. nice. 22:12:42 18:02 < CakeProphet> dealers come in all kinds of varieties, of course. 22:12:45 18:02 < ais523> apart from my university ID card, which used to get into pubs on occasion even though it isn't really valid ID 22:12:48 ....? 22:12:51 no clue how that happened. 22:12:54 CakeProphet: it was a typo 22:12:56 "Large current" is understating it. 22:13:00 which I corrected on the next line 22:13:04 although admittedly it's a funny typo 22:13:14 yeah three lines of spam is a hilarious typo 22:13:51 ais523: your university id card is the life of the party man 22:14:23 oerjan: you don't have places that resell bottled tapwater? we do <-- of course we do, you don't have to buy it though 22:14:32 a restaurant in my town have *their own brand* of bottled water that is "here-bottled", i.e. they fill it from the tap before they give it to you... and it costs at least as much as brand-name water imported from the other end of europe would've costed 22:14:53 :D 22:14:57 Awesome. 22:14:59 tap water in a glass is "not part of their concept" (quote is actual quote) 22:15:41 i'm speechless, he said out loud. 22:16:28 not part of their concept :D 22:17:22 so what's gas in the UK? 22:17:35 2 22:17:40 ...ah yes. 22:17:49 i don't know tho 22:17:54 CakeProphet: UK "gas" = the state of matter after it's been vaporised, US "gasoline" = UK "petrol" 22:17:58 I'm not quite sure what the question means 22:18:04 but that's probably a realistic guess compared to what others will say 22:18:11 oh there you go 22:18:14 first contestant 22:18:17 ais523: what is the price of "petrol" in various parts of the UK. 22:18:26 OH THAT'S WHAT YOU MEANT! 22:18:28 oh, about £1.30 per litre at the moment 22:18:35 * CakeProphet facepalm. :P 22:18:37 hey pretty close 22:18:53 I like how Americans complain about the price of petrol so much 22:18:55 (UK£ 1.30) per litre = 7.99225346 U.S. dollars per US gallon 22:18:56 when it's more expensive everywhere else 22:19:09 elliott, EXCEPT VENEZUELA 22:19:13 Phantom_Hoover: FUCK YEAH 22:19:23 http://www.eia.gov/oil_gas/petroleum/data_publications/wrgp/mogas_home_page.html 22:19:23 what would you ever need petrol for 22:19:27 http://www.datadev.com/degausser-hard-drive-data-security-erase-v6000-conveyor.html 22:19:28 it's a whole THREE DOLLARS PER GALLON in the US zomg 22:19:30 Awesome. 22:19:32 newsflash: it doesn't actually taste that good 22:19:34 INSANE PRICE 22:19:35 elliott: Americans also have 20 mile one-way commutes. 22:19:40 `addquote what would you ever need petrol for newsflash: it doesn't actually taste that good 22:19:41 ​453) what would you ever need petrol for newsflash: it doesn't actually taste that good 22:19:43 the price of gas where I live is $3.50 per gallon. 22:19:45 oklofok: it's actually poisonous, so I advise against drinking it 22:20:01 let's call it $8 per gallon in the UK, because my originally stated price was approximate anyway 22:20:05 ais523, also contains benzene, my carcinogen of choice. 22:20:26 though I believe in some parts of the states it goes over $4 per gallon. -gasp- WHICH IS OUTRAGEOUS. 22:20:32 `addquote [on petrol] oklofok: it's actually poisonous, so I advise against drinking it ais523, also contains benzene, my carcinogen of choice. 22:20:33 ​454) [on petrol] oklofok: it's actually poisonous, so I advise against drinking it ais523, also contains benzene, my carcinogen of choice. 22:20:38 " elliott: Americans also have 20 mile one-way commutes." <<< one-way commutes? you have like disposable jobs? 22:20:40 CakeProphet: In CALIFURNIA 22:20:45 " hmm, so this is fuel? will it also fuel me perhaps?" 22:20:47 oklofok: "20 miles, one way". 22:20:47 `addquote " elliott: Americans also have 20 mile one-way commutes." <<< one-way commutes? you have like disposable jobs? 22:20:48 ​455) " elliott: Americans also have 20 mile one-way commutes." <<< one-way commutes? you have like disposable jobs? 22:20:53 `quote 22:20:53 `quote 22:20:54 `quote 22:20:54 `quote 22:20:54 ​239) * pikhq sticks several thousand kg m^2/A s^3 through elliot pikhq: I'm underage! 22:20:55 `quote 22:20:55 ​251) Maybe they should just get rid of Minecraft. If more people want it someone can make using GNU GPL v3 or later version, with different people, might improve slightly. 22:20:56 ​224) [...] I'm just widening the shaft to be 4x2 or so. 22:20:57 ​260) clue is a language for beauty, not usefulness or ability to run at all ability to run at all is not even close to a design goal, no 22:20:58 ​336) Phantom_Hoover: if the list is in random order, like poor ehird here 22:20:58 but I guess oklofoks are *not* in fact petrol driven 22:20:58 this is a good day for `addquote 22:21:00 * oklofok seems to be on fire. 22:21:10 ais523: what a fine day to add quotes indeed. 22:21:17 kg m^2/A s^3 22:21:18 Also, public transit is not really an option outside of most of New York City. 22:21:22 That made sense up to the A. 22:21:26 We need like ten quotes about petrol, at LEAST. 22:21:30 What is that? G/current/ 22:21:34 I didn't even notice 336 was fungot at first 22:21:41 it would have been plausible from many other memvers of the channel 22:21:45 *members 22:21:46 `quote like wtf 22:21:47 ​131) alise: why internet is like wtf 22:21:53 Oh, wait, that's not what the unit of G is. 22:21:57 I always imagine a badly-made robot prop saying that in a robot voice. 22:21:58 It is hilarious. 22:21:59 Phantom_Hoover: That's, uh, a volt in SI base units. 22:22:03 It is just so confused as to why internet is like wtf. 22:22:07 hmm, are those markov chain quotes? 22:22:09 pikhq, ah. 22:22:10 pikhq: I was trying to decode it in my head 22:22:13 but got confused 22:22:15 olsner: do you... not know of fungot 22:22:33 olsner: they're markov chain quotes generated by a bot written in Funge-98 22:22:33 `quote fishing 22:22:34 No output. 22:22:36 which isn't here right now 22:22:38 olsner: http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 22:22:38 `quote fish 22:22:40 No output. 22:22:42 `quote 22:22:42 ais523: it's not actually markov, IIRC 22:22:43 ​349) elliott: hey, thinking's easier than using the Internet 22:22:45 It's a different kind of chain thing 22:22:50 `quote porn 22:22:51 ​33) pikhq: A lunar nation is totally pointless. ehird: consider low-gravity porn fungebob: OK. Now I'm convinced. \ 63) Porn. There, see? \ 77) SF.net porn :/ Oh yeah, baby, gimme that... bloated download page? \ 132) I am an inherently pornographic 22:23:05 elliott: I know it's a bot and I've seen it speak, and you've probably told me before what it was 22:23:07 `quote mathematics 22:23:08 No output. 22:23:10 `quote 132 22:23:11 `quote death 22:23:12 ​132) I am an inherently pornographic being. 22:23:13 ​135) like, just like I'd mark "Bob knob hobs deathly poop violation EXCREMENT unto;" as English alise: that's great filler ais523: well it contains all the important words in the english language... 22:23:19 best quote about death 22:23:30 best quote about anything 22:23:39 `quote anything 22:23:40 ​104) For those who don't know: INTERCAL is basically the I Wanna Be The Guy of programming languages. Not useful for anything serious, but pretty funny when viewed from the outside. \ 413) I can trust elliott_ to have an opinion on anything and everything Yes. And the best thing is: 22:23:53 `quote 413 22:23:54 ​413) I can trust elliott_ to have an opinion on anything and everything Yes. And the best thing is: it is the correct opinion. 22:23:54 it's always the /right/ opinion 22:23:55 a very important quote number 22:24:02 bleh, misquoted slightly 22:24:09 elliott, oh god. 22:24:13 `quote 612 22:24:14 No output. 22:24:23 Huh. 22:24:25 `quote math 22:24:26 ​149) Gregor-P: I don't think lambda calculus is powerful enough \ 190) It's like mathematicians, where the next step up from "trivial" is "open research question". "Nope... No...This problem can't be done AT ALL. This one--maybe, but only with two yaks and a sherpa. ..." 22:24:29 Phantom_Hoover: I'll fix delquote soon and everything will reorder. 22:24:32 I thought we were well beyond 800. 22:24:35 I should modify the quote system to remember IDs really. 22:24:42 Phantom_Hoover: No, we've just recently entered the four-hundreds. 22:24:59 !show b1ff 22:24:59 ​sh b1ff 22:25:02 !show aol 22:25:02 ​sh b1ff 22:25:08 !delinterp b1ff 22:25:08 ​Interpreter b1ff deleted. 22:25:18 !aol what does this do 22:25:19 ​WHAT DUZ THI5 DO 22:25:25 Ah. 22:25:30 maybe if i bought more petrol we'd get over 800 sooner. you know, because then i could be on fire all the time. 22:25:31 !userinterps 22:25:32 ​Installed user interpreters: aol austro bc bct bfbignum brit brooklyn bypass_ignore bytes chaos chiqrsx9p choo ctcp dc decisionengine drawl drome dubya echo eehird ehird elmer fudd google graph gregor gregor__1 hello id jethro kraut lperl lsh map num ook pansy pi pirate plot postmodern postmodern_aoler prefixes python redneck reverse rimshot rot13 rot47 sadbf sanetemp sfedeesh sffedeesh sh__ simpleacro simplename slashes svedeesh swedish ustemp valspeak warez 22:25:41 !show sh__ 22:25:41 ​perl $_=<>;print `$_` 22:25:42 !pi 22:25:42 ​3.14156 22:25:45 !Gregor durpaderp 22:25:49 !delinterp sh__ 22:25:49 ​Interpreter sh__ deleted. 22:25:51 !swedish herp derp 22:25:52 ​herp derp 22:25:56 !aol THE FACT THAT I WILL BE HELPFUL IS AN IMMUTABLE FACT THAT I AM STATING FOR THE RECORD 22:25:56 ​THE FACT THAT I WILL BE HELPFUL IS AN 1MMUTABLE FACT THAT I AM 5TAT1NG FOR THE RECORD 22:25:59 !swedish flarglblalrdk 22:26:00 ​flerglblelrdk 22:26:01 pah 22:26:08 !show warez 22:26:09 ​sh warez 22:26:11 !swedish auieo 22:26:11 ​ooeeeu 22:26:11 egoegoegoegoegoegoegoego 22:26:16 egoegoegoegoegoegoegoegoegoegoegoegoegoego 22:26:21 okokokokokokokokokokookok 22:26:22 fuck 22:26:23 okokokokokokokokokokokokokokokokokokokokokokokokokokokokokoko 22:26:24 oerjan: but you just deleted our most powerful sh command! 22:26:25 okokokokokokokoko 22:26:26 okokokokokoko 22:26:27 okokokoko 22:26:29 okoko 22:26:29 o 22:26:32 okokokokokokokokoko 22:26:34 okokokokokokokoko 22:26:36 okokokokokokoko 22:26:38 okokokokokoko 22:26:40 okokokokoko 22:26:42 okokokoko 22:26:44 okokoko 22:26:44 okoko 22:26:45 this is a good day on esoteric 22:26:45 oko 22:26:45 o 22:26:51 !quote fuck 22:26:52 Erm 22:26:52 CakeProphet: this is more powerful than plain !sh how? 22:26:53 definite A+ quality irc 22:26:54 `quote fuck 22:26:55 ​247) I love the way zzo38's comment was cut off after the f of brainfuck that's just the most hilarious place to cut it off in a discussion about censorshi \ 302) oerjan: Tell us what (a(b{c}d)*2e)%2 expands to <-- ababcdbcdedbabcdbcdede, i think oerjan: What - the - fuck \ 326) 22:26:56 `pastequotes fuck 22:26:57 ​http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.16753 22:27:00 oerjan: because it's written in Perl, of course. 22:27:03 :3 22:27:11 ooooooh 22:27:13 " ​247) I love the way zzo38's comment was cut off after the f of brainfuck that's just the most hilarious place to cut it off in a discussion about censorshi" <<< best ever, maybe 22:27:44 `quote quote 22:27:45 ​37) i can get an erection out of a plank, you can quote me on that. \ 95) [Warrigal] `addquote hahaha, Lawlabee is running windows 'cuz it's pretty awesome. [Lawlabee] Warrigal: :( \ 97) Note that quote number 124 is not actually true. \ 109) let's put that in the HackEgo quotes files, 22:28:00 !show rot47 22:28:00 ​perl $_=<>;tr/!-~/P-~!-O/;print 22:28:05 !show rot13 22:28:05 ​bf (sending via DCC) 22:28:10 `quote art 22:28:11 ​3) Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ 6) His body should be given to science. He's alive :P Even so. \ 11) wouldn't that be considered pedophilia? 22:28:11 eek 22:28:13 `quote \bart\b 22:28:14 No output. 22:28:18 why does hackego do the weird invisible character thing? link recognition fails :/ 22:28:20 !rot12 test 22:28:25 !rot13 test 22:28:26 ​grfg 22:28:29 `quote funge 22:28:29 olsner: because Gregor is bad and horrible 22:28:30 !rot47 test 22:28:30 ​E6DE 22:28:30 ​33) pikhq: A lunar nation is totally pointless. ehird: consider low-gravity porn fungebob: OK. Now I'm convinced. \ 249) The Perl script is probably slower than the Befunge code. \ 271) in retrospect that wasn't even necessary, as communal readings of the Funge-98 spec do just a 22:28:35 olsner: Shut your link-recognition whore mouth! 22:28:36 woah, a bf rot13 sounds insanely complicated. 22:28:38 and hates botloops even more than he hates not being terrible 22:28:43 or 22:28:44 `quote 124 22:28:44 the opposite of that 22:28:45 ​124) Well yeah, but furthermore unlike, oh, say, an Apple product, you don't have to sign their "we own your sperm" license agreement to GET that SDK and the requisite libraries. ... pikhq: Sure, but it's the only way Apple could get a first-born-son clause into a modern licensing agreement without infringing 22:28:45 dunno 22:28:46 CakeProphet: it's not massively bad 22:29:02 the hard part is working less-than and greater-than operators 22:29:15 elliott: hmm, who's running Gregor? can we patch it? 22:29:21 CakeProphet: http://www.hevanet.com/cristofd/brainfuck/rot13.b is a ... longer version than 22:29:21 i think 22:29:24 theres an anagolf one of it 22:29:24 ais523: ah, yeah nevermind. For some reason I was thinking you had to load the entire string into memory at once. That is silly. 22:29:26 i don't particularly like apples 22:29:34 olsner: EgoBot is running Gregor 22:29:41 they have that thing inside them that tastes like meh 22:29:43 oklofok, better than pears. 22:29:53 CakeProphet: even if you did, it still wouldn't make a significant difference 22:30:00 pears also have shit inside them 22:30:01 loading one string into memory is one of the few things that BF is actually very good at 22:30:05 oerjan: it's like rot13 but with numbers and symbols too. 22:30:18 the taste of the good part is of secondary importance 22:30:30 oklofok: you can eat just the good part and throw the rest away 22:30:30 why does hackego do the weird invisible character thing? link recognition fails :/ <-- why would a prefixed character prevent link recognition? 22:30:32 that's what I do 22:30:37 `quote `quote 22:30:38 ​407) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 408) `quote django ​352) django is named after a person? thought it would be a giraffe or something \ 407) 22:30:40 oerjan: because its part of the same word 22:30:43 oerjan: consider abchttp://google.com/ 22:30:47 erm 22:30:52 " oklofok: you can eat just the good part and throw the rest away" <<< if i could *first* throw the rest away and then eat, it'd be okay 22:30:54 except that's actually a valid abchttp link, but whatever 22:31:00 but yeah 22:31:02 django is named after AN EXCELLENT JAZZ GUITARIST. 22:31:04 oklofok: there's a tool called a corer 22:31:13 ais523: i think he means the actual apple 22:31:16 if you combine that with cutting away obvious bruises, you should be OK 22:31:18 that was the oklopol way of interpreting it 22:31:22 X-Chat doesn't know that zero-width space is a whitespace character. 22:31:37 `quote django 22:31:38 ​352) django is named after a person? thought it would be a giraffe or something \ 407) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 408) `quote django ​352) 22:31:39 I swear not to botloop if you remove it :P 22:31:46 maybe (probably) xchat does not know all the unicodes 22:32:08 otherwise, while eating, i'll keep thinking "well this is good, but AT WHAT COST", you know, because i have to dispose of the insides after eating, have to keep track of nearest trashcan etc. 22:32:09 i know all the unicodes 22:32:18 How long will it take me to reread hivebent? 22:32:20 ais523: oklofok just likes the skin, you see 22:32:26 I r l33t h4x0rz tht kn0 411 t3h un1c0d3s 22:32:31 Sgeo: 0 seconds, but you won't be able to name a single event or character 22:32:37 perfect optimised skimming 22:32:42 oklofok: this is why fruiteaters are inferior 22:32:43 oklofok: you don't have a trashcan in your kitchen? 22:32:48 " oklofok: there's a tool called a corer" <<< that doesn't remove all of it usually 22:32:52 or do you not eat apples there 22:32:54 oklofok: fair enough 22:33:07 " ais523: i think he means the actual apple" <<< no, one of oklopol's things is hating complicated food. 22:33:09 !userinterps 22:33:09 ​Installed user interpreters: aol austro bc bct bfbignum brit brooklyn bypass_ignore bytes chaos chiqrsx9p choo ctcp dc decisionengine drawl drome dubya echo eehird ehird elmer fudd google graph gregor gregor__1 hello id jethro kraut lperl lsh map num ook pansy pi pirate plot postmodern postmodern_aoler prefixes python redneck reverse rimshot rot13 rot47 sadbf sanetemp sfedeesh sffedeesh simpleacro simplename slashes svedeesh swedish ustemp valspeak warez wc wc 22:33:15 !show wc 22:33:15 ​sh text=`cat`; opts=`echo "$text" | sed 's/\( \|^\)[^-].*//'`; text=`echo "$text" | sed 's/.*\( \|^\)\([^-]\)/\2/'`; echo -n "$text" | wc $opts 22:33:27 oklofok: do you like baby food 22:33:29 its really simple 22:33:31 oerjan: i made that one 22:33:37 ooh, sed code! 22:33:40 oerjan: did you just refer to yourself in the third person using a different nick from your current one? 22:33:43 !delinterp wc2 22:33:43 ​Interpreter wc2 deleted. 22:33:44 Gregor: that list is too damn crowded 22:33:47 " oklofok: you don't have a trashcan in your kitchen?" <<< yes but i don't have to keep making sure it's still there while eating 22:33:51 *oklofok: 22:33:56 !pi 22:33:56 ​3.14156 22:33:58 !wc http://www.google.com/ 22:33:59 !show fudd 22:34:00 ​10 11 705 22:34:00 ​sh fudd 22:34:02 !wc -c http://www.google.com/ 22:34:02 ​22 22:34:04 ais523: what? 22:34:04 quality tool 22:34:09 wait 22:34:09 !!show pi 22:34:09 !fudd what is this I wonder 22:34:10 ​what is dis I wondew 22:34:11 and do you live in an environemnt where people might plausibly steal your trashcan while eating? 22:34:11 lol 22:34:12 what 22:34:14 olsner: misping 22:34:14 !show pi 22:34:14 ​sh read p; if [ "x$p" = "x" ]; then p=5; fi; echo "scale=$p; a(1)*4;" | BC_LINE_LENGTH=490 bc -l | tr -d '\\' 22:34:16 ok the -c stops it loading it 22:34:16 *oerjan: 22:34:17 hahaha 22:34:21 " oklofok: do you like baby food" <<< comes in a glass jar, not particularly nice 22:34:21 elliott: There. 22:34:21 !elmer what is this I wonder 22:34:22 ​what is this I wonduh 22:34:35 `pastequotes test 22:34:35 elliott: to be fair, I did catch that second misping before pressing return but it was too funny to correct 22:34:36 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.26884 22:34:44 Gregor: ur supa kawaii ^________^ 22:34:50 " oerjan: did you just refer to yourself in the third person using a different nick from your current one?" <<< did you just refer to me using a different nick from any of my nicks? 22:34:54 oklofok: yes 22:34:58 ais523: yes 22:34:58 ais523: pong 22:35:08 elliott, are you fixing delquote YOU BETTER BE 22:35:08 elliott: heh, kawaii is one of the few Japanese words I actually know the meaning of 22:35:10 oerjan: are you oklofok 22:35:12 although I can't spell it 22:35:17 Phantom_Hoover: k i will because i am nice 22:35:21 I wonder if fudd is a better elmer than elmer. 22:35:30 ais523: i was using it ironically :( 22:35:33 `url bin/delquote 22:35:34 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/delquote 22:35:52 yeah actually me and oerjan are the same guy 22:35:56 `run expr "999" + 0 2>&1 22:35:57 999 22:35:59 elliott: well of course, you aren't an anime-loving cosplaying teenage girl 22:36:04 ais523: OR AM I????????????????? 22:36:06 and I don't think anyone else uses it non-ironically 22:36:21 hmm, shell is really confusing 22:36:35 ...what? 22:36:36 `run id=999; echo $((id-9)) 22:36:37 990 22:36:46 elliott: ouch 22:36:51 is it implying a sigil there? 22:36:57 ais523: yeah, bash math mode is weird 22:36:58 ais523: outside japan or inside it either? 22:37:06 ais523: japanese people calling stuff 'cute' might use it non-ironically a lot though 22:37:06 `pastequotes 22:37:07 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.14184 22:37:12 elliott: well of course, you aren't an anime-loving cosplaying teenage girl 22:37:17 oklofok: both 22:37:19 I think 22:37:20 SILENCE FOR ONE OF THEIR NUMBER WALKS AMONG US 22:37:27 WE MUST NOT SPEAK OF THIS MATTER 22:37:40 ais523: afaiu, japanese people love cutesy things, why wouldn't they have a serious word for them? 22:37:41 `run sh -x bin/delquote 444 2>&1 22:37:42 ​+ id=444 \ + expr 444 + 0 \ + head -n 443 quotes \ + tail -n +445 quotes \ + diff quotes quotes.new \ + mv quotes.new quotes \ + echo '*poof*' \ *poof* 22:37:48 `quote 444 22:37:49 444) This is [...] me saying "lol im a fag". 22:37:50 oklofok: it's a great word 22:37:57 `run sh -x bin/delquote 445 2>&1 22:37:58 ​+ id=445 \ + expr 445 + 0 \ + head -n 444 quotes \ + tail -n +446 quotes \ + diff quotes quotes.new \ + mv quotes.new quotes \ + echo '*poof*' \ *poof* 22:37:59 `quote 444 22:38:00 444) This is [...] me saying "lol im a fag". 22:38:01 elliott: yeah the sigil is implied in expr/$(()) 22:38:03 hmmm 22:38:03 ais523: ? 22:38:06 elliott: for convenience 22:38:10 oklofok: if everything is already cute, why would you need a word for it? 22:38:19 stop takling guys im doing serious software engineering 22:38:21 oklofok: I mean, it's so much better than the rough English translations 22:38:30 ais523: so why would you only use it ironically 22:38:36 oerjan: are you oklofok <-- not afaik 22:38:49 because the meaning is one that most people wouldn't generally want to use 22:38:55 `fetch http://sprunge.us/XWbR 22:38:57 2011-06-10 22:38:56 URL:http://sprunge.us/XWbR [214] -> "XWbR" [1] 22:39:00 elliott: lol, "engineering" software are you? 22:39:01 argh, there's too much noise here, when i finally manage to answer, people have already spammed like 50 lines 22:39:07 whoops, meant to say that as oerjan. 22:39:14 `run sh XWbR 455 22:39:15 ​*poof* 22:39:21 `url quotes.new 22:39:22 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/quotes.new 22:39:28 hmm 22:39:30 whoops, I just accidentally deleted all my email 22:39:30 ok so it just does nothing 22:39:32 `rm quotes.new 22:39:34 No output. 22:39:34 ais523: cool 22:39:34 good thing the undelete is working properly 22:39:38 lol 22:39:42 is the mail server running on dos 22:40:00 " because the meaning is one that most people wouldn't generally want to use" <<< oh well i don't know what it means past "cute" 22:40:01 Learn to be Chinese and kill yourself 22:40:01 this quote always unnerves me 22:40:09 i find it hard to come up with reasons that zzo wouldn't flip out and become a serial killer :/ 22:40:15 but then the same applies to all of you 22:40:16 also, everyone 22:40:24 * CakeProphet is a serial killer. 22:40:25 hmm, you're assuming he hasn't already? 22:40:29 olsner: oh dear 22:40:40 i would never flip out and become a serial killer, but it might be a very interesting career choice otherwise 22:40:49 `fetch http://sprunge.us/FTCd 22:40:50 2011-06-10 22:40:50 URL:http://sprunge.us/FTCd [214] -> "FTCd" [1] 22:40:56 `run sh FTCd 455 22:40:57 ​*poof* 22:41:02 wtf 22:41:03 oklofok: the first and second part of that sentence don't seem to agree completely 22:41:12 olsner: i mean "flipping out" is just gay 22:41:25 oerjan: the sudden profusion of userinterps is my doing. 22:41:27 `fetch http://sprunge.us/VASY 22:41:27 !show elmer 22:41:27 perl for (<>) {lc; s/l(?!e\W)/w/g; s/\Ber|(? 2011-06-10 22:41:28 URL:http://sprunge.us/VASY [215] -> "VASY" [1] 22:41:37 `run sh VASY 455 22:41:38 ​*poof* 22:41:42 wtf 22:41:43 if i became a serial killer, it'd be because i want to kill people, not because i'm crazy 22:41:50 `run head -n 450 quotes | paste 22:41:52 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.15924 22:41:54 CakeProphet: it's a problem when we cannot list them all... 22:41:59 im going to add if i became a serial killer, it'd be because i want to kill people, not because i'm crazy 22:42:01 once ive fixed this 22:42:02 !ls 22:42:05 -!- kovacs has joined. 22:42:06 right, becoming a serial killer doesn't imply that you've flipped out or even changed in personality 22:42:13 just that you've started killing people 22:42:14 !sh ls -1 22:42:14 interps 22:42:15 yes 22:42:17 oerjan: hi, stop 22:42:23 thanks 22:42:27 saying anything else is just ignorant 22:42:28 hmmhmm 22:42:32 `url bin/addquote 22:42:33 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/addquote 22:42:46 well that wasn't the right flag 22:42:58 `run head -n $((455-1)) quotes >quotes.new 22:42:59 No output. 22:43:01 killing people is a natural thing, which we refrain from because it's so much better than the alternative in the long run. 22:43:09 what the fucking what 22:43:13 `run head -n $((9-1)) quotes >quotes.new 22:43:14 No output. 22:43:21 gah how does that work but not 22:43:25 `quote 455 22:43:25 !ls -1 interps 22:43:26 No output. 22:43:27 elliott: $((455-1)), aka 454? 22:43:27 oh 22:43:30 `quote 454 22:43:31 No output. 22:43:34 olsner: stfu im trying to dianogse the bug 22:43:34 WTF 22:43:36 `url quotes 22:43:37 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/quotes 22:43:45 ok wait 22:43:46 elliott: Maaaaaaaaaaaaybe you want to take this to PM :P 22:43:47 how many quotes are there 22:43:49 `run wc -l quotes 22:43:49 have fun dianogsing 22:43:50 453 quotes 22:43:52 Gregor: fuk u im an unpaid volunter 22:43:55 `quote 453 22:43:55 elliott: CONCENTRATE CONCENTRATE CONCENTRATE CONCENTRATE 22:43:56 453) " elliott: Americans also have 20 mile one-way commutes." <<< one-way commutes? you have like disposable jobs? 22:44:01 `delquote 453 22:44:02 ​*poof* 22:44:03 `quote 453 22:44:04 453) " elliott: Americans also have 20 mile one-way commutes." <<< one-way commutes? you have like disposable jobs? 22:44:06 i honestly have no idea 22:44:08 Gregor: lol hello welcome to #esoteric 22:44:15 `run head -n $((453-1)) quotes >quotes.new 22:44:16 No output. 22:44:21 elliott: Your `quote hours go directly into my GGGGC hours! By some convolution. 22:44:29 !perl print "elliott: " . "CONCENTRATE" x 30 22:44:29 elliott: CONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATE 22:44:31 `run head -n $((454-1)) quotes >quotes.new 22:44:32 No output. 22:44:40 wtf 22:44:44 `quote 453 22:44:45 No output. 22:44:49 WHAT 22:44:56 I DIDN'T TOUCH QUOTES 22:45:00 `help 22:45:01 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/ 22:45:09 wait 22:45:11 is it just the merging time 22:45:11 elliott concentrate, new from Crooked Tooth Farms 22:45:25 `revert 423 22:45:27 Done. 22:45:35 `quotes fag 22:45:36 444) This is [...] me saying "lol im a fag". \ 445) This is [...] me saying "lol im a fag". 22:45:36 `quote fag 22:45:37 444) This is [...] me saying "lol im a fag". \ 445) This is [...] me saying "lol im a fag". 22:45:41 `delquote 444 22:45:42 ​*poof* 22:45:51 `delquote 445 22:45:52 ​*poof* 22:46:00 `quote fag 22:46:01 444) This is [...] me saying "lol im a fag". 22:46:05 oh right 22:46:08 `revert 423 22:46:09 Done. 22:46:10 `quote fag 22:46:11 444) This is [...] me saying "lol im a fag". 22:46:13 `run echo CONCENTRATE | sed 's/.*/elliott: &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&/' 22:46:14 elliott: 22:46:16 wtf 22:46:17 wtf 22:46:17 wtf 22:46:17 wtf 22:46:20 Gregor: revert is broken 22:46:24 olsner: seriously fucking stop 22:47:00 `quote fag 22:47:01 elliott: it didn't even work ... what did the bot do to my &'s? 22:47:01 444) This is [...] me saying "lol im a fag". \ 445) This is [...] me saying "lol im a fag". 22:47:04 oh 22:47:05 theyre back 22:47:09 `delquote 444 22:47:10 ​*poof* 22:47:11 TEN NINE 22:47:12 EIGHT SEVEN 22:47:13 SIX FIVE 22:47:15 FORU THRE 22:47:17 TWO FOUR 22:47:20 ZORRO 22:47:22 > var$"elliott: "++cycle"CONCENTRATE" 22:47:22 `quote fag 22:47:23 elliott: CONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATECONCENTRATE... 22:47:23 444) This is [...] me saying "lol im a fag". 22:47:26 `delquote 444 22:47:27 ​*poof* 22:47:29 oerjan: im going to rip your skull 22:47:30 TEN NINE 22:47:31 EIGHT FOUR 22:47:33 SEVEN SIX 22:47:34 NINE EIGHT 22:47:35 :t var 22:47:35 forall a. String -> Sym a 22:47:36 TWO ONE 22:47:38 ZERO 22:47:41 `quote fag 22:47:42 No output. 22:47:43 guys delquote worked all along happy holidays 22:47:43 elliott: AGAIN? 22:47:44 oerjan: what is this magical var thing. 22:48:05 `addquote if i became a serial killer, it'd be because i want to kill people, not because i'm crazy 22:48:06 454) if i became a serial killer, it'd be because i want to kill people, not because i'm crazy 22:48:16 elliott, are you fixing delquote YOU BETTER BE 22:48:19 fixed, in the past, by never breaking it 22:48:20 -!- kovacs has left. 22:48:20 `ls 22:48:21 1 \ babies \ bin \ bluhbluh \ env \ foo \ paste \ ps \ quine.pl \ quine2.pl \ quine3.pl \ quotes \ quotese \ tekst \ tmpdir.15136 \ тэкст 22:48:27 `cat тэкст 22:48:28 ​Ня ведаю, навошта, але няхай сабе будзе 22:48:30 `run ls | paste 22:48:31 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.1234 22:48:35 heh 22:48:42 !userinterps 22:48:42 ​Installed user interpreters: aol austro bc bct bfbignum brit brooklyn bypass_ignore bytes chaos chiqrsx9p choo ctcp dc decisionengine drawl drome dubya echo eehird ehird elmer fudd google graph gregor gregor__1 hello id jethro kraut lperl lsh map num ook pansy pi pirate plot postmodern postmodern_aoler prefixes python redneck reverse rimshot rot13 rot47 sadbf sanetemp sfedeesh sffedeesh simpleacro simplename slashes svedeesh swedish ustemp valspeak warez wc yo 22:48:57 !yo hello my good friends 22:49:02 ..nope 22:49:07 elliott: Apparently that says "I do not know why, but let it be" in Belarusian (wtf) 22:49:12 Gregor: clearly we need it 22:49:13 !show reverse 22:49:14 bf ,----------[++++++++++>,----------]<[.[-]<] 22:50:00 !sadbf what is this I wonder 22:50:07 CakeProphet: i think it is something for symbolic computation, although i'm just using it because its Show instance prints the original string without quotes (and unlike text which i've seen used here before, works with infinite strings) 22:50:10 !sadbf ++++++++++++++++++++++++++++++++++. 22:50:11 ​" 22:50:19 !show sadbf 22:50:19 is this the channel where someone posted a link to the write-only memory datasheet? 22:50:19 sadol :M$0 :d:i,45000@>i-01(2]M0:i-i1:S$0:C;3:l#C-01:p:m0@:m%+m1d?=#Cp"1<:m?<-m10-s1-m1?=#Cp"1.!'2#Mm?=#Cp"1,:#Mm'1;0?=#Cp"1[]S-p1?=#Cp"1]?=#Mm00:p[S0:p+p1 22:50:46 olsner: wat 22:51:02 `quote tasty deep-fried 22:51:03 425) How to make a tasty deep-fried treat: 1) Buy ingredients: Large vat of boiling oil, dry ice and a small Filipino boy. 2) Place Filipino boy in dry ice until frozen solid. 3) Shatter now-frozen Filipino boy into boiling oil. 4) Wait fifteen minutes, drain and enjoy! I have the weirdest boner right now. 22:51:11 !bc Hello you guys I am awesome 22:51:12 ​(standard_in) 1: illegal character: H 22:51:19 elliott: it wasn't? then I'll have to repost it for it is funny 22:51:29 olsner: it might have been :P 22:51:40 !yo hello my good friends <-- that's probably !yodawg, which should be the last interpreter unless someone added one behind it 22:51:49 [[And that was going to a type with less strict alignment rules. Increasing the requirement like this: 22:51:49 short s[2] = { 0, 42 }; 22:51:49 int i = *(int *)s; 22:51:49 Has three possible outcomes: i == 0, i == 42 or crash (unaligned 4-byte load).]] 22:51:56 *SIGN* 22:52:07 It's undefined behaviour, it has literally infinite possible outcomes because it isn't a program. 22:52:31 !postmodern_aoler I think it's important to focus our energy right now 22:52:31 I TH1NK 1T"5 IMPORTANT 2 FOCU5 OUR ENERGY RIGHT NOW 22:52:58 !postmodern_aoler Im a tarski jfk 22:52:59 1M A TAR5KI JFK 22:53:46 is this the channel where someone posted a link to the write-only memory datasheet? <-- i've seen write-only memory mentioned so possibly 22:54:11 !show decisionengine 22:54:11 haskell import System.Random; main = (randomRIO (0,1) :: IO Int) >>= print 22:54:30 !delinterp decisionengine 22:54:31 ​Interpreter decisionengine deleted. 22:54:41 !addinterp haskell import System.Random; main = (randomRIO (0,1) :: IO Int) >>= print 22:54:42 ​There is already an interpreter for haskell! 22:54:50 !addinterp decide haskell import System.Random; main = (randomRIO (0,1) :: IO Int) >>= print 22:54:51 ​Interpreter decide installed. 22:54:52 http://www.national.com/rap/Story/WOMorigin.html <-- here it is then 22:55:13 new for everyone who hasn't, refresher course for everyone who has read it 22:55:21 !show simpleacro 22:55:22 haskell import System.Random; import Control.Monad; main = do {len <- pick [2..10]; putStrLn =<< (replicateM len $ pick ['A'..'Z'])} where pick a = randomRIO (0, length a - 1) >>= return . (a !!) 22:55:35 !addinterp acro haskell import System.Random; import Control.Monad; main = do {len <- pick [2..10]; putStrLn =<< (replicateM len $ pick ['A'..'Z'])} where pick a = randomRIO (0, length a - 1) >>= return . (a !!) 22:55:36 ​Interpreter acro installed. 22:55:41 !delinterp simpleacro 22:55:41 ​Interpreter simpleacro deleted. 22:55:45 !acro 22:55:50 NV 22:55:54 YOU FUCKING RUINED SIMPLEACRO 22:55:58 !delinterp acro 22:55:58 ​Interpreter acro deleted. 22:56:02 ... 22:56:03 !addinterp simpleacro haskell import System.Random; import Control.Monad; main = do {len <- pick [2..10]; putStrLn =<< (replicateM len $ pick ['A'..'Z'])} where pick a = randomRIO (0, length a - 1) >>= return . (a !!) 22:56:04 ​Interpreter simpleacro installed. 22:56:06 how? 22:56:06 WELCOME BACK OLD FRIEND 22:56:21 * oklofok wonders if proving something would be a nice addition to all this white noise 22:56:23 hey fhet's zeees OouooH SNEP IT'S A FOooCKING TIGER 22:56:37 hey it's my program I can name it whatever I want. :P 22:56:46 elliott: wtf are you sabotaging our attempts at shortening the interpreter list? 22:56:51 if I shorten some of the names then we can have more interps displayed. 22:56:53 oerjan: i value tradition, asshole. 22:56:56 :( 22:56:57 anyway, about bot loops: I think that if the bot sends messages to the channel in a special way, then other bots can see which messages were sent from other bots and ignore them 22:56:58 here's a fun little puzzle which you can solve yourselves 22:57:05 !userinterps 22:57:05 ​Installed user interpreters: aol austro bc bct bfbignum brit brooklyn bypass_ignore bytes chaos chiqrsx9p choo ctcp dc decide drawl drome dubya echo eehird ehird elmer fudd google graph gregor gregor__1 hello id jethro kraut lperl lsh map num ook pansy pi pirate plot postmodern postmodern_aoler prefixes python redneck reverse rimshot rot13 rot47 sadbf sanetemp sfedeesh sffedeesh simpleacro simplename slashes svedeesh swedish ustemp valspeak warez wc yodawg 22:57:08 olsner: or they can just ignore messages with certain nicks 22:57:09 dur 22:57:14 CakeProphet: oh well they all fit now. i think. 22:57:20 istr this is what lambdabot does to prevent loops between several lambdabots 22:57:21 oerjan: not if I keep adding more. :D 22:57:27 !show yodawg 22:57:27 unlambda (sending via DCC) 22:57:29 !showinterp gregor__1 22:57:31 !show gregor__1 22:57:32 sh sed 's/th/þ/g ; s/Th/Þ/g ; s/s/ſ/g ; s/ae/æ/g ; s/Ae/Æ/g ; s/oe/œ/g ; s/Oe/Œ/g' 22:57:37 !delinterp gregor__1 22:57:37 ​Interpreter gregor__1 deleted. 22:57:38 A, B \subset X^2, A and B transitive, B symmetric, A \cup B = X^2. prove A = X^2 or B = X^2 22:57:45 !addinterp pikhq sh sed 's/th/þ/g ; s/Th/Þ/g ; s/s/ſ/g ; s/ae/æ/g ; s/Ae/Æ/g ; s/oe/œ/g ; s/Oe/Œ/g' 22:57:45 ​Interpreter pikhq installed. 22:57:49 !show eehird 22:57:50 haskell main = interact (let food s = case dropWhile (\x -> not (isAlpha x || isSpace x)) s of "" -> []; s' -> w : food s'' where (w, s'') = break (\x -> not (isAlpha x || isSpace x)) s' in unlines $ map ((" " ++) . unwords . words) $ food $ map toLower) 22:57:52 !show ehird 22:57:52 sh funetak 22:58:03 !ehird the most donkey fishes 22:58:03 da most donkey fishes 22:58:07 !eehird the most donkey fishes 22:58:15 what 22:58:19 /tmp/input.17083.hs:1:57: Not in scope: `isAlpha' 22:58:20 22:58:20 /tmp/input.17083.hs:1:70: Not in scope: `isSpace' 22:58:22 22:58:24 /tmp/input.17083.hs:1:151: Not in scope: `isAlpha' 22:58:26 22:58:28 /tmp/input.17083.hs:1:164: Not in scope: `isSpace' 22:58:30 22:58:32 /tmp/input.17083.hs:1:245: Not in scope: `toLower' 22:58:34 22:58:36 > (let food s = case dropWhile (\x -> not (isAlpha x || isSpace x)) s of "" -> []; s' -> w : food s'' where (w, s'') = break (\x -> not (isAlpha x || isSpace x)) s' in unlines $ map ((" " ++) . unwords . words) $ food $ map toLower) "the most donkey fishes" 22:58:37 Couldn't match expected type `[GHC.Types.Char]' 22:58:37 against inferred ty... 22:58:40 o_O 22:59:07 what the hell is that. 22:59:19 oerjan: EXPLAIN THIS 22:59:38 it's uorygl's fault apparently 22:59:48 !ehird I have this awesome opinion on something 22:59:49 Em have this awesome opinion on something 23:00:06 !pi 23:00:06 3.14156 23:00:14 !pi 10000 23:00:22 tau / 2 23:00:22 because I like circular definitions 23:00:23 -!- Vorpal has quit (Ping timeout: 260 seconds). 23:00:39 lol, why didn't I see that the first time, it's wrong 23:00:42 istr this is what lambdabot does to prevent loops between several lambdabots <-- yeah it adds initial space to many things. 23:00:49 oerjan: EXLPAN IT 23:00:54 http://www.reddit.com/r/reddit.com/comments/hwlxz/ok_wtf_i_live_near_this_reactor_here_in_the_us_we/ 23:01:02 This reached the front page of Reddit. 23:01:05 oerjan: that isn't what "this" referred to 23:01:10 Who says sensationalism never paid off/ 23:01:12 *? 23:01:39 !addinterp acro haskell import System.Random; import Control.Monad; main = do {len <- pick [2..10]; putStrLn =<< (replicateM len $ pick ['A'..'Z'])} where pick a = randomRIO (0, length a - 1) >>= return . (a !!) 23:01:40 ​Interpreter acro installed. 23:01:45 !delinterp simpleacro 23:01:45 ​Interpreter simpleacro deleted. 23:01:47 * CakeProphet ahems. 23:01:51 > (let food s = case dropWhile (\x -> not (isAlpha x || isSpace x)) s of "" -> []; s' -> w : food s'' where (w, s'') = break (\x -> not (isAlpha x || isSpace x)) s' in unlines . map ((" " ++) . unwords . words) . food . map toLower) "the most donkey fishes" 23:01:53 " the most donkey fishes\n" 23:02:59 I wonder why it takes so long for it to run 23:03:00 !acro 23:03:00 elliott: I confess. 23:03:05 PLEZGVL 23:03:08 `pwd 23:03:09 ​/tmp/hackenv.17778 23:03:15 Deewiant: What's that even meant to do. 23:03:19 elliott: missing Data.Char import i guess 23:04:29 > (let food s = case dropWhile (\x -> not (isAlpha x || isSpace x)) s of "" -> []; s' -> w : food s'' where (w, s'') = break (\x -> not (isAlpha x || isSpace x)) s' in unlines . map ((" " ++) . unwords . words) . food . map toLower) "123abc456def" 23:04:31 " abc\n def\n" 23:04:46 oerjan: it doesn't even type as-is 23:05:12 2009-07-13 04:12:15( Warrigal) > let food s = case dropWhile (\x -> not (isAlpha x || isSpace x)) s of "" -> []; s' -> w : food s'' where (w, s'') = break (\x -> not (isAlpha x || isSpace x)) s' in unlines $ map ((" " ++) . unwords . words) $ food $ map toLower $ "What do you do, my eponymous friend?" 23:05:17 2009-07-13 04:14:08( Warrigal) !addinterp eehird haskell main = interact (let food s = case dropWhile (\x -> not (isAlpha x || isSpace x)) s of "" -> []; s' -> w : food s'' where (w, s'') = break (\x -> not (isAlpha x || isSpace x)) s' in unlines $ map ((" " ++) . unwords . words) $ food $ map toLower) 23:05:36 Right, saw that. 23:06:57 oerjan: that isn't what "this" referred to <-- well then i don't know what you mean 23:08:56 oerjan: basically that there are severaly ways to send messages to channels, and one of them is supposed to be used by bots but not people 23:09:08 and if you make bots only listen to people, everything works out 23:09:21 elliott: well Deewiant fixed some . / $ confusion 23:09:34 I remember a discussion about this in one of the haskell channels a long time ago 23:09:46 about how lambdabot avoids bot loops 23:10:05 olsner: notices, yes, but lambdabot doesn't use that. because it's annoying in most clients. 23:10:09 as far as I know the IRC protocol only has one MSG command. 23:10:25 CakeProphet: NOTICE 23:10:39 ah, but yeah, that looks annoying. 23:12:00 sup dawgs 23:12:44 right, lambdabot definitely doesn't use those 23:13:18 in mirc, you see that on whatever channel happens to be active i think 23:13:32 I wonder what it was then, because I definitely remember that (someone claimed that) it didn't rely on the contents of the messages 23:13:33 so you get those in the logs of another channel, which is kinda insane 23:14:40 I think notices should be used properly 23:14:54 regardless of mIRC interpreting them as massively exciting rather than as less important than privmsgs 23:15:46 privmsg's aren't important? 23:16:03 i guess you didn't mean *even* less important 23:16:25 i don't think mirc considers notices more important than privmsg's since it opens a query window for privmsgs 23:18:15 If a space is metrizable, then it is sequentially compact if and only if it is compact. However in general there exist sequentially compact spaces which are not compact (such as the first uncountable ordinal with the order topology), and compact spaces which are not sequentially compact (such as the product of uncountably many copies of the closed unit interval). 23:18:16 :D 23:18:17 mirc doesn't consider anything important because it's a program. 23:18:18 .. 23:18:20 :3 23:18:26 that's just hilardious 23:18:48 wanted to check which direction is always true because i couldn't see it 23:19:04 but lol topology owns i need to get my hands on counterexamples in topology 23:21:33 hmmm, how would you go about a fuzzy three-valued logic? 23:21:52 ah, [-1,1] 23:22:02 well, no... 23:22:49 you could have an unknown value that is independent of your truth and false value. 23:23:07 so perhaps a complex number. 23:31:40 regardless of mIRC interpreting them [...] <-- irssi too 23:31:54 bad irrsi! 23:32:24 do you know any client which _does_ treat notices as less important in-channel 23:32:41 well when I /sent/ the notice I was in Window, but it showed it in #esoteric 23:32:43 (irssi does refrain from opening a new window if it's not in a channel) 23:34:13 Konversation uses [Notice] -nick- rather than for notices 23:34:21 and allows you to set them to a different color 23:34:43 that's still more noise than a privmsg 23:34:51 and my color settings are to make them less standouty than privmsgs 23:34:59 (I have them set a closer color to the background than privmsgs are) 23:35:10 but yes, still more noise 23:35:22 `quote .* 23:35:23 1) I used computational linguistics to kill her. \ 2) EgoBot just opened a chat session with me to say "bork bork bork" \ 3) Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ 4) that's where I 23:35:35 :t val 23:35:36 forall a. Dif a -> a 23:35:41 wtf 23:36:08 `quote [^e] 23:36:10 1) I used computational linguistics to kill her. \ 2) EgoBot just opened a chat session with me to say "bork bork bork" \ 3) Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ 4) that's where I 23:36:14 dif 23:36:18 isn't that some kidn of automatic differentiation 23:36:26 `quote ^[^e]+$ 23:36:27 67) hmm, this is hard \ 98) Ah, vulva. What is that, anyway? \ 133) Hooray! I'm an idiot. \ 179) it was too difficult \ 197) pikhq, Okinawan? Wtf is that \ 391) 3 = 7/2 23:36:53 `quote vulva 23:36:54 98) Ah, vulva. What is that, anyway? 23:36:54 CakeProphet: you're looking for quotes that contain no es? 23:36:58 yep 23:37:18 `quote ^[^aeiou]+$ 23:37:19 No output. 23:37:21 heh. 23:39:35 hmm, f*ck! 23:39:55 elliott: i was trying to find the name of that Expr thing which is like fun but not overloaded, and which i think i may have misspelled when finding var. unless its name really _is_ var or val and it just isn't imported because it conflicts with the Sym and Dif ones 23:40:13 `quote \b[@%$*](\$)?[\w_][\w_0-9]*\b 23:40:14 No output. 23:40:26 No Perl variable names in quote, surprisingly. 23:40:39 also what was that trick i used to get the module name of a lambdabot identifier 23:41:06 istr managing it with Sym yesterday 23:41:24 `quote @{["b"]} 23:41:25 No output. 23:41:28 oh right 23:41:40 @let val = "boo!" 23:41:40 Defined. 23:41:44 > val 23:41:45 Ambiguous occurrence `val' 23:41:45 It could refer to either `L.val', defined at Data.Number.Dif 23:42:25 @undefine 23:42:37 hm? 23:42:41 > "hi" 23:42:42 "hi" 23:42:47 > val 23:42:48 Overlapping instances for GHC.Show.Show 23:42:48 (Data.... 23:43:17 `quote (?{"drugs"}) 23:43:18 (again, i needed to send > val in private to get a longer response) 23:43:18 No output. 23:43:50 hey, you never know... 23:44:49 r/trees is thataway 23:45:34 oerjan, what if you like other drugs. 23:46:01 ...trees? 23:46:03 -!- pikhq has quit (Remote host closed the connection). 23:46:29 -!- clog has quit (Ping timeout: 260 seconds). 23:46:46 hey Sgeo guess what didn't just update 23:46:48 hint: it's not homestuck 23:47:03 Phantom_Hoover: There's also /r/drugs :P 23:47:11 CakeProphet: somewhat random name for reddit's main marijuana subreddit (r/marijuana apparently has awful management so people fled it) 23:47:19 ah, makes sense. 23:47:20 oerjan: it's not actually the main one 23:47:26 it's basically a place for stoners to... be stoners on reddit 23:47:33 there's a "serious" weed subreddit, IIRC 23:47:37 well ok 23:47:47 I suspect the reason there's no analogues for other drugs is because they tend to be rather more incapacitating 23:47:50 elliott knows all about the various potsmoking subcultures of reddit. 23:47:55 /r/drunk is for alcoholics 23:48:02 CakeProphet: yes. 23:48:08 I remember hearing that /r/marijuana was moderated by some nut\ 23:48:13 It is 23:48:17 Why do I know this 23:48:20 but it's certainly reddit's _largest_ drug subreddit (it even reached top 10 after that ... 4/ something event) 23:48:46 /r/cannabis or something is the serious one, IIRC 23:48:46 only for a week though 23:48:53 elliott, ty 23:48:53 oerjan: hahaha, 4/something event? 23:49:06 oerjan: it's four/nineteen 23:49:07 HTH 23:49:12 CakeProphet: 4/some number that has some significance 23:49:18 the number is nineteen definitely 23:49:21 no 3/19 is bicycle day 23:49:27 4/20 is hitler's birthday, of course. 23:49:34 *4/19 23:49:36 oh right, and four/twentyone is international heroin abuse day 23:49:42 where you abuse heroin for the occasion. 23:49:45 poor heroin :( 23:49:46 CakeProphet: r/trees decided to go nuts with upvotes on that day, so managed to reach top 10 subreddit for the next week 23:50:42 a clear sign that potsmokers love Hitler. 23:52:06 elliott: how does one properly handling heroin without abusing it? 23:52:08 *handle 23:52:24 keep it in storage? tell it nice things occasionally? 23:52:39 how does one use heroin and not abuse it, in this nomenclature. 23:52:39 iirc it's supposedly based on some police code for drugs which may or may not actually have existed 23:52:57 CakeProphet: a loving mutual relationship 23:53:37 bicycle day is definitely a more interesting drug-related holiday. I honestly have no clue where 4/20 originates. 23:53:42 bicycle day at least makes sense. 23:54:05 5744 23:54:06 er 23:54:07 oh 419 are the scammers 23:54:08 http://en.wikipedia.org/wiki/420_(cannabis_culture) 23:54:12 learn you some factoids 23:54:24 elliott: apparently there are a lot of 4nn things :P 23:55:21 scammers? 23:55:27 CakeProphet: yes 23:55:31 nigerian 23:56:42 what a lame origin story. 23:58:28 Bicycle day is increasingly observed in psychedelic communities as a day to celebrate the discovery of LSD, this occasionally involves the consumption of LSD but most of the time individuals mark the day through referring to the discovery on social media. 23:58:35 CakeProphet, hey did you keep reading Homestuck. 23:58:38 The article seems to suggest that these events are mutually exclusive. 23:58:40 Phantom_Hoover: nope. 23:58:48 CakeProphet you are terrible. 23:58:55 You should either kill yourself 23:58:58 Or read it 23:59:06 The hoover seems to suggest that these events are mutually exclusive. 23:59:21 no it is an inclusive or 23:59:47 Hope about I just do both?