00:15:44 -!- augur has quit (Remote host closed the connection). 00:36:30 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 00:47:00 -!- Jafet has joined. 00:53:15 lul i got kind of carried away, suddenly i realize i'm at work at 2:30 :D 00:54:16 (and my ex is coming over at 10:00 and i promised to the unstuffify the floor) 00:55:10 oklopol: hi 00:55:20 and i have to be at uni from 10:00 to 18:00 and i then need to finish my article and i need about 10 hours of sleep. i'm sure this will work out well. 00:55:27 hi elliott, what's up with you 00:55:38 i'm made of fish 00:55:58 wow. i feel so silly now, whining over nothing. 00:56:15 before you said that, i was perfectly content about whining over nothing 00:56:30 did you know the earth has a moon 00:57:04 no 00:58:35 at 1:30, i realize a very crucial step of the proof of my theorem doesn't work (the article is just one 6 page proof + fluff) 00:58:40 that was kind of fun. 00:59:08 exhilarating 00:59:10 :D 00:59:11 i then obtained a huge math high (it's a thing), and found another way 00:59:17 oklopol: you should publish it with oerjan 00:59:21 wait for it 00:59:25 here it comes 00:59:35 -!- derdon has quit (Remote host closed the connection). 00:59:40 * oerjan whistles innocently 00:59:43 dammit 00:59:43 i think i'll publish it alone 01:00:09 -!- copumpkin has joined. 01:00:09 it's one of my best proofs ever if you ask me (and who else would you ask) 01:00:25 kind of annoying that it was also the first article i wrote 01:00:41 proofs! 01:00:52 i don't know, you're kind of biased 01:00:54 yes copumpkin that's a word oklopol said 01:01:18 we had a visiting lecturer today 01:01:31 he told us about this famous open problem that he and his student had proved various special cases of 01:01:43 after the lecture, i told him they'd been solving the wrong problem 01:02:01 he kind of agreed :D 01:02:05 :O 01:02:20 then he went to plan how to kill you 01:02:35 (i had a way better generalization of the problem that the open one generalized) 01:03:22 oerjan: also he may have just been polite. but anyway obviously i'm right. 01:03:41 obviously. 01:03:57 the original problem had these great symmetry properties that the generalization lost, and there's an obvious generalization that loses none of them 01:04:36 i also further generalized it to an arbitrary dimension and he's like oh, we did this in another way, obviously not nearly as elegant as yours. 01:05:11 oh wow i should really clean this place up 01:05:41 i mean there's a stack of stuff about half a meter high that fills the floor completely 01:06:08 in a tiling pattern 01:06:30 a highly aperiodic one 01:07:29 although i suppose i should say non-periodic, in case my supervisor sees this. 01:07:45 i'm pretty sure copies of my stuff also tile periodically 01:11:27 \begin{theorem} 01:11:43 They do. 01:11:49 \end{theorem} 01:12:02 \begin{proof} 01:12:32 I have a lot of stuff. Surely there's a dice somewhere in there. 01:12:37 \end{proof} 01:13:59 http://blog.stackoverflow.com/wp-content/uploads/then-a-miracle-occurs-cartoon.png 01:19:06 oklopol: you can't talk in caps stop :( 01:20:04 they make me use caps at work :( 01:20:19 oklopol: have you actually tried writing papers in lowercase :D 01:20:20 oerjan, old 01:20:39 oerjan: nice and relevant 01:21:05 -!- pikhq has quit (Ping timeout: 252 seconds). 01:21:06 Sgeo: it's only "old" if the linking isn't directly relevant... 01:21:11 -!- pikhq has joined. 01:21:25 Oh 01:22:15 maybe he just meant oerjan is old 01:22:53 also, you cannot complain about things that are older than you are, they count as "ancient" 01:25:41 -!- elliott has quit (Read error: Connection reset by peer). 01:25:55 -!- elliott has joined. 01:37:09 -!- elliott has quit (Remote host closed the connection). 01:37:14 -!- elliott has joined. 01:45:25 -!- zzo38 has joined. 01:53:45 lol i guess cleaning is not all bad, i just found 100e on my floor 01:55:27 and the high from inhaling all the poisonous stuff that's been cooking up amongst dirt makes the whole task seem like nothing 01:56:12 elliott: well no. also i scrapped all my principles when i started writing papers, including monospace. 01:56:14 :D 01:56:33 oklopol: do you still use that beautiful windows theme 01:56:40 no i don't have it anymore 01:56:42 :( 01:56:46 that was one of my few real achievements in life 01:57:03 well i would love to have it 01:57:11 but my hd is gone 01:57:15 guess who else doesn't have it any more :) 01:57:34 along with my 150gb of porn and a few very useful text files :( 01:57:49 sic transit gloria fenestrarum 01:58:20 you are a genius, do you know that 01:58:51 we are all a genius. he's got quite a split personality. 02:00:36 is there a particular reason you didn't say geniuses, the way it is now i don't see how the first sentence has a double entendre 02:01:05 yes. 02:01:07 what should i do with my 100e :o 02:01:40 can you explain it? 02:01:55 there is one particular genius, who we all are. 02:03:42 -!- DCliche has joined. 02:05:21 yeah but then the reader won't think you mean the philosophical ass-statement that we're all geniuses in our own way 02:05:36 asstement 02:05:39 (except that i totally did read it that way) 02:05:57 well that would be because i did not think of that meaning at all when writing it. 02:06:22 oh 02:06:47 -!- Klisz has quit (Ping timeout: 248 seconds). 02:06:53 then what was the second joke of your sentence, are you saying you just had one :D 02:07:32 the last part was just elaboration of the logical consequences, i'd say 02:08:09 i suppose that's cool 02:08:28 uh-oh, my huge garbage bag is about to spill its contents 02:08:37 also is this joke officially dead from dissection yet. 02:08:56 no, and what doesn't kill it only makes it stronger 02:09:11 oh dear, we're all doomed 02:09:12 MWAHAHAHAHA. is how funny it is now. 02:09:26 (again.) 02:10:16 now, does "again" refer to you using the schizophrenia joke again, or is the joke that we have been doomed many times before? 02:10:28 i <3 this conversation 02:10:32 the latter. 02:10:36 i see. 02:10:54 the former would also have been funny, imo. like an oops, we did it again. 02:11:51 i should probably take care of that garbage bag. 02:12:30 so math high, dust high, and now quite a tiredness high. interesting day. 02:12:35 maybe i should drink some beer. 02:13:24 the math highs i get are actually slightly scary, i have probably told you before that i occasionally hear voices, nowadays i can basically induce it, and i notice that thinking is way easier in that state. 02:14:01 * oklopol shares 02:14:13 where the fuck are my clothes 02:14:36 * oerjan guesses that's what they call the "flow" 02:14:49 i don't think the "flow" usually involves voices :P 02:15:02 no, flow is when i can just keep on working forever and i'm just in this lasting content state 02:15:18 hm 02:15:35 the other state usually comes from really needing to solve a problem 02:16:13 often also just before i fall asleep, so dunno. 02:17:07 not really voices, just you know really fast meaningless whispers and i start feeling really fast 02:17:25 so much fastness in there 02:18:07 You know, I'm starting to wonder something. Would it be rude to go around asking Finns why their last names are what they are? 02:18:17 and i can draw pictures in my head which are vivid like in a dream 02:18:20 tswett: were you finnish in another life 02:18:24 There's this one guy whose last name is Ääpälä. The thing is, there's no such thing as an ääpä; only an aapa. 02:18:39 elliott: what makes you think it was another life? I'm Finnish in *this* life. 02:18:41 maybe i'm just superhuman. also i still can't multiply numbers any faster, but i've told that already. 02:18:46 tswett: are you sure 02:18:49 I was born in Finland and have lived here my entire life. 02:18:53 ah 02:18:55 Yes, I'm positiivi. 02:18:56 no idea what ääpälä means 02:19:01 positiivinen 02:19:10 tswett: what's the name of that university you're at 02:19:11 Yes, that. 02:19:21 my name means a sort of forest 02:19:38 -!- Slereah has joined. 02:19:38 elliott: Grand Valley State Yliopisto. 02:19:41 right 02:19:43 the famous finnish university 02:19:53 also didn't you transfer to harvard or sth 02:19:57 the other famous finnish university 02:20:11 harvard, cambridge, massacheusetts, finland 02:20:12 tswett: would it be rude to ask if your parent named your sur swett because they sweated so much when they were creating you 02:20:32 oklopol: it depends on where you ask it. 02:20:48 If you ask it in #esoteric, nope, not at all rude. 02:20:55 But if you're in a movie theater, yeah, definitely. 02:20:58 :D 02:21:12 -!- Slereah_ has quit (Ping timeout: 255 seconds). 02:21:30 i would be pretty :O if someone put that much thought into their sentence 02:21:54 oklopol: what's a sur 02:22:04 Forgive me for asking a meaningless question, but what sentence do you mean? 02:22:07 no idea, i didn't make the language 02:22:09 elliott: it's the thing that a surname is the name of. 02:22:12 oh 02:22:18 tswett: my sentence 02:22:20 elliott: A Sur? 02:22:23 we all have a sur inside us :') 02:22:35 if someone asked me that in a movie theater, i would be surprised. 02:22:40 And no, I've also attended GVSY for my entire life. 02:22:43 well, i would probably assume they're an idiot 02:23:03 Jah Mal Jah Sur Jah Ber 02:23:13 That's why my last name is Yliopistola. 02:23:17 :D 02:23:37 Tänneri Yliopistola. 02:24:00 so when you coming to finland 02:24:01 yeah people are usually named after their birth unis 02:24:09 Speaking of Finland, yesterday was Independence Day. 02:24:17 oklopol: My grandmother keeps trying to get me to. 02:24:21 -!- Slereah has quit (Ping timeout: 252 seconds). 02:24:21 Don't they call it Stubbornness Day there or something? 02:24:48 shachaf: i meant tswett, he's talked about the subject occasionally 02:24:53 is your grandmother finnish? 02:24:54 (Or maybe my surname is Laakso-opposite-of-nen. That's a very Finnish last name.) 02:24:59 oklopol: Sure! 02:25:08 oklopol: I believe our plan was that I would visit you in 2014, right? 02:25:11 oklopol: So am I, naturally. 02:25:13 tswett: as a pun, yes. why is that? 02:25:13 But I've completely forgotten said plan. 02:25:24 Why is what? 02:25:32 shachaf: naturaly 02:25:37 *naturally 02:25:53 oklopol: Well, quite a lot of people with Finnish grandmothers are Finnish. 02:26:03 I've spent two* weeks of my life there! 02:26:13 "Grand Valley", despite being a Finnish phrase, can be rendered even more Finnishly as "Laakso-opposite-of-nen", since "laakso" means "valley", and "opposite-of-nen" means "grand". 02:26:47 * shachaf ought to learn Finnish. 02:27:03 shachaf: was it sooo awesome 02:27:06 Debes lerni suomen! 02:27:23 oklopol: Like, totally, dude! 02:27:43 totaalisti 02:27:46 Und después, do kakne que write cada valsi in una bangu diferente. 02:27:52 apart from spain, and not having prostitution, this is probably my favorite place in europe out of the ones i've seen 02:27:53 I've spent two* weeks of my life there! 02:27:58 where's the footnote 02:28:04 tswett: "opposite-of" is totally finnish 02:28:06 elliott: at the end of #esoteric. 02:28:11 when's that 02:28:14 2014 02:28:20 ah 02:28:41 :D 02:28:57 I'm pretty sure #esoteric ends on the day that How to Train Your Dragooni comes out. 02:28:57 i love this conversation 02:29:25 That is how it is called in Americassa, right? 02:29:28 kuinka koulutat lohikäärmeen 02:30:07 i have no idea what your last sentence meant 02:30:20 but the inessive of amerikka is amerikassa 02:30:24 * Madoka-Kaname giggles 02:30:35 Joo, sepsetää ei mäksö pelea. 02:30:45 The whole xkcd "Everything leads to Philosophy" thing is broken by Computer program <-> Computer software 02:31:22 yeah but programming is kind of gay anyway 02:31:48 Piensö ke tödä el suomi ke digö de verdad es espäniöl. 02:32:00 Anyway, good night, everyone. 02:32:22 Madoka-Kaname: i'm sure it's broken by many many cycles 02:32:58 I'd like to find out what percentage of pages breaks that. 02:32:59 well none of the straight ones 02:33:11 about 10% 02:33:13 Madoka-Kaname: not hard 02:34:20 and a small percentage both goes to philosophy and doesn't. 02:34:49 oklopol: Go wake fizzie up for me 02:35:13 i don't have a car 02:36:19 oklopol: So? 02:39:31 oklopol: I mean, just fly. Or walk. Finland's not big. 02:40:26 Suppose Mac OS X libc would be unhappy if you did open(..., O_WRONLY|O_SYNC|O_ASYNC)? :P 02:40:29 Wait, oklopol can fly? 02:40:40 That's a good application for maths. 02:41:37 Gregor: Why OS X in particular? 02:42:08 there's a tampon on my floor. 02:42:24 why is there a tampon on my floor. 02:42:32 the plot thickens 02:44:25 -!- augur has joined. 02:44:35 augur: there's a tampon on my floor 02:45:00 eww right? 02:45:03 :DSDSDSDSDSDDSD 02:45:09 oklopol: ok? 02:45:22 you seem to have missed the joke 02:45:29 must have! 02:45:32 yep 02:45:39 whats the joke 02:46:07 the joke was that you're gay so it's disgusting for you to hear about women's vagina stuff. just like straight men are terrified of condoms. 02:46:33 i actually just found a condom on my floor too 02:46:52 but that was slightly less surprising than the tampon 02:47:34 because i had sex in 2010, but i've never menstruated 02:47:48 oklopol: i just realised that you're talking about your own room, not work 02:47:52 :D 02:47:56 my HOUSE 02:48:08 it didn't really occur to me to be surprised that your work has all this shit lying around before that 02:48:12 18 WHOLE square meters of house. 02:48:13 seeing as you're oklopol and everything 02:48:36 augur: did you get the joke now? 02:49:00 oklopol: no 02:49:07 why havent you menstruated? 02:49:12 havent you hit puberty yet? 02:49:44 i'm completely flat :/ 02:49:47 it's embarrassing 02:52:17 sometimes i wish i was born a man. it would make more sense what with all these balls and penises lying about. 02:53:30 Jan 7, 2012, at 20:30, GMT. Saturn-Mercury-Jupiter-Neptune-Moon are 60 degrees apart from the next one (in ecliptic coordinates) 02:56:02 -!- oerjan has quit (Quit: Good night). 02:56:13 is that some sort of fucked up 3d pentagram 02:57:01 -!- Jafet has quit (Quit: Leaving.). 02:57:03 No it is only the ecliptic longitudes, so it isn't 3D. (The ecliptic latitudes and distances are not taken into consideration, only their direction relative to the Earth) 02:57:09 elliott: anyway we have a girl in our office every now and then so obviously there's a lot of tampons everywhere. on the other hand, i never let people in here. 02:57:17 so i really don't get it 02:57:57 zzo38: how did you find this out 02:58:24 But I wonder, how common is it that ecliptic longitudes of planets will ever form a pentagram? 02:59:08 Gregor: Why OS X in particular? // because O_CREAT|O_SOMETHING from a glibc binary MIGHT hapeen to become O_SYNC|O_ASYNC on OS X :P 02:59:36 Gregor: Why not just use a libc wrapper... 02:59:44 Assuming it's the ELF-loading stuff 02:59:53 zzo38: it happens just once and then we all die. 03:00:03 elliott: I considered that tact. 03:00:22 oklopol: Actually I just input arbitrary data into Astrolog and this is its output. I can compute equatorial positions as well if you want, and even asteroids, solar noon, eclipses, seasons, and even distances if wanted. 03:00:50 cool. 03:01:02 oklopol: Just once within a lifetime? Can you show mathematics to show how accurate your statement is? 03:01:37 zzo38: i heard that the world is going to end soon enough 03:02:15 elliott: I went one iota towards implementing that even, then realized that on many systems (glibc in particular), the C library very low-level, hard to expunge dependencies on the loader. 03:02:26 god changes the channel because we're not having enough sex 03:02:32 Gregor: Wot 03:02:40 elliott: I'm not confident that getting a glibc with the guts ripped out would be easier than my current tactic :P 03:02:46 Gregor: Oh nonono, don't do that 03:03:00 Gregor: Just, for each platform, write libc_wrap.so that turns glibc calls into native libc calls 03:03:06 Gregor: you should listen to elliott, he has written a 50 line program once 03:03:09 Then LD_PRELOAD-or-equivalent it 03:03:12 elliott: Uhh, that's what I do. 03:03:21 Gregor: Then why can't you handle O_CREAT|O_SOMETHING in open()... 03:03:33 elliott: I can now, I didn't have a wrapper for open before :P 03:03:34 and that's not without comments... 03:03:37 Gregor: Ah :P 03:03:40 *-not 03:03:43 oklopol: meanie 03:03:57 elliott: I can run cp! 03:04:00 If they are going to form a pentagram, then they are going to form a pentagon too, since they are just the points of the shape. 03:04:01 elliott: On Mac OS X! 03:04:04 child pornography is illegal 03:04:07 Gregor: So can I! *boots up OS X, types cp* 03:04:17 elliott: Yeah, but mine has -a! 03:04:23 Gregor: So does OS X cp :P 03:04:24 zzo38: but pentagons are not dangerous 03:04:25 (Note: Modern OS X cp does in fact have -a :P ) 03:04:35 Gregor: Also coreutils is in all the package managers :P 03:04:48 elliott: Yeah, well my date has --iso so HA 03:04:50 package management is illegal 03:04:55 (Note: date does not work) 03:04:56 Gregor: date is in coreutils :P 03:05:05 iso is finnish for big 03:05:23 itym date does no work 03:05:31 :P is sideways 03:05:35 faces shouldn't be sideways 03:05:40 elliott: HEY GUYS I'M CROSSLOADIN WOO 03:05:48 -!- Nisstyre has quit (Ping timeout: 240 seconds). 03:05:51 oklopol: I doubt pentagrams are dangerous either... and if they form a pentagon they will also form a pentagram too for the same reason. 03:06:04 Gregor: You will only succeed in creating a monster once you can run Safari on Linux. 03:06:51 elliott: I'm doing this for the lessons so I can reverse it y'know :P 03:07:00 -!- Slereah_ has joined. 03:07:05 at some point, being fucking retarded gets a bit lame, so maybe i'll stop doing this 03:07:09 Gregor: What 03:07:15 Reverse it? 03:07:17 Oh, go the other way 03:07:29 I just already had gelfload :P 03:07:32 your question mark should've been after what, not after reverse it 03:07:35 reverse it is a statement... 03:07:40 Gregor: Running OS X binaries on Linux is about 0.01% of running Safari on Linux :P 03:07:42 what's a gelf? 03:07:53 You'd have to implement however Cocoa talks to Quartz at least 03:07:53 safaris don't run, things run on safaris 03:07:58 like lions and shit 03:08:09 I know about all these predictions of end of the world; there are a lot. I don't know how much you believe these kind of things. I doubt it will be end of world or if anything significant will happen. The date specified is 13.0.0.0.0 in the Mayan long count calendar (some people say the number on the left is not supposed to go above 12 but I doubt that) 03:08:09 And I don't think it's a network protocol, so you'd have to patch the code somehow :P 03:08:14 elliott: Not necessarily ... how complete is GNUStep these days *hahahadeath* 03:08:31 Gregor: My sources tell me that GNUStep can't run anything even vaguely modern :P 03:08:33 -!- Nisstyre has joined. 03:08:43 Gregor: Especially not Grand Central Dispatch, IIRC, which I bet Safari uses 03:08:53 But the effort would be SO WORTH IT, it'd be a beautiful hideous monster. 03:09:06 are there any ancient mayans here 03:09:14 yes 03:09:21 how can something be beautiful and hideous 03:09:32 they are counter wordes 03:09:38 "GNUstep provides a robust implementation of the AppKit and Foundation libraries as well as the development tools available on Cocoa" 03:09:44 elliott: UH EXCUSE ME IT'S ROBUST 03:10:09 Gregor: Yeah, so it can't run Apple software! 03:10:10 OH BURN 03:10:18 lol 03:10:38 TBH, making Cocoa output to something you can blit onto X11 sounds a lot easier than using GNUstep :P 03:10:56 Except it's not F/OSS ... 03:11:14 Well, it probably uses a Quartz library, not some weird direct connection shit. 03:11:20 So I suppose I could intervene there. 03:11:25 Gregor: ...so? Neither is OS X libc and you use that :P 03:11:52 It's not an ethical issue, it's a "can I modify this" issue. 03:11:55 I know 03:11:58 Also, OS X libc is. 03:12:08 Gregor: I think you'd want to rip out the lowest level of http://en.wikipedia.org/wiki/Quartz_2D 03:12:20 That wouldn't get you anything rendered with OpenGL or QuickTime or whatever, but it'd get GUI stuff :P 03:12:37 "Quartz Compositor is the sole facilitator for the placement of rendered bitmaps into the memory of the graphics card. The bitmap output from Quartz 2D, OpenGL, Core Image, QuickTime, or other process is written to a specific memory location, or backing store. The Compositor then reads the data from the backing stores and assembles each into one image for the display, writing that image to the frame buffer memory of the graphics card. Quartz Compo 03:12:37 sitor only accepts raster data, and is the only process that can directly access the graphics frame buffer.[2]" 03:12:41 Oh, reimplementing that might be easier 03:12:53 Since it presumably has an actual interface :P 03:13:44 A nice theory. 03:13:54 Totally. 03:15:00 -!- azaq23 has joined. 03:15:09 -!- azaq23 has quit (Max SendQ exceeded). 03:15:43 -!- azaq23 has joined. 03:17:24 I KNOW WHAT I SHOULD DO!!! 03:17:29 *evil face* 03:17:34 *downloads IE5 UNIX binaries* 03:17:56 -!- Klisz has joined. 03:17:57 Oh, SPARC only/ 03:18:02 *cancel* :P 03:18:12 Gregor: qemu-system-sparc, man. 03:18:16 I'm sure your thing can run qemu. 03:19:29 lol 03:19:36 What are season patterns between the tropics? 03:20:28 -!- DCliche has quit (Ping timeout: 244 seconds). 03:31:44 Gregor: BTW how does it manage to fail at date :P 03:32:35 are you talking about something? all i see is nerd word nerd word nerd word and then i'm all like wooooah what's this here 03:33:00 When do you expect the ecliptic longitudes of planets, sun, and moon to form a pentagon/pentagram? 03:33:34 tomorrow 03:33:44 dunno, but i have a hunch that the stars form one pretty often 03:33:57 zzo38: i will answer that question when you solve the n-body problem 03:34:54 quintopia: I will tell you right now that it doesn't. 03:35:06 oklopol: Which stars? I can calculate stars in this program, too 03:35:14 some stars. 03:36:22 i will agree with oklopol that right here in this galaxy are some stars that, were they to never burn out or explode, would eventually form a pentagon 03:37:24 The fixed stars hardly move at all. Of the stars this program will calculate, none of them will ever form a pentagon in a very long time. 03:37:40 a long time = ever 03:37:43 elliott: Idonno, it's a segfault. 03:37:45 for any error, prolly 03:37:47 However you are probably correct that if they will not burn out or explode, they eventually will form a pentagon. 03:37:55 elliott: Probably something to do with my extremely grotty librt shim. 03:37:57 Gregor: How can date possibly segfault :P 03:37:57 But that would be beyond the range of any computer program to calculate. 03:37:59 erm 03:38:05 for any error ...something 03:38:08 what's a good term 03:38:19 anyway you know epsilon 03:38:19 oklopol: duck 03:40:52 if we assume a countably infinite universe, a pentagon is ever formed anywhere with probability 0 for any reasonable measure of probability (assuming stars are single points in R^n, which they are) 03:42:19 oh no 03:45:17 monqy: hi 03:45:32 hi 03:46:23 monqy: hi 03:46:33 elliott: hi 03:46:39 monqy: hi 03:46:50 i tried reading cap.pdf but got bored and stopped :( 03:47:03 monqy: bad person 03:47:05 maybe I will start again 03:47:06 sometime 03:47:09 (never) 03:47:19 yeah... 03:47:45 monqy: have you read the synthesis thesis, i never finished it, let us read it together :') (let's not do that, how do you even do that) 03:48:02 probably not 03:52:06 Note that when I say the planets and so on form these shapes, it is taking into account only the ecliptic longitude. Not distance or anything else. (And I don't really like the terms "ecliptic longitude" and "ecliptic latitude" either; are there better words?) 03:54:55 oklopol: you arent taking into account STRING THEORY which says ALL STARS ARE CONNECTED 1D STRINGS 03:54:59 *BY 03:55:58 O, string theory. I have read some books lately that have a few things about string theory. 03:55:58 which string theory is this? all of them? 03:56:32 all I know about string theory is it comes in many flavours 03:56:37 and has something to do with strings 03:56:51 my favorite is red raspberry 03:57:11 Yes there are many different string theories. 03:58:05 elliott: For libc5 loading, uname works but echo doesn't (wtf) 03:58:24 Gregor: libc5? wtf year are you in 03:58:38 elliott: I'm loading libc5 binaries. For lols? 03:58:40 On libc6 03:58:53 Gregor: Try libc4, man. 03:58:57 Everyone agrees it was the best. 03:59:14 elliott: ELF 03:59:25 Gregor: Just patch libc4 to work with ELF!!! 03:59:32 ... yesssssssssssss 03:59:41 And I will call the result ... 03:59:42 libc5 04:00:03 Gregor: libc5 did a lot more than THAT :P 04:00:38 But still 04:00:40 echo segfaults 04:01:15 Gregor: Try non-GNU echo :P 04:01:26 (Where are you even getting libc5 binaries from) 04:02:00 archive.debian.org :P 04:02:52 I would not be surprised to find that GNU echo calls every function in libc once. 04:03:34 lol 04:09:55 Does anyone know a generic command-line archive extractor for *nix? I don't care if it's just a shell script that calls out to tar/unzip/unrar :P 04:10:34 http://hartlich.com/deco/ Ah, here we go 04:10:40 Is 7-zip available for UNIX systems? 04:10:45 zzo38: Yes. 04:11:08 I, in fact, have it installed for the sake of .7z files. 04:11:10 'deco preserves the archive after successful extraction, unless you give it the -u (“unlink”) option." 04:11:18 Oh come on, does every program need an implementation of rm? 04:11:20 *"edco 04:11:21 *"deco 04:11:35 7-Zip can do those formats and is command-line program (there is graphics version too, but I only installed the command-line program) 04:11:41 "The deco extraction algorithm does the right thing automatically: generally, if and only if archive.foo contains multiple files at its top level, a new directory called archive/ is created and the archive gets extracted there." 04:11:42 Yess 04:11:46 Hell, I'm kinda annoyed that gzip has an implementation of rm. 04:11:53 zzo38: Unix 7zip doesn't do permissions IIRC 04:12:07 elliott: So, it's got anti-tarbomb stuff. :) 04:12:09 7-Zip can also extract Red Hat and Debian packages, as well as Macintosh disk image files. 04:13:16 In UNIX whenever I wanted to open a .tar.gz file I just used zcat < file.tar.gz | tar x (or tar t instead for listing files) 04:15:02 I just use "tar xf" and "tar tf". 04:15:02 There are probably many ways to do it but I think it should be done by one program for each thing and combined by pipes; this is how UNIX was designed to work but many new programs don't do like that 04:15:16 But I do believe I'm now using deco. 04:15:47 -!- Nisstyre has quit (Read error: Connection reset by peer). 04:16:52 -!- Nisstyre has joined. 04:19:32 "The deco extraction algorithm does the right thing automatically: generally, if and only if archive.foo contains multiple files at its top level, a new directory called archive/ is created and the archive gets extracted there." <-- this just became my new favorite extractor 04:19:43 Gregor: It's not in Debian though ;-) 04:19:48 Oh 04:19:52 Gregor: http://hartlich.com/deco/ 04:19:54 Then there must be something hideously wrong with it. 04:19:58 Warning: deletes all your files 04:20:11 Gregor: Yeah, it's totally broken, but if you download the tarballs we won't tell the Debian Overlords. 04:20:20 It'll be our little secret. 04:21:08 O, they are going to mix up UNIX, isn't it? 04:21:59 wat 04:22:01 who is 04:25:33 Interesting, libc5 cat can cat stdin, but not a file. 04:26:23 Oh, never mind. 04:26:27 It's errno that doesn't work properly. 04:28:03 -!- oklopol has quit (Ping timeout: 244 seconds). 04:32:40 Yeah, ♥ deco 04:32:57 -!- DCliche has joined. 04:35:56 * elliott reads old Linux kernel mailing list archives for some reason, sees a signature "-- Lennart", double takes, looks at From line, sees "Lennart Augustsson", triple-takes 04:36:25 -!- Klisz has quit (Ping timeout: 252 seconds). 04:42:42 I feel I'm doing libc5 errno wrong. 04:42:45 * Sgeo learns about non-monotonic logic 04:42:49 But I have no idea how to do it right. 04:53:06 -!- Nisstyre has quit (Quit: Leaving). 04:53:52 -!- Nisstyre has joined. 04:57:17 -!- pikhq_ has joined. 05:00:07 -!- pikhq has quit (Ping timeout: 248 seconds). 05:13:02 -!- DCliche has changed nick to {\. 05:15:42 -!- Jafet has joined. 05:19:53 -!- {\ has changed nick to Klisz. 05:28:00 What does non-monotonic logic mean? 05:29:28 I think someone once described Haskell programming as the closest thing to executable mathematics. 05:30:02 what does monotonic logic mean? 05:30:10 my guess would be logic without nots 05:34:07 zzo38: that person never heard of agda and coq 05:36:59 okay now i know what nonmonotonic logic is 05:37:00 neat 05:46:59 now I do too 05:46:59 also neat 05:58:27 -!- oklopol has joined. 05:59:10 oklopol what 05:59:14 did you just wake up 06:00:16 no, i've been cleaning my mansion, and the internet cable isn't really attached to the socket in any way, it's just kind of near it. 06:00:32 mansion :o 06:00:53 anyway it's actually rather clean here, apart from the weird smudge on the floor that the vacuum cleaner doesn't like to suck up 06:02:14 copumpkin: yeah my castle is ridiculously big, i could probably fit like a hundred people in here, and i have a big lamp, so if i took that off, at least 2 more 06:02:54 i could pump like 60 tons of water here 06:02:58 do it 06:04:41 -!- pikhq has joined. 06:04:58 -!- pikhq_ has quit (Ping timeout: 252 seconds). 06:05:45 nice 06:06:27 oklopol: pumping progress?? 06:06:35 Gregor: also did you ever start that cunionfs kernel module 06:07:17 I have now finished writing Chapter XIV: Everyone is Criminal 06:07:44 cool. when's xv coming? 06:07:54 we've been waiting for quite a while 06:08:41 Probably in two weeks from now. 06:10:42 Actually, I am wrong. I have not finished writing Chapter XIV. However, I have finished writing Session 6, which spans all of Chapter XIII and part of Chapter XIV. I cannot write Session 7 until it is actually played, but it will probably span at least the rest of Chapter XIV. 06:12:23 makes sense 06:13:19 http://www.youtube.com/watch?feature=player_embedded&v=0PAJNntoRgA This man is running for president. *sob* 06:14:22 well at least he approves his own message. 06:14:37 That became a stock appendage to campaign ads a while ago... 06:14:43 I think it was Bush? 06:14:57 i had a hunch that was the case 06:15:06 it's still somewhat ridiculous 06:15:12 More than somewhat. 06:15:20 Yes, you approve your own damn message. 06:15:23 I'd *hope so*.\ 06:15:41 pikhq: the thing i like about that video 06:15:43 views: 5,150 06:15:47 dislikes: 108,466 06:15:54 xD 06:15:56 what 06:15:57 i don't think that's 06:15:59 meant to be possible 06:16:10 i think the views statistic is just wrong that thing's all over the internet 06:16:16 must have more than 5,000 views by now 06:16:35 -!- azaq23 has quit (Remote host closed the connection). 06:17:54 pikhq: the amazing thing about that video though is that he doesn't like even try and frame it as DEFENDING MARRIAGE or PROTECTING OUR KIDS FROM THE GAY INFLUENCE or even HATE THE SIN NOT THE SINNER 06:18:07 it's outright "AS PRESIDENT, I WILL STOP GAYS DOING THINGS" 06:18:22 elliott: Yeah. 06:19:02 rick perry should come to europe, you can celebrate christmas openly here 06:19:08 because of our godless freedoms 06:19:09 elliott: If you've been following the GOP race at all, though, you'd see that basically it's a race for who can best appease hardcore racist homophobes. 06:19:20 i haven't been, thankfully 06:19:31 Probably for the best, TBH. 06:19:49 nor the democratic race :P 06:19:54 although i suspect that looks like START -> OBAMA 06:20:09 There's actually other people running, nominally. 06:20:38 http://en.wikipedia.org/wiki/Democratic_Party_(United_States)_presidential_candidates,_2012#Challengers 06:20:40 does that guy have a boot for a hat 06:20:42 The odds of that even being *relevant* are akin to the odds of King Henry rising from the dead, running for President, and winning. 06:20:51 Randall Terry, born 1959, pro-life activist and founder of Operation Rescue from West Virginia. In January 2011, Terry announced his intention to challenge President Barack Obama in the Democratic Party primaries for the presidential election of 2012.[13][14][15] He said he planned to run an ad featuring graphic photos of aborted fetuses during Super Bowl XLVI in February 2012.[16][17][18] 06:20:57 dear randall terry: plz don't 06:21:01 love, america 06:21:17 "He ran as a "Tea Party Democrat"" why. why 06:21:19 why is this a thing 06:21:34 lets run a competing ad 06:21:45 featuring aborted randall terry 06:21:58 Personally, I hope we get an old British king to resurrect and run. 06:22:09 It'd be much more interesting. 06:22:10 :P 06:22:24 pikhq: wait herman cain is FORMER GODFATHER'S PIZZA CEO??? 06:22:31 i 06:22:32 just read that 06:22:34 on the wikipedia page 06:22:41 this makes everything i've heard about herman cain about 06:22:42 twenty times funnier 06:23:20 http://en.wikipedia.org/wiki/United_States_presidential_election,_2012#Candidates_gallery_2 06:23:47 Guess the title for Chapter XV and Chapter XVI. 06:23:51 why do they even list vermin supreme. he is a comedian and only running as a stunt. such people shouldnt count. 06:23:58 i know nothing about jon huntsman or gary johnson and i forget what i know about newt gringrich but apart from those and the withdrawn candidates holy SHIT that's a bad selection 06:24:10 quintopia: He is nevertheless running. 06:24:21 why does wikipedia care? 06:24:22 quintopia: yeah, what we need is for our objective sources to decide what to report based on personal opinion 06:24:28 rather than the facts 06:24:30 oh 06:24:31 wait 06:24:39 isnt that what wikipedia is about? 06:24:49 no 06:25:06 "He claims that if elected President of the United States he will pass a law requiring people to brush their teeth." 06:25:12 americans: vote for this man 06:25:18 heh 06:25:35 quintopia: Wikipedia also reports on candidates for the Official Monster Raving Looney Party. 06:25:38 "On the campaign trail, Vermin Supreme likes to start his sentences with “I am the only candidate who supports…” And it’s true: he is the only candidate who supports fully funding time-travel research in order to go back and kill Hitler before he was born. He’s also the only candidate who makes mandatory toothbrushing his signature issue. After all, as he says in his dental manifesto, “Proper dental hygiene is essential to proper socia 06:25:38 l order.” If you’re worried about flying monkey tooth fairies enforcing the mandatory toothbrushing laws, fear not, since Vermin Supreme is also the only candidate who promises that such creatures will not be used to that end." 06:25:40 zzo38: magical dragons and the final ever everythingness. 06:25:52 come on guys, this guy is better than every single other candidate 06:25:58 who the fuck are you gonna vote for that isn't this guy 06:26:11 elliott: I am strongly considering it now. 06:27:04 controversial us election 2012 prediction: everyone votes for obama in a desperate attempt to keep the republican out, america gets another 4 mediocre years 06:27:26 Sounds about right. 06:27:43 Mediocre > leaping 100 years back 06:28:45 why not just give the gays their own state so people could finally pray in peace 06:29:45 oklopol: I vote we just form Jesusland. 06:30:01 well, i think that obama has done a lot of good things. it's just that none of them were "miraculously heal the world economy" 06:30:05 `addquote why not just give the gays their own state so people could finally pray in peace 06:30:11 749) why not just give the gays their own state so people could finally pray in peace 06:30:17 if he did that everyone would totes vote for him again 06:30:30 -!- sebbu2 has joined. 06:30:31 -!- sebbu2 has quit (Changing host). 06:30:31 -!- sebbu2 has joined. 06:30:32 quintopia: Well, yes, I wouldn't call Obama some terrible guy. He's just been, well. Mediocre. 06:30:53 * elliott can definitively say that his assessment of Obama is entirely unrelated to his not miraculously healing the world economy. 06:31:00 do you tend to lean towards voting for democrats pikhq 06:31:21 Yes, though I tend to think the lot of 'em have come to be the "less conservative" party. 06:31:35 they have always been that silly 06:31:44 and have always been criticized for it 06:32:02 democrats tend to always find their presidents to be mediocre 06:32:11 and not progressive enough 06:32:20 And now the GOP is not merely the "more conservative" party but rather the "y'know, medieval era Europe was tots awesome" party. 06:32:36 s/tots/totes/? Colloquialisms are hard to spell. 06:32:37 republicans on the other hand...they tend to stay behind their man 06:32:45 -!- sebbu has quit (Ping timeout: 255 seconds). 06:32:48 quintopia: if only the US had a half-reasonable voting system so that progressives had actual options! 06:32:52 totes 06:33:05 this is why democrats were so meh about fdr during his presidency 06:33:16 even though they love him now 06:33:28 Even though FDR was probably the most progressive President we've had, like, ever? 06:33:31 Huh. 06:34:01 yeah theres a good article on the phenomenon 06:34:06 lemme see if i can find it 06:37:13 can't 06:40:49 this may be interesting though http://www.salon.com/2011/08/05/obama_fdr_debt_ceiling/ 06:40:52 * quintopia reads 06:42:42 wtf is up with his ears 06:43:17 so what's randall's opinion on slave monkeys? 06:43:46 or does "gay" include them? 06:45:25 elliott: are you alluding to his early congressional majorities? 06:45:45 no i mean his actual ears in that picture 06:46:56 i read your comment just before reading that, then didn't sleep all night, then read the article, and actually wondered if "early" is a fancy buzzword i don't know. 06:47:07 or a typo of "yearly" 06:48:05 but actually google claims it's pretty common 06:48:19 it means like occurring beforehandtime 06:48:36 which really makes no sense but that's english for you. 06:49:03 oklopol is a balloon 06:49:09 filled with brain farts 06:49:14 someone catch him 06:49:29 put him to bed 06:50:42 -!- Klisz has quit (Quit: You are now graced with my absence.). 06:52:03 oklopol: hi 06:52:13 hi i guess 06:52:29 i should go to work............ oh my god i have to sleep........................... 06:54:09 oklopol: sleep dude sleep 06:54:27 no 06:54:30 neav 06:57:43 oklopol: :( 07:03:26 i'm so leaving now 07:05:45 oklopol turned into a flea 07:12:54 Data, sleep 07:13:24 -!- zzo38 has quit (Remote host closed the connection). 07:25:16 -!- quintopia has quit (Ping timeout: 244 seconds). 07:28:55 -!- quintopia has joined. 07:28:55 -!- quintopia has quit (Changing host). 07:28:55 -!- quintopia has joined. 07:31:12 quintopia: 74.117.159.204 07:36:55 yeah i know 07:36:59 i'll fix it later 07:38:07 holy shit, my topatoco package shipped 07:38:18 how many fucking signatures can one guy sign in like a few days 07:38:19 oh shit! 07:38:27 quintopia: yeah i bought a bomb 07:38:29 rip me :'( 07:38:34 i was hoping it'd get lost in shipping but no 07:38:42 it is my doom 07:38:47 goodbye elliott 07:38:52 goodbye 07:38:53 your gamble f€iled 07:39:03 f€iled 07:39:45 you forget finagle's law: if you didnt want it, you get it. should have put an invaluable diamond bracelet in the same package. then it would have not been delivered to you. the bomb would be a dud and someone else would get it. 07:40:36 quintopia: oh. because, i didn't actually but a bomb, i bought desirable merchandise 07:40:39 does this mean i won't get it 07:40:59 (don't worry i'm sure the merchandise is explosive) 07:41:22 it means either you wont get it, or it will be damaged when you do 07:41:29 or that you paid too much for it. 07:41:34 definitely (c) 07:41:35 did you pay too much for it? 07:41:38 (i just lettered them for you) 07:41:43 (lettering is like numbering but with letters) 07:41:44 oh okay 07:42:00 if you paid too much, it'll all be okay 07:43:29 but like, i know there were over a thousand signed orders before it sold out, and i only bought it 5 days ago............. 07:43:44 eh i caught it like two hours after it came out so i guess he just did them chronologically 07:43:46 ~mysteries solved~ 07:43:50 ALSO 07:43:58 can someone write @ for me 07:43:58 i'm getting sick of linux again 07:43:59 what was the package dude 07:44:06 a signed bomb 07:44:20 I had written the "A" of "a signed bomb" already. :/ 07:44:21 um 07:44:28 from the inventor of the bomb himself 07:44:30 what is a signed bomb 07:44:32 alfred "sex bomb" nobel 07:44:38 fizzie: :D 07:45:01 can you not lie for a second please? 07:45:12 quintopia: but that's so boring, all i do is lie 07:45:30 yes okay. you can go back to lying afterwards 07:45:41 i'll write @ if you tell the truth about this thing 07:45:45 what was even the question, i'm kinda sleep deprived 07:45:51 wow don't you want my firstborn too 07:45:54 you can have my firstborn if you do that 07:45:55 what is in the package 07:46:26 well the signed things were the two mspa books that just came out... i don't actually remember why i got them signed 07:46:32 RESALE VALUE 07:47:03 hehe 07:47:17 thx 07:47:25 quintopia: how's @ coming along 07:47:25 here you go: @ 07:47:31 i just wrote it 07:47:41 fizzie: kick quintopia 07:47:42 for 07:47:44 misleading 07:47:45 i wrote it on paper too 07:47:46 & upsetting 07:47:49 for proof 07:47:50 statements 07:49:33 fizzie: oh yeah i had a question forf you!!!!! 07:49:34 yes 07:49:35 forf you 07:49:50 No, forf YOU. 07:49:59 :'( 07:50:31 fungot: You answer his forf'n question. 07:50:31 fizzie: is a 98% reduction in the waterpark intensity, right, so i'd imagine! 07:50:37 :D 07:50:41 `addquote fizzie: is a 98% reduction in the waterpark intensity, right, so i'd imagine! 07:50:42 elliott: honey, i shrunk to the same but mean different things, people would always ( eventually) have to do with all these raised expectations, he just changed them for his birthday. try remembering that sleep. how could a cave, they find! then the cars of olden times, remember and teach entire languages with which to do the talking here 07:50:44 750) fizzie: is a 98% reduction in the waterpark intensity, right, so i'd imagine! 07:50:53 fungot: oh my god 07:50:53 elliott: hey, i wanted to talk to a t-rex... nostalgia. it's a new feeling for a new song repeatedly over each 3-month period, and you're not allowed to be bid in my auction, and i'm not a man to like you 07:50:55 ^style 07:50:56 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz* sms speeches ss wp youtube 07:51:01 oh that's why it's so amazing 07:51:05 fungot: <3 07:51:05 elliott: never!! this is going to be a surprise him, it may be common across a way, our last, i will grapple with thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at th 07:51:08 :DDD 07:51:27 fizzie: OK but as I was saying: Is xmonad any good (I am in the market for WMs). 07:52:49 Weeeelll they just released 0.10, so there's progress. I like it, but my window management needs are pretty nonexistent. 07:53:08 I know they just released 0.10, that doesn't tell me much :P 07:53:47 fizzie: I presume it's flexible enough to arrange for something like, e.g. each program to go on its own dynamically-created workspace by default, right? 07:54:27 That sort of thing sounds doable, though I don't think there's a contrib blob for that yet. 07:54:41 I can code Haskell, though :P 07:55:09 I still have a few misgivings about tiling window managers *sigh* 07:55:42 Mostly because, e.g. I keep my XChat window smallish; I'd want it on its own workspace, but that would force it to take up the entire screen, producing hugely over-long lines. 07:56:13 XMonad.Actions.DynamicWorkspaces gives you addWorkspace/removeWorkspace actions, the rest would probably be mostly glue. 07:57:16 (Also there are a few things in the xmonad source that I don't like, but if I'm choosing WM based on code quality xmonad would surely win so it's kind of silly.) 07:57:40 fizzie: I suppose you just deal with the long lines? :p 07:59:09 Yes, but I guess you could equally well make the xchat workspace have a layout that's not the size of the full screen. (Or just make a real silly-wide channel-switcher on left and userlist on right to make the text area narrow.) 08:00:01 fizzie: What would that produce? XChat ridiculously-tall-and-skinny in a corner and a bunch of greyness filling the rest of the screen? 08:03:35 I was envisaging it centered, but sure, you'd see whatever's on your root window. Or maybe you could figure out some use for the borders. I don't know what. I used to run xchat and Pidgin on the same workspace (since they're sort-of conceptually related, and my IM conversations are really short, so most of the time Pidgin was just the contact list) but the xchat userlist and Pidgin contact list right next to each other were confusing. 08:05:09 fizzie: Centred would work, but makes me rather wonder why I would even hide the windows "behind" it. :p 08:05:19 fizzie: I don't use a userlist, so pidgin on the same workspace would work, but... 08:05:26 I can't think of any decent layout for that. 08:07:52 I should probably just build bitlbee with my libpurple patch so I wouldn't need a Pidgin. 08:08:39 I don't like Bitlbee. :/ 08:09:39 I don't like it much either, but I like having everything in the same window, and it's more pleasant than trying to use Pidgin for IRC. 08:10:24 fizzie: Can I mumble something about @? :p 08:10:52 It's a free node. 08:11:10 -- fizzie, #esoteric fascist 08:13:33 All I want is an operating system that doesn't constrain every piece of data into black boxes with bad and inconsistent user-interfaces and no programmability. :/ 08:16:22 fizzie: Can you make one of them for me? 08:18:31 elliott: Start with UNIX. Delete everything. 08:18:33 :P 08:19:20 pikhq: That's the "abandon computers and do something worthwhile with my life" option. It looms omnipresent, but involves, like, getting off my ass and shit, so it's less appealing than whining about @'s lack of existence. 08:39:29 -!- elliott has quit (Ping timeout: 240 seconds). 09:12:25 -!- monqy has quit (Quit: hello). 09:25:47 -!- hagb4rd2 has joined. 09:27:01 -!- GreaseMonkey has quit (Quit: The Other Game). 09:27:53 -!- hagb4rd has quit (Ping timeout: 252 seconds). 09:50:14 -!- sebbu3 has joined. 09:50:15 -!- sebbu3 has quit (Changing host). 09:50:15 -!- sebbu3 has joined. 09:51:33 -!- sebbu2 has quit (Ping timeout: 252 seconds). 10:49:15 -!- Patashu has quit (Ping timeout: 255 seconds). 11:01:11 -!- Ngevd has joined. 11:04:19 Hello 11:29:54 -!- Phantom_Hoover has joined. 12:21:09 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 12:33:19 -!- Phantom_Hoover has joined. 12:34:34 fungot! 12:34:34 Phantom_Hoover: that you all for them, i have come up with a " i have lots, probably! if not, we can make the cutest cards ever for a series of puns. interestingly enough, it was favored by early art photographers, as they already needed their subjects to stay motionless for minutes at a party and i can cry if i want to! 12:38:49 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 12:43:07 -!- cheater has quit (Read error: Connection reset by peer). 12:44:35 -!- ais523 has joined. 12:45:23 http://goo.gl/enNbw "Try evaluating this program using a considerably larger `n' like `8nat(1,0,0,0,0)'. Does your preprocessor run out of memory? If so, ask your preprocessor vendor why it happens." 12:45:32 chaos-pp examples have the best exercises. 12:45:54 (It's the "compile-time Fibonacci in Order" example.) 12:50:42 -!- Phantom_Hoover has joined. 12:52:57 -!- Taneb has joined. 12:53:26 "This example is a simple Order function, named `8exp_delay(n)', whose time complexity is $\Omega(2^n)$. After expending an exponential amount of time, `8exp_delay(n)' simply evaluates to nothing. `8exp_delay' might become handy when recompiles are too fast to take a coffee break...\footnote{This example is rather theoretical compared to the other examples.}" 12:53:31 And best examples overall. 12:54:15 "Does your preprocessor run out of memory while expanding this example? If so, then, for extra credit, write a formal proof and send it to your preprocessor vendor." 12:54:17 What are you quoting this from? 12:54:34 http://goo.gl/enNbw "Try evaluating this program using a considerably larger `n' like `8nat(1,0,0,0,0)'. Does your preprocessor run out of memory? If so, ask your preprocessor vendor why it happens." 12:54:34 chaos-pp examples have the best exercises. 12:54:34 (It's the "compile-time Fibonacci in Order" example.) 12:54:42 That's the totality of what you missed. 12:54:51 Ah. 12:55:23 Preprocessor vendors must hate it. (Though for some reason I don't think very many people are completing the examples.) 12:57:05 -!- Ngevd has quit (Ping timeout: 244 seconds). 12:58:07 -!- ais523 has quit (Read error: Connection reset by peer). 12:58:18 -!- ais523 has joined. 12:59:14 -!- Ngevd has joined. 13:03:20 -!- Taneb has quit (Ping timeout: 248 seconds). 13:14:26 -!- cheater has joined. 13:19:20 -!- oerjan has joined. 14:00:14 -!- Taneb has joined. 14:03:06 -!- Ngevd has quit (Ping timeout: 244 seconds). 14:16:19 -!- boily has joined. 14:26:39 -!- Taneb|Hovercraft has joined. 14:30:29 -!- Taneb has quit (Ping timeout: 244 seconds). 14:36:14 -!- sebbu3 has changed nick to sebbu. 14:40:23 -!- Taneb|Hovercraft has quit (Quit: Goodbye). 15:02:05 -!- ais523 has quit (Ping timeout: 252 seconds). 15:02:25 -!- ais523 has joined. 15:02:34 -!- augur has quit (Remote host closed the connection). 15:03:00 -!- augur has joined. 15:07:10 -!- augur has quit (Ping timeout: 240 seconds). 15:08:00 -!- ais523 has quit (Read error: Operation timed out). 15:09:37 -!- ais523 has joined. 15:12:16 :t readPrec 15:12:19 Not in scope: `readPrec' 15:12:30 @hoogle readPrec 15:12:31 Text.ParserCombinators.ReadPrec data ReadPrec a 15:12:31 Text.Read readPrec :: Read a => ReadPrec a 15:12:31 Text.ParserCombinators.ReadPrec readPrec_to_P :: ReadPrec a -> (Int -> ReadP a) 15:19:59 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 15:23:29 -!- sebbu2 has joined. 15:23:30 -!- sebbu2 has quit (Changing host). 15:23:30 -!- sebbu2 has joined. 15:25:13 -!- sebbu has quit (Ping timeout: 268 seconds). 15:45:04 -!- calamari has joined. 15:45:42 -!- Klisz has joined. 15:46:36 -!- copumpkin has joined. 15:47:05 -!- Vorpal has joined. 15:57:20 -!- sebbu2 has quit (Read error: Connection reset by peer). 15:58:08 -!- sebbu has joined. 15:58:08 -!- sebbu has quit (Changing host). 15:58:08 -!- sebbu has joined. 15:59:42 -!- ais523 has quit (Ping timeout: 252 seconds). 16:04:36 -!- KingOfKarlsruhe has joined. 16:09:32 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.87 [Firefox 8.0.1/20111120135848]). 16:15:46 -!- oerjan has quit (Quit: leaving). 17:11:09 -!- ais523 has joined. 17:37:55 -!- sebbu2 has joined. 17:37:55 -!- sebbu2 has quit (Changing host). 17:37:55 -!- sebbu2 has joined. 17:40:10 -!- sebbu has quit (Ping timeout: 252 seconds). 17:42:08 -!- sebbu3 has joined. 17:45:28 -!- sebbu2 has quit (Ping timeout: 252 seconds). 17:48:00 Things that shouldn't segfault: exit(2) 17:48:11 Err, exit(3) rather. 17:51:48 __fpending (fp=0x0) 17:51:54 Exit: Why did you call __fpending with NULL? 17:54:36 -!- elliott has joined. 17:55:20 elliott: WHY WOULD EXIT CALL __fpending WITH NULL??? 17:55:28 Hm, I properly decapped __fpending but not exit. 17:55:29 Weird. 17:55:51 Gregor: I didn't even know what __fpending is until I checked :P 17:56:09 Gregor: Wild guess: 0 = stdout??? 17:56:19 elliott: Not as far as I can tell. 17:56:28 (Same story for stdin/stderr) 17:56:44 Gregor: Good, because it takes a (FILE *) :P 17:57:24 ... duh? 17:58:48 Gregor: Well, passing 0/1/2 for standard file descriptors to something taking a pointer would be wack... 17:59:10 Yes ... yes it would ... but stdin, stdout and stderr (symbols) are FILE * :p 18:00:09 elliott: WHY WOULD EXIT CALL __fpending WITH NULL??? 18:00:09 Gregor: Wild guess: 0 = stdout??? 18:00:11 NULL = 0 18:00:12 0 = stdout 18:00:22 __fpending(NULL) = __fpending(stdout) because Linux 18:00:26 It was just a theory :P 18:01:40 OHHHHHH now I see what you mean, not that stdout had gotten set to NULL, but because it was magic in the first place. 18:02:11 It is not a serious theory :P 18:02:48 "We will shift our strategy to improving profitability from pursuing market share blindly with cheap and unprofitable products" --actual Acer CEO quote 18:03:04 Is it even Acer if they don't sell crap??? 18:04:42 Imagine a world where Bash supports JSON. (qaa.ath.cx) 18:04:43 Why do this to me, reddit? 18:13:13 Gregor: what did you do to cause that __fpending(NULL)? 18:13:22 Vorpal: gelfload :P 18:13:26 Gregor: ah 18:13:40 what does __fpending do anyway? 18:13:56 The __fpending() function returns the number of bytes in the output buffer. For wide-oriented streams the unit is wide characters. 18:13:56 This function is undefined on buffers in reading mode, or opened read-only. 18:14:02 says the man page 18:14:46 lol, date still segfaults X_X 18:14:53 Even gelfloading native date on libc6. 18:17:17 Works now 8-D 18:17:21 Being able to gdb helps :P 18:17:53 Gelfload? 18:17:57 You're doing that again? 18:18:42 You know how I am with my random projects. 18:18:51 Something nonsense triggers me, then I hack at it for a bit. 18:30:40 \/ qwerty \/ 18:30:49 /\ azerty /\ 18:32:56 OK, my stdio layer is insufficiently broken to cause most libc6 things to crash now :P 18:33:12 Alternately, it's sufficiently working to cause most libc6 things not to crash now. 18:33:34 i searched the android market for unicode and the first thing to come up is an app david madore wrote 18:33:37 had no idea 18:34:45 quintopia: Wait 'til you look up gay elf erotica! 18:34:51 (Android has a book market right.) 18:35:19 (One day Madore is going to come here and we are all going to shuffle around awkwardly while Gregor quickly redacts the logs.) 18:35:43 NO CENSORSHIP 18:35:43 lol 18:36:13 Gregor: Actually, the logs you have are already censored. 18:36:22 FILTHY LIES 18:36:29 * quintopia searches market for gay elf erotica 18:36:33 "no results found" 18:36:41 quintopia: EVIL CENSORSHIP 18:37:00 gregor: i'm sorry they deleted your book :/ 18:37:11 It took a lot of work, too! 18:37:12 Gregor: One secondamo. 18:37:18 And they were just like "Not appropriate DELETE" 18:37:25 And I was like "Awwwwwwwwwwwwww you guys are mean" 18:38:18 2004-02-08.txt:21:57:25: what is this "hcf" thing? some kind of fairy godmother? someone needs a funge98 spec and then it joins out of the blue and gives an url. hm, lessee. "I lack a nice laptop." hmm? nothing happens... 18:39:08 Gregor: http://codu.org/logs/log/_esoteric/2003-03-14 18:39:14 Gregor: I refer to this as the Unforgivable Incident. 18:39:57 elliott: Well piff, if it's not MY censhorship then what am I to do :P 18:40:04 Gregor: GO BACK IN TIME AND FIX THINGS 18:40:08 Anyway it also ignores any lines that start with !glogbot_ignore 18:40:13 !glogbot_ignore SEKRITS 18:40:16 ...why? 18:40:24 < 1323369613 846167 :Gregor!foobar@codu.org PRIVMSG #esoteric :!glogbot_ignore SEKRITS 18:40:25 !glogbot_ignore elliott BECAUSE OF SEKRITS 18:40:34 18:40:13: !glogbot_ignore SEKRITS 18:40:35 elliott: Dammit, why you gotta ruin my fun :P 18:40:38 :P 18:40:45 I actually believed you for one TERRIBLE SECOND 18:40:57 Worst second of your life I'm sure. 18:41:15 I literally died. 18:41:20 Wow 18:41:29 But I got better. 18:41:57 Gregor: CUNIONFS KERNEL MODULE PLEASE 18:42:06 elliott: Don' wanna :( 18:42:19 Gregor: WHAT NONSENSE DO I HAVE TO DO TO SPRING YOU INTO ACTION 18:42:23 -!- sebbu has joined. 18:42:29 I want to get Kitten booting dammit :P 18:43:00 Why can't you write the awesomest union filesystem for yourself :P 18:43:09 !addinterp glogbot_ignore bf ,[.,] 18:43:10 ​Interpreter glogbot_ignore installed. 18:43:18 !glogbot_ignore test 18:43:19 test 18:43:22 there we go 18:43:23 no secrets any more 18:43:24 lol 18:43:59 Gregor: 'Cuz I know even less about kernel modules than you do. 18:44:13 That's virtually impossible. 18:44:36 ais523: haha, the best thing is that if glogbot actually did ignore lines starting like that (as freenode policy recommends), it would be perfectly OK to have EgoBot do that 18:44:38 -!- sebbu3 has quit (Ping timeout: 240 seconds). 18:44:50 although I suppose the obligation to provide a way to opt out of logging is the /channel's/, not the bots... 18:45:12 you opt out of public logging by using /msg or /query, right? 18:45:30 heh 18:45:39 glogbot logs /msgs to /it/ :P 18:45:50 well, nobody ever claimed freenode policy is reasonable 18:48:04 policy is never reasonable 18:48:16 freenode is never reasonable 18:48:50 FREENODE IS FASCISM 18:49:02 oh 18:49:35 -!- zzo38 has joined. 18:49:47 `? welcome 18:49:50 Oh no, GHC is suffering speed-wise from its use of ILP64 :( 18:49:52 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 18:50:00 `welcome ais523 18:50:03 ais523: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 18:50:40 should that not say "hubcap"? 18:50:43 no 18:50:44 hubcaps are better 18:50:52 hubcaps aren't 2005 references 18:51:08 `log hubcap 18:51:14 "welcome to the international hub for esoteric hubcap design and deployment" 18:51:29 see how much better that reads 18:51:34 2009-07-24.txt:01:54:53: The engine was running still and I could feel the vibrations running through as if she was panting in heat. In heat for me Her rear end was slightly lower than normal-her wheels had sunk up to the hubcaps. Now I did not need to stand on tip toe to screw her tailpipe- she wanted me that much that she had lowered it down for me. I had to bend my knees slightly to reach though. First I 18:52:03 lordy 18:52:07 wow 18:52:14 X-D 18:52:28 elliott: please tell me that that was a quote 18:52:31 not something you came up with yourself 18:52:33 it was 18:52:43 I think that's possibly the best response HackEgo could have possibly given to that query. 18:52:47 I also think we should remove `log now :P 18:52:54 nah, `log is great 18:53:28 `log roundabout 18:53:31 i basically use `log to feign relevance 18:53:37 2011-11-15.txt:07:56:22: I really, really wish roundabouts were more prevalent. Traffic lights *suck*. 18:53:48 `log apocalypse 18:53:54 2010-02-14.txt:05:32:20: An unfriendly singularity is apocalypse. A friendly singularity is utopia. 18:54:09 `log discontinuity 18:54:14 2011-03-29.txt:08:35:19: elliott, sure the learning curve is not so much a curve as a non-derivable discontinuity in the graph but once you get past that, it is awesome 18:54:38 ais523: I assume that last one was about dwarf fortress 18:54:49 `log fingered 18:54:53 either that or buddhism 18:54:55 2011-11-13.txt:00:08:39: elliott: oops. oh well, at least I'm not a condescending shitfingered cunt. :D :D :D 18:54:56 ais523: how did you chose those words? 18:55:09 itidus20: /pretty/ sure it was about dwarf fortress actually :P 18:55:26 `log platypus 18:55:31 2005-05-12.txt:20:55:13: Perhaps a platypus. 18:55:36 perhaps indeed 18:55:45 `log aardvark 18:55:49 i was arguing about someone about buddhist nirvana and he used disconuity to help explain why it simply cannot be spelled out 18:55:50 `log aphorism 18:55:50 2010-10-13.txt:20:30:13: Aardvarklike Aardvark 18:55:52 `log mulish 18:55:56 2009-10-20.txt:02:52:43: how much does wolfram alpha cost \ \ Input interpretation: \ \ If you have to ask... \ Result: \ \ ...you can' t afford it. \ according to the common aphorism \ \ Generated by Wolfram|Alpha (www.wolframalpha.com) on October 19, 2009 from Champaign, IL. © Wolfram Alpha LLC—A Wolfram Research Company \ \ 1 \ \ . 18:55:57 2011-12-08.txt:18:55:52: `log mulish 18:56:07 ha 18:56:13 yes that happens 18:56:21 `log footloose 18:56:26 2011-12-08.txt:18:56:21: `log footloose 18:56:29 `log jasdfkjasdhfsdfj 18:56:32 he was like "hmm... so you like structured thought, boy" 18:56:34 2011-12-08.txt:18:56:29: `log jasdfkjasdhfsdfj 18:56:40 `log pancreas 18:56:46 2011-10-07.txt:18:41:18: elliott: table 4? 35. (/ naturalist on/ amazons,' 1863, p. 18). therefore :( i arose" " judges v. 7),/ females would have been short and broken with/ inspirations prolonged; and this is/ case with/ many little bladders filled with water, sixty-one leaves were tried with/ glycerine extract :) pancreas with a negative result. nor is it easy to measure/ strength :)/ stimulus from/ friction 18:56:50 I saw what someone did before is you can do like this to avoid your query being found 18:56:58 quintopia: that it finds your query doesn't mean it is the only match. Kind of annoying that 18:57:04 `log [a]bcdefghijklmnopqrstuvwxyz 18:57:09 2008-08-16.txt:01:51:43: ............................. !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ ... 18:57:34 " Oh no, GHC is suffering speed-wise from its use of ILP64 :(" :( 18:57:40 zzo38: brackets around the first character? 18:57:51 but isn't that very easy to fix by just making ghc use different data sizes? 18:57:56 `log log log 18:57:56 itidus20: Or any character, it doesn't matter which one. 18:58:02 2011-06-08.txt:19:37:51: the best complexity is O(log log log log log log n) 18:58:11 It is regular expression 18:58:13 indeed elliott 18:58:18 olsner: well i don't know if ghc can handle Int not being pointer-sized 18:58:21 that is the best complexity 18:58:25 quintopia: yes. 18:58:30 even faster than O(1) 18:58:40 zzo38: just had a quick game idea. tetris with ascii characters. 18:58:57 is inverse ackermann asymptotically faster than sixlogs? 18:59:01 itidus20: Describe more please. 18:59:03 itidus20: telnet nethack.eu? there's a curses tetris online there 18:59:05 on thinking about how to describe the '[' 18:59:06 quintopia: no. sixlogs is fastest 18:59:16 elliott: serious answer 18:59:24 well.. each ascii character is a 5x8 block or something 18:59:28 quintopia: i am sure inverse ackermann is faster than sixlogs. but you knew that 18:59:41 itidus20: oh, you mean using the characters themselves 18:59:43 elliott: really? sounds bad to rely on that - at least they could use a pointer-sized-int type for where they actually want that 18:59:44 yup 18:59:45 they don't nest well 18:59:58 I once programmed a tetris-but-with-pentominos, it's pretty difficult 19:00:00 ais523: you could fill in the blanks.. but why would you.. 19:00:06 `log spew 19:00:11 2010-03-24.txt:04:25:30: Every time he returns he spews out a massive chunk of replies for an hour. 19:00:16 `log askew 19:00:22 2011-08-11.txt:14:56:25: should I feel bad for not understanding combinatory logic? it just seems that when it's entire system can be formally expressed in a few lines then something is askew 19:00:29 `log unto 19:00:31 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 19:00:35 2010-11-17.txt:00:26:36: PRAISE BE UNTO ELLIOTT, GOD OF ALL 19:00:45 good one 19:00:47 ++ 19:00:49 yep, indeed 19:01:03 `log ferret 19:01:08 2011-07-19.txt:21:43:23: My dice bag is not that big. 19:01:13 `log stochastically 19:01:18 2011-12-08.txt:19:01:13: `log stochastically 19:01:25 `log [^]]stochastically 19:01:31 2011-12-08.txt:19:01:13: `log stochastically 19:01:36 beautifully inevitable 19:01:43 `log automagic 19:01:44 lol 19:01:49 2010-09-02.txt:19:31:12: alise, while the OS won't actually allocate your pages until you try to access them, it won't automagically unallocate zeroed out pages. 19:02:18 someone concoct me a regular expression that searches for x in a line not beginning `log 19:02:22 `log more magic 19:02:25 quintopia: you want [^]] 19:02:26 -!- Vorpal has joined. 19:02:28 2009-05-02.txt:19:50:18: !c system("more magic") 19:02:30 it's not the same, but close enough 19:02:49 ok next random tetris idea is.. multiplayer tetris sharing the same table using physics so you can attack the other persons piece like "sideswipping" 19:02:56 elliott: what is ] there 19:03:05 what does that have to do with anything 19:03:13 so 2 falling pieces bumping into each other as if 'racing' down the screen 19:03:13 quintopia: [^]] = [^\]] 19:03:25 yes i get that 19:03:25 if you can't figure out why that stops the line itself matching, then you haven't thought hard enough 19:03:33 [^]]foo 19:03:37 matches a foo not preceded by ] 19:03:38 :( 19:03:44 hopefully it is obvious now 19:03:44 oh 19:03:51 you're being stupid 19:03:57 should have known 19:03:57 no i'm not 19:04:01 that's... the standard method 19:04:14 obviously it fails if someone's `log'd that before but most terms haven't been `log'd before 19:04:19 itidus20: I have the game tetris with pong, in my computer. You can move the mouse to move the pallet up/down and if the ball falls off then the blocks go up to add a line. 19:04:23 `log ^[^`].*something 19:04:30 2011-02-12.txt:18:07:47: each [ pairs with a specific ]; all you need is to tie them together. so you track depth when pre parsing and have a list of pointers or something like that. you can store the depth in the same way you store loop counts, and it will indicate which item in the list to go to 19:04:35 ais523: that ignores /all/ hackego lines 19:04:38 indeed 19:04:40 quintopia: why am i being stupid again? 19:04:48 I can make it ignore `log specifically, but that would be rather more complex for minimal gain 19:05:18 `log ^([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*something 19:05:24 2005-05-22.txt:01:38:48: Anybody mind giving me an account somewhere so I can set something up as a test? 19:05:32 (is this perl regexes? if so, that can be abbreviated) 19:05:37 But another idea of tetris with balls, that I have thought of, is to make a pinball game (probably flipperless) that there are blocks that set themself according to tetris game, and the ball can knock them down and bounce off of them, and then you can nudge the table to affect it 19:05:43 ais523: no, egrep 19:05:48 in that case, it probably can't be 19:06:09 zzo38: i downloaded some tetris game for nintendo-ds emulator.. but i didn't play it very long since i'm not much of a tetris fan really 19:06:10 `log ^([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before 19:06:14 2011-12-08.txt:19:06:10: `log ^([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before 19:06:22 your thing sucks 19:06:26 bleh, screwed it up, forgot to allow for the nick 19:06:31 :P 19:06:32 ais523: and date 19:06:35 right 19:06:45 `log ^[^>]+>([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before 19:06:50 2011-12-08.txt:19:06:10: `log ^([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before 19:06:55 :( 19:07:03 is > a metacharacter in egrep somehow? 19:07:06 There is a tetris game called Lockjaw which runs on GameBoy Advance, Windows, Linux, and Nintendo DS. And it has a lot of options. 19:07:16 `log ^[^>]+> ([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before 19:07:21 oh right, missed the space 19:07:23 2011-12-08.txt:19:06:50: 2011-12-08.txt:19:06:10: `log ^([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before 19:07:30 there we go ;) 19:07:30 zzo38: well this one played out retro nes games as you progressed through the level 19:07:45 `log ^[^>]+> ([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before either 19:07:52 No output. 19:08:29 There is also "Tetanus on Drugs" which is for GameBoy Advance only, and source-codes is available. The picture will get stretched and turn around and everything to make it hard to view 19:08:39 ais523: I can make it use grep -P if you want :P 19:09:38 thanks, that'd help 19:09:46 I just checked that grep -P implements the construct I want 19:09:55 `run grep -r egrep bin 19:09:58 bin/log: egrep -i -- "$1" ????-??-??.txt | shuf -n 1 \ bin/pastelog: lines=$(egrep -i -- "$1" ????-??-??.txt | head -n 301) \ bin/pastelogs: lines=$(egrep -i -- "$1" ????-??-??.txt | head -n 301) \ bin/quote: egrep -i -- "$1" \ bin/quotes: egrep -i -- "$1" 19:10:01 with tetris blocks based on ascii characters the rules would need to change.. but i think it could potentially be fun 19:10:20 `run find bin -exec sed -i 's/egrep/grep -P/g' '{}' \; 19:10:22 itidus20: Yes there is an idea 19:10:24 ais523: njoy 19:10:34 sed: couldn't edit bin: not a regular file 19:10:39 hmm... you could feed it a text file :) 19:10:39 fuck 19:10:43 `run find bin -type f -exec sed -i 's/egrep/grep -P/g' '{}' \; 19:10:58 No output. 19:10:59 `log ^[^>]+> (?!`log )asodjaosdjoasijdoisajd 19:11:06 No output. 19:11:20 `log ^[^>]+> (?!`log ).* njoy 19:11:30 2011-12-08.txt:19:10:24: ais523: njoy 19:11:42 that's much more readable 19:11:47 ais523: one suspects that (?!`log ).* njoy would do just as well. 19:11:49 `log ^[^>]+> (?!`log ).* does this work with a dot-star too 19:12:00 No output. 19:12:02 without the /^[^>]+> / 19:12:05 elliott: nope, ?!`log matches anywhere that doesn't say `log 19:12:09 that is, (?!`log) 19:12:17 there are any number of positions in that line that don't say `log 19:12:18 ais523: yes, so? 19:12:20 ais523: it's close enough :P 19:12:20 in fact, it fails because of this 19:12:24 zzo38: ok another idea emerges.. a mapping of text files onto the set of tetris pieces.. so that you can load a text file to play a deterministic tetris level 19:12:25 well, hmm, okay 19:12:39 and then people could figure out which texts are the most fun 19:12:50 `log ^[^>]+> (?!`log).* abcooas > abcooas 19:13:00 `log ^[^>]+> (?!`log).*abcooas 19:13:01 No output. 19:13:07 -!- monqy has joined. 19:13:10 No output. 19:13:13 itidus20: O, OK. Try that way. 19:13:16 oh, it's oK 19:13:17 *OK 19:13:24 the ^> requires the first > to be taken 19:13:28 so it does only check just there 19:14:03 zzo38: so like .. abcd = L piece.. efgh = J piece.. ijkl = I piece ... etc 19:14:49 O, like that. 19:15:05 yeah.. im jumping from idea to idea 19:15:06 You could just use binary format and use the bits to select one 19:15:51 i guess... that would enable a wider variety of input files 19:16:28 -!- azaq23 has joined. 19:18:52 what i find dissatisfying about such things is that there is generally a semantic gap between the input and the output 19:23:56 like .. a blue painting would beat an orange painting since water beats fire 19:23:59 -!- kallisti has joined. 19:24:00 -!- kallisti has quit (Changing host). 19:24:00 -!- kallisti has joined. 19:29:32 Is this good? instance Extend (Barrier f b) where { duplicate (Unit x) = Unit $ Unit x; duplicate (Fail x) = Fail x; duplicate (Barrier a c) = Barrier a $ duplicate2 [a] . c where { duplicate2 :: [f] -> Barrier f b t -> Barrier f b (Barrier f b t); duplicate2 z (Unit x) = Unit (x <$ uncollect z); duplicate2 _ (Fail x) = Fail x; duplicate2 z (Barrier a c) = Barrier a $ duplicate2 (z ++ [a]) . c; }; }; 19:35:04 -!- Phantom_Hoover has left ("Leaving"). 19:35:09 -!- Phantom_Hoover has joined. 19:46:03 Cycle in class declarations (via superclasses): 19:46:04 :-( 19:48:22 As I understand it, your only option at this point is suicide. 19:48:59 Harsh, these static type systems. 19:52:50 Gregor: And as we all know, dynamically-typed languages magically make programs with type errors work by ignoring them :P 19:59:46 Trine 2 is excellent btw. Still until beginning of next year until it comes to Linux :( 20:00:48 elliott: YES 20:01:03 elliott: So glad you've finally seen that. 20:09:17 Vorpal: so less than a month? 20:10:12 indexOfTheOnlyBit :: Nat -> Int 20:10:12 {-# INLINE indexOfTheOnlyBit #-} 20:10:12 indexOfTheOnlyBit bit = 20:10:12 I# (lsbArray `indexInt8OffAddr#` unboxInt (intFromNat ((bit * magic) `shiftRL` offset))) 20:10:12 where unboxInt (I# i) = i 20:10:13 #if WORD_SIZE_IN_BITS==32 20:10:15 magic = 0x077CB531 20:10:17 offset = 27 20:10:19 !lsbArray = "\0\1\28\2\29\14\24\3\30\22\20\15\25\17\4\8\31\27\13\23\21\19\16\7\26\12\18\6\11\5\10\9"# 20:10:22 #else 20:10:24 magic = 0x07EDD5E59A4E28C2 20:10:26 offset = 58 20:10:28 !lsbArray = "\63\0\58\1\59\47\53\2\60\39\48\27\54\33\42\3\61\51\37\40\49\18\28\20\55\30\34\11\43\14\22\4\62\57\46\52\38\26\32\41\50\36\17\19\29\10\13\21\56\45\25\31\35\16\9\12\44\24\15\8\23\7\6\5"# 20:10:31 #endif 20:10:33 Gregor: See, static types give us high-level declarative expressivity. 20:10:39 what did you DO........ 20:11:32 monqy: not me thank god 20:11:43 who did what 20:12:03 WHO did what / who DID what / who did WHAT 20:12:10 https://github.com/haskell/containers/blob/e076b33f4cee3f657b5bdc5bf6f5a4c9e249d00c/Data/IntSet.hs#L1166 20:12:21 yikes 20:13:15 @pl \s -> f (g (Left s)) (runFoo . k) $ unwrap s 20:13:15 ap (flip f (runFoo . k) . g . Left) unwrap 20:14:43 Is this good designs to you? http://zzo38computer.cjb.net/powerxy/images/Game_Control.png http://zzo38computer.cjb.net/powerxy/images/Remote_Control.png 20:15:50 the remote has too much buttons 20:16:18 Really it looks like too much to you? 20:16:47 What is your suggestion, then? 20:16:51 less buttons 20:17:01 and space them out a bit? 20:17:25 probably a bit clumsy to hold it too 20:17:31 unless it's supposed to be something like a keypad 20:17:34 the selection has too many prices and vaules 20:17:38 in which case just go nuts 20:17:38 The picture does not show the actual product. So, the actual size, fonts, spacing, is not shown here. 20:17:57 so that's just what buttons you want to put on it? 20:18:00 The numbers on the right and top are not part of the remote control; they indicate the computer codes for each button. 20:18:33 monqy: Yes, that is just what buttons to put on it. And probably layout in a grid like that too, but not necessarily having those sizes, shapes, scales, spacing, etc. 20:19:10 maybe it is okay then 20:19:28 but I still do not understand some of these buttons 20:19:49 Describe more precisely what you do not understand? 20:19:56 like L R A B C 20:20:03 SELECT START 20:20:22 and what do TOP MENU and SUB MENU do 20:20:42 Those are just duplicates of the buttons on the game controller so that some software that might use them in the same way. 20:20:59 but why would you use a remote for that...... 20:21:05 The TOP MENU and SUB MENU can be used for DVD videos (although, like all buttons on the remote, can have any purpose depending on the software) 20:22:30 imo omit the game controller buttons from the physical remote but give them codes in the specification and then make the controller itself send those codes so the controller can be used 20:23:14 by game controller buttons I mean the ones that don't really have a purpose on a remote 20:23:35 That is a possible idea. Thanks for suggestions. 20:24:01 also is the game controller picture supposed to be the layout? 20:24:28 monqy: Yes it is just a layout, it is not necessarily to scale. 20:24:31 it might be a bit hardpainful to do anything with the analog stick but i do not physically possess your controller so i cannot say for sure 20:25:09 Nor are they necessarily even in the positions given; positions are only approximate. 20:25:17 but still 20:25:20 it's in the centre 20:25:28 thumbreaching isn't fun 20:25:38 especially with all that square in the way 20:25:57 `quote third hand 20:26:00 647) I prefer the N64 controller, it's the only one that has place for my third hand. 20:26:56 Well, yes, all of this is possible to be changed. 20:27:25 And full protocol specifications will be published too. 20:27:56 then I can make my own controller with the analog where it feels good 20:29:34 Yes, you can. However still consider that these plans might changes so it might not be necessary to do that; it might be good where the new plan has it. However, even if it doesn't, you will still be able to make your own with the analog where it feels good. 20:50:11 My idea is the game controller uses a cable that is connected at both ends, and uses a synchronous serial protocol with 33 bits in each direction per packet (32 data bits + 1 synchronization bit). (Synchronization bit is high for synchronization packets which have all data bits low, and synchronization bit is low for data packets.) 20:54:23 shigeru miyamoto retirement 20:55:26 "Shigeru Miyamoto rumors of retirement not true, says Nintendo" 20:55:29 http://www.cbsnews.com/8301-501465_162-57339320-501465/shigeru-miyamoto-rumors-of-retirement-not-true-says-nintendo-updated/ 20:55:35 ahhh 20:55:44 That stood up to all of one googling. 20:56:15 -!- oerjan has joined. 21:04:07 elliott: that's just lies nintendo wants you to believe? 21:04:27 im a lie nintendo wants me to believe 21:04:33 -!- augur has joined. 21:06:19 Example of "sillygism": (1) All men are mortal. (2) All accounts of logic use the same stupid examples. (3) Therefore, at least you won't have to listen to them forever. 21:07:51 how silly. 21:09:00 SHATNER IS CANADIAN???????????????/ 21:11:21 Phantom_Hoover: wHAT 21:11:34 help ? 21:11:45 IT'S LIKE EVERYTHING I KNEW IS WRONG 21:15:14 Things that shouldn't segfault: exit(2) <-- you can check out any time you want, but you can never leave 21:15:32 *like 21:17:06 -!- GreaseMonkey has joined. 21:18:31 (One day Madore is going to come here and we are all going to shuffle around awkwardly while Gregor quickly redacts the logs.) 21:18:37 nah augur will be all over him 21:18:41 X-D 21:18:54 oerjan: How is that different to how augur acts towards everyone 21:19:10 indeed. add Slereah_ to that as well, then. 21:19:18 he's even french 21:19:27 is he an elf 21:19:37 i have no proof that he isn't. 21:20:16 i don't even have proof he isn't madore 21:20:50 whos madore 21:21:00 unlambda inventor 21:21:05 is he hot? 21:21:23 augur, are gay elf fetishists your thing? 21:21:30 * oerjan shuffles around awkwardly 21:21:32 possibly 21:22:11 http://perso.telecom-paristech.fr/~madore/ 21:22:12 augur, are you a gay elf. 21:22:20 this could be the start of a BEAUTIFUL FRIENDSHIP 21:22:35 Phantom_Hoover: no 21:22:45 hes not hot at all 21:23:04 WTF does that have to do with you being a gay elf. 21:23:38 nothing 21:32:59 `log ^[^`].* i dinnae think this method woiks 21:33:12 2011-12-08.txt:21:32:59: `log ^[^`].* i dinnae think this method woiks 21:33:21 -!- boily has quit (Quit: WeeChat 0.3.6). 21:34:12 in fact getting a regex for the beginning of what's actually _said_ seems somewhat awkward. 21:34:49 oerjan: um [^>]+ 21:34:57 elliott: [^>]+> 21:35:05 erm, right 21:35:12 /[^>]+> / 21:35:14 to be precise :) 21:35:28 i suppose. although that also removes ACTIONS and the like 21:35:56 oerjan: well it's just a date, then either <[^ ]+ or \* [^ ]+ 21:36:01 i guess i didn't really specify 21:37:10 ok i finally fixed my spacebar properly 21:37:19 turns out i put the spring back in the wrong place 21:38:35 !perl print qr/test/ 21:38:38 ​(?-xism:test) 21:38:44 hm.. 21:40:21 `log xism 21:40:26 2011-04-21.txt:00:58:25: METASEXISM: You assumed the first speaker was MALE 21:40:30 `log xism 21:40:36 2006-11-22.txt:01:31:18: the problem is that they tend to get away with sexism a bit more easily than men. 21:40:50 `log -xism 21:40:55 2011-12-08.txt:21:38:38: ​(?-xism:test) 21:41:30 `log x-ism 21:41:36 2010-12-24.txt:22:47:45: elliott, btw I made the backend code very easy to replace for different systems. Should be just two functions to rewrite (plus maybe some POSIX-isms) to port it to windows. If anyone wants to 21:41:45 yay, I so thought I'd get my own line back then 21:42:44 `log RodgerTheGreat>.*hello 21:42:51 2007-11-13.txt:05:08:00: so, is that huge mass of binary data just a hello world, or is that libraries and stuff as well? 21:43:26 x-or-c-ism 21:43:53 !perl print qr/test/x 21:43:54 ​(?x-ism:test) 21:43:56 `log RodgerTheGreat>.*Hello 21:44:03 2006-08-10.txt:14:46:05: hello 21:44:57 !perl %x = (qr/test/ => 1); for(keys %x) { print "test" =~ $_ } 21:44:58 1 21:45:32 kallisti: in perl 5, I think regex quotations /are/ strings 21:45:40 at least, it roundtrips perfectly 21:45:52 that's what the -xism bit's for, to give context 21:45:58 I was just wondering how it behaved in a string context like that. 21:46:15 so cool. 21:49:09 !perl print qr/test/xism 21:49:10 -!- elliott has quit (Read error: Connection reset by peer). 21:49:10 ​(?msix:test) 21:49:18 hey, it reordered the xism! 21:49:38 -!- elliott has joined. 21:53:43 Inverse order compared to how the negative flags were. 22:00:39 yep, indeed 22:03:54 !perl print qr/test/smxi 22:03:55 ​(?msix:test) 22:05:08 Gregor: I know what I'll do, I'll find a way in which cunionfs_kern will make gelfload work soo much easier and better 22:05:11 MWAHAHA 22:05:18 I guess it just adds the letters x/i/s/m in that order to before or after the hyphen 22:06:21 I suspect it optimises before converting into a string, so it's not a bijection from the regexp source. 22:06:26 !print qr/ test /m 22:06:32 !perl print qr/ test /m 22:06:33 ​(?m-xis: test ) 22:06:36 Huh. 22:06:44 !perl print qr/ test (?:(a)) aa* /m 22:06:45 ​(?m-xis: test (?:(a)) aa* ) 22:06:51 Guess I'm wrong. 22:08:40 !perl print qr/test/ 22:08:41 ​(?-xism:test) 22:09:08 apparently the order is msix-xism 22:09:30 killall perl 22:09:31 ...oops 22:09:40 oerjan: aka msix and msix reversed 22:09:52 elliott: I NEVER 22:15:28 > let poq (p:ps) o qs = p : p_q ps o (p:qs); p_q [] o qs = o:qs in poq "msix" "-" "" 22:15:29 Couldn't match expected type `GHC.Types.Char' 22:15:29 against inferred type... 22:15:33 oops 22:15:38 > let poq (p:ps) o qs = p : p_q ps o (p:qs); p_q [] o qs = o:qs in poq "msix" '-' "" 22:15:39 "m*Exception: :3:43-60: Non-exhaustive patterns in function p_q 22:15:49 oops 22:15:53 > let poq (p:ps) o qs = p : p_q ps o (p:qs); poq [] o qs = o:qs in poq "msix" '-' "" 22:15:55 Not in scope: `p_q' 22:16:00 fancy 22:16:08 > let poq (p:ps) o qs = p : poq ps o (p:qs); poq [] o qs = o:qs in poq "msix" '-' "" 22:16:09 "msix-xism" 22:17:02 hmm, I wonder if that's been on anagolf yet? 22:17:13 I fear the best solution would be rather uncreative, though 22:18:09 However, there are many programming languages available so the best solution might be uncreative in some programming languages but not in others 22:20:11 print "a b c" =~ /(wrong) (wrong)/ 22:20:36 !perl @hi = "a b c" =~ /(wrong) (wrong)/; print $#hi 22:20:38 ​-1 22:21:02 how surprisinh 22:21:05 *g 22:21:08 indeed 22:24:17 Gregor: I know what I'll do, I'll find a way in which cunionfs_kern will make gelfload work soo much easier and better // by the time you do I will be bored with gelfload again :) 22:24:40 :t runStateT 22:24:41 forall s (m :: * -> *) a. StateT s m a -> s -> m (a, s) 22:24:50 Gregor: Yes, so you'll be interested in cunionfs :) 22:27:22 !perl @a = (1,2,3,4); print $a{1} 22:27:59 ...the things I must do to avoid warnings. 22:29:14 Help I think I hate left handed people? 22:29:29 Phantom_Hoover: quit that. 22:29:30 that cannot be right. 22:29:40 kallisti, are you left handed. 22:30:12 no. 22:30:16 Phantom_Hoover: what. 22:30:26 he has no hands left. 22:30:36 elliott: I'm guessing he talked to a stupid left handed person on reddit. 22:30:40 * kallisti guesses 22:31:44 I read http://www.reddit.com/r/askscience/comments/n5ah8/if_i_started_out_naturally_lefthanded_as_a_kid/, does that count? 22:32:07 But I've always had a certain malaise towards the left handed. 22:32:23 Why can't the three-body problem be solved? (self.askscience) 22:32:27 BECAUSE GOD HATES AII 22:35:35 "I don't have a proof of this statement, but it seems clearly true" 22:35:39 --actual /r/askscience comment 22:35:57 This statement is unprovable. 22:36:28 Phantom_Hoover: If you want to arguew ith someone try and explain to ccampo how infinities and probabilities and shit work: http://www.reddit.com/r/askscience/comments/n4ygs/why_cant_the_threebody_problem_be_solved/c36abbq 22:36:31 *argue with 22:37:20 "Agreed, which is why the original statement is meaningless to me. Saying most DEs are unsolvable is like saying that infinity is more than infinity." 22:37:24 COME ON DUDE THIS IS EMBARRASSING 22:37:48 proof by truthiness 22:37:57 :( 22:38:01 :D 22:38:23 elliott, it'd go wrong because I'm not actually sure how measure theory works. 22:38:32 Phantom_Hoover: Um dude when has that EVER stopped you. 22:39:52 -!- Patashu has joined. 22:49:07 aside from the massive use of package-scoped variables, I kind of feel as though I'm writing this IRC bot in a functional style. 22:49:13 also state. 22:50:17 So, not functional at all 22:50:24 yeah yeah whatever. 22:50:38 I think functional style counts as a lighter claim than functional programming. 22:50:54 which is not the same thing as meaning nothing 22:51:03 correct. 22:53:15 hmmm I should pass these coderefs a reference to themselves incase they want to recurse or something. 22:55:39 Now I made the Graphics.DVI to be able to typeset text to a DVI file. However, the optimization of the DVI file is not yet perfect. 22:56:20 ais523: So what's the scapegoat model of the week? 22:59:41 -!- Jafet has quit (Quit: Leaving.). 22:59:59 haven't been thinking much about it 23:07:22 elliott: use a mandelbrot set 23:10:15 Use a Sierpiński gasket. 23:15:17 nah, use an alexander horned sphere 23:15:59 -!- pikhq_ has joined. 23:16:21 -!- pikhq has quit (Ping timeout: 268 seconds). 23:21:37 -!- Ngevd has joined. 23:21:42 oerjan, please can we not play fractal hipsters. 23:21:51 Hello 23:21:59 TOO LATE 23:22:06 Apparently the SNP want to be norse 23:22:16 snp? 23:22:24 Scottish National Party 23:23:07 There are so few interesting fractals. 23:23:13 Most of them are just pretty. 23:24:33 BBC: "Horns feature prominently in the iconography of both sides (NB real Viking helmets did not normally have horns)" 23:24:56 Alexander horned helmet. 23:26:58 oh noes, my faith in viking helmets has been destroyed 23:27:34 oh well, I guess I was right in misplacing half the horns on my helmet then 23:31:27 You fool! 23:31:41 It doesn't retain its interesting properties if you do that! 23:31:55 Oh, wait, yes it does. 23:32:49 yeah, it still has that napkin taped to it that says VIKING 23:32:57 * Phantom_Hoover → sleep 23:33:11 olsner, ah, but if you run a loop of string around it can you always pull it tight? 23:33:12 -!- Phantom_Hoover has quit (Quit: Leaving). 23:33:29 no, it is fixed size, not adjustable in any way 23:34:09 -!- derdon has joined. 23:34:18 all vikings had standard skull sizes 23:34:29 The DVI format has some commands and features that TeX doesn't use. 23:37:01 -!- ais523 has quit (Remote host closed the connection). 23:38:27 -!- calamari has quit (Quit: Leaving). 23:43:14 Combining diaeresis mark = instant upright smileys 23:43:20 optimizePage :: [Font] -> [PageCommand] -> [PageCommand]; applyMoveReg :: [PageCommand] -> [PageCommand]; 23:43:50 Gregor: Yes, that is one way, that works 23:44:37 Gregor: I think some people have used that even in TeX 23:44:54 It's probably easier and looks better more consistently in TeX :P 23:46:03 You are probably correct. Plain TeX works the same way everywhere so all documents are compatible with all computers. 23:53:45 :t runStateT 23:53:46 forall s (m :: * -> *) a. StateT s m a -> s -> m (a, s) 23:58:17 oerjan: how does one learn how to solve problems 23:59:24 Does it make a comonad if "s" is monoid and "m" is comonad?