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 <oklopol> lul i got kind of carried away, suddenly i realize i'm at work at 2:30 :D
00:54:16 <oklopol> (and my ex is coming over at 10:00 and i promised to the unstuffify the floor)
00:55:20 <oklopol> 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 <oklopol> hi elliott, what's up with you
00:55:58 <oklopol> wow. i feel so silly now, whining over nothing.
00:56:15 <oklopol> before you said that, i was perfectly content about whining over nothing
00:56:30 <oklopol> did you know the earth has a moon
00:58:35 <oklopol> 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:59:11 <oklopol> i then obtained a huge math high (it's a thing), and found another way
00:59:17 <elliott> oklopol: you should publish it with oerjan
00:59:35 -!- derdon has quit (Remote host closed the connection).
00:59:43 <oklopol> i think i'll publish it alone
01:00:09 -!- copumpkin has joined.
01:00:09 <oklopol> it's one of my best proofs ever if you ask me (and who else would you ask)
01:00:25 <oklopol> kind of annoying that it was also the first article i wrote
01:00:52 <oerjan> i don't know, you're kind of biased
01:00:54 <elliott> yes copumpkin that's a word oklopol said
01:01:18 <oklopol> we had a visiting lecturer today
01:01:31 <oklopol> he told us about this famous open problem that he and his student had proved various special cases of
01:01:43 <oklopol> after the lecture, i told him they'd been solving the wrong problem
01:02:20 <oerjan> then he went to plan how to kill you
01:02:35 <oklopol> (i had a way better generalization of the problem that the open one generalized)
01:03:22 <oklopol> oerjan: also he may have just been polite. but anyway obviously i'm right.
01:03:57 <oklopol> 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 <oklopol> 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 <oklopol> oh wow i should really clean this place up
01:05:41 <oklopol> i mean there's a stack of stuff about half a meter high that fills the floor completely
01:07:29 <oklopol> although i suppose i should say non-periodic, in case my supervisor sees this.
01:07:45 <oklopol> i'm pretty sure copies of my stuff also tile periodically
01:12:32 <oklopol> I have a lot of stuff. Surely there's a dice somewhere in there.
01:13:59 <oerjan> http://blog.stackoverflow.com/wp-content/uploads/then-a-miracle-occurs-cartoon.png
01:19:06 <elliott> oklopol: you can't talk in caps stop :(
01:20:04 <oklopol> they make me use caps at work :(
01:20:19 <elliott> oklopol: have you actually tried writing papers in lowercase :D
01:21:05 -!- pikhq has quit (Ping timeout: 252 seconds).
01:21:06 <elliott> Sgeo: it's only "old" if the linking isn't directly relevant...
01:21:11 -!- pikhq has joined.
01:22:15 <oklopol> maybe he just meant oerjan is old
01:22:53 <oerjan> 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 <oklopol> lol i guess cleaning is not all bad, i just found 100e on my floor
01:55:27 <oklopol> 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 <oklopol> elliott: well no. also i scrapped all my principles when i started writing papers, including monospace.
01:56:33 <elliott> oklopol: do you still use that beautiful windows theme
01:56:40 <oklopol> no i don't have it anymore
01:56:46 <elliott> that was one of my few real achievements in life
01:57:03 <oklopol> well i would love to have it
01:57:15 <elliott> guess who else doesn't have it any more :)
01:57:34 <oklopol> along with my 150gb of porn and a few very useful text files :(
01:57:49 <oerjan> sic transit gloria fenestrarum
01:58:20 <oklopol> you are a genius, do you know that
01:58:51 <oerjan> we are all a genius. he's got quite a split personality.
02:00:36 <oklopol> 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:07 <oklopol> what should i do with my 100e :o
02:01:55 <oerjan> there is one particular genius, who we all are.
02:03:42 -!- DCliche has joined.
02:05:21 <oklopol> 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:39 <oklopol> (except that i totally did read it that way)
02:05:57 <oerjan> well that would be because i did not think of that meaning at all when writing it.
02:06:47 -!- Klisz has quit (Ping timeout: 248 seconds).
02:06:53 <oklopol> then what was the second joke of your sentence, are you saying you just had one :D
02:07:32 <oerjan> the last part was just elaboration of the logical consequences, i'd say
02:08:28 <oklopol> uh-oh, my huge garbage bag is about to spill its contents
02:08:37 <oerjan> also is this joke officially dead from dissection yet.
02:08:56 <oklopol> no, and what doesn't kill it only makes it stronger
02:09:11 <oerjan> oh dear, we're all doomed
02:09:12 <oklopol> MWAHAHAHAHA. is how funny it is now.
02:10:16 <oklopol> 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:54 <oklopol> the former would also have been funny, imo. like an oops, we did it again.
02:11:51 <oklopol> i should probably take care of that garbage bag.
02:12:30 <oklopol> so math high, dust high, and now quite a tiredness high. interesting day.
02:12:35 <oklopol> maybe i should drink some beer.
02:13:24 <oklopol> 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:13 <oklopol> where the fuck are my clothes
02:14:36 * oerjan guesses that's what they call the "flow"
02:14:49 <elliott> i don't think the "flow" usually involves voices :P
02:15:02 <oklopol> no, flow is when i can just keep on working forever and i'm just in this lasting content state
02:15:35 <oklopol> the other state usually comes from really needing to solve a problem
02:16:13 <oklopol> often also just before i fall asleep, so dunno.
02:17:07 <oklopol> not really voices, just you know really fast meaningless whispers and i start feeling really fast
02:18:07 <tswett> 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 <oklopol> and i can draw pictures in my head which are vivid like in a dream
02:18:20 <elliott> tswett: were you finnish in another life
02:18:24 <tswett> 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 <tswett> elliott: what makes you think it was another life? I'm Finnish in *this* life.
02:18:41 <oklopol> maybe i'm just superhuman. also i still can't multiply numbers any faster, but i've told that already.
02:18:49 <tswett> I was born in Finland and have lived here my entire life.
02:19:10 <elliott> tswett: what's the name of that university you're at
02:19:21 <oklopol> my name means a sort of forest
02:19:38 -!- Slereah has joined.
02:19:38 <tswett> elliott: Grand Valley State Yliopisto.
02:19:43 <elliott> the famous finnish university
02:19:53 <elliott> also didn't you transfer to harvard or sth
02:19:57 <elliott> the other famous finnish university
02:20:11 <elliott> harvard, cambridge, massacheusetts, finland
02:20:12 <oklopol> 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 <tswett> oklopol: it depends on where you ask it.
02:20:48 <tswett> If you ask it in #esoteric, nope, not at all rude.
02:20:55 <tswett> But if you're in a movie theater, yeah, definitely.
02:21:12 -!- Slereah_ has quit (Ping timeout: 255 seconds).
02:21:30 <oklopol> i would be pretty :O if someone put that much thought into their sentence
02:22:04 <tswett> Forgive me for asking a meaningless question, but what sentence do you mean?
02:22:07 <oklopol> no idea, i didn't make the language
02:22:09 <tswett> elliott: it's the thing that a surname is the name of.
02:22:23 <elliott> we all have a sur inside us :')
02:22:35 <oklopol> if someone asked me that in a movie theater, i would be surprised.
02:22:40 <tswett> And no, I've also attended GVSY for my entire life.
02:22:43 <oklopol> well, i would probably assume they're an idiot
02:23:13 <tswett> That's why my last name is Yliopistola.
02:24:00 <oklopol> so when you coming to finland
02:24:01 <elliott> yeah people are usually named after their birth unis
02:24:09 <shachaf> Speaking of Finland, yesterday was Independence Day.
02:24:17 <shachaf> oklopol: My grandmother keeps trying to get me to.
02:24:21 -!- Slereah has quit (Ping timeout: 252 seconds).
02:24:21 <tswett> Don't they call it Stubbornness Day there or something?
02:24:48 <oklopol> shachaf: i meant tswett, he's talked about the subject occasionally
02:24:53 <oklopol> is your grandmother finnish?
02:24:54 <tswett> (Or maybe my surname is Laakso-opposite-of-nen. That's a very Finnish last name.)
02:25:08 <tswett> oklopol: I believe our plan was that I would visit you in 2014, right?
02:25:11 <shachaf> oklopol: So am I, naturally.
02:25:13 <oklopol> tswett: as a pun, yes. why is that?
02:25:13 <tswett> But I've completely forgotten said plan.
02:25:53 <shachaf> oklopol: Well, quite a lot of people with Finnish grandmothers are Finnish.
02:26:03 <shachaf> I've spent two* weeks of my life there!
02:26:13 <tswett> "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:27:03 <oklopol> shachaf: was it sooo awesome
02:27:23 <shachaf> oklopol: Like, totally, dude!
02:27:46 <tswett> Und después, do kakne que write cada valsi in una bangu diferente.
02:27:52 <oklopol> 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 <elliott> <shachaf> I've spent two* weeks of my life there!
02:28:04 <elliott> tswett: "opposite-of" is totally finnish
02:28:06 <tswett> elliott: at the end of #esoteric.
02:28:57 <tswett> I'm pretty sure #esoteric ends on the day that How to Train Your Dragooni comes out.
02:29:25 <tswett> That is how it is called in Americassa, right?
02:29:28 <oklopol> kuinka koulutat lohikäärmeen
02:30:07 <oklopol> i have no idea what your last sentence meant
02:30:20 <oklopol> but the inessive of amerikka is amerikassa
02:30:35 <tswett> Joo, sepsetää ei mäksö pelea.
02:30:45 <Madoka-Kaname> The whole xkcd "Everything leads to Philosophy" thing is broken by Computer program <-> Computer software
02:31:22 <oklopol> yeah but programming is kind of gay anyway
02:31:48 <tswett> Piensö ke tödä el suomi ke digö de verdad es espäniöl.
02:32:00 <tswett> Anyway, good night, everyone.
02:32:22 <elliott> Madoka-Kaname: i'm sure it's broken by many many cycles
02:32:58 <Madoka-Kaname> I'd like to find out what percentage of pages breaks that.
02:32:59 <oklopol> well none of the straight ones
02:34:20 <oklopol> and a small percentage both goes to philosophy and doesn't.
02:34:49 <elliott> oklopol: Go wake fizzie up for me
02:39:31 <elliott> oklopol: I mean, just fly. Or walk. Finland's not big.
02:40:26 <Gregor> Suppose Mac OS X libc would be unhappy if you did open(..., O_WRONLY|O_SYNC|O_ASYNC)? :P
02:40:40 <shachaf> That's a good application for maths.
02:41:37 <elliott> Gregor: Why OS X in particular?
02:42:08 <oklopol> there's a tampon on my floor.
02:42:24 <oklopol> why is there a tampon on my floor.
02:44:25 -!- augur has joined.
02:44:35 <oklopol> augur: there's a tampon on my floor
02:45:22 <oklopol> you seem to have missed the joke
02:46:07 <oklopol> 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 <oklopol> i actually just found a condom on my floor too
02:46:52 <oklopol> but that was slightly less surprising than the tampon
02:47:34 <oklopol> because i had sex in 2010, but i've never menstruated
02:47:48 <elliott> oklopol: i just realised that you're talking about your own room, not work
02:48:08 <elliott> it didn't really occur to me to be surprised that your work has all this shit lying around before that
02:48:12 <oklopol> 18 WHOLE square meters of house.
02:48:13 <elliott> seeing as you're oklopol and everything
02:48:36 <oklopol> augur: did you get the joke now?
02:49:07 <augur> why havent you menstruated?
02:49:12 <augur> havent you hit puberty yet?
02:52:17 <oklopol> 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 <zzo38> 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 <oklopol> is that some sort of fucked up 3d pentagram
02:57:01 -!- Jafet has quit (Quit: Leaving.).
02:57:03 <zzo38> 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 <oklopol> 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:57 <oklopol> zzo38: how did you find this out
02:58:24 <zzo38> But I wonder, how common is it that ecliptic longitudes of planets will ever form a pentagram?
02:59:08 <Gregor> <elliott> 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 <elliott> Gregor: Why not just use a libc wrapper...
02:59:44 <elliott> Assuming it's the ELF-loading stuff
02:59:53 <oklopol> zzo38: it happens just once and then we all die.
03:00:03 <Gregor> elliott: I considered that tact.
03:00:22 <zzo38> 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:01:02 <zzo38> oklopol: Just once within a lifetime? Can you show mathematics to show how accurate your statement is?
03:01:37 <oklopol> zzo38: i heard that the world is going to end soon enough
03:02:15 <Gregor> 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 <oklopol> god changes the channel because we're not having enough sex
03:02:40 <Gregor> 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 <elliott> Gregor: Oh nonono, don't do that
03:03:00 <elliott> Gregor: Just, for each platform, write libc_wrap.so that turns glibc calls into native libc calls
03:03:06 <oklopol> Gregor: you should listen to elliott, he has written a 50 line program once
03:03:09 <elliott> Then LD_PRELOAD-or-equivalent it
03:03:12 <Gregor> elliott: Uhh, that's what I do.
03:03:21 <elliott> Gregor: Then why can't you handle O_CREAT|O_SOMETHING in open()...
03:03:33 <Gregor> elliott: I can now, I didn't have a wrapper for open before :P
03:03:34 <oklopol> and that's not without comments...
03:03:57 <Gregor> elliott: I can run cp!
03:04:00 <zzo38> 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:04 <oklopol> child pornography is illegal
03:04:07 <elliott> Gregor: So can I! *boots up OS X, types cp*
03:04:17 <Gregor> elliott: Yeah, but mine has -a!
03:04:23 <elliott> Gregor: So does OS X cp :P
03:04:24 <oklopol> zzo38: but pentagons are not dangerous
03:04:25 <Gregor> (Note: Modern OS X cp does in fact have -a :P )
03:04:35 <elliott> Gregor: Also coreutils is in all the package managers :P
03:04:48 <Gregor> elliott: Yeah, well my date has --iso so HA
03:04:50 <oklopol> package management is illegal
03:04:55 <Gregor> (Note: date does not work)
03:04:56 <elliott> Gregor: date is in coreutils :P
03:05:35 <oklopol> faces shouldn't be sideways
03:05:40 <Gregor> elliott: HEY GUYS I'M CROSSLOADIN WOO
03:05:48 -!- Nisstyre has quit (Ping timeout: 240 seconds).
03:05:51 <zzo38> 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 <elliott> Gregor: You will only succeed in creating a monster once you can run Safari on Linux.
03:06:51 <Gregor> 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 <oklopol> at some point, being fucking retarded gets a bit lame, so maybe i'll stop doing this
03:07:29 <Gregor> I just already had gelfload :P
03:07:32 <oklopol> your question mark should've been after what, not after reverse it
03:07:35 <oklopol> reverse it is a statement...
03:07:40 <elliott> Gregor: Running OS X binaries on Linux is about 0.01% of running Safari on Linux :P
03:07:53 <elliott> You'd have to implement however Cocoa talks to Quartz at least
03:07:53 <oklopol> safaris don't run, things run on safaris
03:08:09 <zzo38> 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 <elliott> And I don't think it's a network protocol, so you'd have to patch the code somehow :P
03:08:14 <Gregor> elliott: Not necessarily ... how complete is GNUStep these days *hahahadeath*
03:08:31 <elliott> Gregor: My sources tell me that GNUStep can't run anything even vaguely modern :P
03:08:33 -!- Nisstyre has joined.
03:08:43 <elliott> Gregor: Especially not Grand Central Dispatch, IIRC, which I bet Safari uses
03:08:53 <elliott> But the effort would be SO WORTH IT, it'd be a beautiful hideous monster.
03:09:06 <oklopol> are there any ancient mayans here
03:09:21 <oklopol> how can something be beautiful and hideous
03:09:38 <Gregor> "GNUstep provides a robust implementation of the AppKit and Foundation libraries as well as the development tools available on Cocoa"
03:09:44 <Gregor> elliott: UH EXCUSE ME IT'S ROBUST
03:10:09 <elliott> Gregor: Yeah, so it can't run Apple software!
03:10:38 <elliott> TBH, making Cocoa output to something you can blit onto X11 sounds a lot easier than using GNUstep :P
03:10:56 <Gregor> Except it's not F/OSS ...
03:11:14 <Gregor> Well, it probably uses a Quartz library, not some weird direct connection shit.
03:11:20 <Gregor> So I suppose I could intervene there.
03:11:25 <elliott> Gregor: ...so? Neither is OS X libc and you use that :P
03:11:52 <Gregor> It's not an ethical issue, it's a "can I modify this" issue.
03:12:08 <elliott> Gregor: I think you'd want to rip out the lowest level of http://en.wikipedia.org/wiki/Quartz_2D
03:12:20 <elliott> That wouldn't get you anything rendered with OpenGL or QuickTime or whatever, but it'd get GUI stuff :P
03:12:37 <elliott> "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 <elliott> sitor only accepts raster data, and is the only process that can directly access the graphics frame buffer.[2]"
03:12:41 <elliott> Oh, reimplementing that might be easier
03:12:53 <elliott> Since it presumably has an actual interface :P
03:15:00 -!- azaq23 has joined.
03:15:09 -!- azaq23 has quit (Max SendQ exceeded).
03:15:43 -!- azaq23 has joined.
03:17:24 <Gregor> I KNOW WHAT I SHOULD DO!!!
03:17:34 <Gregor> *downloads IE5 UNIX binaries*
03:17:56 -!- Klisz has joined.
03:18:12 <elliott> Gregor: qemu-system-sparc, man.
03:18:16 <elliott> I'm sure your thing can run qemu.
03:19:36 <zzo38> What are season patterns between the tropics?
03:20:28 -!- DCliche has quit (Ping timeout: 244 seconds).
03:31:44 <elliott> Gregor: BTW how does it manage to fail at date :P
03:32:35 <oklopol> 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 <zzo38> When do you expect the ecliptic longitudes of planets, sun, and moon to form a pentagon/pentagram?
03:33:44 <oklopol> dunno, but i have a hunch that the stars form one pretty often
03:33:57 <quintopia> zzo38: i will answer that question when you solve the n-body problem
03:34:54 <zzo38> quintopia: I will tell you right now that it doesn't.
03:35:06 <zzo38> oklopol: Which stars? I can calculate stars in this program, too
03:36:22 <quintopia> 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 <zzo38> 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:43 <Gregor> elliott: Idonno, it's a segfault.
03:37:47 <zzo38> However you are probably correct that if they will not burn out or explode, they eventually will form a pentagon.
03:37:55 <Gregor> elliott: Probably something to do with my extremely grotty librt shim.
03:37:57 <elliott> Gregor: How can date possibly segfault :P
03:37:57 <zzo38> But that would be beyond the range of any computer program to calculate.
03:38:05 <oklopol> for any error ...something
03:40:52 <oklopol> 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:46:50 <monqy> i tried reading cap.pdf but got bored and stopped :(
03:47:05 <monqy> maybe I will start again
03:47:45 <elliott> 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:52:06 <zzo38> 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 <quintopia> oklopol: you arent taking into account STRING THEORY which says ALL STARS ARE CONNECTED 1D STRINGS
03:55:58 <zzo38> O, string theory. I have read some books lately that have a few things about string theory.
03:55:58 <monqy> which string theory is this? all of them?
03:56:32 <monqy> all I know about string theory is it comes in many flavours
03:56:37 <monqy> and has something to do with strings
03:57:11 <zzo38> Yes there are many different string theories.
03:58:05 <Gregor> elliott: For libc5 loading, uname works but echo doesn't (wtf)
03:58:24 <elliott> Gregor: libc5? wtf year are you in
03:58:38 <Gregor> elliott: I'm loading libc5 binaries. For lols?
03:58:57 <elliott> Everyone agrees it was the best.
03:59:25 <elliott> Gregor: Just patch libc4 to work with ELF!!!
03:59:41 <Gregor> And I will call the result ...
04:00:03 <elliott> Gregor: libc5 did a lot more than THAT :P
04:01:15 <elliott> Gregor: Try non-GNU echo :P
04:01:26 <elliott> (Where are you even getting libc5 binaries from)
04:02:52 <pikhq> I would not be surprised to find that GNU echo calls every function in libc once.
04:09:55 <elliott> 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 <elliott> http://hartlich.com/deco/ Ah, here we go
04:10:40 <zzo38> Is 7-zip available for UNIX systems?
04:11:08 <pikhq> I, in fact, have it installed for the sake of .7z files.
04:11:10 <elliott> 'deco preserves the archive after successful extraction, unless you give it the -u (“unlink”) option."
04:11:18 <elliott> Oh come on, does every program need an implementation of rm?
04:11:35 <zzo38> 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 <elliott> "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:46 <pikhq> Hell, I'm kinda annoyed that gzip has an implementation of rm.
04:11:53 <elliott> zzo38: Unix 7zip doesn't do permissions IIRC
04:12:07 <pikhq> elliott: So, it's got anti-tarbomb stuff. :)
04:12:09 <zzo38> 7-Zip can also extract Red Hat and Debian packages, as well as Macintosh disk image files.
04:13:16 <zzo38> 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 <pikhq> I just use "tar xf" and "tar tf".
04:15:02 <zzo38> 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 <pikhq> 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 <Gregor> <elliott> "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 <elliott> Gregor: It's not in Debian though ;-)
04:19:52 <elliott> Gregor: http://hartlich.com/deco/
04:19:54 <Gregor> Then there must be something hideously wrong with it.
04:19:58 <Gregor> Warning: deletes all your files
04:20:11 <elliott> Gregor: Yeah, it's totally broken, but if you download the tarballs we won't tell the Debian Overlords.
04:20:20 <elliott> It'll be our little secret.
04:21:08 <zzo38> O, they are going to mix up UNIX, isn't it?
04:25:33 <Gregor> Interesting, libc5 cat can cat stdin, but not a file.
04:26:27 <Gregor> It's errno that doesn't work properly.
04:28:03 -!- oklopol has quit (Ping timeout: 244 seconds).
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 <Gregor> I feel I'm doing libc5 errno wrong.
04:42:45 * Sgeo learns about non-monotonic logic
04:42:49 <Gregor> 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 <zzo38> What does non-monotonic logic mean?
05:29:28 <zzo38> I think someone once described Haskell programming as the closest thing to executable mathematics.
05:30:10 <quintopia> my guess would be logic without nots
05:34:07 <elliott> zzo38: that person never heard of agda and coq
05:36:59 <quintopia> okay now i know what nonmonotonic logic is
05:58:27 -!- oklopol has joined.
06:00:16 <oklopol> 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:53 <oklopol> 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 <oklopol> 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 <oklopol> i could pump like 60 tons of water here
06:04:41 -!- pikhq has joined.
06:04:58 -!- pikhq_ has quit (Ping timeout: 252 seconds).
06:06:27 <elliott> oklopol: pumping progress??
06:06:35 <elliott> Gregor: also did you ever start that cunionfs kernel module
06:07:17 <zzo38> I have now finished writing Chapter XIV: Everyone is Criminal
06:07:54 <oklopol> we've been waiting for quite a while
06:08:41 <zzo38> Probably in two weeks from now.
06:10:42 <zzo38> 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:13:19 <pikhq> http://www.youtube.com/watch?feature=player_embedded&v=0PAJNntoRgA This man is running for president. *sob*
06:14:22 <oklopol> well at least he approves his own message.
06:14:37 <pikhq> That became a stock appendage to campaign ads a while ago...
06:14:43 <pikhq> I think it was Bush?
06:14:57 <oklopol> i had a hunch that was the case
06:15:06 <oklopol> it's still somewhat ridiculous
06:15:12 <pikhq> More than somewhat.
06:15:20 <pikhq> Yes, you approve your own damn message.
06:15:41 <elliott> pikhq: the thing i like about that video
06:16:10 <elliott> i think the views statistic is just wrong that thing's all over the internet
06:16:16 <elliott> must have more than 5,000 views by now
06:16:35 -!- azaq23 has quit (Remote host closed the connection).
06:17:54 <elliott> 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 <elliott> it's outright "AS PRESIDENT, I WILL STOP GAYS DOING THINGS"
06:19:02 <elliott> rick perry should come to europe, you can celebrate christmas openly here
06:19:08 <elliott> because of our godless freedoms
06:19:09 <pikhq> 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 <elliott> i haven't been, thankfully
06:19:31 <pikhq> Probably for the best, TBH.
06:19:49 <elliott> nor the democratic race :P
06:19:54 <elliott> although i suspect that looks like START -> OBAMA
06:20:09 <pikhq> There's actually other people running, nominally.
06:20:38 <elliott> http://en.wikipedia.org/wiki/Democratic_Party_(United_States)_presidential_candidates,_2012#Challengers
06:20:40 <elliott> does that guy have a boot for a hat
06:20:42 <pikhq> 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 <elliott> 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 <elliott> dear randall terry: plz don't
06:21:17 <elliott> "He ran as a "Tea Party Democrat"" why. why
06:21:58 <pikhq> Personally, I hope we get an old British king to resurrect and run.
06:22:09 <pikhq> It'd be much more interesting.
06:22:24 <elliott> pikhq: wait herman cain is FORMER GODFATHER'S PIZZA CEO???
06:22:41 <elliott> this makes everything i've heard about herman cain about
06:23:20 <elliott> http://en.wikipedia.org/wiki/United_States_presidential_election,_2012#Candidates_gallery_2
06:23:47 <zzo38> Guess the title for Chapter XV and Chapter XVI.
06:23:51 <quintopia> why do they even list vermin supreme. he is a comedian and only running as a stunt. such people shouldnt count.
06:23:58 <elliott> 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 <pikhq> quintopia: He is nevertheless running.
06:24:22 <elliott> quintopia: yeah, what we need is for our objective sources to decide what to report based on personal opinion
06:24:39 <quintopia> isnt that what wikipedia is about?
06:25:06 <elliott> "He claims that if elected President of the United States he will pass a law requiring people to brush their teeth."
06:25:12 <elliott> americans: vote for this man
06:25:35 <pikhq> quintopia: Wikipedia also reports on candidates for the Official Monster Raving Looney Party.
06:25:38 <elliott> "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 <elliott> 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 <oklopol> zzo38: magical dragons and the final ever everythingness.
06:25:52 <elliott> come on guys, this guy is better than every single other candidate
06:25:58 <elliott> who the fuck are you gonna vote for that isn't this guy
06:26:11 <pikhq> elliott: I am strongly considering it now.
06:27:04 <elliott> 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 <pikhq> Sounds about right.
06:27:43 <pikhq> Mediocre > leaping 100 years back
06:28:45 <oklopol> why not just give the gays their own state so people could finally pray in peace
06:29:45 <pikhq> oklopol: I vote we just form Jesusland.
06:30:01 <quintopia> 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 <elliott> `addquote <oklopol> why not just give the gays their own state so people could finally pray in peace
06:30:11 <HackEgo> 749) <oklopol> why not just give the gays their own state so people could finally pray in peace
06:30:17 <quintopia> 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 <pikhq> 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 <quintopia> do you tend to lean towards voting for democrats pikhq
06:31:21 <pikhq> Yes, though I tend to think the lot of 'em have come to be the "less conservative" party.
06:31:44 <quintopia> and have always been criticized for it
06:32:02 <quintopia> democrats tend to always find their presidents to be mediocre
06:32:20 <pikhq> 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 <pikhq> s/tots/totes/? Colloquialisms are hard to spell.
06:32:37 <quintopia> 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 <elliott> quintopia: if only the US had a half-reasonable voting system so that progressives had actual options!
06:33:05 <quintopia> this is why democrats were so meh about fdr during his presidency
06:33:28 <pikhq> Even though FDR was probably the most progressive President we've had, like, ever?
06:34:01 <quintopia> yeah theres a good article on the phenomenon
06:40:49 <quintopia> this may be interesting though http://www.salon.com/2011/08/05/obama_fdr_debt_ceiling/
06:43:17 <oklopol> so what's randall's opinion on slave monkeys?
06:43:46 <oklopol> or does "gay" include them?
06:45:25 <oklopol> elliott: are you alluding to his early congressional majorities?
06:45:45 <elliott> no i mean his actual ears in that picture
06:46:56 <oklopol> 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:48:05 <oklopol> but actually google claims it's pretty common
06:48:19 <oklopol> it means like occurring beforehandtime
06:48:36 <oklopol> which really makes no sense but that's english for you.
06:50:42 -!- Klisz has quit (Quit: You are now graced with my absence.).
06:52:29 <oklopol> i should go to work............ oh my god i have to sleep...........................
07:05:45 <elliott> oklopol turned into a flea
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:38:07 <elliott> holy shit, my topatoco package shipped
07:38:18 <elliott> how many fucking signatures can one guy sign in like a few days
07:38:27 <elliott> quintopia: yeah i bought a bomb
07:38:34 <elliott> i was hoping it'd get lost in shipping but no
07:39:45 <quintopia> 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 <elliott> quintopia: oh. because, i didn't actually but a bomb, i bought desirable merchandise
07:40:39 <elliott> does this mean i won't get it
07:40:59 <elliott> (don't worry i'm sure the merchandise is explosive)
07:41:22 <quintopia> it means either you wont get it, or it will be damaged when you do
07:41:38 <elliott> (i just lettered them for you)
07:41:43 <elliott> (lettering is like numbering but with letters)
07:42:00 <quintopia> if you paid too much, it'll all be okay
07:43:29 <elliott> 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 <elliott> eh i caught it like two hours after it came out so i guess he just did them chronologically
07:43:58 <elliott> can someone write @ for me
07:43:58 <elliott> i'm getting sick of linux again
07:44:20 <fizzie> I had written the "A" of "a signed bomb" already. :/
07:44:28 <elliott> from the inventor of the bomb himself
07:45:01 <quintopia> can you not lie for a second please?
07:45:12 <elliott> quintopia: but that's so boring, all i do is lie
07:45:30 <quintopia> yes okay. you can go back to lying afterwards
07:45:41 <quintopia> i'll write @ if you tell the truth about this thing
07:45:45 <elliott> what was even the question, i'm kinda sleep deprived
07:45:51 <elliott> wow don't you want my firstborn too
07:45:54 <elliott> you can have my firstborn if you do that
07:46:26 <elliott> well the signed things were the two mspa books that just came out... i don't actually remember why i got them signed
07:47:25 <elliott> quintopia: how's @ coming along
07:49:33 <elliott> fizzie: oh yeah i had a question forf you!!!!!
07:50:31 <fizzie> fungot: You answer his forf'n question.
07:50:31 <fungot> fizzie: is a 98% reduction in the waterpark intensity, right, so i'd imagine!
07:50:41 <elliott> `addquote <fungot> fizzie: is a 98% reduction in the waterpark intensity, right, so i'd imagine!
07:50:42 <fungot> 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 <HackEgo> 750) <fungot> fizzie: is a 98% reduction in the waterpark intensity, right, so i'd imagine!
07:50:53 <fungot> 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:56 <fungot> 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 <elliott> oh that's why it's so amazing
07:51:05 <fungot> 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:27 <elliott> fizzie: OK but as I was saying: Is xmonad any good (I am in the market for WMs).
07:52:49 <fizzie> Weeeelll they just released 0.10, so there's progress. I like it, but my window management needs are pretty nonexistent.
07:53:08 <elliott> I know they just released 0.10, that doesn't tell me much :P
07:53:47 <elliott> 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 <fizzie> That sort of thing sounds doable, though I don't think there's a contrib blob for that yet.
07:54:41 <elliott> I can code Haskell, though :P
07:55:09 <elliott> I still have a few misgivings about tiling window managers *sigh*
07:55:42 <elliott> 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 <fizzie> XMonad.Actions.DynamicWorkspaces gives you addWorkspace/removeWorkspace actions, the rest would probably be mostly glue.
07:57:16 <elliott> (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 <elliott> fizzie: I suppose you just deal with the long lines? :p
07:59:09 <fizzie> 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 <elliott> 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 <fizzie> 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 <elliott> fizzie: Centred would work, but makes me rather wonder why I would even hide the windows "behind" it. :p
08:05:19 <elliott> fizzie: I don't use a userlist, so pidgin on the same workspace would work, but...
08:05:26 <elliott> I can't think of any decent layout for that.
08:07:52 <fizzie> I should probably just build bitlbee with my libpurple patch so I wouldn't need a Pidgin.
08:09:39 <fizzie> 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 <elliott> fizzie: Can I mumble something about @? :p
08:11:10 <elliott> -- fizzie, #esoteric fascist
08:13:33 <elliott> 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 <elliott> fizzie: Can you make one of them for me?
08:18:31 <pikhq> elliott: Start with UNIX. Delete everything.
08:19:20 <elliott> 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: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> 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 <fizzie> 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 <fizzie> chaos-pp examples have the best exercises.
12:45:54 <fizzie> (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 <fizzie> "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 <fizzie> And best examples overall.
12:54:15 <fizzie> "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:34 <fizzie> <fizzie> 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 <fizzie> <fizzie> chaos-pp examples have the best exercises.
12:54:34 <fizzie> <fizzie> (It's the "compile-time Fibonacci in Order" example.)
12:54:42 <fizzie> That's the totality of what you missed.
12:55:23 <fizzie> 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:31 <lambdabot> Text.ParserCombinators.ReadPrec data ReadPrec a
15:12:31 <lambdabot> Text.Read readPrec :: Read a => ReadPrec a
15:12:31 <lambdabot> 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 <Gregor> Things that shouldn't segfault: exit(2)
17:51:54 <Gregor> Exit: Why did you call __fpending with NULL?
17:54:36 -!- elliott has joined.
17:55:20 <Gregor> elliott: WHY WOULD EXIT CALL __fpending WITH NULL???
17:55:28 <Gregor> Hm, I properly decapped __fpending but not exit.
17:55:51 <elliott> Gregor: I didn't even know what __fpending is until I checked :P
17:56:09 <elliott> Gregor: Wild guess: 0 = stdout???
17:56:19 <Gregor> elliott: Not as far as I can tell.
17:56:28 <Gregor> (Same story for stdin/stderr)
17:56:44 <elliott> Gregor: Good, because it takes a (FILE *) :P
17:58:48 <elliott> Gregor: Well, passing 0/1/2 for standard file descriptors to something taking a pointer would be wack...
17:59:10 <Gregor> Yes ... yes it would ... but stdin, stdout and stderr (symbols) are FILE * :p
18:00:09 <elliott> <Gregor> elliott: WHY WOULD EXIT CALL __fpending WITH NULL???
18:00:09 <elliott> <elliott> Gregor: Wild guess: 0 = stdout???
18:00:22 <elliott> __fpending(NULL) = __fpending(stdout) because Linux
18:01:40 <Gregor> 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 <elliott> It is not a serious theory :P
18:02:48 <elliott> "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 <elliott> Is it even Acer if they don't sell crap???
18:04:42 <elliott> Imagine a world where Bash supports JSON. (qaa.ath.cx)
18:04:43 <elliott> Why do this to me, reddit?
18:13:13 <Vorpal> Gregor: what did you do to cause that __fpending(NULL)?
18:13:40 <ais523> what does __fpending do anyway?
18:13:56 <Vorpal> The __fpending() function returns the number of bytes in the output buffer. For wide-oriented streams the unit is wide characters.
18:13:56 <Vorpal> This function is undefined on buffers in reading mode, or opened read-only.
18:14:46 <Gregor> lol, date still segfaults X_X
18:14:53 <Gregor> Even gelfloading native date on libc6.
18:17:21 <Gregor> Being able to gdb helps :P
18:18:42 <Gregor> You know how I am with my random projects.
18:18:51 <Gregor> Something nonsense triggers me, then I hack at it for a bit.
18:32:56 <Gregor> OK, my stdio layer is insufficiently broken to cause most libc6 things to crash now :P
18:33:12 <Gregor> Alternately, it's sufficiently working to cause most libc6 things not to crash now.
18:33:34 <quintopia> i searched the android market for unicode and the first thing to come up is an app david madore wrote
18:34:45 <elliott> quintopia: Wait 'til you look up gay elf erotica!
18:34:51 <elliott> (Android has a book market right.)
18:35:19 <elliott> (One day Madore is going to come here and we are all going to shuffle around awkwardly while Gregor quickly redacts the logs.)
18:36:13 <elliott> Gregor: Actually, the logs you have are already censored.
18:36:29 * quintopia searches market for gay elf erotica
18:36:41 <Gregor> quintopia: EVIL CENSORSHIP
18:37:00 <quintopia> gregor: i'm sorry they deleted your book :/
18:37:11 <Gregor> It took a lot of work, too!
18:37:18 <Gregor> And they were just like "Not appropriate DELETE"
18:37:25 <Gregor> And I was like "Awwwwwwwwwwwwww you guys are mean"
18:38:18 <elliott> 2004-02-08.txt:21:57:25: <fizzie> 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 <elliott> Gregor: http://codu.org/logs/log/_esoteric/2003-03-14
18:39:14 <elliott> Gregor: I refer to this as the Unforgivable Incident.
18:39:57 <Gregor> elliott: Well piff, if it's not MY censhorship then what am I to do :P
18:40:04 <elliott> Gregor: GO BACK IN TIME AND FIX THINGS
18:40:08 <Gregor> Anyway it also ignores any lines that start with !glogbot_ignore
18:40:13 <Gregor> !glogbot_ignore SEKRITS
18:40:24 <elliott> < 1323369613 846167 :Gregor!foobar@codu.org PRIVMSG #esoteric :!glogbot_ignore SEKRITS
18:40:25 <Gregor> !glogbot_ignore elliott BECAUSE OF SEKRITS
18:40:34 <elliott> 18:40:13: <Gregor> !glogbot_ignore SEKRITS
18:40:35 <Gregor> elliott: Dammit, why you gotta ruin my fun :P
18:40:45 <elliott> I actually believed you for one TERRIBLE SECOND
18:40:57 <Gregor> Worst second of your life I'm sure.
18:41:57 <elliott> Gregor: CUNIONFS KERNEL MODULE PLEASE
18:42:06 <Gregor> elliott: Don' wanna :(
18:42:19 <elliott> Gregor: WHAT NONSENSE DO I HAVE TO DO TO SPRING YOU INTO ACTION
18:42:23 -!- sebbu has joined.
18:42:29 <elliott> I want to get Kitten booting dammit :P
18:43:00 <Gregor> Why can't you write the awesomest union filesystem for yourself :P
18:43:09 <ais523> !addinterp glogbot_ignore bf ,[.,]
18:43:10 <EgoBot> Interpreter glogbot_ignore installed.
18:43:59 <elliott> Gregor: 'Cuz I know even less about kernel modules than you do.
18:44:13 <Gregor> That's virtually impossible.
18:44:36 <elliott> 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 <elliott> although I suppose the obligation to provide a way to opt out of logging is the /channel's/, not the bots...
18:45:12 <ais523> you opt out of public logging by using /msg or /query, right?
18:45:39 <Gregor> glogbot logs /msgs to /it/ :P
18:45:50 <elliott> well, nobody ever claimed freenode policy is reasonable
18:48:04 <olsner> policy is never reasonable
18:49:35 -!- zzo38 has joined.
18:49:50 <elliott> Oh no, GHC is suffering speed-wise from its use of ILP64 :(
18:49:52 <HackEgo> 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:03 <HackEgo> 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:52 <elliott> hubcaps aren't 2005 references
18:51:14 <quintopia> "welcome to the international hub for esoteric hubcap design and deployment"
18:51:34 <HackEgo> 2009-07-24.txt:01:54:53: <ehird> 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:28 <ais523> elliott: please tell me that that was a quote
18:52:31 <ais523> not something you came up with yourself
18:52:43 <elliott> I think that's possibly the best response HackEgo could have possibly given to that query.
18:52:47 <elliott> I also think we should remove `log now :P
18:53:31 <itidus20> i basically use `log to feign relevance
18:53:37 <HackEgo> 2011-11-15.txt:07:56:22: <pikhq> I really, really wish roundabouts were more prevalent. Traffic lights *suck*.
18:53:54 <HackEgo> 2010-02-14.txt:05:32:20: <pikhq> An unfriendly singularity is apocalypse. A friendly singularity is utopia.
18:54:14 <HackEgo> 2011-03-29.txt:08:35:19: <Vorpal> 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 <Vorpal> ais523: I assume that last one was about dwarf fortress
18:54:55 <HackEgo> 2011-11-13.txt:00:08:39: <CakeProphet> elliott: oops. oh well, at least I'm not a condescending shitfingered cunt. :D :D :D
18:54:56 <Vorpal> ais523: how did you chose those words?
18:55:09 <Vorpal> itidus20: /pretty/ sure it was about dwarf fortress actually :P
18:55:31 <HackEgo> 2005-05-12.txt:20:55:13: <fizzie> Perhaps a platypus.
18:55:49 <itidus20> 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 <HackEgo> 2010-10-13.txt:20:30:13: <Gregor> Aardvarklike Aardvark
18:55:56 <HackEgo> 2009-10-20.txt:02:52:43: <HackEgo> 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 <HackEgo> 2011-12-08.txt:18:55:52: <quintopia> `log mulish
18:56:26 <HackEgo> 2011-12-08.txt:18:56:21: <quintopia> `log footloose
18:56:32 <itidus20> he was like "hmm... so you like structured thought, boy"
18:56:34 <HackEgo> 2011-12-08.txt:18:56:29: <Vorpal> `log jasdfkjasdhfsdfj
18:56:46 <HackEgo> 2011-10-07.txt:18:41:18: <fungot> 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 <zzo38> I saw what someone did before is you can do like this to avoid your query being found
18:56:58 <Vorpal> quintopia: that it finds your query doesn't mean it is the only match. Kind of annoying that
18:57:04 <zzo38> `log [a]bcdefghijklmnopqrstuvwxyz
18:57:09 <HackEgo> 2008-08-16.txt:01:51:43: <fungot> ............................. !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ ...
18:57:34 <olsner> "<elliott> Oh no, GHC is suffering speed-wise from its use of ILP64 :(" :(
18:57:40 <itidus20> zzo38: brackets around the first character?
18:57:51 <olsner> but isn't that very easy to fix by just making ghc use different data sizes?
18:57:56 <zzo38> itidus20: Or any character, it doesn't matter which one.
18:58:02 <HackEgo> 2011-06-08.txt:19:37:51: <elliott> the best complexity is O(log log log log log log n)
18:58:11 <zzo38> It is regular expression
18:58:18 <elliott> olsner: well i don't know if ghc can handle Int not being pointer-sized
18:58:40 <itidus20> zzo38: just had a quick game idea. tetris with ascii characters.
18:58:57 <quintopia> is inverse ackermann asymptotically faster than sixlogs?
18:59:01 <zzo38> itidus20: Describe more please.
18:59:03 <ais523> itidus20: telnet nethack.eu? there's a curses tetris online there
18:59:05 <itidus20> on thinking about how to describe the '['
18:59:06 <elliott> quintopia: no. sixlogs is fastest
18:59:24 <itidus20> well.. each ascii character is a 5x8 block or something
18:59:28 <elliott> quintopia: i am sure inverse ackermann is faster than sixlogs. but you knew that
18:59:41 <ais523> itidus20: oh, you mean using the characters themselves
18:59:43 <olsner> 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:58 <ais523> I once programmed a tetris-but-with-pentominos, it's pretty difficult
19:00:00 <itidus20> ais523: you could fill in the blanks.. but why would you..
19:00:11 <HackEgo> 2010-03-24.txt:04:25:30: <pikhq> Every time he returns he spews out a massive chunk of replies for an hour.
19:00:22 <HackEgo> 2011-08-11.txt:14:56:25: <itidus20> 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:31 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net).
19:00:35 <HackEgo> 2010-11-17.txt:00:26:36: <pikhq> PRAISE BE UNTO ELLIOTT, GOD OF ALL
19:01:08 <HackEgo> 2011-07-19.txt:21:43:23: <Sgeo> <flyingferret> My dice bag is not that big.
19:01:18 <HackEgo> 2011-12-08.txt:19:01:13: <elliott> `log stochastically
19:01:31 <HackEgo> 2011-12-08.txt:19:01:13: <elliott> `log stochastically
19:01:36 <ais523> beautifully inevitable
19:01:49 <HackEgo> 2010-09-02.txt:19:31:12: <Vorpal> 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 <quintopia> someone concoct me a regular expression that searches for x in a line not beginning `log
19:02:26 -!- Vorpal has joined.
19:02:28 <HackEgo> 2009-05-02.txt:19:50:18: <oerjan> !c system("more magic")
19:02:30 <elliott> it's not the same, but close enough
19:02:49 <itidus20> 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:03:05 <quintopia> what does that have to do with anything
19:03:13 <itidus20> so 2 falling pieces bumping into each other as if 'racing' down the screen
19:03:25 <elliott> if you can't figure out why that stops the line itself matching, then you haven't thought hard enough
19:03:37 <elliott> matches a foo not preceded by ]
19:03:44 <elliott> hopefully it is obvious now
19:04:01 <elliott> that's... the standard method
19:04:14 <elliott> obviously it fails if someone's `log'd that before but most terms haven't been `log'd before
19:04:19 <zzo38> 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:30 <HackEgo> 2011-02-12.txt:18:07:47: <nescience> 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 <elliott> ais523: that ignores /all/ hackego lines
19:04:40 <elliott> quintopia: why am i being stupid again?
19:04:48 <ais523> I can make it ignore `log specifically, but that would be rather more complex for minimal gain
19:05:18 <ais523> `log ^([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*something
19:05:24 <HackEgo> 2005-05-22.txt:01:38:48: <GregorR> Anybody mind giving me an account somewhere so I can set something up as a test?
19:05:32 <ais523> (is this perl regexes? if so, that can be abbreviated)
19:05:37 <zzo38> 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:48 <ais523> in that case, it probably can't be
19:06:09 <itidus20> 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 <ais523> `log ^([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before
19:06:14 <HackEgo> 2011-12-08.txt:19:06:10: <ais523> `log ^([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before
19:06:26 <ais523> bleh, screwed it up, forgot to allow for the nick
19:06:45 <ais523> `log ^[^>]+>([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before
19:06:50 <HackEgo> 2011-12-08.txt:19:06:10: <ais523> `log ^([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before
19:07:03 <ais523> is > a metacharacter in egrep somehow?
19:07:06 <zzo38> 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 <ais523> `log ^[^>]+> ([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before
19:07:21 <ais523> oh right, missed the space
19:07:23 <HackEgo> 2011-12-08.txt:19:06:50: <HackEgo> 2011-12-08.txt:19:06:10: <ais523> `log ^([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before
19:07:30 <itidus20> zzo38: well this one played out retro nes games as you progressed through the level
19:07:45 <ais523> `log ^[^>]+> ([^`]|`[^l]|`l[^o]|`lo[^g]|`log[^ ]).*this line has never been spoken in #esoteric before either
19:08:29 <zzo38> 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 <elliott> ais523: I can make it use grep -P if you want :P
19:09:46 <ais523> I just checked that grep -P implements the construct I want
19:09:58 <HackEgo> 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 <itidus20> with tetris blocks based on ascii characters the rules would need to change.. but i think it could potentially be fun
19:10:20 <elliott> `run find bin -exec sed -i 's/egrep/grep -P/g' '{}' \;
19:10:22 <zzo38> itidus20: Yes there is an idea
19:10:34 <HackEgo> sed: couldn't edit bin: not a regular file
19:10:39 <itidus20> hmm... you could feed it a text file :)
19:10:43 <elliott> `run find bin -type f -exec sed -i 's/egrep/grep -P/g' '{}' \;
19:10:59 <ais523> `log ^[^>]+> (?!`log )asodjaosdjoasijdoisajd
19:11:20 <ais523> `log ^[^>]+> (?!`log ).* njoy
19:11:30 <HackEgo> 2011-12-08.txt:19:10:24: <elliott> ais523: njoy
19:11:42 <ais523> that's much more readable
19:11:47 <elliott> ais523: one suspects that (?!`log ).* njoy would do just as well.
19:11:49 <ais523> `log ^[^>]+> (?!`log ).* does this work with a dot-star too
19:12:05 <ais523> elliott: nope, ?!`log matches anywhere that doesn't say `log
19:12:17 <ais523> there are any number of positions in that line that don't say `log
19:12:20 <elliott> ais523: it's close enough :P
19:12:20 <ais523> in fact, it fails because of this
19:12:24 <itidus20> 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:39 <itidus20> and then people could figure out which texts are the most fun
19:12:50 <ais523> `log ^[^>]+> (?!`log).* abcooas > abcooas
19:13:00 <ais523> `log ^[^>]+> (?!`log).*abcooas
19:13:07 -!- monqy has joined.
19:13:13 <zzo38> itidus20: O, OK. Try that way.
19:13:24 <ais523> the ^> requires the first > to be taken
19:13:28 <ais523> so it does only check just there
19:14:03 <itidus20> zzo38: so like .. abcd = L piece.. efgh = J piece.. ijkl = I piece ... etc
19:15:05 <itidus20> yeah.. im jumping from idea to idea
19:15:06 <zzo38> You could just use binary format and use the bits to select one
19:15:51 <itidus20> i guess... that would enable a wider variety of input files
19:16:28 -!- azaq23 has joined.
19:18:52 <itidus20> what i find dissatisfying about such things is that there is generally a semantic gap between the input and the output
19:23:56 <itidus20> 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 <zzo38> 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 <elliott> Cycle in class declarations (via superclasses):
19:48:22 <Gregor> As I understand it, your only option at this point is suicide.
19:48:59 <Gregor> Harsh, these static type systems.
19:52:50 <elliott> Gregor: And as we all know, dynamically-typed languages magically make programs with type errors work by ignoring them :P
19:59:46 <Vorpal> Trine 2 is excellent btw. Still until beginning of next year until it comes to Linux :(
20:01:03 <Gregor> elliott: So glad you've finally seen that.
20:09:17 <monqy> Vorpal: so less than a month?
20:10:12 <elliott> indexOfTheOnlyBit :: Nat -> Int
20:10:12 <elliott> {-# INLINE indexOfTheOnlyBit #-}
20:10:12 <elliott> I# (lsbArray `indexInt8OffAddr#` unboxInt (intFromNat ((bit * magic) `shiftRL` offset)))
20:10:19 <elliott> !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:24 <elliott> magic = 0x07EDD5E59A4E28C2
20:10:28 <elliott> !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:33 <elliott> Gregor: See, static types give us high-level declarative expressivity.
20:10:39 <monqy> what did you DO........
20:12:03 <monqy> WHO did what / who DID what / who did WHAT
20:12:10 <elliott> https://github.com/haskell/containers/blob/e076b33f4cee3f657b5bdc5bf6f5a4c9e249d00c/Data/IntSet.hs#L1166
20:13:15 <elliott> @pl \s -> f (g (Left s)) (runFoo . k) $ unwrap s
20:13:15 <lambdabot> ap (flip f (runFoo . k) . g . Left) unwrap
20:14:43 <zzo38> 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 <monqy> the remote has too much buttons
20:16:18 <zzo38> Really it looks like too much to you?
20:16:47 <zzo38> What is your suggestion, then?
20:17:01 <monqy> and space them out a bit?
20:17:25 <monqy> probably a bit clumsy to hold it too
20:17:31 <monqy> unless it's supposed to be something like a keypad
20:17:34 <elliott> the selection has too many prices and vaules
20:17:38 <monqy> in which case just go nuts
20:17:38 <zzo38> The picture does not show the actual product. So, the actual size, fonts, spacing, is not shown here.
20:17:57 <monqy> so that's just what buttons you want to put on it?
20:18:00 <zzo38> 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 <zzo38> 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 <monqy> maybe it is okay then
20:19:28 <monqy> but I still do not understand some of these buttons
20:19:49 <zzo38> Describe more precisely what you do not understand?
20:20:22 <monqy> and what do TOP MENU and SUB MENU do
20:20:42 <zzo38> 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 <monqy> but why would you use a remote for that......
20:21:05 <zzo38> 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 <monqy> 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 <monqy> by game controller buttons I mean the ones that don't really have a purpose on a remote
20:23:35 <zzo38> That is a possible idea. Thanks for suggestions.
20:24:01 <monqy> also is the game controller picture supposed to be the layout?
20:24:28 <zzo38> monqy: Yes it is just a layout, it is not necessarily to scale.
20:24:31 <monqy> 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 <zzo38> Nor are they necessarily even in the positions given; positions are only approximate.
20:25:20 <monqy> it's in the centre
20:25:28 <monqy> thumbreaching isn't fun
20:25:38 <monqy> especially with all that square in the way
20:26:00 <HackEgo> 647) <fizzie> I prefer the N64 controller, it's the only one that has place for my third hand.
20:26:56 <zzo38> Well, yes, all of this is possible to be changed.
20:27:25 <zzo38> And full protocol specifications will be published too.
20:27:56 <monqy> then I can make my own controller with the analog where it feels good
20:29:34 <zzo38> 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 <zzo38> 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:55:26 <elliott> "Shigeru Miyamoto rumors of retirement not true, says Nintendo"
20:55:29 <elliott> http://www.cbsnews.com/8301-501465_162-57339320-501465/shigeru-miyamoto-rumors-of-retirement-not-true-says-nintendo-updated/
20:55:44 <elliott> That stood up to all of one googling.
20:56:15 -!- oerjan has joined.
21:04:07 <olsner> elliott: that's just lies nintendo wants you to believe?
21:04:27 <elliott> im a lie nintendo wants me to believe
21:04:33 -!- augur has joined.
21:06:19 <zzo38> 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:15:14 <oerjan> <Gregor> Things that shouldn't segfault: exit(2) <-- you can check out any time you want, but you can never leave
21:17:06 -!- GreaseMonkey has joined.
21:18:31 <oerjan> <elliott> (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 <oerjan> nah augur will be all over him
21:18:54 <elliott> oerjan: How is that different to how augur acts towards everyone
21:19:10 <oerjan> indeed. add Slereah_ to that as well, then.
21:19:37 <oerjan> i have no proof that he isn't.
21:20:16 <oerjan> i don't even have proof he isn't madore
21:21:30 * oerjan shuffles around awkwardly
21:22:11 <elliott> http://perso.telecom-paristech.fr/~madore/
21:22:20 <elliott> this could be the start of a BEAUTIFUL FRIENDSHIP
21:22:35 <augur> Phantom_Hoover: no
21:22:45 <augur> hes not hot at all
21:32:59 <oerjan> `log ^[^`].* i dinnae think this method woiks
21:33:12 <HackEgo> 2011-12-08.txt:21:32:59: <oerjan> `log ^[^`].* i dinnae think this method woiks
21:33:21 -!- boily has quit (Quit: WeeChat 0.3.6).
21:34:12 <oerjan> in fact getting a regex for the beginning of what's actually _said_ seems somewhat awkward.
21:35:28 <oerjan> i suppose. although that also removes ACTIONS and the like
21:35:56 <elliott> oerjan: well it's just a date, then either <[^ ]+ or \* [^ ]+
21:36:01 <oerjan> i guess i didn't really specify
21:37:10 <itidus20> ok i finally fixed my spacebar properly
21:37:19 <itidus20> turns out i put the spring back in the wrong place
21:40:26 <HackEgo> 2011-04-21.txt:00:58:25: <elliott> METASEXISM: You assumed the first speaker was MALE
21:40:36 <HackEgo> 2006-11-22.txt:01:31:18: <RodgerTheGreat> the problem is that they tend to get away with sexism a bit more easily than men.
21:40:55 <HackEgo> 2011-12-08.txt:21:38:38: <EgoBot> (?-xism:test)
21:41:36 <HackEgo> 2010-12-24.txt:22:47:45: <Vorpal> 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 <ais523> yay, I so thought I'd get my own line back then
21:42:51 <HackEgo> 2007-11-13.txt:05:08:00: <RodgerTheGreat> so, is that huge mass of binary data just a hello world, or is that libraries and stuff as well?
21:44:03 <HackEgo> 2006-08-10.txt:14:46:05: <RodgerTheGreat> hello
21:44:57 <kallisti> !perl %x = (qr/test/ => 1); for(keys %x) { print "test" =~ $_ }
21:45:32 <ais523> kallisti: in perl 5, I think regex quotations /are/ strings
21:45:40 <ais523> at least, it roundtrips perfectly
21:45:52 <ais523> that's what the -xism bit's for, to give context
21:45:58 <kallisti> I was just wondering how it behaved in a string context like that.
21:49:09 <ais523> !perl print qr/test/xism
21:49:10 -!- elliott has quit (Read error: Connection reset by peer).
21:49:18 <ais523> hey, it reordered the xism!
21:49:38 -!- elliott has joined.
21:53:43 <fizzie> Inverse order compared to how the negative flags were.
22:03:54 <oerjan> !perl print qr/test/smxi
22:05:08 <elliott> 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:18 <ais523> I guess it just adds the letters x/i/s/m in that order to before or after the hyphen
22:06:21 <elliott> I suspect it optimises before converting into a string, so it's not a bijection from the regexp source.
22:06:44 <elliott> !perl print qr/ test (?:(a)) aa* /m
22:06:45 <EgoBot> (?m-xis: test (?:(a)) aa* )
22:09:08 <oerjan> apparently the order is msix-xism
22:09:40 <elliott> oerjan: aka msix and msix reversed
22:15:28 <oerjan> > 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 <lambdabot> Couldn't match expected type `GHC.Types.Char'
22:15:38 <oerjan> > 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 <lambdabot> "m*Exception: <interactive>:3:43-60: Non-exhaustive patterns in function p_q
22:15:53 <oerjan> > let poq (p:ps) o qs = p : p_q ps o (p:qs); poq [] o qs = o:qs in poq "msix" '-' ""
22:16:08 <oerjan> > let poq (p:ps) o qs = p : poq ps o (p:qs); poq [] o qs = o:qs in poq "msix" '-' ""
22:17:02 <ais523> hmm, I wonder if that's been on anagolf yet?
22:17:13 <ais523> I fear the best solution would be rather uncreative, though
22:18:09 <zzo38> 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 <kallisti> print "a b c" =~ /(wrong) (wrong)/
22:20:36 <kallisti> !perl @hi = "a b c" =~ /(wrong) (wrong)/; print $#hi
22:24:17 <Gregor> <elliott> 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:41 <lambdabot> forall s (m :: * -> *) a. StateT s m a -> s -> m (a, s)
22:24:50 <elliott> Gregor: Yes, so you'll be interested in cunionfs :)
22:27:22 <kallisti> !perl @a = (1,2,3,4); print $a{1}
22:27:59 <kallisti> ...the things I must do to avoid warnings.
22:30:36 <kallisti> elliott: I'm guessing he talked to a stupid left handed person on reddit.
22:31:44 <Phantom_Hoover> 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 <Phantom_Hoover> But I've always had a certain malaise towards the left handed.
22:32:23 <elliott> Why can't the three-body problem be solved? (self.askscience)
22:35:35 <elliott> "I don't have a proof of this statement, but it seems clearly true"
22:35:39 <elliott> --actual /r/askscience comment
22:35:57 <ais523> This statement is unprovable.
22:36:28 <elliott> 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:37:20 <elliott> "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 <elliott> COME ON DUDE THIS IS EMBARRASSING
22:38:23 <Phantom_Hoover> elliott, it'd go wrong because I'm not actually sure how measure theory works.
22:38:32 <elliott> Phantom_Hoover: Um dude when has that EVER stopped you.
22:39:52 -!- Patashu has joined.
22:49:07 <kallisti> 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:50:38 <kallisti> I think functional style counts as a lighter claim than functional programming.
22:50:54 <elliott> which is not the same thing as meaning nothing
22:53:15 <kallisti> hmmm I should pass these coderefs a reference to themselves incase they want to recurse or something.
22:55:39 <zzo38> 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 <elliott> ais523: So what's the scapegoat model of the week?
22:59:41 -!- Jafet has quit (Quit: Leaving.).
22:59:59 <ais523> haven't been thinking much about it
23:15:17 <oerjan> 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:22:06 <Ngevd> Apparently the SNP want to be norse
23:22:24 <Ngevd> Scottish National Party
23:24:33 <Ngevd> BBC: "Horns feature prominently in the iconography of both sides (NB real Viking helmets did not normally have horns)"
23:26:58 <olsner> oh noes, my faith in viking helmets has been destroyed
23:27:34 <olsner> oh well, I guess I was right in misplacing half the horns on my helmet then
23:31:41 <Phantom_Hoover> It doesn't retain its interesting properties if you do that!
23:32:49 <olsner> yeah, it still has that napkin taped to it that says VIKING
23:33:11 <Phantom_Hoover> 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 <olsner> no, it is fixed size, not adjustable in any way
23:34:09 -!- derdon has joined.
23:34:18 <oerjan> all vikings had standard skull sizes
23:34:29 <zzo38> 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 <Gregor> Combining diaeresis mark = instant upright smileys
23:43:20 <zzo38> optimizePage :: [Font] -> [PageCommand] -> [PageCommand]; applyMoveReg :: [PageCommand] -> [PageCommand];
23:43:50 <zzo38> Gregor: Yes, that is one way, that works
23:44:37 <zzo38> Gregor: I think some people have used that even in TeX
23:44:54 <Gregor> It's probably easier and looks better more consistently in TeX :P
23:46:03 <zzo38> You are probably correct. Plain TeX works the same way everywhere so all documents are compatible with all computers.
23:53:46 <lambdabot> forall s (m :: * -> *) a. StateT s m a -> s -> m (a, s)
23:58:17 <elliott> oerjan: how does one learn how to solve problems
23:59:24 <zzo38> Does it make a comonad if "s" is monoid and "m" is comonad?