00:07:49 Expand 00:07:56 or rather, https://twitter.com/search?q=%23philoSeinfeld 00:08:59 shachaf, apparently the 'happy ending' prophecy is supposed to reassure the reader that the story has a happy ending 00:09:42 It has one! 00:09:45 Right in strip 887. 00:10:57 From the forums 00:10:58 'Guys, you can stop freaking out about this being Elan's prophecy. War and XPs commentary says his prophecy is a word from the Giant to the readers that when the entire story is over Elan will have a happy ending, and that while things might get scary for a while they will work out in the end.' 00:12:01 it was a huge mistake to join a company started by my friends 00:12:08 o.O 00:12:10 even though the only reason they were my friends was that I worked at a previous company they started 00:12:17 such are the dumb paradoxes of my life 00:12:56 :-( 00:13:32 Sgeo: imo plz arrange for another update this friday thx 00:14:09 shachaf, would you actually be upset if it happened sooner than Friday? 00:14:25 I wouldn't be upset if one happened sooner than Friday. 00:14:30 As long as one happened on Friday. 00:15:16 Is Friday your birthday or something? 00:17:08 No? 00:17:33 on the rubik's cube you can rotate two adjacent centers by π/2 or rotate a single center by π 00:17:38 Well, I mean, I'm sure it's *something*. 00:18:21 You could just say 1/2 and 1/4. 00:18:38 Hmm, maybe angles should be measured in the reciprocal of the fraction of a full turn. 00:18:52 So 1 is a full turn, 2 is a half turn, 4 is a quarter turn. 00:19:39 This is a good system. 00:19:43 What should I call this "unit"? 00:19:43 so arc length would be pi/angle? that's not too bad 00:19:53 Bike: 2pi? 00:20:18 shachaf: the shachaf 00:20:24 kmc: no 00:20:54 maybe i'll call it an ungle because it's not really an angle................................ 00:20:54 the elcric 00:21:00 elcric? 00:21:05 shangle 00:21:16 is that a portmanteau of "shit" and "angle" 00:21:28 exactly 00:23:24 Oh, what's the equivalent zero radians? 00:24:24 0 = 2pi = 1 turn 00:24:51 I'll call it the "nurt" because it's the opposite of a turn. 00:28:24 -!- augur has quit (Remote host closed the connection). 00:29:27 > over (partsOf (traverse.filtered (`notElem`"aeiou"))) reverse "turn" 00:29:32 mueval: ExitFailure 1 00:29:32 mueval: Prelude.undefined 00:29:38 > over (partsOf (traverse.filtered (`notElem`"aeiou"))) reverse "turn" 00:29:38 > over (partsOf (traverse.filtered (`notElem`"aeiou"))) reverse "turn" 00:29:39 > over (partsOf (traverse.filtered (`notElem`"aeiou"))) reverse "turn" 00:29:41 LAMBDABOT 00:29:43 mueval: ExitFailure 1 00:29:44 mueval: Prelude.undefined 00:29:44 mueval: ExitFailure 1 00:29:44 mueval: Prelude.undefined 00:29:44 mueval: ExitFailure 1 00:29:45 STOP DYING 00:29:45 mueval: Prelude.undefined 00:30:28 lambdabot needs to go to rehab 00:31:12 -!- augur has joined. 00:32:34 -!- lambdabot has quit (Remote host closed the connection). 00:37:42 Once upon a time there was a YouTube video called «"Rehab" - 1934 Noel Coward Original» 00:37:46 It seems to have been deleted. 00:37:50 Does a copy still exist? 00:37:53 I think it was just audio. 00:40:24 -!- esowiki has joined. 00:40:29 -!- esowiki has joined. 00:40:29 -!- esowiki has joined. 00:40:50 -!- esowiki has joined. 00:40:54 -!- esowiki has joined. 00:40:55 -!- glogbot has joined. 00:40:55 -!- esowiki has joined. 00:41:57 -!- HackEgo has quit (Ping timeout: 252 seconds). 00:42:32 -!- HackEgo has joined. 00:47:33 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds). 00:49:01 PBKDF2 isn't just "iterations of" SHA1. 00:49:13 yes I know 00:51:30 -!- augur has quit (Remote host closed the connection). 00:52:58 is this cross-channel talk 00:53:10 kmc and shachaf must be in some exciting places 00:53:16 just ##crypto 00:53:36 sounds like a depressing channel 00:53:41 it's pretty good actually 00:53:48 -!- Phantom_Hoover has joined. 00:53:52 well crypto depresses me 00:53:55 because i hate thinking about it 00:54:11 the view from the left depresses me 00:54:16 because i don't know how to read 00:54:47 why do you think i'm always so offtopic........i literally never read anything anyone says 00:54:56 ##viewfromtheleft? 00:55:04 @google view from the left 00:55:15 lambdabot.................................. 00:55:38 how do you know lambdabot didn't reply 00:55:50 because lambdabot isn't in this channel 00:55:57 how do you know what i said 00:56:02 what who said 00:56:23 me 00:56:35 I agree. 00:56:45 lambdabot is passed out in a ditch 00:57:36 shachaf, this wouldn't be a problem if we didn't have n set 00:57:50 What's n set? 00:58:16 lets you send messages to a channel without joining it 00:58:29 Oh, +n 00:58:40 We have it off in $THAT_CHANNEL 00:58:44 lambdabot is offline, too 00:59:51 what's $THAT_CHANNEL 01:00:04 Hmm. 01:00:11 is it.... 01:00:14 #shachaf 01:00:26 02:00:18 [Users #shachaf] 01:00:26 02:00:18 [@elliott] 01:00:28 a misnamed channel 01:10:11 Gregor, join #shachaf so we can give you voice 01:11:01 stay out of my namesake channel 01:20:15 it's the hird doctrine, shachaf 01:20:25 all voice, all gregor, all the time, all the channels 01:21:02 Gregor isn't voiced right now 01:21:41 -!- ChanServ has set channel mode: +v Gregor. 01:22:05 who did that 01:22:20 Oh, elliott can +v now, right. 01:23:04 it was probably oerjan 01:23:42 I want an hmac-memorable-email server 01:23:59 I own copumpk.in, and want to allocate email addresses on it based on who I give them to 01:24:09 -!- olsner has quit (Read error: Operation timed out). 01:24:26 so if I sign up for amazon on it, I'd have amazon.a42be@copumpk.in or something like that 01:24:35 I explicitly don't want the + scheme 01:25:08 what's something good to build on to handle your own mail? 01:25:18 I'd probably just end up forwarding it to gmail :) 01:25:37 -!- olsner has joined. 01:26:58 wow, useful things. this is absolutely not my area of expertise. 01:27:19 I'm sick of my email getting sold and not knowing who sold it 01:27:27 I want to be able to blacklist addresses 01:27:39 and the + scheme doesn't work because it's easy to drop 01:28:30 Ideally you'd have it encoded in some way, such that dropping it produces an invalid address and randomizing it also produces an invalid address. 01:28:38 yeah, that's what I mean 01:28:46 Right, figured. 01:28:47 the second half is basically a simple hmac-alike of the first half 01:29:02 I can just take a prefix of a real hmac 01:29:35 that's a cool idea 01:31:57 copumpkin: do I get a fancy copumpkin email address to send to 01:32:04 sure 01:32:26 -!- sebbu2 has changed nick to sebbu. 01:32:37 I'm so special 01:39:16 -!- Bike has quit (Ping timeout: 276 seconds). 01:43:18 * Sgeo vaguely wonders if lenses have anything in common with jQuery 01:45:34 -!- augur has joined. 01:45:39 its a monad 01:45:47 just ask edwardk 01:46:08 -!- Bike has joined. 01:46:33 -!- augur has quit (Read error: Connection reset by peer). 01:46:38 -!- augur_ has joined. 01:51:51 :t id -= 10 01:52:01 ...no lambdabot 02:01:11 -!- Tod-Autojoined has changed nick to TodPunk. 02:05:57 -!- Bike has quit (Ping timeout: 248 seconds). 02:06:45 Guess what I found at the store today! 02:06:57 drugs 02:06:57 Hint: Jaffa Cakes 02:07:00 !!! 02:07:08 shachaf: if I move to SF you will tell me the places to buy jaffa cakes?? 02:07:20 kmc: is jaffa cakes a euphemism for drugs 02:07:32 this place is in palo alto 02:07:37 -!- Bike has joined. 02:07:38 maybe on Brass Eye 02:07:42 anyway i've never had jaffa cakes before 02:07:45 shachaf: also how much did you pay 02:07:52 $1.79 02:07:54 you can buy jaffa cakes in Cambridge but they are $$$$$ 02:07:56 Actually I paid $1.80 02:07:57 not like Other Cabridge 02:08:32 isn't there a really expensive jaffa cake in CA now? 02:08:41 oh wait, no, he's still in the UK 02:08:42 He's in CA now? 02:08:50 Ah. Yes, that's what I thought. 02:08:53 These are, uh, from Serbia? 02:09:54 > 1.80/12 02:10:11 come on, you can do that in your head 02:10:23 3/20? 02:10:30 i can't 02:10:51 copumpkin: I was subtly communicating to you how many jaffa cakes I now possess. 02:11:03 I have to find indirect ways of showing off. 02:11:10 i'm worse at arithmetic than gwern 02:11:10 skywriting 02:11:17 you still could have done that by performing the calculation 02:11:20 and announcing the per-unit price 02:11:29 But then elliott wouldn't know. 02:11:42 I heard that elliott is worse than arithmetic than gwern. 02:15:08 when is kmc moving to SF................ 02:15:21 he's waiting for me to okay the move 02:15:52 Hmm. Should I send my sister some citric acid powder? 02:19:12 kmc: These are from http://www.jaffa.rs/ 02:19:54 http://www.jaffa.rs/jaffa-cakes-classic 02:20:07 pretty sure you'll find they only count if McVities™ makes them 02:20:27 I was worried about something like that. 02:20:46 you are granted official british permission to import them 02:21:13 elliott: do "cadbury flake" exist in where you are 02:21:45 yes, of course 02:22:04 do you admit that Mekupelet is better 02:22:20 https://en.wikipedia.org/wiki/Mekupelet 02:23:02 i seriously doubt that 02:23:16 It is known for its crumbliness and thin flakes. 02:23:56 Only the crumbliest, flakiest chocolate, tastes like chocolate never tasted before 02:24:13 http://marcos.kirsch.mx/2006/05/05/elite-mekupelet-vs-cadbury-flake/ 02:24:59 It was a really tight contest and to be frank I don’t feel like scrolling up and counting how many points each one had. So the debate remains unsettled. 02:26:28 Wikipedia's picture -- http://upload.wikimedia.org/wikipedia/commons/1/14/Mekupelet.jpg -- has less boring text 02:26:46 "to the last crumb", it says 02:27:00 Well, it says "until". I took the liberty of changing it to "to". 02:28:03 -!- comex` has changed nick to comex. 02:28:05 shachaf: you can buy and mail me some Mekupelet and I will give you my opinion on it 02:28:09 I am willing to pay for shipping 02:28:29 elliott: Gladly, next time I'm in .il. 02:28:38 -!- sebbu2 has joined. 02:29:05 also you have to promise not to give my address to Taneb. 02:29:16 -!- sebbu2 has quit (Changing host). 02:29:16 -!- sebbu2 has joined. 02:30:13 Why don't you want Taneb to know your address? 02:30:38 Hmm, maybe I can get hold of Mekupelet here. 02:31:00 Probably not easy. 02:31:23 it's epistemologically important 02:31:32 Not ontologically? 02:31:44 Maybe I can get someone in .il to mail some to you... 02:31:56 Will you send me some Cadbury Flake? 02:32:03 I bet that's easier to get hold of over here. 02:32:25 pretty sure that should just be available in stores in the US?? surely you have regular ol chocolate 02:32:29 Bike: both. 02:32:50 :o!!! 02:32:55 -!- sebbu has quit (Ping timeout: 264 seconds). 02:33:12 elliott: Where would I find it? 02:33:16 I don't think I've ever seen it. 02:33:46 I can order it online. 02:34:02 $5 for 6-count with free shipping. 02:34:16 don't they have like british stores 02:34:19 with biscuits and stuff 02:34:21 for brits 02:34:23 um 02:34:23 I heard something about that 02:34:29 maybe 02:34:37 British Grocery - CLOSED - Mission - San Francisco, CA - Yelp 02:34:41 i guess there are no more brits 02:34:41 is there a lot of demand for that in SF 02:34:54 or wherever shachaf is i forget 02:34:59 fish and chips burrito 02:35:45 elliott: OK, what's your address? I won't tell Taneb. 02:35:47 i believe there are likely british people in san francisco 02:35:54 I'll see what I can Arrange. 02:36:00 shachaf: 10 downing street, hexham 02:36:13 are you the king of hexham 02:36:21 The prime minister. 02:36:22 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:36:24 priem minister 02:36:25 yes 02:36:28 Bike: quiet 02:36:36 i was trying to be ignorant of british things 02:36:43 shachaf: No, the King lives in Bucking Ham Palace. 02:37:02 "fuck you, ham", the official motto of england 02:37:13 except in latin probably 02:37:38 VCKFAY OVYAY AMHAY 02:56:00 elliott: Also: There's a white chocolate Mekupelet. Is there a white chocolate Cadbury Flake? 02:56:03 Oh, I guess there is. 02:57:17 Someone I knew in high school works for Long Island Medium now :( 02:58:42 is that bad 03:00:44 It feels weird 03:03:03 why 03:09:55 can you buy a 1×1×1 rubiks cube 03:10:13 I believe they're called "cubes" 03:14:17 I had a 2×2×2 Rubik's cube once. 03:18:48 i have one right here 03:18:59 found it in a free pile 03:19:05 the white face says "6 0\n0 6" 03:19:14 or is it.... "9 0\n0 9"??? 03:19:18 08:59 * kmc is learning the moves for rotating the centers of a Rubik's cube <-- is that something zen-like... 03:19:31 The zen-like thing is rotating the center of a 2×2×2 Rubik's cube. 03:19:38 ikr 03:50:12 kmc: what do you think of suburbia 03:53:12 the... type of place? 03:53:17 Let's make 03:53:24 9x9 Sudoku rubix cubes 03:53:30 9x9x9* 03:54:02 fractional dimension rubik's cubes 04:24:25 -!- carado_ has quit (Quit: Leaving). 04:24:25 -!- carado has joined. 04:27:37 -!- carado has quit (Read error: Connection reset by peer). 04:27:42 -!- carado_ has joined. 04:34:55 -!- kappabot has joined. 04:35:23 -!- lambdabot has joined. 04:43:40 @vixen vs. @nixon: Who is more offensive? 04:43:40 good question 04:43:40 Certainly in the next 50 years we shall see a woman president, perhaps sooner than you think. A woman can and should be able to do any political job that a man can do. 04:43:53 @vixen What do you think of monoids? 04:43:54 yes i do 04:43:54 A public man must never forget that he loses his usefulness when he as an individual, rather than his policy, becomes the issue. 04:44:11 @vixen Come on, say something juicy. 04:44:11 you know what? if we'd known it was going to be like this we'd have picked our own goddamn cotton! 04:44:12 You know, it's a funny thing, every one of the bastards that are out for legalizing marijuana is Jewish. What the Christ is the matter with the Jews, Bob? What is the matter with them? I suppose it 04:44:12 is because most of them are psychiatrists. 04:45:09 apparently i'm jewish 04:45:20 i have so much to learn 04:45:22 congratulations, you're god's chosen stoner 04:45:28 @vixen Tell me more kmc facts! 04:45:28 Hahaha 04:45:29 The Chinese use two brush strokes to write the word 'crisis.' One brush stroke stands for danger; the other for opportunity. In a crisis, be aware of the danger - but recognize the opportunity. 04:46:00 what a horrid little anecdote 04:46:20 And not even slightly true. 04:46:53 i remember hearing that "chaos" was two of the characters for "women" under a line (one roof) 04:47:01 dude nixon *went* to china 04:47:03 he is the expert 04:47:03 and a chinese speaker came in and was like "what are you even talking about" 04:47:33 nixon in china is a pretty good opera 04:48:36 I want to see that one 04:48:47 there's a performance on youtube 04:48:51 way superior to the valis opera, imo 04:49:05 also wow 04:49:05 Sounds like you mixed 安 "peace" (roof, woman) and 姦 "adultery" (three women) somehow. 04:49:15 my school's amateur theatre group actually has a director 04:49:22 this is like six months early 04:49:37 pikhq_: i think i looked it up and found some obscure character for "battle" or something that almost fit if you were dumb 04:50:09 @vixen bikes? y/n 04:50:09 is that really what you want to know? 04:50:10 Politics would be a helluva good business if it weren't for the goddamned people. 04:50:24 @vixen i nitya to be honest with me 04:50:24 I brought myself down. I impeached myself by resigning. 04:50:24 Yes 04:51:30 adultery is *three* women eh 04:51:47 Bike: You should follow me on Twitter! 04:51:48 Or "seduction" or "rape" or a number of things. 04:52:00 The general semantics for that are kinda "anything improper in sex". 04:52:14 why do programmers know so little about programming. it's like if one lumberjack looked at a tree's shadow and was like "shit this is gonna be hard" and another one's like "no, see, there's a cloud over it, it'll be easy" 04:52:25 shachaf: what's twitter 04:52:40 Bike: it's like tumblr except kmc uses it 04:52:41 Bike: and then they each wrote 2,000 word blog posts about how to hire and manage lumberjacks 04:53:01 oh i like kmc 04:53:05 how do i get in on this twittering 04:53:16 https://twitter.com/shachaf -- click "follow" 04:53:20 if you want to be taken seriously as a lumberjack, you need to do some lumberjacking on your own time and upload your logs to LogHub 04:53:24 then follow the instructions hth 04:53:37 everyone likes kmc 04:53:37 this shows that you have a passion for lumberjacking, not like those evil greedy people who just want to get paid for doing a job 04:53:53 http://25.media.tumblr.com/8bd807033be7887e1d08fb29763ea3b6/tumblr_mmr1tg53J21qzgnzho1_500.jpg but seriously 04:54:06 ++++ 04:54:08 http://hackage.haskell.org/package/hyperloglog is edwardk's approach to lumberjacking 04:54:11 He's very efficient. 04:54:12 shachaf: it says you haven't twittered. 04:54:17 Bike: It's lying? 04:55:13 oh no 04:55:18 my twitname is @miuaf 04:55:29 wow look at all those dependencies 04:55:36 i don't know if i can commit to this! 04:58:25 "People love OSI. When they find out it's BS they're floored. Like physics students who learn that electrons aren't little whirling planets." OSI? 04:58:57 OSI network model 04:58:59 7 layer dip 04:58:59 https://en.wikipedia.org/wiki/OSI_model 04:59:14 Oh. How's it a lie? layer crossing? 04:59:32 "What math book will tell me if I properly formalized the semantics of HTTP caching headers?" sassy 04:59:34 well, the layers are aware of each other in various ways 04:59:40 also mostly there aren't 7 05:00:00 The OSI model was the model used in a particular network protocol, that we don't use at all. 05:00:10 really there are only like 4 layers, but then you reimplement that over HTTP and then reimplement that over HTTP again because that's the world we live in 05:01:15 Ethernet is layers 1 and 2, IP is 3, TCP is 4 through 5, your program is 6 and 7. (basically) 05:02:52 also a lot of networks use reliable link protocols, I learned recently 05:02:58 3G networks 05:03:07 and WiFi has some link layer retransmits too, although I think it's not totally reliable 05:03:55 Even Ethernet uses checksums. 05:04:12 Though I think that's in OSI layer 4? 05:04:17 "The incoherency of HN’s folk sociology/philosophy/psychology really undercuts their snottiness about non-engineering educations" hey nice summary 05:04:26 TCP assumes that packet loss is solely caused by buffers filling up, but wireless networks have lots of stochastic, non-congestive loss, from radio interference or whatever 05:04:48 so for TCP to perform well on these networks, the link layer has to hide non-congestive loss 05:05:22 also btw, you mentioned syrian internet going offline, but it's back up 05:05:37 Yeah, it was down for ~24 hours. 05:05:40 i think the government might have claimed a nameserver was bombed 05:05:58 btw this directly interferes with the goal of fixing TCP flow control to deal with non-congestive loss 05:06:51 -!- esowiki has joined. 05:06:55 -!- esowiki has joined. 05:06:56 -!- esowiki has joined. 05:07:12 -!- esowiki has joined. 05:07:16 -!- esowiki has joined. 05:07:17 -!- esowiki has joined. 05:08:01 -!- esowiki has joined. 05:08:02 -!- glogbot has joined. 05:08:05 -!- esowiki has joined. 05:08:05 -!- esowiki has joined. 05:08:12 -!- FireFly has joined. 05:08:47 -!- EgoBot has quit (Ping timeout: 240 seconds). 05:08:58 -!- EgoBot has joined. 05:09:40 Which is really the important thing. 05:10:26 i don't think many people are browsing twitter there nowadays anyway 05:10:34 maybe in the west 05:11:47 kmc: do you know what this thing is? https://camp2013.tacticaltech.org/ 05:11:56 -!- FireFly has quit (Excess Flood). 05:12:10 interesting 05:12:11 no 05:12:17 -!- samebchase has quit (Ping timeout: 240 seconds). 05:13:44 -!- FireFly has joined. 05:14:04 -!- samebchase has joined. 05:14:52 oh no did something happen 05:15:04 what? 05:15:14 Never mind. 05:15:21 I see context now. 05:15:44 look, sometimes I just don't want to participate in a given conversation; you don't have to make a Big Deal out of it 05:16:13 especially in another channel with mostly a different set of people 05:16:18 who will then demand more context 05:16:20 uh? sorry? did i do something wrong 05:16:21 which makes it an even Bigger Deal 05:16:24 no but shachaf did 05:16:45 i left another channel because I didn't want to get drawn into a conversation that was making me angry 05:16:49 it's no biggie, I'll be back in a bit 05:16:56 I think this is healthy behavior..... 05:16:59 kmc: Sorry. 05:17:02 it's all right 05:17:10 I am only mildly annoyed 05:17:37 ##crypto didn't answer my question about why MAC-then-encrypt is bad :( 05:17:40 * shachaf usually thinks of leaving a channel as a Bigger Deal than leaving a conversation. 05:17:58 well I think I know why, but I want to confirm 05:18:03 New Bigger Deal 05:18:21 But I suppose it's not necessarily a Big Deal. 05:18:39 shachaf: the thing is that I have poor self-control; if the channel is open in irssi I will have to switch to it, and then I'll read what's been said 05:18:42 and then i might reply 05:18:45 see also: #haskell 05:19:07 Why are you even reading channels that you join, kmc 05:19:11 Such poor self-control 05:19:17 IRC is for writing, not reading. 05:19:28 s/IRC/irc/ s/.$// 05:19:29 it's not just that the conversation was making me angry, but that I don't actually have the factual knowledge necessary to support the position that my emotions were pushing me toward 05:19:33 nothing good can come of that 05:20:04 ##crypto usually has a low ratio of factual knowledge anyway 05:20:19 er the channel in question is not ##crypto 05:20:27 and I think they're pretty knowledgable 05:20:47 what I said about ##crypto was a non-sequitor, sorry 05:20:58 slash attempt to change topic 05:21:22 Is SSL really MAC-then-encrypt? 05:21:27 believe so 05:24:00 at least in the typical CBC / HMAC modes 05:24:10 GCM isn't, of course 05:24:33 Sure. 05:24:59 Hmm, I ordered some chocolate to elliott for some reason. 05:25:04 kmc: http://www.imperialviolet.org/2013/02/04/luckythirteen.html 05:25:11 or something 05:26:20 it seems like the fundamental problem is that it exposes a decryption operation to untrusted data 05:26:31 which means exposing possible side channels (timing, padding oracle) as well as vulnerabilities in the decryption code 05:26:39 is that a fair summary? 05:26:48 fummary 05:28:29 «Let's replace "brain" w/ "kidney" in all neuromyths. "We only use 10% of our kidneys." "Your left kidney is logical; right one's creative."» oh god yes 05:31:49 Bike: i'm glad you approve of things I have retweeted :) 05:32:23 kmc: You can add people to "lists" in Twitter and then you see their tweets but not their retweets. :-( 05:32:28 i am requoting your retweet 05:32:34 i am internetting this hard 05:32:34 (But the lists can be private so that people don't know whom you're following.) 05:32:38 For how much can I sell my left brain 05:32:40 shachaf: interesting 05:32:48 I've also seen that you can "hide retweets" on someone's profile page 05:32:58 I would follow people except that I don't want my followee list to be public. 05:33:05 Bike: instagramming your requot of my retweet 05:33:13 gifing that and posting it to tumblr 05:33:47 You should register miuaf.com etc. 05:34:07 mebbe 05:34:12 miu.af 05:34:17 don't want to talk about names 05:34:31 Jafet: just fyi there are actually surgical procedures where people get a hemisphere of their brain removed 05:34:36 (and they don't die) 05:34:42 Which hemisphere doesn't die? 05:34:51 ¬_¬ 05:34:57 ¬_ 05:35:52 kmc: Hm, am I irritating lately? 05:35:53 If so I should stop. 05:38:55 not very much 05:39:01 I'm in a bad mood lately, which doesn't help 05:39:11 oh hey and the guy who said the kidney thing is a science journalist. yay, slightly less dumb science journalism 05:39:25 i'm hella stressing out about my job search 05:41:05 lambdabot: @tell zzo38 http://www.gophercon.com/ 05:41:05 Consider it noted. 05:45:40 -!- carado_ has quit (Ping timeout: 246 seconds). 05:52:57 -!- Nisstyre-laptop has quit (Quit: Leaving). 06:07:24 Hmm, should I volunteer to run lambdabot? 06:07:36 Since my server seems to have more luck with it than the current one. 06:08:23 -!- Nisstyre-laptop has joined. 06:09:21 -!- JesseH has left. 06:10:18 lambdabot should just run as a botnet 06:41:25 @vixen shift or rotate hth 06:41:25 Sex is the mysticism of materialism and the only possible religion in a materialistic society. 06:41:25 This is a great day for France! 06:41:43 hth 06:42:54 qoppabot 06:43:01 @type () 06:43:02 () 06:43:05 () 06:43:05 great fun 06:49:15 John Carmack ‏@ID_AA_Carmack 6 May 06:49:15 @tom_forsyth I thought Haskell WAS full bore functional purity, as opposed to various multi-paradigmn languages. 06:49:16 Unknown command, try @list 06:49:16 Unknown command, try @list 06:49:21 "oopse" 06:50:47 i wish my languages had more bore. 06:51:36 i wish my languages had more boar (meat) 06:51:59 Moar boar 06:52:06 more bore. more 06:52:11 i don't think i've ever heard of pig meat being referred to as boar before 06:52:17 oh, yes i have, when it's a full one 06:52:22 Bork 06:52:46 or is it for wild pigs? 06:52:56 wigs 06:52:56 either way, probably tasty 06:54:02 usually a boar is a wild pig, yeah 06:54:09 (apparently they hang out in berlin???) 06:54:13 nice 06:54:38 [[boar]] redirects to [[wild boar]] 06:59:04 ĸbot. 06:59:44 κ⊥ 06:59:48 your left kidney produces your right pee and your right kidney produces your left pee 07:01:22 if your kidneys become separated, err, i don't know enough about kidneys 07:01:35 The local zoo has a cafe/restaurant next to the "bear castle"; they sell: bacon burger (contains bacon), chicken burger (contains chicken), salmon burger (contains salmon), "bear burger" (???). 07:02:25 The menu just says "large hamburger patty" and "100% organic". 07:02:31 (For the last one.) 07:04:13 mm beer burger 07:06:49 Beer burger sounds awesome. 07:07:02 beerger 07:16:09 @quote container 07:16:09 heatsink says: If monads are containers, the Cont monad is a klein bottle. 07:16:09 kmc says: monads are like containers, as long as you forget everything you know about the meaning of the word "container" and take it to be a totally abstract word synonymous with "monad" 07:17:14 Monads are like containers, in that they're mostly filled with vomit. 07:17:54 heatsink's quote is better 07:18:16 yeah, but i wanted the quote for someone who doesn't know or care about Cont 07:18:40 * Bike handing out "perls of kmc wisdom" like it ain't no thang 07:19:06 Q: are monads orientable 07:19:33 > (>>=) == (<<=) 07:19:34 Not in scope: `<<=' 07:19:35 Not in scope: `<<=' 07:19:36 Perhaps you meant one of these: 07:19:36 `<=' (imported from... 07:19:41 > (>>=) == (=<<) 07:19:41 Occurs check: cannot construct the infinite type: a0 = a0 -> b0Occurs check... 07:19:43 Occurs check: cannot construct the infinite type: a0 = a0 -> b0 07:19:51 fuckers 07:19:57 proved: monads have two sides 07:20:04 like an onion 07:20:13 wait, why does that involve an occurs check 07:20:17 :t (=<<) 07:20:18 forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b 07:20:19 Monad m => (a -> m b) -> m a -> m b 07:20:30 snazzy, kappa-boy 07:21:15 hm, a and b aren't typed (kinded) like m is? 07:21:25 it only writes the kind when it differs from * 07:21:26 :t (>>=) 07:21:27 forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b 07:21:29 Monad m => m a -> (a -> m b) -> m b 07:21:36 oh. that's confusing. 07:21:49 i was imagining [a ->] or whatever for a sec. 07:22:08 there is kind polymorphism in recent GHC 07:30:52 "Booccurs check", the spookier version. 07:31:18 the skolems have escaped 07:31:38 you sure skoled'em 07:32:29 Rock'em Skolem Robots. 07:33:03 I have one jaffa cake left. 07:33:45 make it count 07:35:46 they go quickly don't they. 07:36:19 * kmc -> sleep 07:36:55 shachaf why do things have to be other things instead of themselves? i like things in themselves. the noumenon is the goodmenon. help 07:37:15 Bike: tor is like an onion hth 07:37:22 >: 07:38:32 you're like an onion, because i cut you and then i can't stop crying. 08:19:06 -!- Bike has quit (Ping timeout: 256 seconds). 08:19:27 -!- FreeFull has quit (Quit: Gotta go). 08:22:12 -!- Nisstyre-laptop has quit (Quit: Leaving). 08:56:24 -!- epicmonkey has joined. 09:00:40 -!- conehead has quit (Quit: Computer has gone to sleep.). 09:04:13 -!- DHeadshot has joined. 09:32:55 -!- pikhq_ has quit (Ping timeout: 264 seconds). 09:42:26 -!- pikhq has joined. 10:25:48 Heey, hey: it's the Eurovision Song Contest time of the year again. Almost sneaked by without noticing. (Tragic.) 10:34:14 -!- JesseH has quit (Ping timeout: 245 seconds). 11:12:42 -!- myname has quit (Ping timeout: 264 seconds). 11:14:43 -!- carado has joined. 11:36:22 -!- carado has quit (Ping timeout: 246 seconds). 11:41:16 -!- carado has joined. 12:02:06 `run echo -e '#!/bin/sh\nwelcome | sed "s/^//"' >bin/welcome 12:02:12 No output. 12:02:24 `run chmod a+x bin/welcome 12:02:28 No output. 12:02:33 `welcome 12:02:35 ​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. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 12:05:53 -!- myname has joined. 12:08:31 -!- augur has joined. 12:11:19 `run echo bin/wel* | hd 12:11:31 00000000 62 69 6e 2f 77 65 6c 63 6f 6d 65 0a |bin/welcome.| \ 0000000c 12:11:37 `run echo bin/*wel* | hd 12:11:39 00000000 62 69 6e 2f 72 77 65 6c 63 6f 6d 65 20 62 69 6e |bin/rwelcome bin| \ 00000010 2f 77 65 6c 63 6f 6d 65 20 62 69 6e 2f 02 77 65 |/welcome bin/.we| \ 00000020 6c 63 6f 6d 65 0a |lcome.| \ 00000026 12:16:26 -!- augur_ has quit (*.net *.split). 12:16:26 -!- jconn has quit (*.net *.split). 12:27:33 `run echo bin/welcome | hd 12:27:34 00000000 62 69 6e 2f 02 77 65 6c 63 6f 6d 65 0a |bin/.welcome.| \ 0000000d 12:28:02 `which hd 12:28:03 ​/usr/bin/hd 12:28:23 `run ls -l /usr/bin/hd 12:28:25 lrwxrwxrwx 1 0 0 7 Oct 14 2011 /usr/bin/hd -> hexdump 12:29:05 you are looking for cat? 12:29:48 Not really, no 12:30:00 I just wanted to confirm my guess that hd was an alias for hexdump 12:30:44 To find (a young) cat: http://robotfindskitten.org/ 12:38:53 `run diff $(which hexdump) $(which hd) 12:38:55 No output. 12:41:13 -!- pikhq_ has joined. 12:47:36 -!- pikhq has quit (*.net *.split). 12:51:33 -!- boily has joined. 12:51:52 -!- metasepia has joined. 12:52:11 -!- jconn has joined. 12:55:26 -!- Tod-Autojoined has joined. 12:55:43 -!- Jafet1 has joined. 12:55:49 -!- Jafet has quit (Disconnected by services). 12:56:42 -!- Jafet1 has changed nick to Jafet. 12:57:06 -!- glogbackup has quit (Ping timeout: 264 seconds). 12:58:54 -!- TodPunk has quit (Ping timeout: 264 seconds). 13:12:42 -!- Koen_ has joined. 13:13:43 -!- Koen_ has quit (Read error: Connection reset by peer). 13:13:49 -!- Koen__ has joined. 13:34:44 -!- Phantom_Hoover has joined. 13:34:54 note to self: watch new star trek movie 13:38:11 @tell Phantom_Hoover watch the new ST movie. 13:38:11 Consider it noted. 13:38:11 Consider it noted. 13:38:19 Is it even out on BitTorrent yet 13:38:34 uhm. may I ask who is kappabot, and where does it come from? 13:38:53 -!- DHeadshot has quit (Ping timeout: 245 seconds). 13:39:14 * boily pokes kappabot with a calibrated, certified, regulated, chromium plated galvanized scientific metric rod 13:39:41 -!- DHeadshot has joined. 13:42:02 boily: I think it's the fault of one of the kmchafs. (I always get those two mixed up.) 13:43:11 -!- DHeadshot has quit (Read error: Connection reset by peer). 13:43:22 -!- DHeadshot has joined. 13:47:43 fizzie: oh. so no problem with the prodding. 13:47:48 -!- DHeadshot has quit (Ping timeout: 256 seconds). 13:48:05 * boily straps an electric motor to the rod 13:58:41 -!- DHeadshot has joined. 13:59:55 -!- sebbu has joined. 14:00:34 -!- sebbu has quit (Changing host). 14:00:34 -!- sebbu has joined. 14:01:08 -!- sebbu2 has quit (Ping timeout: 256 seconds). 14:06:44 -!- heroux has quit (Read error: Connection reset by peer). 14:14:31 -!- Taneb has joined. 14:15:00 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 14:21:14 -!- DHeadshot has quit (Ping timeout: 256 seconds). 14:21:16 -!- Phantom_Hoover has joined. 14:23:33 -!- Phantom__Hoover has joined. 14:26:18 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 14:29:53 -!- coppro_ has joined. 14:32:20 -!- sivoais_ has joined. 14:33:43 -!- quintopi1 has joined. 14:34:22 -!- samebcha1e has joined. 14:35:59 -!- samebchase has quit (*.net *.split). 14:36:00 -!- quintopia has quit (*.net *.split). 14:36:00 -!- coppro has quit (*.net *.split). 14:36:00 -!- sivoais has quit (*.net *.split). 14:37:54 -!- Gracenotes_ has joined. 14:38:13 -!- kmc_ has joined. 14:40:28 -!- sivoais_ has quit (Read error: Connection reset by peer). 14:40:35 -!- sivoais has joined. 14:42:38 -!- Gracenotes has quit (*.net *.split). 14:42:38 -!- Gregor has quit (*.net *.split). 14:42:39 -!- kmc has quit (*.net *.split). 14:44:34 -!- nooodl_ has joined. 14:49:09 -!- glogbackup has quit (Remote host closed the connection). 14:49:39 -!- sivoais has quit (Read error: Connection reset by peer). 14:49:48 -!- sivoais has joined. 14:57:28 -!- sivoais has quit (Ping timeout: 256 seconds). 14:59:47 -!- augur has quit (Remote host closed the connection). 15:00:14 -!- augur has joined. 15:00:40 -!- sivoais has joined. 15:05:16 -!- augur has quit (Ping timeout: 276 seconds). 15:13:56 -!- boily1 has joined. 15:16:25 ~metar CYUL 15:16:25 CYUL 141500Z 26008KT 30SM FEW035 11/M05 A3008 RMK CU2 SLP187 15:16:32 ah, my bot's still alive. 15:16:37 -!- Jafet1 has joined. 15:19:10 -!- kmc has joined. 15:23:26 -!- kmc_ has quit (*.net *.split). 15:23:26 -!- Jafet has quit (*.net *.split). 15:23:26 -!- boily has quit (*.net *.split). 15:30:26 ~metar EFHK 15:30:26 EFHK 141520Z 24012KT CAVOK 17/02 Q1009 NOSIG 15:30:55 It is stupid warm. 15:31:07 -!- MindlessDrone has joined. 15:32:33 -!- boily1 has changed nick to boily. 15:33:14 -!- SirCmpwn has quit (Ping timeout: 246 seconds). 15:36:14 -!- MindlessDrone has quit (Quit: MindlessDrone). 15:37:44 -!- SirCmpwn has joined. 15:37:58 `quote boily 15:38:00 927) boily: the man eating chicken is just a normal man, it's quite common to eat chicken in some parts of the world \ 928) ~eval 1+2 Error (127): this is a great bot boily i love it \ 937) not only there is no God, but try to find an APL keyboard on Sunday. \ 940) ais523: I'm not sure my 15:38:04 ~metar EBAW 15:38:04 EBAW 141520Z 19006KT 9999 -RA FEW026 BKN032 10/08 Q1006 NOSIG 15:38:19 where was that hate quote I had again... 15:38:25 `pastequotes boily 15:38:31 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.14717 15:38:56 ah! 1005. 15:39:53 ~metar EGNT 15:39:54 EGNT 141520Z 22012KT 180V250 9999 FEW049 12/00 Q0996 15:40:05 -!- augur has joined. 15:40:18 boily, thanks to you, I know two different codes for the nearest airport to Hexham? 15:40:41 real talk: all i can read off these / care for is the temperature 15:40:48 everything else just looks cool 15:41:51 uh which one is the temperature 15:41:59 the one with the /. 15:42:04 the 14th, 15:20, 220° 12 kt wind, blah blah blah, 12°C / 00°C 15:42:13 first number is temp, other is dew point. 15:42:30 M for minus, otherwise known as Canadian. 15:42:40 what's the metar for hexham 15:43:14 EGNT, I think. that's newcastle, innit? 15:43:33 elliott, EGNT is closest 15:43:38 It's about 20 miles to the east 15:43:53 ~metar EGNC 15:43:54 EGNC 121650Z 25013KT 9999 BKN018 11/09 Q1004 15:44:01 ~metar EGNT 15:44:02 EGNT 141520Z 22012KT 180V250 9999 FEW049 12/00 Q0996 15:44:12 That's Carlisle airport, 40 miles or so to the west 15:44:22 so is this what google gives results from when i ask "weather in x" 15:44:36 elliott: maybe hth 16:25:14 -!- augur has quit (Remote host closed the connection). 16:27:44 -!- zanna has joined. 16:31:28 hola 16:33:12 `welcome zanna 16:33:14 zanna: 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. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 16:33:38 hola elliott :) 16:36:56 hablas espaol? 16:37:29 cucuracha 16:38:11 oh, that's not the right spelling 16:38:44 i guess i should stick to annoying spanish speakers out loud 16:39:06 perate 16:39:22 cucaracha = rajoy 16:39:47 molesto = tu padre 16:39:53 lengua correcta = amor 16:40:02 fantasma idiota 16:40:25 patatas bravas 16:40:33 tu puta madre 16:40:43 #esoteric.es 16:40:52 algun entendido en esoterismo que hable espaol? 16:40:59 i might not know spanish but i know enough romance roots to be offended 16:42:37 la educacion es igual en todas partes y tu no la tienes 16:43:05 £££ 16:44:23 buenos dias 16:44:32 so zanna what are your feelings on brainfuck derivatives 16:44:59 olvdame 16:45:07 algun entendido en esoterismo que hable espaol? 16:45:49 imo spanish is banned 16:45:52 too far from finnish 16:48:56 internet est hecho para comunicarse con todo el mundo, si tanto te molesta, olvdame. mono ignorante 16:50:41 -!- Tritonio has joined. 16:50:53 -!- Tritonio has left. 16:51:44 -!- variable has quit (Ping timeout: 245 seconds). 16:55:52 algun entendido en esoterismo que hable espaol? 17:04:14 -!- variable has joined. 17:04:14 -!- variable has quit (Changing host). 17:04:14 -!- variable has joined. 17:14:07 zanna, are you actually from spain btw 17:14:13 (this is of vital importance) 17:15:43 zanna: puedo hablar un poquito de español, pero con su actitud, no creo que voy a hacer esfuerzos por hablar con su idioma. 17:36:02 entonces es que no eres entendido en esoterismo boily, no es necesario, gracias 17:40:31 elliott: can I apply my foot on him with a dx/dt of great magnitude? 17:40:49 (or my bot's tentacles, if it is more socially acceptable) 17:41:23 -!- epicmonkey has quit (Ping timeout: 245 seconds). 17:41:41 your bot has tentacles? 17:42:01 of course! 17:45:00 que mal educados 17:45:05 vaya 3 17:45:09 q os jodan 17:45:13 -!- zanna has quit (Quit: IRcap 8.71 ). 17:45:45 but, but... he left without my patented instant podial back massage... 17:46:04 -!- lambdabot has quit (Remote host closed the connection). 17:46:06 (cures sore joints, rheumatisms, and lycanthropy!) 17:52:41 -!- sebbu2 has joined. 17:53:17 -!- sebbu2 has quit (Changing host). 17:53:17 -!- sebbu2 has joined. 17:53:20 -!- sebbu has quit (Ping timeout: 246 seconds). 17:53:23 -!- lambdabot has joined. 17:57:54 -!- augur has joined. 18:17:45 -!- samebcha1e has changed nick to samebchase. 18:17:57 -!- Tritonio has joined. 18:24:15 -!- coppro_ has changed nick to coppro. 18:26:55 -!- Tritonio has quit (Quit: Leaving.). 18:29:27 elliott, why did I think alcohol was a good idea 18:30:26 hey Taneb, what's your address 18:30:41 shachaf, 6 Hexham 18:30:44 i'm postmaster general of hexham 18:30:48 i need to know these things 18:30:53 And I live at number 6 18:31:00 6 Downing Street? 18:31:04 No 18:31:06 Are you the prince of Hexham? 18:31:07 6 Hexham 18:31:26 You should know, you're postmaster general 18:32:22 How will I send you parcels (do you reall call them parcels.......) without knowing your address? 18:32:38 -!- sebbu2 has changed nick to sebbu. 18:33:22 Send them to 6 Hexham 18:33:26 That's where I live 18:34:02 6 Hexham, Washington, Tyne and Wear NE38 0NR? 18:34:15 washington??? 18:34:26 https://en.wikipedia.org/wiki/Washington,_Tyne_and_Wear 18:34:31 No 18:34:34 6 Hexham 18:34:35 Hexham 18:34:41 Northumberland 18:34:43 NE46 6 18:34:47 shachaf: I stand corrected. 18:35:32 `? northumberland 18:35:34 northumberland? ¯\(°_o)/¯ 18:35:42 `? northumbria 18:35:44 northumbria? ¯\(°_o)/¯ 18:35:50 `? elliott 18:35:51 elliott wrote this learn DB, and wrote or improved many of the other commands in this bot. He probably has done other things? He is also tire. And a lystrosaur. 18:36:05 `learn Northumberland may be today a sparsely populated country... but SOON! THE NORTHUMBRAINS SHALL RISE! 18:36:10 I knew that. 18:36:44 -!- Bike has joined. 18:38:00 northumbrains :D 18:38:13 `? lystrosaur 18:38:15 lystrosaur? ¯\(°_o)/¯ 18:39:41 `learn lystrosaurus is a genus of Late Permian and Early Triassic Period dicynodont therapsids, which lived around 250 million years ago. 18:39:45 `paste bin/? 18:39:46 I knew that. 18:39:47 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/%3F 18:41:27 `run ln -s wisdom/lystrosaur wisdom/lystrosaurus 18:41:28 ln: creating symbolic link `wisdom/lystrosaurus': File exists 18:41:33 `run ln -s wisdom/lystrosaurus wisdom/lystrosaur 18:41:41 No output. 18:46:11 -!- epicmonkey has joined. 18:46:22 -!- conehead has joined. 18:50:29 `run echo 'perl -pe '\''s/nooodl/"n@{[o x(5+rand 3)]}dl"/ge'\' > bin/rnooodl 18:50:33 No output. 18:50:45 `run echo nooodl nooodl nooodl nooodl nooodl nooodl nooodl | rnooodl 18:50:47 bash: /hackenv/bin/rnooodl: Permission denied 18:51:21 `run echo nooodl nooodl nooodl nooodl nooodl nooodl nooodl | rnooodl 18:51:23 nooooooodl nooooooodl noooooodl nooooodl nooooooodl noooooodl nooooooodl 18:51:28 -!- augur has quit (Ping timeout: 276 seconds). 18:51:33 excellent 18:52:03 `run echo 'perl -pe '\''s/nooodl/"n@{[o x(3+rand 7)]}dl"/ge'\' > bin/rnooodl 18:52:06 No output. 18:54:50 nodl 18:55:16 -!- heroux has joined. 18:55:23 http://conservapedia.com/Essay:_Overweight_atheists_comedy_and_satire 18:56:18 what 18:57:23 "Unlike atheists, Christians have a great many songs including dance music." 18:58:11 Kim Il Sung was a communist dictator and an obese atheist who died of a heart attack.[1] Kimchi is one of the world's most healthiest foods and very popular among Koreans.[2] Unfortunately for Kim II Song, he ate too much of it. 18:58:24 take that atheism's 18:58:46 ohhh these are all written by that dead guy 18:59:06 Kim Il Sung? 18:59:23 no wait 18:59:29 i guess the dead guy is a different one 18:59:39 "Richard Dawkins, who has been divorced two times, is thin but he is a very abrasive man who often makes women upset." 19:00:32 Taneb: why won't you tell me your mailing address for parcels 19:00:38 http://questionevolution.blogspot.com/2013/05/not-only-do-creationists-win-creation.htm 19:00:42 Lots and lots of repetition here. 19:00:47 -!- Phantom__Hoover has quit (Ping timeout: 260 seconds). 19:01:57 Bike: here's a free l to fix that link for you: l 19:02:22 shachaf, why don't you send the parcel to elliott 19:02:26 In 2011, only two of the Miss USA beauty pageant contestants thought evolution should be taught in schools. Evidently, most beautiful women find the "Argument from beauty" argument for the existence of God to be quite an attractive argument. See: Argument from beauty 19:02:27 He lives at 9 Hexham 19:02:35 Taneb: i already sent a parcel to elliott 19:02:47 10 Downing Street, Hexham 19:02:47 Can you send one to elliott then he can give it to me 19:02:52 Thx 19:02:57 elliott is kind of Hexham btw 19:03:17 Taneb: would you like some Mekupelet btw 19:03:49 oh boy 19:03:58 How will you get it to him? 19:04:01 -!- AnotherTest has joined. 19:04:15 elliott, I'm not sure what that is 19:04:23 dropping it off at a location in a case with a combination lock and then revealing that location and the lock to him 19:04:31 Taneb: it's like cadbury flake but from israel 19:04:31 Hello 19:04:46 Taneb: It's significant better* than Cadbury Flake. 19:04:53 elliott, but I have a cadbury flake supplier! 19:04:58 You do? 19:05:01 He lives in Corbridge 19:05:06 And is called Easty 19:05:06 Taneb: Can you mail me some Cadbury Flake? 19:05:12 shachaf, no 19:05:17 Why not? 19:05:54 Cadbury, isn't that that Egg thing? 19:05:55 Because I only mail things to people in non-coastal US states. 19:06:00 I think no one person is allowed to know both elliott's and Taneb's address for epistemological reasons. 19:06:04 California is worryingly coastal 19:06:22 fizzie, they are a pretty major chocolate company in Britain, now owned by Kraft 19:06:23 fizzie: do you mean uh cadbury creme egg 19:06:30 elliott: Yes. 19:06:40 yes they make those 19:06:47 I had one of those for break fast. 19:07:13 Taneb: Don't worry, I'm thoroughly landlocked. 19:07:20 You can't make a fast without breaking a few creme eggs. 19:07:26 INSUFFICIENTLY FOR MY TASTES 19:07:32 Some of California is coastal. But did you know CA is bigger than .uk? 19:07:36 Bike: is the current or older dairy milk shape better 19:07:37 important questions 19:07:47 I don't know, it was crushed. 19:08:14 Frankly, I only mail things to the American Midwest 19:08:16 shachaf: Taneb only mails things to non-coastal US states, that clearly excludes anywhere in the UK anyway. 19:08:25 -!- Zuu has joined. 19:08:39 Taneb: elliott can pay for postage. 19:08:42 Such as Ohio and Nebraska 19:08:51 shachaf, is California in Ohio? 19:08:53 Huh? 19:08:54 Is it? 19:09:10 California is kentucky. 19:09:13 dodging the important questions i see Taneb 19:09:16 several: http://en.wikipedia.org/wiki/California,_Ohio 19:09:58 Is the Bay Area of California, though? 19:10:13 Tch, moving the shachaffian goalposts 19:10:19 The Bay Area is in California, Ohio. 19:10:32 I only mail to state capitals 19:10:34 The UltraBay area of Laptop, California, Ohio. 19:10:43 Taneb: OK, mail it to Sacramento. 19:10:52 I'll arrange something. 19:10:59 shachaf, Sacramento isn't in the midwest 19:11:09 It's in midwestern California. 19:11:20 does Taneb have me on ignore 19:11:24 https://en.wikipedia.org/wiki/Sacramento,_Nebraska 19:11:29 How come there's no eurovision bot on channel, incidentally? 19:11:33 Taneb: You're not being very coöperative. 19:11:42 I'm confused 19:11:45 there's a eurovision bot? 19:11:51 I am not sure what elliott is asking 19:11:56 I think the old shape was better 19:12:06 I will not mail something to shachaf 19:12:09 elliott: I... I just assumed. 19:12:11 :-( 19:12:19 Taneb: Can you arrange for someone else to mail it to me? 19:12:27 fungot: Are you watching, could you do some botty things? 19:12:27 fizzie: will keep the rofr for new years of the issue that she is not a complete statement or any cftc interpretive center, which is the only two years of option trading knowledge summed up that file accidentally forwarded your form. 19:12:31 I can, but I will not 19:13:08 Why is Taneb cruel? 19:13:12 fizzie: is there a link to an online eurovision stream 19:13:30 elliott, because I have been drinking and now I have alcohol in my system 19:13:31 Well 19:13:35 *shachaf 19:13:36 Aaah 19:13:41 go to bed Taneb 19:13:54 elliott, no 19:13:58 yes 19:14:00 Taneb: have a nice poutine. 19:14:05 don't make me come over there 19:14:15 elliott: eurovision.tv has one, I think. And probably your local broadcast company. 19:14:16 elliott, I am not afraid of you 19:14:18 Taneb: why have you been drinking 19:14:29 real drunks inject alcohol 19:14:41 shachaf, because I felt like finally drinking this bottle of beer I got for my birthday back in November 19:14:46 (The one at eurovision.tv is not country-limited.) 19:15:26 Taneb: Ha ha, silly .ukians with their low drinking age. 19:15:31 Taneb: or better yet, a delicious galvaude (poutine with meat and green peas). 19:15:36 How atypical you are! 19:15:54 -!- Zuu has quit (Ping timeout: 245 seconds). 19:17:13 Taneb: sleep. 19:17:31 Taneb: Also, where in .uk should I move to? 19:17:36 Don't say Hexham. 19:17:41 Durham 19:17:48 dunwich. 19:17:48 It's a pretty city 19:18:31 If you want a job in the programming sector, London or if you're lucky Oxford or Cambridge or maybe Newcastle if you're okay working for Ubisoft 19:18:57 ubisoft are in ncl???????????????????/ 19:19:22 elliott, http://en.wikipedia.org/wiki/Ubisoft_Reflections 19:19:39 shachaf: how about go to strathclyde 19:19:54 um ubisoft is in san francisco 19:19:58 hth 19:20:11 elliott: Are you allowed in Strathclyde without reading a certain paper? 19:20:15 strathclyde, n. glasgow 19:20:16 shachaf: no 19:20:24 you also have to be vaccinated for crime 19:20:32 anyone not immune to crime wouldn't last a night in glasgow 19:20:42 i live in east palo alto 19:20:45 is that good enough 19:20:55 aah! 19:20:59 `quote Glasgow 19:21:01 452) Riots in Glasgow would probably be reported as a sudden drop in crime. \ 608) No you can't fight crime in Glasgow. It's like trying to get rid of the space-time continuum. \ 772) Phantom_Hoover, like Glasgow but nicer So, not like Glasgow at all 19:21:13 shachaf, it is not good enough 19:21:26 Parts of Glasgow have a life expectancy of 32 19:21:30 Is Glasgow actually that bad? 19:21:33 Yeah 19:21:35 It really is 19:21:58 http://i.imgur.com/i5aubQD.jpg is ra el 19:22:07 In 2012 there were 2.7 homicides per 100,000 people in Glasgow. This compared to a 1.67 per 100,000 in London and a rate of 1.0 across the UK as a whole. 19:22:27 In the past, East Palo Alto experienced profound crime and poverty, especially during the 1980s and early 1990s. In 1992, it had the highest homicide rate in the country with 24,322 people, and 42 murders, equaling a rate of 172.7 homicides per 100,000 residents.[6] 19:22:48 -!- simpleirc1 has joined. 19:22:55 Since then the city's crime problems have subsided, and the murder rate in particular has declined to a typical urban level. In 2006, East Palo Alto experienced a comparatively low 6 murders. There were 7 murders in 2007, and only 5 in 2008. According to a 2008 report provided by Chief of Police Ron Davis, violence is on the decline. Davis reports an overall 42% reduction in homicides and a 20% reduction in overall crime between 2006–2008, ... 19:22:56 Glasgow's doing pretty nastily for a place where guns are illegal 19:23:01 ... compared to the previous three years. 19:23:06 http://en.wikipedia.org/wiki/Glasgow_Ice_Cream_Wars 19:23:18 what 19:23:30 `welcome simpleirc1 19:23:33 simpleirc1: 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. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 19:24:01 thanks, bots, I already did 19:25:04 I wonder if irc.dal.net knows about us 19:25:22 Please could you listen to some thought on a language? 19:25:25 -!- carado has quit (Quit: Leaving). 19:25:32 Fire away 19:25:37 Last minute thoughts 19:25:38 ok 19:25:49 take a string of numbers 19:25:54 and a pointer 19:26:16 the pointer can be moved brainf*ck style 19:26:35 and you can TAKE and SWAP values 19:27:07 What does it mean to take or swap? 19:27:32 you first TAKE a value, then move the pointer, then you swap it with the pointers 19:27:59 example 1234 19:28:05 So, it kind of stores the address, and when you swap it swaps the value at that address with the one at the current address? 19:28:07 take 2nd 19:28:15 move left twice 19:28:18 swap 19:28:22 1432 19:28:47 -!- carado has joined. 19:28:49 right 19:28:56 * 19:29:05 sorry for being retard 19:29:06 first, my simulation was O(n). Then, my simulation became O(n^2). Now, my simulation has become O(n^3). 19:29:59 oh, it still worked that way 19:30:15 AnotherTest: just say it's polynomial and be done 19:30:50 you're polynomial hth 19:30:53 (this is not an insult) 19:35:17 elliott: http://i.imgur.com/HQEoZMI.jpg china's crazy hth. 19:35:24 help 19:36:59 -!- FreeFull has joined. 19:37:53 Bike: well it does make a difference for n = 1e9 19:39:24 What do you think is P=NP true? 19:39:49 (prove is also welcome) 19:39:53 *proof 19:39:53 -!- ais523 has joined. 19:40:04 "sure let me get some paper to write it out on" 19:43:02 -!- Zuu has joined. 19:44:22 -!- Zuu has left. 19:50:30 Probably P =/= NP 19:50:56 Proof: No one, just way more probable 19:51:02 which is bad 19:52:26 how can you assign a probability to that 19:53:15 well not knowing what to proof does make things more complicated 19:53:19 *prove 19:53:35 -!- Nisstyre-laptop has joined. 19:53:43 can we stop 19:57:09 -!- Bike has quit (Ping timeout: 245 seconds). 19:59:22 -!- Bike has joined. 20:00:00 -!- AnotherTest has quit (Quit: Leaving.). 20:24:23 I like crawl's source. «The Thing That Should Not Be(tm)». 20:25:43 -!- Bike has quit (Ping timeout: 276 seconds). 20:26:54 -!- epicmonkey has quit (Remote host closed the connection). 20:29:00 boily: the older versions are much worse 20:29:53 -!- epicmonkey has joined. 20:30:33 -!- Bike_ has joined. 20:33:31 -!- `^_^v has quit (Read error: Connection reset by peer). 20:33:45 elliott: I think I stumbled upon some complaints about the nightmare-inducing code quality of the olden versions. 20:33:46 -!- hogeyui__ has quit (Ping timeout: 240 seconds). 20:34:11 -!- hogeyui__ has joined. 20:36:20 -!- Taneb has quit (Read error: Connection reset by peer). 20:37:38 -!- impomatic has quit (Read error: Connection reset by peer). 20:45:25 -!- simpleirc1 has quit (Remote host closed the connection). 20:49:21 -!- simpleirc1 has joined. 20:50:32 -!- simpleirc1 has quit (Remote host closed the connection). 20:51:45 -!- simpleirc2 has joined. 20:54:31 -!- Bike_ has changed nick to Bike. 20:57:14 copumpkin: Are you around -blah by any chance? 21:03:33 -!- Bike has quit (Ping timeout: 248 seconds). 21:03:55 hichaf 21:04:08 hellogan international airport 21:07:35 KMCDAFIFKing Khaled Military City, SA 21:08:01 kmc is a king now? 21:08:09 All right, someone come up with a function that has a local maximum at every rational number. 21:08:16 the king of mcs 21:08:26 A continuous one, that is. Heck, an analytic one. 21:08:26 -!- Bike has joined. 21:09:04 tswett: you wimp. non-analytic functions mean that you're a grown, virile man! 21:09:10 * boily flexes his non-existent muscles 21:09:20 boily: they're also really easy to come up with. 21:09:33 -!- impomatic has quit (Ping timeout: 252 seconds). 21:09:44 Let s be some smooth function that vanishes outside of (0,1) such that s(1/2) = 1. 21:10:00 Add a bunch of ss together and boom, there's your function. 21:10:01 -!- carado has quit (Ping timeout: 246 seconds). 21:10:41 tswett: also, an FM radio signal is non-analytic in a very infuriating way. 21:11:55 hmm, I want beer but I have no clean glasses ... is it ok if I use a tea mug, or would that seem desperate? 21:12:04 -!- `^_^v has joined. 21:12:12 olsner: drink from the bottle/can? 21:13:12 I think there's some kind of rule that you "can't" drink weissbier from the bottle 21:15:24 oh. hm. well, don't you have any plasticwares? bowls? aquariums? tubs? vats? ladles? vases? 21:24:38 if you "can't" drink a certain beer from the bottle i think that implicitly also means drinking it from a tea mug isn't "allowed" either 21:31:37 or, there's always the logical but unappealing solution: clean one of your glasses. 21:32:14 that's just ridiculous 21:32:33 -!- augur has joined. 21:32:56 what I will do is crash early 21:33:52 I've drank (American rendition of) weissbier out of a bottle. 21:33:58 I just don't give a fuck. :P 21:34:00 -!- augur has quit (Remote host closed the connection). 21:34:24 oh, great, it's going to be -1 degrees tomorrow morning 21:34:37 -!- augur has joined. 21:35:30 -!- augur has quit (Read error: Connection reset by peer). 21:35:43 -!- augur has joined. 21:42:06 -!- augur has quit (Ping timeout: 256 seconds). 21:43:45 kmc: the other day i found out that i live near a combination pizza hut and taco bell 21:43:53 i didn't know things like that actually existed 21:46:07 -!- kallisti has joined. 21:46:07 -!- kallisti has quit (Changing host). 21:46:07 -!- kallisti has joined. 21:46:43 14:33 < pikhq_> I've drank (American rendition of) weissbier out of a bottle. 21:46:45 oops. 21:46:53 http://i116.photobucket.com/albums/o33/Nedraed/Nukesites_zps5f983fae.png "Scotland: Who Cares" 21:47:39 stupid lying comments. in a function with a different name in a different file, that has different logic and arithmetic. 21:48:09 elliott: crawl's code still has a looooooong way to go to attain something vaguely sane. 21:50:31 shachaf: nice 21:50:35 shachaf: i've been to the one from the song 21:50:43 i tried to meet lexande there but his bus was late 21:51:36 I've never been to Taco Bell. 21:51:49 I don't think I've been to Pizza Hut in the US. Possibly in .il. 21:51:53 shachaf: they also have combination Taco Bell / KFC, combination KFC / Pizza Hut, and combination Pizza Hut / Taco Bell / KFC 21:52:28 hmm, I almost went to a taco bell once, but went to something on the other side of the street that I don't remember what it was 21:52:40 I remember being confused about whether it was "pizza hot" (because it was hot pizza) or "pizza hat" (because the logo looks like a hat). 21:52:43 http://upload.wikimedia.org/wikipedia/en/thumb/d/d2/Pizza_Hut_logo.svg/200px-Pizza_Hut_logo.svg.png 21:52:50 boily: what are you even doing 21:53:13 I probably wasn't aware of the word "hot" at the time. 21:53:28 elliott: I finally found the actual function that computes the actual real experience you get from killing yourself a monster. 21:53:58 hut sounds like swedish for hat, so for me it's obviously pizza hat 21:53:58 boily: stepdowns 21:54:57 elliott: stepups, stepsides, and steps that would fit in the abyss. 21:59:57 -!- Bike has quit (Ping timeout: 256 seconds). 22:03:49 Once I almost went to a Quiznos, which I understand is somewhat like Subway, but they were closed. 22:03:58 -!- Bike has joined. 22:04:55 -!- boily has quit (Quit: flblblblblblblblblblblblblblblzglurgle). 22:04:58 Once I went to the subway and then went out an hour later on the other side of the city. 22:05:22 -!- metasepia has quit (Remote host closed the connection). 22:08:38 -!- augur has joined. 22:09:57 i like quiznos 22:10:09 their sandwiches are a bit more interesting than subway's 22:10:18 http://25.media.tumblr.com/6f5a88dd19217ca981c5ab44047f5ec1/tumblr_mmt0ebXJYk1qz9aeqo1_500.png 22:12:16 lol 22:12:16 -!- augur has quit (Remote host closed the connection). 22:12:42 -!- nooodl_ has quit (Ping timeout: 256 seconds). 22:12:43 749 buzzfeed lists that will make you feel old 22:28:28 -!- Phantom__Hoover has joined. 22:29:49 is that spaniard still hurling abuse at me 22:33:09 i liked the jokes that people were making after buzzfeed ran some koch brothers ad 22:33:22 17 Cats That Hate Obamacare 22:33:37 25 Arrested Development GIFs That Prove Poor People Are Lazy And Stupid 22:34:04 * shachaf looks up buzzfeed 22:34:07 BuzzFeed has the hottest, most social content on the web. We feature breaking buzz and the kinds of things you'd want to pass along to your friends. 22:34:07 Phantom__Hoover: what was up with that dude btw 22:35:20 idk 22:35:27 i'd be pretty pissed if i was from spain 22:35:29 -!- epicmonkey has quit (Ping timeout: 245 seconds). 22:35:36 would probably take it out on those more fortunate than myself 22:43:53 kmc: someone i was handing out food to at the food bank today said that kids had to work for meals when she was young. mildly surreal 22:44:02 at the food bank? 22:45:07 it's a thing where you can get free food and stuff if you're bad off. 22:48:02 i mean, did kids have to work at the food bank 22:48:04 or do you just mean in general 22:48:52 no i mean, i was at the food bank, handing food out to a woman, and she said that back in her day, kids had to work for their meals. she lived on a farm so i assume she had that in mind 22:49:10 ah 22:49:47 better than the woman who broke down crying because the utilities people cut her water, though 22:50:02 :/ 22:50:33 I got the supervisor out and I think she arranged for an emergency temporary return of services, so that was a... mildly happy ending 22:50:36 http://programmingisterrible.com/post/50421878989/come-here-and-work-on-hard-problems-except-the-ones 22:50:39 that's good 22:52:00 i have a vague idea that there could be a place for programming people in designing logistics plans for food banks 22:52:05 "In California, there isn’t a conflict between being a Capitalist, and a Liberal" i like the implication that liberalism has ever anywhere been anti-capitalist 22:52:08 or if not that, making sure the printer works consistently 22:52:21 ("uh bike that's engineering not CS") 22:52:48 wow equating CS and "programming people" now!! 22:52:54 !!!!! 22:53:04 remember that "liberal" means something totally wacky in the US 22:53:09 kmc: reminds me of a de long post where he basically said the whole large corporation thing we've got going now is central planning that works 22:53:24 kmc: it means something even more capitalist in the US! 22:53:27 so now i can't stop thinking of the US as bizarro-socialist (help) 22:53:33 Bike: interesting, although many large companies aren't so centrally planned internally 22:54:06 it was also written in 1997 and included the line "it seems unlikely that Apple will survive its current crisis" 22:54:09 haha 22:54:13 well, it was unlikely 22:54:27 apple is weird 22:54:32 a lot of companies fuck up the central planning and go bankrupt or through some other crisis 22:54:34 i have no idea what crisis was referred to, being too young, but it's amusing nonetheless 22:54:39 it'd be bad if that happened to soverign states on a regular basis 22:54:45 Bike: the crisis was "not having steve jobs" 22:55:43 that's quite a crisis. 22:56:12 kmc: i'll find the post again, but the idea was equating corporations to enterprises rather than countries, so like, the kamchatka iron factory board, not the soviet union. 22:56:16 the solution was "make the iMac" 22:56:25 ok 22:56:32 http://delong.typepad.com/sdj/2013/05/brad-delong-1997-the-corporation-as-a-command-economy.html 22:57:33 Bike: the difference is that the US has freedom, obviously 22:57:40 the missing ingredient!!! 22:58:08 de long isn't a moron, thankfully 22:58:36 Bike: ah, but i am 22:58:56 but you're not american 22:59:01 you have to talk about thatcher or something instead 22:59:16 man nobody wants to talk about thatcher 23:00:03 british conservatives don't blather on about her? (like americans do with teh reagan) 23:00:18 it's kind of complicated 23:00:20 but by nobody i meant me 23:00:23 imo, ask Phantom__Hoover 23:00:55 -!- carado has joined. 23:02:33 Bike, the british working class are more receptive to being fucked over than the american one, i guess 23:02:54 that's... impressive 23:03:05 *perceptive of, that should be 23:03:12 it was better beforehand 23:03:15 because you were stating the impossible 23:05:32 > "ꙮ!" 23:05:32 mueval: recoverEncode: invalid argument (invalid character) 23:05:33 "\42606!" 23:05:40 take thatmbdabot 23:05:42 http://en.wikipedia.org/wiki/White_Rajahs alright, it's official, britain isn't possible. 23:18:44 http://i.imgur.com/tzLvybH.jpg 23:26:53 c.c 23:28:42 explosions just replace a big circle of land with a crater right 23:29:12 that's how it works in Worms 23:29:22 in worms things bounce too 23:29:35 (what's The Point here, is it 'we should just nuke the middle east and get it over and done with' 23:29:36 ) 23:30:32 no idea 23:34:05 shachaf: I am now