00:26:31 -!- copumpkin has quit (Ping timeout: 260 seconds).
00:27:06 -!- copumpkin has joined.
00:50:26 <kmc> anyone have a link for watching the US Presidential debate, something i can pass to mplayer rather than using some Flash player?
00:54:55 -!- sivoais has quit (Quit: Lost terminal).
01:22:33 -!- oerjan has quit (Quit: Good night).
02:01:37 -!- DHeadshot has joined.
02:11:17 -!- Jafet has quit (Quit: Leaving.).
02:20:06 -!- Jafet has joined.
02:24:09 -!- sivoais has joined.
02:49:58 <kmc> that was a boring debate
03:11:04 <Jafet> Damned fat overlords
03:11:12 <Jafet> @let rc=let z n=replicate n(replicate 24 '0')in(fst.head.readHex)<$>transpose("008800880000088888088808":z 7++"000808800088800000088088":z 3++"088880880080808880808808":z 1++["088080808800888008008800","12a0b119a89abb9320aa1018"]);rot=[[0,36,3,41,18],[1,44,10,45,2],[62,6,43,15,61],[28,55,25,21,56],[27,20,39,8,14]]
03:11:58 <Jafet> @let kr::[[Word64]]->[[Word64]];kr a=foldl r a rc where r a rc=let c=foldr1 xor<$>a;d=zipWith xor(last c:c)$(`rotateL` 1)<$>tail c++[head c];a'=zipWith(map.xor)d a;b'=zipWith(zipWith rotateL)a' rot;b=[[b'!!(3*(y-3*x)`mod`5)!!x|y<-[0..4]]|x<-[0..4]];a''=zipWith3(zipWith3(\x y z->xor x(complement y.&.z)))b(tail b++b)(drop 2 b++b)in(xor(a''!!0!!0)rc:tail(a''!!0)):tail a''
03:12:20 <Jafet> > map(map(`showHex`"")) $ k $ replicate 5 (replicate 5 0)
03:12:21 <lambdabot> Couldn't match expected type `a -> b'
03:12:27 <Jafet> > map(map(`showHex`"")) $ kr $ replicate 5 (replicate 5 0)
03:12:29 <lambdabot> [["f1258f7940e1dde7","ff97a42d7f8e6fd4","eb5aa93f2317d635","5e5635a21d9ae61...
03:43:19 -!- Jafet has quit (Quit: Leaving.).
04:05:18 -!- mig22 has joined.
05:20:29 -!- Tod-Autojoined has joined.
05:20:43 -!- TodPunk has quit (Read error: Connection reset by peer).
05:25:00 -!- Jafet has joined.
07:26:23 -!- epicmonkey has joined.
07:40:45 -!- ais523 has quit.
08:37:26 -!- mig22 has quit (Quit: mig22).
09:01:49 -!- ais523 has joined.
09:07:00 -!- mig22 has joined.
09:19:34 <ion> http://bash.org/?953518
09:26:21 <ais523> hmm, based on what I saw on reddit, I think we have a new lesser-known programming language: http://www.floopsy.com/post/32660494624/programming-language-objective-corporatespeak
09:26:25 <ais523> or at least, something in the same mold
09:26:57 <ais523> ion: that's got to be fake, right?
09:27:00 <ais523> as in, someone lying on IRC
09:27:03 <ais523> (which happens all the time)
09:27:09 <fizzie> There's LYING on IRC?!
09:27:27 <ion> It was on the Internet, it must be true.
09:27:41 <ais523> ion: because if someone were wrong on the internet, they would have been corrected?
09:27:44 <fizzie> It reminds me of the "im gunan hack a street light" story.
09:28:02 <fizzie> ais523: http://www.nndb.com/people/523/000095238/
09:28:02 <oklopol> why does it have to be fake
09:28:47 <ais523> and it seems unlikely someone would keep armed landmines in their shed
09:28:54 <oklopol> where would you keep them?
09:29:35 <oklopol> oh i assumed they weren't armed and exploded for some other reason
09:30:57 <ais523> things tend to not really spontaneously explode
09:31:00 <oklopol> if they were actually in their explosionous state for fun then i guess i agree that it has to be fake
09:31:04 <ais523> admittedly, landmines might be an exception
09:31:38 <oklopol> well i don't know how hard it is to accidentally blow up a landmine
09:31:51 <oklopol> i suppose it's as hard as they could make it be minus 5
09:32:05 <ais523> if a landmine blows up accidentally, it's not really doing its job
09:32:22 <ais523> apparently in the world wars, people used to simply dismantle anti-tank landmines by hand
09:32:29 <ais523> because they were designed to blow up against tanks, not people
09:32:38 <oklopol> the minus five is because they do explode if you accidentally activate them.
09:33:50 <ais523> in general people like to avoid arming explosives until they're in a situation where you wouldn't mind them exploding
09:34:29 <oklopol> but you could still do it by accident
09:35:15 <oklopol> [12:34:56] <oklopol> bloop
09:35:47 <fizzie> ais523: Speaking of landmines, Finland signed the Ottawa Treaty pretty recently; it took effect in July this year. (There's long been debate about it; after all, "everyone else" signed it in like 1997.)
09:37:09 <fizzie> Well, except for some relatively unknown places like, let's see, USA or Russia.
09:37:49 <fizzie> http://en.wikipedia.org/wiki/List_of_parties_to_the_Ottawa_Treaty -- we're second-latest, apparently.
09:38:40 <oklopol> fizzie: sorry to embarrass you but those are in fact rather big and known places.
09:38:49 <oklopol> please read a newspaper and not an oldspaper.
09:39:19 <fizzie> oklopol: Well, uh, is this "China" thing one too, then?
09:41:43 -!- ais523 has quit (Read error: Connection reset by peer).
09:42:00 -!- ais523 has joined.
09:44:50 -!- hagb4rd has quit (Ping timeout: 244 seconds).
09:58:37 -!- monqy has quit (Quit: hello).
10:02:57 -!- Arc_Koen has joined.
10:04:07 -!- ais523_ has joined.
10:04:36 -!- ais523 has quit (Read error: Connection reset by peer).
10:28:50 -!- ais523_ has quit (Read error: Connection reset by peer).
10:29:01 -!- ais523_ has joined.
10:45:28 -!- ais523_ has quit (Read error: Connection reset by peer).
10:45:37 -!- ais523_ has joined.
11:08:47 -!- barts_ has joined.
11:11:38 -!- barts has quit (Ping timeout: 244 seconds).
11:24:32 -!- impomatic has joined.
11:29:29 -!- carado has joined.
11:31:47 -!- ogrom has joined.
11:36:34 <Arc_Koen> doesn't mediawiki have an easy way to display the intersection of two categories?
11:53:02 -!- impomatic has left.
11:53:02 -!- DHeadshot has quit (Read error: Connection reset by peer).
11:53:55 -!- ais523_ has quit (Ping timeout: 260 seconds).
11:57:41 -!- ogrom has quit (Quit: begone).
11:58:35 -!- copumpkin has quit (Ping timeout: 260 seconds).
11:59:10 -!- copumpkin has joined.
12:24:55 -!- augur has quit (Remote host closed the connection).
12:26:39 -!- MoALTz has joined.
12:28:15 -!- ais523_ has joined.
12:28:40 -!- ais523_ has changed nick to ais523.
12:31:36 -!- Phantom_Hoover has joined.
12:36:50 -!- DHeadshot has joined.
12:37:13 -!- ais523 has quit (Ping timeout: 246 seconds).
12:37:16 -!- ais523_ has joined.
12:37:27 -!- ais523_ has changed nick to ais523.
12:38:00 -!- boily has joined.
12:44:29 -!- ogrom has joined.
12:51:52 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds).
12:53:54 -!- augur has joined.
12:58:59 -!- Phantom_Hoover has joined.
13:03:02 <Sgeo> Hmm, on the one hand, Onion Radio has a funny headline for something, on the other hand, it's Onion Radio which consistently sucks
13:09:29 <Sgeo> I think the voice just grates on me
13:09:58 -!- Indecipherable has joined.
13:15:33 -!- Indecipherable has quit (Quit: used jmIrc).
13:21:49 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
13:27:48 -!- carado has quit (Remote host closed the connection).
13:29:54 <Arc_Koen> olsner: well Im think I'm done with the bf interpreter
13:30:42 <Arc_Koen> (actually I realized the way I was doing was probably not the best; I was storing the brainfuck code around the current cell, which made it quite boring to implement > and <
13:30:55 <Arc_Koen> so I started all over, storing the brainfuck code around the whole tape
13:31:07 <Arc_Koen> and I'm done! except for . and , which are currently no-ops
13:35:34 <Arc_Koen> If you're interested, the code is there: http://sprunge.us/gddK note that I haven't tested it yet, I'll write a thue interpreter in C with the optimization of keeping the substitution rules in a list, always putting the last used rule on top, and always trying rules in the order they are listed (that should make the brainfuck interpreter much faster as every operation uses only a few rules, for instance you don't need to try al
13:35:35 <Arc_Koen> "move to next cell" related rules when you're in the middle of incrementing the current cell)
13:36:51 <Arc_Koen> and I apologize about not writing comments in it; I guess once I have tested it I'll add a "readme" or something
13:41:24 -!- Frooxius has joined.
13:41:35 -!- copumpkin has joined.
13:43:54 -!- kinoSi has quit (Read error: Connection reset by peer).
13:44:21 -!- kinoSi has joined.
13:49:50 -!- Tod-Autojoined has quit (Read error: Connection reset by peer).
13:54:51 -!- mig22 has quit (Quit: mig22).
13:57:08 -!- TodPunk has joined.
14:36:07 -!- boily has quit (Ping timeout: 240 seconds).
14:40:00 -!- boily has joined.
15:00:51 -!- Arc_Koen has quit (Quit: Arc_Koen).
15:07:39 -!- atriq has joined.
15:08:52 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
15:09:07 -!- Phantom_Hoover has joined.
15:21:46 -!- ogrom has quit (Quit: Left).
15:44:07 <atriq> I need to quickly make Data.FamilyTree awesome
15:52:03 -!- ais523 has quit.
15:59:32 -!- atriq has quit (Remote host closed the connection).
15:59:36 -!- oerjan has joined.
16:00:05 <oerjan> R.I.P. my favorite café/restaurant :(
16:01:24 -!- atriq has joined.
16:06:40 <atriq> Time to learn GEDCOM 6!
16:07:38 <oerjan> @tell <Arc_Koen> doesn't mediawiki have an easy way to display the intersection of two categories?<-- hm i think i may have wanted that yesterday when failing to find out if a kind of brainfuck derivative existed. or maybe not, not sure what the other category should have been.
16:09:04 <oerjan> i think i'd really have wanted a list of summaries for everything in the category.
16:09:24 -!- Slereah has quit (Ping timeout: 260 seconds).
16:12:48 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds).
16:16:08 -!- atriq has quit (Remote host closed the connection).
16:22:43 -!- atriq has joined.
16:23:08 -!- Slereah has joined.
16:37:44 -!- ogrom has joined.
16:42:12 <oerjan> > 2 * 3 * 47 * 61 * 67 * 103
16:43:38 <oerjan> > nubBy (((>1).).gcd)[2..]
16:43:41 <lambdabot> [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101...
16:45:05 <oerjan> > drop 10 $ nubBy (((>1).).gcd)[2..]
16:45:08 <lambdabot> [31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113,127,131,1...
16:47:33 -!- FreeFull has joined.
16:50:27 * oerjan leaves this to Arc_Koen.
16:54:56 -!- Vorpal has joined.
16:57:36 -!- elliott has joined.
16:57:42 <elliott> fizzie: You know that P.E.R.L. language, right?
17:04:51 <oerjan> what did fizzie do now
17:11:00 -!- Phantom_Hoover has joined.
17:11:25 <FreeFull> Python is so simple, someone who doesn't know the language can help someone who knows more about it than they do
17:13:26 <oerjan> FreeFull: i think i did that with ruby once
17:16:00 <oerjan> but aren't most modern imperative languages like that, anyhow.
17:21:24 <kmc> it depends on whether it was a Python question or a programming question where you happen to be using Python
17:21:45 <kmc> Python, Ruby, Lua, Javascript all have quirks which won't be obvious to outsiders
17:22:01 <oerjan> i find this disturbingly nonrecursive http://www.mezzacotta.net/garfield/?comic=1234
17:22:35 <kmc> "So there's an infinite number of parallel universes, eh?" "Nope, just the two!"
17:22:53 * oerjan recalls that's a futurama quote
17:23:59 <kmc> right you are
17:25:02 <olsner> obviously the other parallel universe has another parallel universe
17:25:41 <elliott> apparently the only person who has ever quoted that on the internet is kmc
17:25:53 <elliott> 20:20:47 <kmc> "so there's an infinite number of parallel universes, eh?"
17:25:53 <elliott> 20:20:50 <kmc> "nope, just the two"
17:26:51 <kmc> well maybe i misremember the quote
17:27:01 <oerjan> elliott: given that i have never seen the actual episode afaik, i find that unlikely.
17:27:17 <elliott> https://www.google.co.uk/search?q=%22So+there's+an+infinite+number+of+parallel+universes%2C+eh%3F%22+%22Nope%2C+just+the+two!%22
17:27:38 <elliott> oerjan: maybe you first saw it in that #haskell log
17:27:44 -!- carado has joined.
17:27:46 <elliott> maybe kmc is hallucinating an episode of futurama that never happened
17:27:57 <elliott> are the futurama episode???
17:28:03 <oerjan> well i _may_ have read the wikipedia plot outline :P
17:28:11 <kmc> "Woah, it's like that drug trip I saw in that movie I watched on that drug trip!"
17:28:12 <elliott> oerjan: http://esolangs.org/w/index.php?title=Befunge&curid=1005&diff=34105&oldid=32786
17:28:19 <elliott> oerjan: hey can you give me a reason not to revert this edit
17:28:23 <Phantom_Hoover> it's like when i was little and was afraid i lived in a film
17:28:34 <oerjan> elliott: that i already did so
17:29:11 <elliott> oerjan: i should just give the root password to you and resign
17:29:29 <oerjan> although if it had properly halted on EOF, i probably wouldn't have
17:30:31 <elliott> oh i guess it does literally repeat itself
17:33:14 -!- elliott has changed nick to Wensle.
17:33:20 -!- Wensle has changed nick to elliott.
17:33:51 <oerjan> your secret identity has been revealed!
17:34:00 <oerjan> so secret we've never heard of it
17:34:13 <elliott> yes, that is definitely why I changed my nick
17:35:02 <oerjan> i think they should breed a more silent dog.
17:35:19 <elliott> it's called a dead dog, oerjan
17:35:20 <oerjan> and then neuter the rest.
17:35:26 <elliott> they're really bad at learning new tricks
17:35:33 <oerjan> no no, it's called a good dog!
17:36:17 <oerjan> i have no mouth but i must bark
17:38:42 <atriq> The but, I'd presume
17:39:35 <oerjan> i wasn't going to touch that
18:17:43 <atriq> I made a hexaflexagon today
18:17:51 <atriq> And let someone play with it.
18:17:59 <atriq> She almost destroyed time and space.
18:18:35 <atriq> I just want to know how she made it a pentagon.
18:20:09 <elliott> nice, slicehost just gave me $10
18:20:14 <elliott> by slicehost I mean rackspace
18:26:30 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
18:27:00 <shachaf> Why are you using slicespace now?
18:28:00 <Gregor> For sweet, sweet vengeance?
18:32:08 -!- epicmonkey has quit (Ping timeout: 246 seconds).
18:45:52 -!- ogrom has quit (Quit: Left).
19:12:13 -!- Phantom_Hoover has joined.
19:14:18 <atriq> I have a vague memory, possibly of a dream, involving GHC's internal definition of IO
19:14:35 <lambdabot> Source not found. That's something I cannot allow to happen.
19:14:37 <atriq> It was something like # State # -> (Effect, # State
19:14:46 <oerjan> it used to be in lambdabot
19:15:29 <oerjan> newtype IO a = IO (State# RealWorld -> (# State# RealWorld, a #))
19:16:06 <atriq> Where did I see that?
19:16:27 <oerjan> http://www.haskell.org/ghc/docs/latest/html/libraries/ghc-prim-0.3.0.0/src/GHC-Types.html#IO
19:16:41 <olsner> why is it State# RealWorld instead of just RealWorld or RealWorld#?
19:17:12 <kmc> because ST s uses State# s
19:17:16 <atriq> To keep state threads, separately
19:17:29 <kmc> (ST s) and IO have identical runtime representations and this is useful in various ways
19:17:43 <kmc> the type parameter to State# is a phantom type; (State# x) and (State# y) have the same representation
19:18:09 <kmc> anway I guess you could push the phantom out to ST itself but you would get marginally less checking in the library internals
19:18:50 <shachaf> People were talking about using the fancy new DataKinds with ST to restrict the parameter to the State#
19:39:43 <atriq> I've got into an argument about which is better, IWC or xkcd
19:40:39 <atriq> (I'm firmly on the side of IWC)
19:41:30 <Phantom_Hoover> iwc then, the rot's been in xkcd for about half its run even by conservative estimates
19:42:40 <kmc> what's iwc
19:46:26 <olsner> i-something web comic?
19:46:35 <atriq> `learn iwc contains puns! Puns galore! Puns after puns after puns! Also science!
19:46:48 <Phantom_Hoover> a legacy name considering it ran like clockwork for a decade
19:47:00 <atriq> It was the first webcomic I ever read
19:47:13 <atriq> Without it, I probably wouldn't be in this channel
19:47:22 <atriq> I probably wouldn't be in this community!
19:47:39 <atriq> The Hexham Coincidence wouldn't exist!
19:49:17 <elliott> kmc: iwc is intermezzo war crime
19:49:17 <kmc> oh that thing
19:49:25 <kmc> that would be a good name for a band
19:49:42 <atriq> It'd be an alright name for an album
19:51:50 <elliott> i think kmc is right and atriq is wrong
19:51:54 <elliott> who wants to join intermezzo war crime
19:52:13 <elliott> it is like polka except you commit war crimes at the same time
19:53:06 <elliott> we could start out with an EP where we waterboard someone on every song and then go up from there to global thermonuclear war
19:54:26 <shachaf> elliott: I'd join if there were no drums or guitars.
19:54:31 <kmc> our war crime is that we misappropriate the logo of the international committee of the red cross
19:54:58 <elliott> shachaf: does polka have drums and guitars
19:55:10 <atriq> I think it's mostly accordion
19:55:27 <elliott> kmc: that is a bit far for me
19:55:32 <shachaf> OK, as long as it's a chromatic button accordion.
19:55:44 <elliott> kmc: that would be post-warcrimecore territory
19:56:01 <shachaf> It can be Russian or French.
19:57:50 <atriq> Okay, it's emerged that both me and the person I was talking to
19:57:57 <atriq> ENJOY BOTH WEBCOMICS IN QUESTION
20:02:09 <elliott> http://xkcd.com/1114/ this one is funny
20:02:40 <olsner> I thought you hated xkcd
20:03:25 <kmc> that one is pretty lame
20:04:10 <kmc> people don't generally agree on which ones are good
20:04:13 <elliott> kmc: OTOH you're pretty lame
20:07:53 <HackEgo> 173) [spam] Any flavored hell can pee on the pig pen, but it takes a real football team to throw a slyly optimal formless void at a hole puncher. \ 442) <Taneb> Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. \ 585) <Gregor> But whereas the Zune UI makes one think "I want to kill myself", the Windows CE UI makes one think "I want to kill myself, but first kill my parents
20:08:00 <lambdabot> monochrom says: Welcome to #haskell, where your questions are answered in contrapuntal fugues.
20:08:08 <lambdabot> kmc says: Right, for example Either (pun not intended)
20:08:16 <lambdabot> poetix says: < poetix_>: In ancient Athens, they used to punish adulterers by forcing radishes up their rectums < boegel>: poetix_: sounds like fun !
20:08:27 <lambdabot> monochrom says: Co dawg, we heard you like records so we put record puns so you can omit field names while you name fields.
20:08:34 <lambdabot> olsner says: <olsner> pun indented
20:08:38 <lambdabot> monochrom says: Co dawg, we heard you like records so we put record puns so you can omit field names while you name fields.
20:10:51 <HackEgo> 173) [spam] Any flavored hell can pee on the pig pen, but it takes a real football team to throw a slyly optimal formless void at a hole puncher. \ 442) <Taneb> Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. \ 585) <Gregor> But whereas the Zune UI makes one think "I want to kill myself", the Windows CE UI makes one think "I want to kill myself, but first kill my parents
20:15:23 -!- glogbackup has joined.
20:31:16 -!- Vorpal has quit (Ping timeout: 246 seconds).
20:35:06 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
20:37:07 -!- Phantom_Hoover has joined.
20:40:37 <Phantom_Hoover> i started doing maths at uni does it start being interesting at some point
20:41:10 <oklopol> depends on your university i guess
20:41:31 <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
20:42:02 <oklopol> or what are you taking i guess you haven't finished anything
20:44:07 <Phantom_Hoover> i've had like 1 lecture in analysis, 2 in differential equations, 2 in geometry and 2 in 'foundations' which is like first principles
20:44:47 <Phantom_Hoover> the first geometry one was the closest to being interesting iirc
20:45:47 <fizzie> At least here I think it goes approximatly so that it starts being interesting when it stops being part of the basic math courses for all kinds of folks and starts being courses with actual names.
20:46:07 <fizzie> Possibly. I didn't do it (much).
20:46:47 <oklopol> differential equations are kinda bleh
20:46:49 <Phantom_Hoover> unfortunately i have to share all of those except probably foundations and analysis
20:47:28 <oerjan> `addquote <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
20:47:32 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t \ y on purpose, i just accidentally hit the keyboard with my head
20:47:55 <Phantom_Hoover> it was kind of interesting too but too much time was spent going over easy stuff like doing euclid's proof rigorously
20:48:09 <HackEgo> 1) <Aftran> I used computational linguistics to kill her. \ 2) <Slereah> EgoBot just opened a chat session with me to say "bork bork bork" \ 3) <Quas_NaArt> Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... <Quas_NaArt> More practice is in order. \ 4) <AnMaster> that's where I got it <AnMaster> rocket launch facility gift shop \ 5) <Warrigal> GKennethR: he should be told
20:48:34 <Phantom_Hoover> also one of you fuckers infected me with constructivism, now i have an inner voice screaming whenever contradiction is used
20:48:44 -!- augur has quit (Remote host closed the connection).
20:48:48 <HackEgo> *poof* <oklopol> t <oklopol> y <oklopol> also i didn't say t \ y on purpose, i just accidentally hit the keyboard with my head
20:48:56 <oerjan> `addquote <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
20:49:00 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t \ y on purpose, i just accidentally hit the keyboard with my head
20:49:35 <Phantom_Hoover> `addquote <oklopol> t <oklopol> y <oklopol> also i didn't say t\\ny on purpose, i just accidentally hit the keyboard with my head
20:49:38 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
20:49:43 <oerjan> it actually turned \n into a newline
20:49:51 <fizzie> We have a thing where there's this set of courses "Math X1" .. "Math Xn" where X is like C for CS people and L for physics/etc. people and so on (there's maybe six different letters?) and 'n' depends on the letter but is usually about 2-4, and those are mandatory parts, and nobody I know of has accused them of being especially interesting.
20:50:48 <oerjan> elliott: actually that has to be in `quote not `addquote...
20:50:56 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t\\ny on purpose, i just accidentally hit the keyboard with my head
20:51:29 <oklopol> could you please redo that a couple more... oh
20:51:35 <oerjan> `addquote <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
20:51:38 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t \ y on purpose, i just accidentally hit the keyboard with my head
20:51:44 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
20:52:05 <oerjan> it gives the right `quote, but some other commands are buggy in printing it
20:52:07 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
20:52:15 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
20:52:36 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
20:52:36 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
20:52:54 <Phantom_Hoover> oh also at one point a guy felt it necessary to ask the lecturer why he'd switched from double-striking the middle stroke of N rather than the left one
20:53:08 <oklopol> when did i first come here?
20:54:04 <HackEgo> 170) <fungot> elliott: it's hard to debug havoc on your mirror if you accidentally hit r, then a character could be multiple words long, depending on the task. \ 295) <cpressey> BYE dbc WE'LL BE SURE TO ACCIDENTALLY MENTION YOUR NICK OFTEN \ 761) <elliott> oops I accidentally deleted the universe <olsner> looks weird when you put a verb after accidentally like that \ 867) <oklopol> t <oklopol> y <oklopol> also i didn't
20:54:06 <boily> who are Aftran, Slereah, Quas_NaAart, AnMaster and Warrigal?
20:54:13 <oerjan> `quote accidentally hit
20:54:16 <HackEgo> 170) <fungot> elliott: it's hard to debug havoc on your mirror if you accidentally hit r, then a character could be multiple words long, depending on the task. \ 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
20:54:34 <oerjan> Warrigal is now tswett
20:55:24 <fizzie> Phantom_Hoover: We had a lecturer whose blackboard variables initially had superscript indices, at the end had subscript indices, and in-between had kind of midscript indices. (I may have mentioned this before.)
20:55:58 <oklopol> you do have had to done that.
20:56:00 <fizzie> I don't think anyone really commented, though.
20:56:18 <oklopol> but that's like my version of whatever dude
20:56:22 <fizzie> Except maybe to clarify that the meaning didn't change.
20:56:45 <oklopol> i thought you meant like you have the right to say it again because we didn't laugh the first time
20:57:18 <oklopol> err or wait i have no idea what you're talking about
20:57:19 <fizzie> Oh, no; I mean, at that time, when it happened, for reals.
20:58:10 <fizzie> As opposed to Phantom_Hoover's friend who is interested in the details of the art of doublestriking.
20:58:15 -!- boily has quit (Quit: Poulet!).
20:58:51 <HackEgo> #!/bin/sh \ [ "$1" ] || exit 1 \ printf "%s\n" "$1" >>quotes \ echo $(qc | cut -d' ' -f1)") $1"
21:00:27 <elliott> do you have questions about the quote system
21:00:50 <oerjan> yes, why do `addquote and `delquote print \n as newline
21:01:58 <elliott> does it happen on just addquote or on quote too
21:02:51 <elliott> oerjan: so if you do addquote foo\nbar
21:03:08 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
21:04:10 <HackEgo> #!/bin/sh \ allquotes | if [ "$1" ]; then \ if expr "$1" + 0 >/dev/null 2>&1; then \ sed "$1q;d" \ else \ grep -P -i -- "$1" \ fi \ else shuf -n 1; fi
21:04:27 <elliott> `run echo 'echo "$1"' >bin/fuck
21:04:34 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: fuck: not found
21:04:35 <oerjan> i am guessing echo is doing it wrong
21:04:43 <elliott> `run echo "#!/bin/sh" >bin/fuck
21:04:47 <elliott> `run echo 'echo "$1"' >>bin/fuck
21:05:01 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/fuck: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/fuck: cannot execute: Permission denied
21:05:16 <olsner> oerjan: when does \n get printed as a newline?
21:05:35 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/fuck: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/fuck: cannot execute: Permission denied
21:05:36 <oerjan> olsner: by the `addquote itself, and by `delquote
21:05:59 <elliott> oerjan: does it get showed as foo \ bar
21:06:35 <HackEgo> #!/bin/sh \ id=$1 \ expr "$1" + 0 >/dev/null 2>&1 || exit 1 \ head -n $((id-1)) quotes >quotes.new \ tail -n +$((id+1)) quotes >>quotes.new \ diff quotes quotes.new >/dev/null && exit 1 \ echo "*poof*$(quote $id | cut -d')' -f2-)" \ mv quotes.new quotes \
21:06:47 <elliott> oerjan: the problem is "$1". i don't know how to fix that.
21:06:58 <oerjan> elliott: but it works with the printf in `addquote
21:06:59 <elliott> change fuck to printf %s and you'll see
21:07:15 <elliott> `run echo '#!/bin/sh' >bin/fuck
21:07:23 <elliott> `run echo 'printf "%s" "$1"' >>bin/fuck
21:08:02 <fizzie> You really showed him there!
21:08:14 <elliott> oerjan: i will tell you how to fix add & delquote but you have to do it because i am not using sed any more
21:08:23 <elliott> echo $(qc | cut -d' ' -f1)") $1"
21:08:34 <elliott> printf "%d) %s" $(qc | cut -d' ' -f1) "$1"
21:08:35 <olsner> what, what did sed do to you?
21:08:45 <elliott> echo "*poof*$(quote $id | cut -d')' -f2-)"
21:08:54 <olsner> seems unfair to suddently just "not use sed any more"
21:08:56 <elliott> printf "*poof*%s" "$(quote $id | cut -d')' -f2-)"
21:10:57 <oerjan> as if i remember how to do literal substitutions in sed
21:12:06 <fizzie> `run sh -c "echo 'also\na'; /bin/echo 'silly\noption'"
21:14:20 -!- atriq has quit (Quit: Leaving).
21:15:47 <elliott> oerjan: just get the files from `url
21:15:52 <elliott> and then use `fetch/`run mv
21:16:15 <fizzie> I can break them with sed, I really can.
21:17:27 <HackEgo> #!/bin/sh \ [ "$1" ] || exit 1 \ printf "%s\n" "$1" >>quotes \ echo $(qc | cut -d' ' -f1)") $1"
21:20:07 <elliott> fizzie: feel free to fix it also
21:20:37 <oerjan> `run sed -i '4s/.*/printf "%d) %s" $(qc | cut -d' ' -f1) "$1"/' /bin/addquote
21:20:41 <HackEgo> sed: -e expression #1, char 35: unterminated `s' command
21:20:49 <fizzie> `run cp bin/addquote bin/addquote_; sed -ie 's/echo/printf "%d) %s"/;s/") / "/' bin/addquote; cat bin/addquote
21:20:52 <HackEgo> #!/bin/sh \ [ "$1" ] || exit 1 \ printf "%s\n" "$1" >>quotes \ printf "%d) %s" $(qc | cut -d' ' -f1) "$1"
21:21:30 <fizzie> I think it at least looks as prescribed.
21:22:19 <fizzie> Backups are so like one of those circus guys walking on a wire except with a safety rope.
21:22:36 -!- monqy has joined.
21:22:39 <elliott> `addquote <fizzie> Backups are so like one of those circus guys walking on a wire except with a safety rope.
21:22:42 <HackEgo> 868) <fizzie> Backups are so like one of those circus guys walking on a wire except with a safety rope.
21:24:25 <shachaf> `addquote <elliott> `delquote 869
21:24:28 <HackEgo> 869) <elliott> `delquote 869
21:25:00 <shachaf> Quotes should get an identifier based on a cryptographic hash of their contents.
21:26:14 <olsner> at least one quote before 869 is about to be deleted, changing the number of that quote and ruining the joke
21:26:23 <fizzie> `run sed -ie 's/echo "\*poof\*/printf "*poof*%s" "/' bin/delquote
21:26:37 <fizzie> See, no hands, I mean backups.
21:26:58 <fizzie> oerjan: Quotes are serious business.
21:29:38 <olsner> sounds like that character in doctor who
21:33:01 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
21:44:14 -!- Frooxius has quit (Ping timeout: 260 seconds).
22:00:27 -!- copumpkin has joined.
22:10:39 <fizzie> desmond:/scratch/users/htkallas 14T 14T 0 100% /fs/scratch/users/htkallas
22:10:46 <fizzie> Well, that's not good.
22:11:13 <fizzie> Especially the parts of there being 0 bytes free and 100% of usage.
22:11:49 -!- carado has quit (Quit: Leaving).
22:12:03 <fizzie> It's the "work" directory, I'm sort of guessing someone had a runaway script.
22:14:50 <fizzie> (Perhaps I should check that someone != self.)
22:21:19 <fizzie> Huh, 51G in /work. Time to clean up, perhaps, but not a giant chunk of 14T.
22:25:16 -!- augur has joined.
22:26:39 <Phantom_Hoover> dammit, warwick's nick cage appreciation society are slippery customers
22:33:39 <oerjan> Phantom_Hoover: you have to get them while you think they're taking a break
22:34:11 <Phantom_Hoover> i'm not sure where they meet, what they do or indeed who any of them are
22:34:21 <Phantom_Hoover> the student union website is infuriatingly uninformative
22:34:31 <Phantom_Hoover> maybe i can find the president and grill him for information
22:34:41 -!- augur has quit (Read error: Connection reset by peer).
22:34:50 <oerjan> maybe they meet by _not_ meeting
22:35:42 -!- augur has joined.
23:09:28 <elliott> shachaf: http://www.reddit.com/r/haskell/comments/10ynff/regarding_top_and_bottom_in_haskells_type_system/
23:09:38 <elliott> shachaf: this was a great post when i just read it but then it got even better when i saw who wrote it
23:10:42 <elliott> oerjan: oh hey you are maybe the reason I saw http://www.msr-inria.inria.fr/events-news/feit-thompson-proved-in-coq
23:11:05 <oerjan> my only reddit post so far
23:11:38 <oerjan> although i heard of it in here
23:11:43 <elliott> the classification of simple groups is the coolest proof
23:13:14 <shachaf> elliott: You should post talking about (forall a. a) and (exists a. a)
23:13:18 <elliott> Phantom_Hoover: what is your definition of a "proof"?
23:13:32 <elliott> wikipedia agrees with me: "The proof of the theorem consists of tens of thousands of pages in several hundred journal articles written by about 100 authors, published mostly between 1955 and 2004."
23:14:27 <shachaf> elliott: Too late, cmccann posted.
23:14:46 <Phantom_Hoover> also that seems to be one tiny subsection of the entire classification?
23:15:10 <elliott> Phantom_Hoover: what would you call the proof of the theorem, then?
23:15:59 <Phantom_Hoover> can we stop this quibble, i should never have mentioned t
23:16:03 <elliott> oerjan: "Hm is it automatically true that whenever MT is a monad transformer, there exists a function of type (Monad m) => MT Identity a -> MT m a ?"
23:16:17 <elliott> oerjan: it "should" be true, but it's not in MonadTrans
23:16:21 <elliott> oerjan: edwardk has a package with it
23:16:24 <ion> Key & Peele: Dubstep http://youtu.be/5Kod1q39ddE
23:16:39 <elliott> oerjan: what you actually want is something like (Monad m) => (forall a. m a -> n a) -> MT m a -> MT n a IIRC
23:16:42 <elliott> but that's not Haskell 2010
23:17:22 <oerjan> yeah someone made a post about that shortly afterwards, i think
23:17:51 <elliott> oerjan: that was some dumb tailcalled or tekmo post that suggested something wrong iirc. but edwardk replied with the right thing
23:19:16 <fizzie> I cleared about 8 gigs of space, came back ten minutes later, and now it's all gone again.
23:19:50 <oerjan> Phantom_Hoover: it's a tiny subsection, but it was the proof that got mathematicians to realize they didn't need to make proofs short, which probably helped immensely with the rest :) (also some direct consequences for making the rest of the program possible, iirc)
23:20:30 <oerjan> if you are talking about feit-thompson
23:20:43 <fizzie> Quite often these "someone's rogue script fills all space" problems tend to "auto-resolve" in the sense that the script dies when the disk is full, and therefore won't fill any newly freed storage.
23:20:53 <fizzie> I suppose this time someone has produced a robust enough space-waster.
23:21:18 <FreeFull> How big is Haskell on the metaprogramming thing?
23:21:42 <elliott> depends what you mean by metaprogramming
23:21:48 <elliott> and also the rest of those words, but mainly metaprorgamming
23:21:51 * oerjan suddenly realizes elliott may be stalking him on reddit
23:22:29 <FreeFull> elliott: The kind where you often end up with domain-specific languages
23:23:25 <elliott> FreeFull: I would say it's incredibly big on that.
23:23:31 <oerjan> pretty big, in several different ways
23:23:33 <elliott> however I'd also not identify that with metaprogramming
23:23:51 <elliott> in that there are several ways to do EDSLs, and only some of them look like metaprogramming to me, and Haskell's methods don't really
23:24:02 <oerjan> template haskell doesn't?
23:24:06 <elliott> (I would also say Haskell's methods are a better way of doing it, though)
23:24:11 <FreeFull> I know Racket is really big on DSLs
23:24:20 <shachaf> Template Haskell? More like Terrible Haskell.
23:24:20 <elliott> oerjan: yes, template haskell looks like metaprogramming to me. however, i would not build a DSL in Haskell by using template haskell
23:24:25 <elliott> unless I was doing something weird
23:24:31 <elliott> but I don't like TH, so I'd probably do it another way instead
23:24:45 <oerjan> thus, several different ways.
23:25:04 <shachaf> elliott: It's the very foundation of Haskell DSLs!
23:25:31 <oerjan> FreeFull: the monad thing you keep hearing about is also a kind of DSL method.
23:25:44 <oerjan> well can be used that way
23:26:31 <elliott> Silly monad mysticism doesn't need to be promoted through vague statements that won't make any sense to start with.
23:26:45 <oerjan> and on the entirely other side are the template haskell based quasi-quotes which allows you to make any syntax you want. (as long as you don't need the string |] in it.)
23:29:30 -!- SimonRC has quit (Ping timeout: 264 seconds).
23:41:00 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
23:41:43 -!- SimonRC has joined.
23:44:55 -!- kinoSi has quit (Read error: Connection reset by peer).
23:45:23 -!- kinoSi has joined.