00:00:12 it's like MBTI except basically t he same as MBTI 00:00:18 http://www.dejavu.org/1995win.htm 00:01:21 but I like being an INFP 00:01:24 Sgeo: that's the same theme as adequacy.org. makes u think 00:01:34 Fiora: well i like being melancholic!!!!! 00:01:49 myers.briggs-- 00:01:50 are you trying to be 00:01:55 humorous 00:02:07 help 00:02:18 :3 00:03:05 :³ 00:03:08 help 00:03:12 what does ":3" even mean 00:03:22 * ion helps. hth 00:03:34 in my mind it's like a cute innocent "what did i do" cat face 00:03:38 i might be using it wrong 00:03:49 it's a lot of things 00:03:50 that's how i see it 00:03:53 thx fiora 00:04:06 Thanks, Fiora. Theora. 00:04:13 `thanks fiora 00:04:15 Thanks, fiora. Thiora. 00:04:18 oh theora is that codec 00:04:20 yes 00:04:21 * Bike Gets the Joke 00:04:24 Ogg Fiora 00:04:27 Thanks, Fiora. H.264. 00:04:43 Nanny Ogg Fiora???? 00:05:08 why is everyone saying thanks? @_@ 00:05:18 Have you seen Look Around You? 00:05:19 kmc: no that's about right. I think 00:05:20 because it's thanksgiving 00:05:24 Fiora: You need to see Look Around You. 00:05:25 somewhere in the world 00:05:40 every day is thanksgiving in #esoteric 00:05:48 Bike: oh geez. that thanks thing just reminded me of this :/ 00:05:49 http://www.youtube.com/watch?v=wDajqW561KM 00:05:58 Thanks, giving. Thiving. 00:06:11 Fiora: http://www.dailymotion.com/video/x68y4g_look-around-you-module-2-water_fun hth 00:06:21 I saw the calcium one 00:06:34 the water one has the genesis of thanks in it 00:07:01 thenesis 00:07:14 Fiora: congratulations? 00:07:30 nooooo I'm not shinji 00:07:39 so is that why everyone hates evangelion then 00:07:52 ew is that dubbed in english 00:07:54 Bike: https://www.youtube.com/watch?v=2KH2gc11XQU 00:07:56 yeah, evangelion would be way improved by making Fiora the protagonist 00:08:30 lots of things would be improved by making Fiora the protagonist 00:08:42 mnoqy: good, good 00:08:49 like Macbeth 00:09:04 mnoqy: did you see the super mega update btw,,,, there was a super mega update 00:09:09 shachaf: yes i saw 00:09:19 did you see it before or after i `smlisted 00:09:27 yes 00:09:39 I don't think I'd do a good job in a shakespearean tragedy <_> 00:09:44 -!- ais523 has quit. 00:09:49 shaxpear 00:10:19 do you think someone's made a parody of shakespeare with shaquille o'neill 00:10:25 mnoqy: the QUESTION is if you saw it before i `smlisted why didn't you tell me................... 00:10:40 Fiora: well if you were the protagonist it wouldn't be a tragedy hth 00:11:22 wait am i mixing macbeth up with another play 00:11:40 help 00:11:40 maybe 00:11:43 how would we know 00:11:51 also, hot potato pop is scotch, puck will make amends 00:11:53 macbeth is the one where macbeth kills everyone and then dies 00:12:02 spoiler alert 00:12:16 i hear macbeth is the one with macbeth in it 00:12:23 it's the one in scotland 00:12:23 The One Where Macbeth Kills Everyone 00:12:24 "mafipulation" 00:12:24 that's like 80% of his tragedies anyway let's be real 00:12:28 isn't macbeth in all of them 00:12:42 i should read titus andronicus 00:12:49 sinc it's gorier than a tarantino film apparently 00:13:22 also i think macbeth was partly written as propaganda or something 00:13:25 but do the characters stand around talking about fast food when they aren't murderkilling 00:13:42 the worst kind of killing 00:14:05 kmc: well they have monologues 00:14:12 also have you seen http://www.runleiarun.com/lebowski/ 00:14:15 they have puns 00:14:26 monologue and epilogue 00:14:32 yeah. now if only shakespeare had a foot fetish 00:14:36 THE JOKE IS MONOMORPHISM AND EPIMORPHISM HTH 00:14:44 kmc: awesome 00:15:01 shachaf: I've actually played um. about two games where the protagonist is vaguely fiora-like? or at least kind of felt that way 00:15:06 i came so close to googling shakespeare fetish 00:15:14 didn't he have a thing for older women though 00:15:29 Fiora: Or maybe you became those-games'-protagonists-like 00:15:39 seems likely. 00:15:39 fioroid 00:15:53 Phantom_Hoover: i know jack shit about shakespeare's performance. someone call an english major 00:16:08 Fiora: anyway lots of games are all about identifying with the protagonists and wish fulfillment and "all that jazz" 00:16:20 what would an english major be doing on freenode 00:16:35 well, they were games with like, well-defined characters 00:16:36 being driven out by horrible nerds, imo 00:16:38 as opposed to blankslateish ones 00:16:40 Fiora: so what were the games 00:16:47 were they 00:16:49 Bike: atelier ayesha and atelier totori, surppriiiseee 00:16:49 japanese 00:17:05 shocking 00:17:13 Fiora, why are they both named after the french for workshop 00:17:14 I only spent like literally weeks fangirling or something 00:17:24 Phantom_Hoover: they're about alchemists. 00:17:27 atelier is a series where you play as an alchemist 00:17:29 also "atelier" is used in english sometimes!!! 00:17:53 i could identify really identify with pac-man 00:18:00 a lot of character depth there imo hth 00:18:17 the only characcters i identify with are terrible people 00:18:18 s/identify // 00:18:22 maybe is hould play games with princesses 00:18:33 play atelier meruru! the protagonist is a princess 00:18:43 truly pacman is representative of the human condition 00:19:01 i never know if i'm identifying with characters or broad stereotypes 00:19:02 "If Pac-Man had affected us as kids, we'd all be running around in dark rooms, munching pills and listening to repetitive electronic music." 00:19:08 the traumatic personal influence of sheldon 00:19:35 I might be clinging to "characters who are vaguely similar" since I have so few options anyways :/ 00:19:39 oh! at orientation i saw a guy with a "Bazinga!" t-shirt. 00:19:40 fyi 00:19:47 also do you know the reason it was renamed from "Puck-Man" for US release was because they realized every machine would immediately be vandalized to say "Fuck-Man" 00:20:03 oh, was he named after pück 00:21:02 "If [[Pac-Man]] had affected us as kids, we'd all be running around in [[rave|dark rooms]], munching [[MDMA|pills]] and listening to [[Electronic dance music|repetitive electronic music]]." 00:21:14 i enjoy Wikipedia's "explain the joke" role 00:21:36 bless you wikipedia 00:21:42 |{protagonists who are girls}| is small, |{protagonists who are girls}∩{protagonists who are quieter, shy, and/or less assertive}| is smaller 00:21:48 blikipedia 00:22:06 good use of set notation. 00:22:12 I am such a dork :/ 00:22:23 and yeah i was gonna say (re: "were they japanese") that you're not exactly Faith (nb. have not played mirror's edge) 00:22:45 I should totally play mirror's edge though 00:22:52 I actually like have it on steam from a summer sale for like a dollar or three 00:22:54 and I still haven't played it 00:22:59 heh 00:23:02 it's apparently `not that good' but it might be fun 00:23:03 but Radiant Historia is fun 00:23:18 i do want to try the idea though, i love running around games 00:23:36 i've never heard anything bad about mirror's edge really :/ 00:23:41 I think opinion on it is kind of split? I've heard a lot of people kind of loved it 00:24:30 while others were like oh no it's not about shooting people!!! and you have to be a ~girl~ and they have cooties gosh no 00:24:30 i might have moved in different circles of criticism 00:24:42 yeah maybe 00:24:42 i hadn't read the version of Two Gentlemen of Lebowski that has footnotes explaining the "shakespearean" language 00:24:44 okay maybe I am being a bit too unfair <.< 00:24:45 most excellent 00:24:49 i played Mirror's Edge 00:24:50 kmc: awesome 00:24:59 it's worth a dollar or three for sure 00:25:03 the errant signal guy was pretty critical of the crowbarred shooting and i read this complete evisceration of the plot once 00:25:19 i didn't finish it but i had some fun 00:25:19 isn't the plot like, shiny 1984 00:25:22 it can cause motion sickness 00:25:26 hopefully for 2 they'll be given more creative control 00:25:40 yeah it's set in some kind of ultra-clean dystopian police state 00:25:44 like singapore lololol 00:25:51 if mirror's edge 2 is more about the arab spring mode of protest that would be kinda cool 00:25:54 ~topical~ 00:26:54 i understand that it's not very obviously dystopian though 00:27:03 this was one of the things the guy did not like 00:27:16 isn't that like, the point of an ultra clean police state 00:27:37 if a flimsy plot doomed a game to be "eviscerated" I would expect like, every reviewer ever to eviscerate call of duty or something 00:27:38 i think by chapter 2 or 3 the politicians are framing your friend for murder 00:27:38 what 00:27:47 what if i just linked to the thing 00:27:52 i don't remember exactly but uh, it seemed pretty obviously dystopian to me 00:28:07 the whole conceit is that these badass parkour couriers exist because electronic communications are all tapped 00:28:10 i thought 00:28:11 http://www.chocolatehammer.org/?p=750 <- "the thing" 00:28:15 whatever, buy it, play it, don't puke 00:28:28 but it's vastly more important that Phantom_Hoover buy System Shock 2 00:28:29 (this is kind of why I don't like game reviewers much, I kind of feel like they come up with an opinion of a game, and then create lots of justifications for why they didn't like it or liked it, after the fact) 00:28:34 Fiora: call of duty's plot is hilarious though 00:28:40 Fiora: yep! i feel that way about most reviews of things actually 00:28:45 it's so much deeper than "russia invades so we can reenact the cold war" 00:28:53 it's the whole "~rationality~" thing of like 00:28:53 and by deeper i mean lol 00:28:59 Fiora: like every review of Season 4 of Community has to talk at length about how the show is Not The Same after Dan Harmon left 00:28:59 it's not really a review but w/e 00:29:03 I am rational, so I use rationality and logic to justify my arbitrary personal feelings 00:29:03 and it isn't 00:29:16 but also it seems like they were going to say that no matter what 00:29:20 "Did that seem confusing or vague? It did?" er not really 00:29:28 reading good reviews of things you like is great though! 00:29:41 "And come to think of it, does the government really have such a tight grip on everything that rebels can only communicate by snail mail transported by Cirque du Soleil? I mean, I’m no tech expert, but I’m pretty sure there’s some type of electronic communication that can’t be easily intercepted." i um 00:29:46 ummmmmm 00:29:49 XD 00:29:54 i assume he means crypto 00:29:56 Bike: I still like. gosh, the parody xbox one presentation by that australian dude 00:30:26 Phantom_Hoover: man you live in a country where the police can arrest you for not giving up your keys :/ 00:30:29 Fiora: the what? 00:30:40 Bike: i assume they can do that in most countries, with a valid subpoena 00:30:43 Bike: http://www.youtube.com/watch?feature=player_embedded&v=KOxdMQhDMIU#t=2m45s 00:30:47 (just that 5 seconds) 00:30:56 also HOLA NSA 00:31:13 Fiora, that guy 00:31:13 hola kmc 00:31:14 isn't english 00:31:28 she said australian! 00:31:29 i was reading http://en.wikipedia.org/wiki/Russian_political_jokes yesterday 00:31:36 there are some really fucking funny ones 00:31:38 fuck 00:31:39 my headcanon is that this is actually how everyone in the world sees american shooter game type things 00:31:41 he's not australian 00:31:45 oh 00:31:58 headcannon 00:32:07 oh. he's not? darnit <.< 00:32:25 kmc: i meant http://en.wikipedia.org/wiki/Regulation_of_Investigatory_Powers_Act_2000 00:32:29 i'd almost forgotten about the english/australian confusion 00:32:31 i don't think they need warrants for a lot of it 00:32:52 but i don't live in the UK or know about it really. 00:32:56 also: russian jokes own. 00:33:19 also recently i realised i can tell between australian and new zealand accents 00:33:21 that was good 00:33:32 Fiora: oh lol that. 00:33:34 me too although i don't know if i can tell 'real' ones or just stereotyped ones 00:33:35 dogs 00:33:45 "america's in trouble! and... guns." 00:33:47 dogues 00:34:03 also I learned today that "to squizz" is .au english for "to look at / read / examine" 00:34:11 sounds like something much more gross to me 00:34:38 how do those australians do it 00:34:42 «The principle of socialist economy of the period of transition to communism: the authorities pretend they are paying wages, workers pretend they are working. Alternately, "So long as the bosses pretend to pay us, we will pretend to work." This joke persisted essentially unchanged through the 1980s.» ok well that's depressing 00:34:43 upside down 00:35:00 communism: zero failure modes 00:35:36 "No my friend, we will not live long enough to see communism, but our children... poor children" 00:35:58 Phantom_Hoover: how do I tell the difference between english and australian accents ._. and what about the english in australia and australians and england and agh 00:36:10 omg this one 00:36:12 "Communism was a humour-producing machine. Its economic theories and system of repression created inherently funny situations. There were jokes under fascism and the Nazis too, but those systems did not create an absurd, laugh-a-minute reality like communism." 00:36:21 Three men sit in a jail in (KGB headquarters) Dzerzhinsky Square. The first asks the second why he has been imprisoned, and he says, "Because I criticized Karl Radek." The first man responds, "But I am here because I spoke out in favor of Radek!" They turn to the third man who has been sitting quietly in the back, and ask him why he is in jail too. He responds, "I'm Karl Radek." 00:36:42 Fiora, 'they sound different' i guess? i dunno 00:37:04 alternate between british comedies and something australian i guess 00:37:56 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 00:38:26 Bike: http://danbooru.donmai.us/data/sample/sample-3d41a11efe619c8899f6594ce6ab2242.jpg ooooh so that's the one this was referencing. I get it now 00:38:38 this just reminds me that i know people who say 30s USSR was fantastic, blergh 00:38:49 Fiora: lol 00:39:05 Fiora: wasn't that a parody of maoist PRC? 00:39:25 it was a two-part comic, the first part was the soviet union 00:39:30 the second part was maoist PRC 00:39:31 oh, good 00:39:48 oh 1953 was stalin's death 00:40:19 -!- sprocklem has quit (Remote host closed the connection). 00:40:52 unfortunately i have now lost my familiarity with scottish accents 00:41:29 aren't you scottish 00:42:10 yes but i go to university in england 00:42:11 unrelatedly i'm watching a boardsofcanada promotional video that seems to be entirely static 00:43:20 i guess that's the same as the albums 00:43:29 30s USSR was probably pretty good if you're an urban industrial worker and not being arbitrarily purged by stalin 00:44:07 i guess. i'm guessing these jokes were popular, though... 00:44:13 yeah 00:45:18 "Jokes about Khrushchev are often related to his attempts to reform the economy, especially to introduce maize. He was even called kukuruznik (maizeman)" it's weird how corn wasn't a thing in the old world, man 00:46:02 are cornflakes actually made with corn 00:46:08 it's weird how many european countries are associated with a national cuisine that couldn't exist in the pre-columbian era 00:46:17 tomatoes in italy, potatoes in ireland 00:46:25 coffee too, right? 00:46:26 http://en.wikipedia.org/wiki/Communism_in_20_years it's great how this sounds exactly like transhumanism 00:46:28 chocolate definitely. 00:46:34 -!- pikhq has quit (Read error: Operation timed out). 00:46:37 communism in 20 years, fusion power in 30 00:46:41 kmc: according to my book on burma corn got so popular so fast that it is and was considered native 00:46:57 they didn't have tobacco in old europe either 00:46:59 right 00:47:15 "A follower of Sylvester Graham, the inventor of graham crackers and graham bread, Kellogg believed that spicy or sweet foods would increase passions." the invention of cornflakes 00:47:16 Bike: meaning what 00:47:22 yeah fuck that guy 00:47:45 kmc: meaning if you asked a burmese farmer where corn came from they'd probably say their ancestors had been farming it for millenia. 00:47:45 http://en.wikipedia.org/wiki/File:Chute_tobacco.JPG tbh not sure what this guy is smoking is tobacco 00:47:48 Bike: haha 00:47:49 -!- pikhq has joined. 00:48:07 i like how traditions are so often untraditional~ 00:48:21 corn is pretty cool. if you've invented nixtamalization i guess 00:48:27 also how the fuck did people come up with stuff like that 00:48:40 dude have you seen the grain corn evolved from? 00:48:43 let's mix some lye and ash into this food and see if it becomes better 00:48:44 i don't even know how people came up with corn 00:48:45 good plan bro 00:48:49 -!- loleilo22 has joined. 00:48:49 Bike: which one is that 00:48:54 teosinte 00:49:05 http://en.wikipedia.org/wiki/File:Teosinte_Jalisco.jpg look at this shit! 00:49:08 "yes, let's farm this" 00:49:23 hmm 00:49:33 i'm just saying there was a fucking crazy mesoamerican agriculturalist back in the day 00:49:35 how much of guns germs and steel is bullshit 00:49:47 a lot of it 00:49:48 -!- loleilo22 has left. 00:50:23 https://en.wikipedia.org/wiki/File:Corncobs.jpg pretty 00:50:35 (i haven't read it but) from what i understand anthropologists usually consider it to overemphasize geography (because, written by geographer) and they largely don't like geographic determinism, though they do think geography is important obviously 00:51:01 and iirc his numbers on spread of different crops are basically pulled out of his ass. 00:51:33 kmc, each kernel is actually fertilised individually so you can actually use cobs as really neat demonstrations of mendelevian genetics 00:51:39 really 00:51:40 awesome 00:52:02 there are even two sets of really obvious dominant/recessive traits 00:52:18 one time my parents accidentally crossed edible corn and indian corn 00:52:26 good demonstration of plant breeding (none of the result was edible) 00:52:45 -!- Frooxius has quit (Read error: Connection reset by peer). 00:52:56 are your parents... farmers? 00:52:58 -!- Frooxius has joined. 00:53:17 wannabes 00:53:29 it was just a backyard garden 00:53:51 -!- pikhq_ has joined. 00:53:54 lightweights 00:54:03 (are american farmers all the american version of posh?) 00:54:24 -!- pikhq has quit (Ping timeout: 256 seconds). 00:54:25 i lived down the street from the Pioneer Hybrid experimental corn farm 00:54:53 well there's lots of kind of american farming, there's industrial farming and there's my neighbors, you know? 00:55:03 i wouldn't describe either as posh 00:55:31 in new hampshire and vermont it seemed like a lot of people had basically a suburban house with a small farm, near other suburban houses 00:55:33 can you be posh if you know how to operate and repair combine harvesters 00:55:41 yes 00:55:51 bigger and more farm-shaped than what you would call a 'backyard garden' and they had some livestock too 00:55:57 but not enough to live from solely 00:56:09 the only tory area in scotland is the one with lots of farmers and not much else 00:56:26 you could buy eggs at the store and they would have a handwritten label saying whose chickens they came from and you could go there and say hi to the chickens probably 00:57:06 whereas I grew up near a bunch of big industrial farms with buildings very far apart that can only be worked by expensive machines 00:57:28 also the industrial pig lots 00:57:30 smell fucking awful 00:58:08 aiui pigs aren't really inherently dirty, but they aren't picky either 00:58:35 i eat eggs from chickens that live in my backyard. am i posh 00:58:40 no 00:58:44 that's p. cool 00:58:45 how many do you have 00:58:47 that's a middle-class thing, for sure 00:58:59 it's a middle class thing and also a yuppie thing 00:59:02 six 00:59:06 how often do they lay 00:59:19 they used to all lay once a day but they don't any more 00:59:22 we're gonna slaughter 'em soon 00:59:24 ok 00:59:41 hatch an egg from each of them!! 00:59:50 going to grow oyster mushrooms at the new place, not any chickens though probably 00:59:55 «A frightened man came to the KGB. "My talking parrot disappeared." "This is not our case. Go to the criminal police." "Excuse me. Of course I know that I have to go to them. I am here just to tell you officially that I disagree with that parrot."» 00:59:56 you need a rooster for that PH 01:00:00 Phantom_Hoover: roosters are the actual worst though 01:00:23 you're a biologist! work something out! 01:00:51 you can't have a rooster in a (sub)urban area 01:01:19 "My wife has been going to cooking school for three years." / "She must really cook well by now!" / "No, they've only reached the part about the Twentieth CPSU Congress so far." 01:01:28 we're not suburban, we just don't want to deal with roosters >_> 01:01:38 the neighbors' are already annoying enough 01:01:39 how far is the nearest other house 01:01:41 heh 01:01:45 do you... live in the country 01:01:48 i do 01:02:04 also you're in WA, are you going to start growing cannabis 01:02:08 does the climate there support it 01:02:18 i don't know where cannabis grows actually 01:02:23 the climate here is basically: wet 01:02:28 i have a video about how to grow weed indoor; it seems like a pretty fun project; I kind of wish I'd done it when I was in college and the risks were minimal 01:03:36 Yeltsin's aide approaches him and says, "Mister President, two guests are here to see you: the Pope, and the director of the International Monetary Fund. Who shall I show in first?" Yeltsin thinks for a moment, then says: "Show in the Pope; at least I only have to kiss his ring." 01:04:05 bike, these are terrible 01:04:17 mo like awesome 01:04:43 yeah you can grow pot in WA i'm pretty sure 01:04:50 kmc: i think the main obstacle to growing weed right now is that the licensing system isn't implemented yet 01:04:55 a lot of it is grown in norcal (it's 1/3 of the economy in mendocino county) 01:05:04 well, main legal obstacle 01:05:05 and the #1 cash crop statewide 01:05:13 http://www.nwpr.org/post/indoor-marijuana-grows-could-hamper-seattles-climate-change-goals 01:05:15 wait. why did i even ask about the climate? they already grow tons of weed up the road 01:05:55 kmc: that's like the most seattle thing i've ever seen. 01:06:04 says outdoor grows are easier east of the cascades 01:06:15 east of the cascades is basically all farms, so 01:07:01 it's near-desert, the contrast with the west here is kinda neat. 01:08:09 cool 01:09:33 the school i'm going to is in the east too, it's farm school as fuck 01:11:52 to get there i took this road: http://en.wikipedia.org/wiki/Washington_State_Route_26 which had like three towns in seventy miles, which i took mostly at 100 mph 01:16:15 nicu 01:16:17 nice* 01:16:54 http://labs.spotify.com/2013/06/18/creative-usernames/ 01:20:45 8but do they support SNOWMAN WITHOUT SNOW? 01:22:41 wow, that's a nasty attack 01:23:21 yep 01:23:56 kmc: did you read the hunting of the snark 01:23:58 no 01:24:01 ok 01:24:10 can you even reliably fold case across languages 01:24:13 should i paste 12 lines of it in here........................ y/n 01:24:16 that seems lie it might be intractable 01:24:18 n 01:24:26 y not 01:24:36 Bike, turkish, for one 01:24:37 that;s a lot of lines 01:25:19 http://www.w3.org/International/wiki/Case_folding#Turkish_i.2FI_etc. that doesn't seem hard 01:25:34 i guess this is called "normalization", oops 01:27:02 it seems like the least hassle would just be having people pick an account and display name separately and make the account name publicly accessible 01:27:07 that paper i read on burmese unicode involved things like using zero-width spaces to mark syllable boundaries... optionally 01:27:22 Phantom_Hoover: and the account name has to be ascii? 01:27:34 that's what twitter does i guess 01:27:39 yeah 01:28:06 * kmc wonders what kind of awesome username he would pick on a site that forced Cyrillic usernames 01:28:06 it's not ideal but it does work 01:28:16 give everyone a meaningless ID number, and then have a displayed name? 01:28:28 kmc: i call "Кракозя́бры" 01:28:36 Bike: but when you log in you need to provide some ID 01:28:44 yeah 01:28:44 well yeah 01:28:56 make people remember the number ("but that sucks" "so does everything") 01:29:10 http://www.gutenberg.org/files/13/13-h/13-h.htm hth 01:29:15 Bike, that's what AW does... not for a particularly good reason though, Unicode names weren't supported until 5.0 01:29:15 for people who just flat out don't know ascii you could have a 'create random name' button and tell them to remember it 01:30:02 so same as mine. 01:30:02 Bike: shitty UX 01:30:02 UX? 01:30:05 user xperience 01:30:13 aw :( 01:30:25 He had bought a large map representing the sea, / Without the least vestige of land: / And the crew were much pleased when they found it to be / A map they could all understand. "What's the good of Mercator's North Poles and Equators, / Tropics, Zones, and Meridian Lines?" / So the Bellman would cry: and the crew would reply / "They are merely conventional signs! 01:30:27 sorry but consumer apps will always choose the pleasant UX over the move that theoretically makes certain security holes go away 01:30:30 it's like, i already have my SSN and uni ID# memorized, why not pile more onto that 01:30:31 "Other mps are such shapes, with teheir islands and capes! / But we've got our brave Captain to thank:" / (So the crew would protest) "that he's bought us the best— / A perfect and absolute blank!" 01:30:34 oops 01:30:41 oh and my phone number i guess 01:30:45 basically i hate everything. 01:30:46 two lines got merged into one line "sry" 01:30:50 by lines i mean verses 01:31:14 (are there keyboards without ascii readily accessible on them?) 01:31:22 the whole of ascii? 01:31:26 i can't type control characters 01:31:30 yes 01:31:30 Uh, yes you can. 01:31:36 That's what the Control key is for. 01:31:37 i started saying ascii instead of latin a while back 01:31:46 and i've kind of committed 01:31:56 oerjan: ban Phantom_Hoover hth 01:31:59 -!- Bike has quit (Read error: Connection reset by peer). 01:32:07 help why 01:32:15 well 'latin' could include a lot of diacritis and stuff 01:32:20 -!- Bike has joined. 01:32:21 or just all of ISO-8859-1 01:32:27 'english' :P 01:32:42 Phantom_Hoover: but yeah if you have a turkish keyboard or whatever and you don't need "c" it's not gonna be obviously there 01:32:43 ofc. if you're going to be a pedant that still includes non-ascii characters 01:33:31 i think japanese keyboards maybe usually only allow fullwidth input i dunno 01:33:56 i still have a 40 bit WEP key from 2005 memorized 01:34:10 http://en.wikipedia.org/wiki/File:800px-KB_Thai_Kedmanee.png 01:34:11 I still have a list of words from third grade memorized. 01:34:13 We all memorized them! 01:34:28 wow, not even arabic numbers 01:34:44 Maybe this problem would be better attacked by psychologists... 01:34:56 have them figure out what can be (a) easily typed (b) easily remembered (c) not easily guessed? 01:35:12 binyan chevel matos orev falafel bateriyot kfitz dam nechashim chol maghetz prachim shvil yeled savta 01:35:19 why do you not want it guessed... 01:35:27 I bet every classmate I had in third grade remembers that list. 01:35:32 well that's for passwords since that's what i was complaining about earlier. 01:35:41 oh 01:35:47 Oh, on that note. I got my password reset! I called in and recited my ID# and birthdate. 01:35:50 p. secure 01:36:07 (do unicode passwords end up being messy? i mean i can't see there being any problems) 01:36:21 WEP is so bad 01:36:36 Phantom_Hoover: there's a lot of potential for false negatives on the password check 01:36:39 is WEP the one that's super easily crackable 01:36:46 i always get it confused with WPA 01:36:52 you have to normalize to prevent that 01:37:02 and users might still include invisible characters by mistake 01:37:09 Bike: yeah it's the one 01:37:17 they used RC4 with a 24 bit IV 01:37:20 kmc, i'm working on the assumption that people probably aren't going to use crazy alternate glyphs for their own passwords 01:37:23 -!- pikhq_ has quit (Ping timeout: 240 seconds). 01:37:25 "For a 24-bit IV, there is a 50% probability the same IV will repeat after 5000 packets." 01:37:32 Phantom_Hoover: they might use different computers and different input modes though 01:37:36 yeah that was pretty great. 01:37:38 -!- pikhq has joined. 01:37:44 > 1.2 * sqrt (2^24) 01:37:46 4915.2 01:37:47 zomg it works 01:37:51 how much scope for difference is there with input modes 01:37:54 For instance, in ISO 8859-1 the letter 'ç' can only be represented as the single character E7 'ç', but in a Unicode encoding it can be represented as the single character U+00E7 'ç' or the sequence U+0063 'c' U+0327 '¸'. In HTML it could be additionally represented as ç or ç or ç (five equivalent representations in total). 01:38:03 This is in the web report on normalization; seems like a pretty good example 01:38:08 yeah 01:38:17 isn't that 1.2 * sqrt n thing p. great 01:38:19 imo yes 01:38:32 why 1.2? 01:38:34 what? 01:38:35 and i "h8 apprxmtions" 01:38:38 is this a fake logarithm 01:38:43 > sqrt (2^24) 01:38:44 4096.0 01:38:56 > 1.2 * sqrt 365 01:38:57 22.925967809451357 01:39:13 why is unicode so fond of alternate glyphs anyway 01:39:15 It's the birthday probability thing for a 50% chance of collision when there are N days. 01:39:24 Phantom_Hoover: round trip compatibility with legacy encodings 01:39:50 this design goal is perhaps regrettable, but it's very useful sometimes 01:39:59 what's it useful for 01:40:04 I don't remember the exact derivation... 01:40:04 for example it means your programming language can have a single type for "text", and only think about encodings on input and output 01:40:10 oh 01:40:22 more useful than computer manipulation of some characters being ridiculously fiddly? 01:40:40 compared to (say) ruby where the bytes making up a string are observable, and the encoding is stored as metadata that can be inaccurate 01:41:03 Ruby 1.9 is much better than 1.8 about things. 01:41:17 i'm not sure you could handle "text" generically in any way that isn't fiddly as hell 01:41:24 aren't the cool kids using 2.0 now 01:41:37 Did Ruby do the dumb thing and kill call/cc yet? 01:41:45 yeah I have to imagine you would need some notion of normalization even without the legacy encoding design goal 01:41:52 for example what about the order in which combining chars are applied 01:42:01 ooh that was in the burma thing too. 01:42:10 Ruby killed callcc and then brought it back, 01:42:12 s/.$/./ 01:42:15 the normalization scheme involved the pagelong regex i mentioned eariler. 01:42:31 "good scheme" 01:44:10 "an EBCDIC style sheet being directly applied to an ASCII document, or a font specification in a Shift_JIS style sheet directly used on a system that maintains font names in UTF-16" the horror...... 01:44:52 i like the hacks where XSS sanitization becomes ineffective if you convince the user to switch their browser to Shift-JIS 01:45:05 if an attacker does, I mean 01:45:42 have we considered, like, abandoning the concept of writing 01:45:44 for security reasons 01:46:15 remember the stripe ctf thing where we had different solutions 01:46:35 we can just communicate with hand gestures and grunting 01:46:38 mine was embedding inside some json text 01:47:01 i don't remember your solution 01:47:14 was your solution the fact that there was a bug in the ctf and it just gave you a cookie with secret information 01:47:23 Bike, no 01:47:31 imo we should consider it. 01:47:36 attackers might punch people 01:47:42 that was my solution shachaf 01:47:57 i didn't know about the trick at the time 01:47:59 good solution 01:48:05 you solved three levels that way right 01:48:13 i don't think so 01:48:18 hmm 01:48:22 Phantom_Hoover: we have robust security protocols for dealing with that though! (shooting them) 01:48:23 i think that was the only one where I didn't get the "right" solution 01:48:23 they mentioned that three levels had that bug 01:48:27 ah 01:48:30 v. powerful attack imo 01:48:36 it's super effective 01:48:50 i wonder if "..." -> "…" could count as normalization 01:48:53 do you identify with the main character in unicode 01:48:59 Bike, attackers might goad users into punching them 01:49:11 do you identify with the main character in main is usually a function 01:49:20 Phantom_Hoover: entrapment!! 01:49:46 hey kmc you're all about mushrooms right 01:49:51 can you make booze with them 01:50:08 Menlo Park, CA, United States 06/18/2013 6:27 A.M.Out For Delivery 01:50:16 where are my books..........did they die 01:50:47 «In some of the following examples, '¸' is used to depict the character U+0327 combining cedilla, for the purposes of illustration. Had a real U+0327 been used instead of this spacing (non-combining) variant, some browsers might combine it with a preceding 'c', resulting in a display indistinguishable from a U+00E7 'ç' and a loss of understandability of the examples. In addition, if the sequence c + combining cedilla were present, ... 01:50:53 ... this document would not be include-normalized.» help 01:50:56 shachaf: what books 01:51:11 fictional books 01:51:17 they're full of things that never actually happened 01:51:41 oh 01:51:54 unless they're double-fictional 01:52:05 kmc: Did you switch to tmux yet? 01:54:51 -!- sprocklem has joined. 01:57:20 http://www.bitpremier.com/items/view/37 01:58:27 shachaf: i switched, now i've switched back to screen mostly 01:58:31 because screen stopped segfaulting 01:58:52 Phantom_Hoover: i don't know about that 01:58:56 will ask a friend one sec 01:59:15 kmc: but what about 1D74F MATHEMATICAL BOLD ITALIC PARTIAL DIFFERENTIAL [𝝏] 01:59:36 apparently the protein content makes them useless for it 01:59:43 1D7C7 MATHEMATICAL SANS-SERIF BOLD ITALIC PHI SYMBOL [𝟇] 01:59:56 1D7A5 MATHEMATICAL SANS-SERIF BOLD ITALIC CAPITAL PHI [𝞥] 02:00:01 oh my god. 02:00:02 good codepoints 02:00:10 what have you wrought, unicode. 02:00:15 yay my books 02:00:17 why is it not CAPITAL PHI SYMBOL 02:00:19 so many questions 02:01:18 ugh 02:01:20 Phantom_Hoover: she thinks it's unlikely 02:01:29 people who stick those stickers on the backs of books..................... 02:01:51 mushrooms don't contain much carbohydrates and when they do, it's usually something like trehalose that generally can't be digested 02:01:56 kmc: you in CA now? 02:02:05 copumpkin: not yet; leaving next thursday 02:02:05 kmc, damn 02:02:10 dwarf fortress is ruined now 02:02:22 what happened in df 02:02:36 Someone posted a huge thing about it in the subreddit? 02:02:48 copumpkin: You should come visit! 02:02:50 kmc: already have a job or gonna look for one there? 02:02:52 shachaf: the worst 02:02:52 sounds like they are sometimes used as additives in beer 02:02:53 I have no idea how that ruins it, but hey 02:02:58 copumpkin: I'm going to be working at Mozilla 02:03:00 shachaf: I'd love to :P competing interests 02:03:03 oh yeah, forgot 02:03:03 working on Servo, the new browser written in Rust 02:03:08 should be fun times 02:03:13 new browser huh 02:03:14 cool :) 02:03:18 excitin 02:03:22 what part will you be working on, do you know 02:03:37 Bike: yeah, well, it's just a new rendering engine for now, and they've just progressed to the point where you can, like, click on links 02:03:40 so it's still early days 02:03:40 is it big enough that people are working on "parts" 02:03:55 but they are pretty serious about it eventually being a real thing 02:04:11 shachaf: I think I'm like the second or third full time paid employee working on Servo specifically 02:04:16 most of the dev to date has been done by the Rust team 02:04:24 also it's all open source so they have various others contributing 02:04:32 a bunch of people at Samsung are contributing to Rust and Servo now 02:04:41 lolrust 02:04:52 also why does kmc have +v 02:05:00 seized it in a bloodless coup 02:05:06 (all stranglings) 02:05:11 I feel like this is unhfairly discriminating against mutes 02:05:18 coppro: what do you think of rust 02:05:29 kmc: I think it needs to actually be thought about 02:05:32 rather than just built 02:06:52 mozilla seems like a fantastic place to work 02:07:16 also they pay... quite well, especially for being a non-profit 02:08:41 :O 02:08:45 omg monies 02:09:10 what funds them? 02:09:21 the google mafia 02:09:55 google pays them mad cash to have google be the default search engine in firefox 02:10:06 soon capitalism will be replaced by the "get google to pay you" economy 02:10:08 lol 02:10:10 basically yes 02:10:19 wait, that's it? 02:10:23 that's most of their revenue yeah 02:10:26 holy shit 02:10:33 they have similar partnerships with other search engines in other countries 02:10:35 i know right? 02:10:36 don't they employ hundreds of devs? 02:10:53 On 20 December 2011 Mozilla announced that the contract was once again renewed for at least three years to November 2014, at three times the amount previously paid, or nearly US$300 million annually.[11][12] Approximately 85% of Mozilla’s revenue for 2006 was derived from this contract. 02:10:59 in their recent deal with google they got 3x the previous rate, thanks to a bidding war between google and msft 02:11:00 wow 02:11:06 that's crazy 02:11:08 yeah they have over 600 employees total 02:11:11 and like a dozen really nice offices 02:11:13 totally stable business model, there 02:11:25 mind blown :) 02:11:38 the current contract is locked in until november 2014 02:11:43 and they think that if google stops paying, they can get other companies easily 02:11:48 unless FF market share takes a nosedive of course 02:11:52 so they care a lot about that ;P 02:11:56 does opera make any money that way 02:11:58 I see why google's putting a lot of weight behind chrome :) 02:12:09 where's google get its revenue anyway. is it ads like seems obvious or do they sacrifice children or what 02:12:13 mostly ads 02:12:23 or so they say... could be laundering money from child sacrifices 02:13:09 I pay good money to watch gruesome child-death 02:13:22 don't y'all? 02:13:23 Google Royale 02:13:40 google's whole business model is about providing services to get more people on the web, and giving stuff away for free so that nobody else can charge for it 02:13:41 copumpkin: no more than five dola 02:13:53 because they are the best at ads 02:14:00 kmc: that sounds really cynical when you put it that way 02:14:06 they don't care if you use gmail or some other webmail that also serves google ads ;P 02:14:16 Bike: *shrug* google gotta get paid 02:14:23 can't fault them for being a for profit company 02:14:32 i mean it's not surprising, i just hadn't thought of it that way 02:15:11 this is why they made Android; Apple was on the way to a smartphone monopoly, and if they had that monopoly they could start to undermine Google's whole deal 02:15:19 because the Apple model is about paying for content in a walled garden 02:15:47 I mean if Apple had such a monopoly they could chip away at the very idea that search and maps etc. should be ubiquitous free services 02:16:21 what if a company comes around with a model based on ads being a free service 02:16:25 !!! 02:16:31 ¡¡¡ 02:16:36 doom 02:16:36 YES 02:16:39 oh no 02:17:00 Petronius the Arbiter is a good name for a cat. 02:18:22 While still a kitten, all fluff and buzzes, Pete had worked out a simple philosophy. I was in charge of quarters, rations, and weather; he was in charge of everything else. But he held me especially responsible for weather. Connecticut winters are good only for Christmas cards; regularly that winter Pete would check his own door, refuse to go out it because of that unpleasant white stuff beyond it (he was no fool), then badger me to open a ... 02:18:28 ... people door. 02:18:31 He had a fixed conviction that at least one of them must lead into summer weather. Each time this meant that I had to go around with him to each of eleven doors, hold it open while he satisfied himself that it was winter out that way, too, then go on to the next door, while his criticisms of my mismanagement grew more bitter with each disappointment. 02:19:14 `addquote doom YES oh no 02:19:18 1054) doom YES oh no 02:21:15 Bike: haha Google Royale 02:21:30 that reminds me I should watch The Internship, that terrible movie / 2 hour ad for Google that came out recently 02:21:36 lol really 02:22:01 have you considered all the alternatives you have to watching it 02:22:04 such as not watching it 02:22:24 what's it about 02:22:31 beyond "an internship" i guess 02:22:35 what... is google royale 02:23:09 it's about two old guys who have to compete with a bunch of Kids These Days for an internship at google 02:23:10 pun on Battle Royale 02:23:20 that 02:23:22 which is a japanese movie about kids killing each other 02:23:25 is the opposite of a pun 02:23:34 your mom is the opposite of a pun 02:28:27 Do there, in fact, exist programmers that know what they're doing? 02:28:27 so i just realized that STEM means basically nothing. how do i deal with this 02:28:34 nobody knows what they're doing 02:28:37 people don't know things 02:28:39 folk psychology 02:28:44 i know what i'm doing 02:28:49 but also so do most people, roughly 02:29:04 the two sides of the debate 02:29:11 the truth is in the middle 02:29:14 obviously 02:29:39 kmc: no the truth is obviously to one side 02:29:43 (try applying your doctrine now, hah) 02:30:07 the truth is in the 1/4 or 3/4 position 02:30:19 The truth has an asymtotic curve towards one side. 02:31:22 what 02:31:32 that doesn't make sense Sgeo 02:31:43 the truth doesn't make sense 02:31:54 you can't handle the truth 02:31:57 you don't make snes 02:32:24 Truth is center, truth is a side, truth is somewhere between those two except it's to one side, so let's go between those except it's to a side, so... 02:32:40 is that a song lyric 02:32:54 i hope so 02:32:59 otherwise 02:33:00 same 02:33:01 sgeo... 02:33:06 same 02:33:15 I was under the impression that this entire conversation was silly... 02:33:56 whoa 02:38:19 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 02:42:49 -!- Gregor has quit (Ping timeout: 260 seconds). 02:42:56 -!- Gregor has joined. 02:43:14 -!- sprocklem has quit (Quit: Leaving...). 02:43:31 -!- sprocklem has joined. 02:53:06 if you're moving to California you have to inspect all of your stuff for gypsy moths 02:53:29 i guess 02:53:38 this didn't happen the first time I moved to California 02:54:06 haven't they always been strict about invasives? when we drove down there a couple years ago they stopped us at the border to search for oranges 02:54:46 heh 02:59:02 szechuan pepper used to be banned for import to the US because it can carry a citrus disease 03:13:42 How thorough is the inspection? 03:14:02 it's a self-inspection 03:14:04 we had to open containers and stuff 03:14:09 for the guard 03:14:32 also it's not everything, they have a checklist mostly of stuff that is stored outside, camping gear, things like that 03:18:39 Bike: what do you mean by "STEM means basically nothing" 03:18:56 well, what's it supposed to include? 03:19:33 science, technology, engineering, and math 03:19:58 there are some grey areas, that doesn't mean it's meaningless 03:20:04 that's a very STEM attitude ;) 03:20:20 @quote formalist 03:20:20 SaulGorn says: A formalist is one who cannot understand a theory unless it is meaningless. 03:20:21 hardy har. But I mean, the NSF and others define it differently, etc 03:21:51 yeah but their definitions are not totally divergent right 03:22:15 one's a subset of the other, i guess 03:22:41 did this observation come out of a more specific inconsistency between them? 03:23:12 well, the reason i was thinking about it is that computational neuroscience counts me as STEM at school, even though i don't think biosciences generally do 03:23:21 programming is cool because it's variously considered S, T, E, or M and people will argue forever about which it is 03:23:27 how is bioscience not science 03:23:33 hell if i know 03:23:40 that's very weird 03:23:43 who says it isn't? 03:23:59 maybe it's because of that thing where like, "STEM" tends to mean whatever the speaker thinks of as ~real sciences for real men~ type of thing 03:24:05 "The NSF uses a broader category to define STEM subjects which includes subjects in the fields of Chemistry, Computer and Information Technology Science, Engineering, Geosciences, Life Science..." 03:24:25 yeah 03:24:42 after all bioscience can't be nearly as hard as building daily deals sites in rails 03:24:43 US ICE doesn't list straight biology as STEM, looks like 03:25:01 like is sociology a STEM? 03:25:03 I mean it's science 03:25:07 is psychology science enough? 03:25:30 NSF and ICE list it 03:25:34 or economics? I mean that's math, right? it's like. where do you draw the line? 03:25:47 (man why does the DHS even have this list. immigration policy is so fucked) 03:25:56 Bike: i know right 03:26:14 "welp you got your degree and could start a lucrative business now so GET THE FUCK OUT OF THE COUNTRY" 03:26:27 "Digital Communication and Media/Multimedia" is STEM 03:26:39 i don't really have an opinion on whether social science should be included in "STEM" 03:26:41 i just... don't care 03:26:57 well mostly i think that like, the whole policy it's based around is pretty stupid regardless 03:27:12 it depends on context i'm sure. like people often talk about getting young kids interested in STEM, and in that case it's more about some fundamental skills that are applicable in lots of fields 03:27:15 like what's the idea? we need more engineers but not more doctors so let's put more money into engineering education? 03:27:16 like, you know, math 03:27:24 and about making it seem exciting 03:27:43 Bike: what's wrong with that kind of government policy 03:27:56 if you think their reasoning for needing more engineers is wrong, that's one thing 03:28:07 well it might work if you were more specific, but just science in general seems pretty vague? 03:28:15 you could just fund postsecondary education at that point 03:28:26 there are a lot of things that are clearly not STEM 03:28:31 i dunno 03:28:35 culinary sciences 03:28:37 is that STEM? XD 03:28:41 'molecular gastronomy' 03:28:49 wow they list four different "Computer Programming" programs 03:28:51 i hear that term was invented to secure space at a scientific conference 03:29:00 Fiora: no, but food science is 03:29:14 "food science"? 03:29:30 no idea, this just has names 03:29:57 Ceramic Sciences and Engineering 03:30:06 (this is all the list for immigration) 03:30:24 aw yiss they list mechatronics. i need to get in on that 03:31:22 `welcome Gracenotes to california 03:31:24 Gracenotes: to: california: 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.) 03:31:25 Packaging Science. ????? 03:31:35 There. That's how you welcome people! 03:32:12 What do air, cars, laptops, plants, knee-replacements and lunch have in common? They all can be and are packaged! Students majoring in packaging science learn all about the design, engineering, science, innovation, research and business that make up this diverse industry. For more then 20 years, Clemson has been thinking outside of the box and producing career-ready graduates who are ready to solve the problems of tomorrow. Clemson is ... 03:32:18 ... one of just seven schools in the U.S. that offer a degree in packaging science. Our program is unique as it blends together biology, chemistry and physics so when you graduate you can fill a need within industry. Since this is a very hands-on major, you’ll get to work with package design and graphics, food and health care packaging and advanced materials. 03:32:51 "outside of the box" I GET IT 03:33:08 that's the kind of thinking you'll learn in this program, kmc 03:33:21 □ 03:33:30 Amazon hired package scientists to design its new ecofriendly packaging tape, I'm sure 03:33:36 i wonder what the hell biology has to do with it though. 03:33:50 more like ▣ 03:33:50 like... dealing with rotting, maybe? 03:34:02 i like how WHITE SQAURE is black on my terminal 03:34:13 typo* 03:34:42 Strategic Intelligence is STEM... that sounds like a military thing 03:34:56 General Intelligence is too and i have no idea what that is. can you major in being smart? 03:35:27 http://i.imgur.com/ggZ5yAJ.png ok when it comes down to it, I'm a pretty immature guy 03:36:01 What do you call a function when for any x there's some n such that f^n(x) = f^{n+1}(x)? 03:36:05 really need to petition for combining penis again 03:36:34 hm, good question. 03:37:49 Bike: character is already in use http://achewood.com/index.php?date=07022008 03:38:56 all i can think is that it's not continuous which isn't really helpful 03:39:23 kmc: i'll start the petition right away 03:39:25 Why not continuous? 03:39:34 so iterating on every input eventually reaches a fixed point? 03:39:38 rather than some kind of cycle 03:39:45 or infinitely flying off somewhere 03:39:58 there's probably a term for this in chaos theory / dynamical systems 03:40:03 that's where i would look anyway 03:40:31 Right. 03:40:55 yeah it's sort of like a limit set but not 03:42:05 "eventually idempotent" is a term that comes to mind... 03:42:48 Oh, apparently someone else has used that term, too. 03:43:00 http://linguistics.berkeley.edu/~phorum/pdf/roa_823.pdf 03:43:15 ew linguistics :'( 03:50:47 -!- jix has quit (*.net *.split). 03:50:47 -!- kmc has quit (*.net *.split). 03:50:49 -!- samebchase has quit (*.net *.split). 03:50:49 -!- Gracenotes has quit (*.net *.split). 03:51:59 -!- Bike has quit (*.net *.split). 03:51:59 -!- Frooxius has quit (*.net *.split). 03:51:59 -!- ion has quit (*.net *.split). 03:52:43 -!- jix has joined. 03:52:43 -!- kmc has joined. 03:52:43 -!- samebchase has joined. 03:52:43 -!- Gracenotes has joined. 03:52:43 -!- ?unknown? has set channel mode: +v kmc . 03:53:46 -!- Bike has joined. 03:53:46 -!- Frooxius has joined. 03:53:46 -!- ion has joined. 03:54:00 -!- jix has quit (*.net *.split). 03:54:01 -!- kmc has quit (*.net *.split). 03:54:03 -!- samebchase has quit (*.net *.split). 03:54:03 -!- Gracenotes has quit (*.net *.split). 03:54:03 shachaf: i checked with a dynamics guy and he couldn't think of a special term for it... 03:55:41 -!- jix has joined. 03:55:41 -!- kmc has joined. 03:55:41 -!- samebchase has joined. 03:55:41 -!- Gracenotes has joined. 03:55:41 -!- ?unknown? has set channel mode: +v kmc . 03:55:50 I will continue to use "eventually idempotent", then. 03:56:13 yeah, seems descriptive enough. 03:57:39 seems good except in a setting where you already have an important notion of time 03:57:50 True. 03:57:54 Maybe you could say that there aren't any cycles of period > 1. 03:58:30 that is necessary but not sufficient for an infinite codomain 03:58:42 oh, duh, yeah. 03:58:55 i made the same mistake :) 03:59:30 oh, biodegradable packaging :) 03:59:42 er? 03:59:54 is what biology has to do with packaging science 04:00:00 yeah that's what i was thinking 04:00:15 kmc: model checking is "p. cool huh" 04:00:37 shachaf: i think so, haven't done any in a long time tho 04:00:54 keep-the-food-fresh packaging "the biology is for what the heck is that food doing in there what makes it spoil" 04:01:02 have you looked at Alloy? http://alloy.mit.edu/alloy/ 04:01:07 it's like model checking but not 04:01:09 interesting stuff 04:01:16 ??model checking but not?? 04:01:19 kmc: a monad is like a biodegradable package hth 04:01:24 >_< 04:02:18 imo all packaging should come pre-inoculated with oyster mushroom spawn 04:02:54 Apparenty, PHP is case-insensitive for functions, but case-sensitive for variables. 04:03:00 or maybe a monad is like a room where the walls keep moving in and you can't escape and you get crushed 04:03:06 why am i doing the thing i hate 04:03:12 Sgeo: probably so that constants work? 04:03:34 Sgeo: hilarious 04:03:44 i.e. somebody really wanted a variable called $_post 04:04:08 imo death to php 04:04:11 I,I casein-sensitiive 04:04:20 s/ii/i/ 04:04:28 Why is my keyboard producing double letters? 04:04:36 It started when I spilled some liquid in it. 04:04:44 I think? I never noticed it before. 04:04:50 I mean, I don't have an opinion in the great case-insensitive vs case-sensitive debate, but I think straddling the line is probably the worst of the options 04:04:53 Or maybe I'm making things up. 04:05:10 Is there a name for the golden mean fallacy applied in the situation where the mean is in fact the worst possible option? 04:05:19 Sgeo: very courageous of you to suggest that php does something badly 04:05:24 in here 04:05:51 Sgeo: i would describe that result as 'worst of both worlds' but that doesn't specifically invoke the fallacy 04:06:45 kmc, that phrase also implies that it's the negative features of each side that are prominent, when it's really just the inconsistency 04:06:50 hmm 04:06:51 true 04:07:19 'shifting the overton window in programming languages' would be a good title for probably a bad article 04:07:26 Also, there has to be something worse. Maybe case-sensitive if compilation starts on an even second of the minute, case-insensitive otherwise? 04:07:30 :) 04:08:43 it could be an interesting article but i don't have any ideas on how to actually do that so i won't write it 04:09:16 CoYoneda . Is = (->) 04:09:18 isn't that great ht 04:09:20 h 04:10:14 what are some good non-functor types to give to CoYoneda 04:14:10 :t Is 04:14:11 Not in scope: data constructor `Is' 04:14:11 Perhaps you meant `In' (imported from Lambdabot.Plugin.Haskell.Eval.Trusted) 04:14:28 wait that was dumb. oh well 04:14:31 is that your leibniz equality thing agai 04:14:32 n 04:14:35 no 04:14:38 just gadt equality 04:14:41 ok 04:14:43 well it doesn't matter here 04:14:49 @let data Is a b where Refl :: Is a a 04:14:49 Parse failed: GADTs is not enabled 04:14:54 elliott................... 04:15:06 @let data Is a b = (a ~ b) => Refl 04:15:06 Parse failed: TypeFamilies is not enabled 04:15:12 lol 04:15:12 elliott.......................................................... 04:15:27 Well, it hardly matters. 04:15:36 Yes, it's Leibniz equality. 04:15:44 by elimination :) 04:15:54 @let newtype Is a b = Is { subst :: forall p. p a -> p b } 04:15:54 Parse failed: TypeOperators is not enabled 04:16:04 elliott.............................................................................................................................................................................. 04:16:23 you already knew typeoperators wasn't enabled. 04:16:39 what does TypeOperators have to do with it? 04:16:42 I wasn't using TypeOperators. I was using RankNTypes. 04:16:48 I think it isn't seeing forall as a keyword. 04:16:53 (And instead seeing . as an operator.) 04:16:54 i thought you used it before, o well 04:17:07 try ∀ instead, hth 04:17:46 Ȁ 04:17:47 help 04:17:51 hjälp 04:18:08 ḧël̈p̈ 04:18:24 what language uses LATIN CAPITAL LETTER A WITH DOUBLE GRAVE 04:18:44 imo all of them 04:18:46 a dead language hth 04:19:05 (THE JOKE IS GRAVE) 04:19:08 (DOUBLE GRAVE) 04:19:11 (BECAUSE IT DIED) 04:19:12 more like, the joke is dire 04:19:13 (TWICE) 04:19:25 has shachaf finally snapped? tune in next week 04:19:29 theres a double joke whereby "hth" is a dead horse (RIP) 04:19:46 oerjan: ban mnoqy hth 04:22:57 when does a monqy become a mnoqy 04:28:20 where the heck other than the US do you have a program in "Joint Command Task Force Systems"; relatedly i'm feeling pretty bitter how much of the immigration "STEM" is military 04:28:37 sigh 04:28:54 i bet in german they have a single word for that 04:28:55 -!- pikhq has quit (Ping timeout: 268 seconds). 04:29:03 but is it any shorter 04:29:10 there's also "Undersea Warfare" which is definitely onewordgermanic 04:40:22 -!- TeruFSX has quit (Ping timeout: 256 seconds). 04:46:52 (I was originally wondering about the idempotence thing because of that creative-usernames thing, for what it's worth.) 04:47:40 oh. heh. 04:47:54 ah yeah 05:04:51 `welcome´ 05:04:52 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: welcome´: not found 05:06:34 -!- carado has quit (Ping timeout: 256 seconds). 05:12:54 «For example, finding all occurences of «homogenos» [sic] allowing two errors in a one megabyte bibliographic text takes about 0.4 seconds on a SUN SparcStation II, which is about twice as fast as running the program egrep (which will not find anything because of the misspelling)» programmers sure are cheeky sometimes 05:13:08 «We actually used this example and found a misspelling in our text.» 05:20:45 sun sparcstation ii..sounds aight.. 05:21:08 fastest chip in the west 05:21:11 mnoqy: what does "aight" mean 05:21:22 a(lr)ight with a sexy accent 05:21:42 what does "a(lr)ight" mean 05:24:28 what does anything mean 05:28:19 alalr(1)ight 05:58:53 -!- sprocklem has quit (Remote host closed the connection). 06:10:23 -!- myndzi has quit (Read error: Operation timed out). 06:10:23 -!- surma has quit (Read error: Operation timed out). 06:10:23 -!- Deewiant has quit (Read error: Operation timed out). 06:10:23 -!- FireFly has quit (Read error: Operation timed out). 06:10:23 -!- glogbot has quit (Ping timeout: 252 seconds). 06:10:29 -!- esowiki has joined. 06:10:32 -!- glogbot has joined. 06:10:33 -!- esowiki has joined. 06:10:34 -!- esowiki has joined. 06:15:20 -!- FireFly has joined. 06:35:03 -!- sebbu2 has joined. 06:38:25 -!- sebbu has quit (Ping timeout: 246 seconds). 06:38:45 -!- comex has quit (Quit: Coyote finally caught me). 06:46:20 -!- Taneb has joined. 06:54:20 Hey, I remember reading that thing. From agrep something, right? 06:54:37 Yeah. 07:08:15 kmc: good mmap bug 07:08:25 thx 07:08:56 'more of a ptrace bug imo' 07:10:06 'well yes' 07:10:17 'but mmap is shorter than ptrace and communicated what i meant just as well' 07:10:24 -!- epicmonkey has joined. 07:10:27 'which was "a bug involving mmap", not "a bug in mmap"' 07:10:28 * kmc wonders if the freebsd ptrace interface is saner than the linux one 07:10:33 iirc os x's is even worse 07:10:34 these savings are now wasted on this metadiscussion 07:11:06 In OS X ptrace can't do half the things you want it to, right? 07:11:11 So there's some Mach-specific API. 07:11:11 someone was telling me how OS X doesn't (or didn't) provide a way to ptrace the child after a fork 07:11:14 right 07:13:08 would unboxed sum types improve ghc 07:13:47 maybe 07:13:51 would unboxed lazy vectors improve ghc 07:14:02 how do you do unboxed lazy? 07:14:57 -!- comex has joined. 07:26:59 -!- conehead has quit (Quit: Computer has gone to sleep.). 07:28:14 imagine a function that e.g. returns a Maybe not actually allocating anything 07:28:42 what a wonderful world such would be 07:29:19 the best of all possible worlds 07:29:27 Maybe 07:29:57 eq :: (Typeable a, Typeable b) => Maybe (Is a b) 07:30:02 Should I push for that in base? 07:31:04 Anyone know a basic sparse array representation I can learn quicklike? 07:31:20 is it "basically a hash table" 07:32:04 It's an array of (index, value) tuples. 07:32:36 radix tree hth 07:33:16 -!- sebbu2 has changed nick to sebbu. 07:35:02 uh, using what for branching? ranges? 07:35:36 Branching? 07:35:47 of the tree. 07:36:00 um, i was thinkin the keys would be integers, not strings, so. 07:36:09 integers = strings of bits hth 07:36:23 i guess that's ranges 07:36:25 that hs 07:43:26 -!- comex has quit (Quit: Coyote finally caught me). 07:43:46 whoa, dude, free -h 07:44:37 youre welcome 07:45:37 Bike: my idea for unboxed lazy arrays is that each cell is either a pointer to a thunk or an unboxed value 07:45:44 so they are sized to the larger of the two 07:45:49 and you have a bitmap or something to tell you which is which 07:45:59 kmc: could you implement that reasonably without changing ghc itself 07:46:14 the main problem would be the gc i guess? 07:46:17 if the unboxed value is smaller than a pointer then you can avoid taking up extra space for that bitmap 07:46:48 Bike: for your sparse array how about a trie 07:48:10 radix tree = trie with an optimization for long prefixes 07:48:33 yeah, i'm doing a radix tree 'cos of that. 07:48:35 IntMap is an example 07:48:48 ok 07:49:21 have you seen Data.Map's code it's too scary :'( 07:49:27 shouldn't code like this be simple or something :'( 08:04:03 what's a good way to get the position of the least significant bit not shared by two integers, i'm blanking 08:04:18 read Hacker's Delight, hth 08:04:28 right zero count of the xor i guess? 08:04:30 xor them and then yep 08:04:59 one am is not the time to be reading hacker's delight, i think 08:05:12 gcc Built-in Function: int __builtin_ffs (unsigned int x): Returns one plus the index of the least significant 1-bit of x, or if x is zero, returns zero. 08:05:24 ffs indeed 08:06:19 wait, isn't that the same as builtin_ctz 08:06:28 oh except for the defined zero 08:06:33 oh yeah 08:06:42 and uh plus one probably 08:06:43 god i'm tired 08:07:08 http://en.wikipedia.org/wiki/Count_trailing_zeros how convenient 08:07:10 @oeis 1,2,1,3,1,2,1,4 08:07:40 Plugin `oeis' failed with: <> 08:07:52 wow, this is in posix? i had no idea 08:08:23 -!- surma has joined. 08:08:31 me either 08:08:33 ok posix has ctz but not clz 08:08:34 that's cool 08:08:35 wtf 08:09:41 http://en.wikipedia.org/wiki/Blackfin reading this stuff takes you to weird places 08:09:53 http://www.vintage-computer.com/vcforum/showthread.php?37827-Greetings-from-GE-Canada 08:09:54 (this has hamming weight as an instruction, apparently) 08:10:02 ONES 08:10:21 kmc: well i'm terrified. 08:10:33 http://www.theregister.co.uk/2013/06/19/nuke_plants_to_keep_pdp11_until_2050/ 08:11:03 Bike: me too, but I'm also glad they don't rewrite it every 2 yeras 08:11:11 granted 08:11:17 it seems like a weird thing to commit to, though 08:17:14 -!- itsy has quit (Ping timeout: 256 seconds). 08:23:01 `slist just now 08:23:06 slist just now: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 08:26:40 our nuclear power plants are 100% agile, we use node.js and scrum methodology 08:27:46 kmc no ;_; 08:30:59 -!- comex has joined. 08:32:06 -!- nooodl has joined. 08:35:07 -!- FreeFull has quit (Quit: gotta go). 09:06:07 -!- Bike has quit (Ping timeout: 246 seconds). 09:11:56 Help I think I'm building GHC as a stress relief 09:12:34 No! I must stop! 09:12:46 * Taneb breathes 09:18:39 -!- Koen_ has joined. 09:19:29 -!- Koen_ has quit (Read error: Connection reset by peer). 09:19:41 -!- Koen_ has joined. 09:20:29 -!- Koen_ has quit (Client Quit). 09:21:34 Taneb: how does building GHC relieve stress? 09:21:55 olsner, I realised it doesn't, so I stopped 09:22:06 ah, makes sense 09:57:25 -!- cpressey has joined. 10:03:59 https://github.com/aardappel 10:04:22 http://catseye.tc/node/The%20Aesthetics%20of%20Esolangs.html 10:06:02 and i haven't heard anything more from jsvine so i'll assume he didn't get anything publishable out of the interview. but i'll ask him if he's willing to contribute his befunge program to the examples archive. 10:08:06 @tell zzo38 hey, i see your Please Porige Hot page is 403 forbidden. it would make me really happy if it was not forbidden! 10:08:07 Consider it noted. 10:11:04 @tell oerjan well then *i* flubbed. 10:11:05 Consider it noted. 10:12:08 -!- cpressey has quit (Quit: leaving). 10:16:30 -!- esowiki has joined. 10:16:33 -!- glogbot has joined. 10:16:34 -!- esowiki has joined. 10:16:34 -!- esowiki has joined. 10:17:30 -!- ion has quit (Ping timeout: 264 seconds). 10:18:06 -!- sebbu has quit (Ping timeout: 264 seconds). 10:18:15 -!- ion has joined. 10:57:36 -!- sebbu2 has changed nick to sebbu. 10:59:07 -!- benuphoenix has joined. 10:59:39 hi 10:59:46 hi 11:00:38 * benuphoenix thinks it is cool that he is running Xubuntu 13.04 (installed from a 12.10 stick and immediately upgraded) on an 8gb class-6 sdhc card. 11:02:27 so, could someone point me to a page with the brainf*ck language info? 11:02:27 yeah that happens 11:02:32 oh uh 11:02:38 info? 11:02:59 like, commands 11:03:08 try http://esolangs.org/wiki/Brainfuck 11:05:44 thanks 11:12:51 * benuphoenix thought bf would make little sense. instead, he found that unlambda makes it look normal. 11:14:10 they're both pretty normal.. what makes little sense is the hype around bf 11:14:55 it's the name 11:16:05 mnoqy: unlambda isn't very normal 11:16:13 have you seen the details of d and c 11:16:27 d is very not normal 11:16:29 i forget what d is like but i know c 11:17:19 i guess c isnt "normal".. 11:17:27 http://www.madore.org/~david/programs/unlambda/#delay 11:18:13 ah 11:18:24 dang evaluation order tricks 11:19:14 thank you Taneb 11:22:17 -!- sacje has quit (Quit: sacje). 11:28:15 No problem, Sgeo 11:34:22 "and F evaluates to d (for example when F is d)" 11:34:23 cute 11:35:01 -!- Phantom_Hoover has joined. 11:35:28 -!- benuphoenix has left ("Leaving"). 11:36:32 BUT WHEN F IS NOT d! 11:36:41 F shall NEVER evaluate to d! 11:36:43 Hahahaha! 11:36:49 fuck 11:36:53 what happened to taneb 11:37:23 Phantom_Hoover, I'm a bit stressed with exams 11:37:33 -!- augur_ has quit (Read error: Connection reset by peer). 11:38:00 which exams 11:38:46 -!- augur has joined. 11:43:24 whoah 11:43:35 system shock 2 comes with a manual 11:44:31 A-levels 11:44:35 I've got two exams left 11:44:42 which exams 11:49:28 A-levels, he already said that 11:49:41 which two a-levels! 11:57:43 -!- oerjan has joined. 11:58:16 Phantom_Hoover: the last two 11:58:25 oh 11:58:42 no, three! 11:58:54 you can get a-levels in dance 11:58:59 i'll say no more 12:05:01 -!- oerjan has left. 12:05:14 -!- oerjan has joined. 12:05:27 wrong window :( 12:07:05 hi oerjan 12:08:03 F shall NEVER evaluate to d! <-- SORRY INCORRECT HTH 12:10:48 http://www.theregister.co.uk/2013/06/19/nuke_plants_to_keep_pdp11_until_2050/ <-- for a fraction of a second i read that as php, fortunately i realized before completely panicking 12:13:50 that's enough logs for today 12:24:03 -!- carado has joined. 12:25:50 elliott: um right, hi 12:26:05 hi 12:26:09 hi 12:27:05 -!- ais523 has joined. 12:29:59 if ais523 doesn't replace the featured langauge soon I will have no choice but to admin oerjan and tell him to do it. 12:30:09 admin me 12:30:22 elliott: but I'm concentrating on other things 12:30:58 ais523: tell that to oerjan!! 12:31:32 but i have a back ache :( 12:31:57 probably shouldn't be on the computer at all 12:38:10 make an esolang based on back ache, hth 12:41:17 a dialect of lifescript, i take 12:41:23 -!- olsner has quit (Ping timeout: 245 seconds). 12:54:44 -!- olsner has joined. 12:57:47 Taneb: do _you_ understand today's lightning made of owls? :/ 12:58:24 No, I do not 12:58:53 good, good 13:03:35 how's the hexham weather 13:03:44 Warnm 13:05:03 its very warnm in hexham right now yes 13:05:12 is that like the temperature of doom 13:11:22 -!- mnoqy has quit (Quit: hello). 13:11:25 -!- olsner has quit (Read error: Connection reset by peer). 13:13:29 notice how Warnm backwards is mnraW 13:13:40 Which is like MN raw 13:13:47 What is MN? Nobody knows 13:13:48 as raw as minnesota 13:14:04 What is MN? elliott knows 13:14:25 -!- FreeFull has joined. 13:15:03 elliott 13:15:07 buy system shock 2 13:15:11 i'm not playing it alone 13:16:00 iaaven't even played system shock 1 13:16:02 except maybe i did once 13:16:15 or maybe it was 2 13:16:18 you don't need to play system shock 1 13:16:29 aiui it has aged awfully 13:16:54 sort of like you 13:17:13 sort of like your mum 13:27:00 -!- olsner has joined. 13:29:16 -!- olsner has quit (Client Quit). 13:35:55 http://en.wikipedia.org/wiki/Abstract_nonsense cute 13:37:41 * oerjan chases nooodl through a diagram with the swatter -----### 13:37:52 oerjan: the daily commute? 13:38:11 elliott :') 13:38:14 * oerjan swats elliott -----### 14:03:30 -!- MindlessDrone has joined. 14:06:03 -!- augur has quit (Remote host closed the connection). 14:06:59 -!- augur has joined. 14:12:53 -!- TeruFSX has joined. 14:24:44 -!- carado has quit (Ping timeout: 256 seconds). 14:27:17 -!- fungot has quit (Ping timeout: 248 seconds). 14:36:12 -!- TeruFSX has quit (Read error: Connection reset by peer). 14:36:38 -!- TeruFSX has joined. 14:39:14 -!- TeruFSX2 has joined. 14:43:07 -!- TeruFSX has quit (Ping timeout: 268 seconds). 14:48:00 -!- augur has quit (Remote host closed the connection). 14:48:27 -!- augur has joined. 14:52:08 -!- carado has joined. 14:52:23 -!- augur has quit (Ping timeout: 240 seconds). 15:06:49 -!- Koen_ has joined. 15:14:03 -!- olsner has joined. 15:20:45 -!- augur has joined. 15:39:10 -!- TeruFSX2 has quit (Read error: Connection reset by peer). 15:40:18 -!- TeruFSX has joined. 15:41:14 -!- sebbu2 has joined. 15:44:38 -!- sebbu has quit (Ping timeout: 256 seconds). 15:49:30 -!- TeruFSX2 has joined. 15:50:26 -!- tertu has joined. 15:52:43 -!- TeruFSX has quit (Ping timeout: 264 seconds). 15:53:15 -!- Bike has joined. 15:53:54 -!- oerjan has quit (Remote host closed the connection). 15:54:02 -!- TeruFSX2 has quit (Ping timeout: 268 seconds). 15:56:30 so apparently all the results in the DLP paper rely on heuristics 15:57:13 "People talk as they ride bicycles - at a rush - without pausing to consider their surroundings." 16:02:45 http://spectrum.ieee.org/consumer-electronics/portable-devices/echolocation-by-smartphone-possible wow 16:11:40 -!- oerjan has joined. 16:12:20 -!- pikhq has joined. 16:12:28 oklopol: what's DLP? 16:12:57 discrete logarithm problem 16:13:07 aha 16:13:33 yeah, the paper shachaf and kmc were talking about is heuristastic. 16:14:04 somehow i've forgot to check the box to reconnect the wireless automatically, i hope this will improve things 16:14:25 (not doing it, that is) 16:14:52 not forgetting, or not checking the box? 16:16:15 dammit 16:16:50 * oerjan buries olsner under an avalanche of iterated negations 16:17:15 nooooooooooo 16:26:06 exactly! 16:26:33 now pizza 16:26:51 -!- Bike_ has joined. 16:29:10 -!- Bike has quit (Disconnected by services). 16:29:12 -!- Bike_ has changed nick to Bike. 16:58:41 -!- Bike has quit (Ping timeout: 248 seconds). 17:00:38 -!- Bike has joined. 17:01:13 -!- DHeadshot has joined. 17:27:32 -!- Taneb has quit (Quit: Leaving). 17:37:46 -!- oerjan has quit (Remote host closed the connection). 17:39:54 -!- conehead has joined. 17:41:30 -!- epicmonkey has quit (Ping timeout: 264 seconds). 17:46:44 -!- guestbot has joined. 17:47:51 -!- Taneb has joined. 17:55:42 -!- Bike_ has joined. 17:58:23 -!- lambdabot has quit (Disconnected by services). 18:00:08 -!- Bike has quit (*.net *.split). 18:00:08 -!- EgoBot has quit (*.net *.split). 18:00:09 -!- Lumpio- has quit (*.net *.split). 18:00:23 -!- EgoBot has joined. 18:02:36 -!- oscarrio has joined. 18:02:42 -!- lambdabot has joined. 18:08:20 -!- Lumpio- has joined. 18:15:40 -!- sebbu2 has changed nick to sebbu. 18:19:15 -!- Bike_ has changed nick to Bike. 18:42:49 -!- variable has changed nick to constant. 18:48:14 -!- epicmonkey has joined. 18:54:06 -!- oscarrio has quit (Ping timeout: 246 seconds). 18:55:25 -!- hiato has joined. 18:57:48 Hi guys :) 18:58:09 hi 18:58:14 `welcome hiato 18:58:17 hiato: 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.) 18:58:38 kmc: why you gotta use the only boring welcome 18:58:40 `relcome hiato 18:58:43 ​hiato: 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.) 18:58:53 heh, hey elliott 18:59:23 Wow, so I haven't been here for a very, very long time. 18:59:32 It was making me sad, really. 18:59:39 i remember you!! 18:59:44 * hiato thinks u gaiz are the best 18:59:48 hiato's hiatus 18:59:51 elliott: ;) 19:00:03 quintopia: :P 19:00:23 Yep, I was here when I was a young one, which would have made elliott a toddler practically 19:00:31 well, it's all relative I suppose 19:00:34 re-welcome hiato! 19:00:46 i don't remember hiato 19:00:56 now i am an old man 19:00:59 ais523: Heh, why thank you :) I still remember that time you helped me with my silly maths homework 19:01:16 Phantom_Hoover: oh, but I remember you 19:01:41 I don't remember 19:02:01 olsner: I'm not *that* memorable. 19:02:27 that's ok, not everyone has to be memorable 19:02:32 wb ais523 19:02:39 i remember you because you used fucking delphi or whatever 19:02:43 I think I was here mostly around 2007/8 or so 19:02:44 like some kind of alien 19:02:55 ok i remember you for other reasons too 19:02:58 but that's like #1 or #2 19:03:01 elliott: haha, yeah, that was all I knew at that stage. 19:03:03 `quote hiato 19:03:04 "also used snobol" 19:03:05 No output. 19:03:05 I remember hiato for the electricity rationing 19:03:15 I hope that's got better, at least 19:03:26 i remember that too 19:03:51 ais523: oh, wow, I don't even remember telling you about it. Well, nope, not really. At least, it's winter now and there hasn't been one for some time, but I suppose it was at it's worst back then 19:03:52 where's hiato from? 19:03:55 .za? 19:03:57 Phantom_Hoover: South Africa 19:04:01 ahhhh 19:04:51 I guess it would be rather silly of me to ask, but I'll try anyway: what's been happening? 19:05:07 not a lot, sadly, esolang development's been kind-of slow 19:05:13 the channel got interviewed by a WSJ reporter for some reason 19:05:17 yeah, that was fun 19:05:17 http://www.youtube.com/watch?v=etbcKWEKnvg wow good 19:05:20 i took over the world and a guy from the wall street journal interviewed cpressey over irc and made hexham jokes 19:05:22 I checked back on the wiki recently and it's exploded in size since I remember it 19:05:24 also we grouped together to make Radixal!!!! 19:05:28 and additionally someone else came here from hexham, completely randomly 19:05:32 elliott: what, seriously? 19:05:41 ais523: what the fuck 19:05:42 how many times 19:05:43 nice, that's pretty awesome! Gar, I missed a channel interview 19:05:46 have you forgotten that taneb is from hexham 19:05:53 it's not even funny any more 19:05:53 elliott: no, I thought you meant someone beyond taneb 19:05:55 oh 19:05:57 no i meant taneb 19:06:13 maybe hiato wasn't there for the "hexham craze" 19:06:17 were "hexham jokes" even a thing before taneb turned out to also be yeah 19:06:27 elliott: hexham craze? 19:06:30 well when I first knew elliott he didn't even live in hexham 19:06:31 `pastelogs Hexham 19:06:37 internet-knew 19:06:39 oh, I thought we already had a third hexham 19:06:42 so obviously there couldn't be hexham jokes then 19:06:44 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.5982 19:06:48 not sure who, but someone 19:06:53 is "hexham" what you call a person from hexham. 19:06:54 ais523: so haha, I though you were excited about radixal. It turns out the !!! is part of the name. 19:06:55 that's p. good 19:06:55 when was The Hexham Epiphany again 19:07:04 hiato: four exclamation marks 19:07:11 we chose that because we thought three was the highest justifiable value 19:07:17 whoops, wouldn't want to understate it 19:07:18 it's just that radix 19:07:35 ais523: er 19:07:37 ah, 2011-07-16 19:07:40 you first knew me in 2007 right 19:07:42 I was in hexham then 19:07:46 elliott: not sure 19:07:51 I was in hexham in 2004 19:08:00 elliott: yeah, you were going to move iirc 19:08:03 I seem to remember you living in a hamlet near hexham with a name nobody could remember 19:08:04 hiato: I live in hexham which is a pretty small rural down (pop. like 11k) 19:08:13 hiato, http://codu.org/logs/log/_esoteric/2011-07-16#160048PhantomHoover 19:08:20 ignore elliott, this is a much funnier way to find out 19:08:24 hexham lite 19:08:40 context for Phantom_Hoover's link: he previously mentioned living in northumberland 19:08:43 (hexham is in northumberland) 19:08:50 and then oerjan joked that taneb would turn out to be my next-door neighbour. 19:08:57 (note: northumberland is a lot bigger than hexham) 19:09:13 why was taneb's line a clue for ph to jump to that conclusion though 19:09:31 "he's this kid who refused to meet me a few weeks ago" the plot thickens 19:09:37 was it just the "my town" 19:09:39 nooodl: because elliott "famously" came from hexham 19:09:45 nooodl, because he made it clear he lived in a tiny shithole of a town 19:09:50 in northumberland 19:09:53 right, ok, reading now 19:09:54 hmm yeah 19:09:55 nooodl: divine inspiration 19:09:55 hexham fits all these criteria 19:10:10 Hexham is awesome though 19:10:13 We've got a field 19:10:16 pretty sure jesus just came down from the heavens and pushed the knowledge into Phantom_Hoover's head 19:10:20 i fucking love fields 19:10:22 and an abbey! 19:10:26 don't forget your abbety 19:10:28 *abbey 19:10:36 hey that reminds me of A Thing 19:10:53 the school i'm enrolled in it super hilly, to the extent that there's a place called Johnson Flats, which is not flat and is on a hill 19:11:04 positively british naming sense, i must say 19:11:15 16:09:37: -!- monqy has joined #esoteric. 19:11:18 Birmingham has lots and lots of little hills 19:11:19 this log is gonna get good 19:11:24 to the extent that horizontal flat land is rare 19:11:38 although there are few hills that impress people who come from, say, Sheffield 19:11:59 my favourite example: there's a car park that you can enter at ground level, go up 8 floors, and come out at ground level 19:12:08 sweet 19:12:10 edinburgh has a bunch of hills 19:12:34 nooodl: no it gets bad shortly afterwards 19:12:36 there's a wp article on "the seven hills of edinburgh" which lists a bunch of sets of seven hills people call "the seven hills of edinburgh" 19:12:37 it's great 19:12:38 because cheater starts talking 19:12:43 "16:18:15: that proves nothing, you could've edited every school's wp page at that time." 19:12:43 I forgot my user page redirects to High Middle Ages 19:12:44 Haha, ok, so that is hilarious! :D Why would oklopol give Phantom_Hoover such a hard time about this? 19:12:47 oklopol... 19:12:58 As in, I can't remember it ever having redirected there 19:13:05 wasn't it taneb who was given a hard time... 19:13:05 Why would I do that 19:13:17 elliott: yes, by oklopol ? 19:13:30 ok but you said Phantom_Hoover!! 19:13:37 elliott: whoops, yes, Taneb 19:13:49 My next door neighbours are Mr Snowdon and the Bradshaws! 19:13:58 They still are 19:14:19 huh, oko was explaining path-connectedness to me? 19:14:33 oh wait 19:14:43 oerjan made the neighbour prediction before taneb said he lived in northumberland 19:15:12 I think tswett is the one I keep expecting to live in hexham but never does 19:15:26 he lives in australia you idiot 19:15:31 Doesn't tswett live in Finland/Australia/Antarctica 19:15:32 I cannot think of a way to prove that I am in Hexham -- this conversation is incredible 19:16:25 Taneb: wow, you really wanted to prove this 19:16:46 i also like how the discussion of topological connectedness is interposed with iti saying some shit about vectors 19:17:16 I found list of spells of D&D game including "Explosive Familiar" it makes the caster's familiar explosive, and "Feign Invisibility" which causes others to believe the caster is invisible even though they can clearly see the caster, they must think they can see him somehow even if he is invisible. 19:17:26 are you zzo38 19:17:37 i just saw that and thought it was funny. 19:17:44 Bike, it makes them think they can see through invisibility spells 19:17:45 duh 19:17:52 elliott: it's a literal quote from zzo38 19:17:54 could be useful 19:18:05 who's itidus20 btw 19:18:07 oh my god this was 19:18:12 `? itidus20 19:18:14 itidus20's entry has been censored. 19:18:15 the same day?? 19:18:19 18:09:09: I will stand next to the abbey in site of the Hexham Courant Webcam for a while with a sign saying "I AM TANEB" 19:18:20 `? itidus21 19:18:21 `? itidus22 19:18:22 itidus21 just made some instant coffee. 19:18:22 18:09:12: But not today 19:18:23 Taneb: you still have to do this 19:18:23 itidus22? ¯\(°_o)/¯ 19:18:32 `? itidus19 19:18:34 itidus19 disappeared into a space-time anomaly 19:18:44 elliott, I know 19:18:46 "some day, maybe next Friday" 19:18:58 hiato, are you up to speed on the channel in-jokes yet 19:19:03 elliott: he'll show up at your house with a sign that says "I AM TANEB AND I LUV U" 19:19:08 Phantom_Hoover: I'm getting there :P 19:19:17 i luv u 2, Taneb 19:19:17 * ais523 keeps quiet 19:19:32 speaking of channel in-jokes 19:19:33 ais523: op me 19:19:36 bleh, now I'm going to have to ask zzo38 what overmate is 19:19:39 elliott: I did 19:19:51 i mean the other kind of op me 19:20:37 which kind of op me is that? 19:20:46 the one where you do it via /msg chanserv access! 19:20:53 22:07:05: I got famous last year for wearing a dressing gown and joining a political organization 19:21:03 this log is so good 19:21:04 nooodl, that is a true story 19:21:15 Except it is no longer last year 19:21:19 It is like ages ago 19:21:20 famous enough for elliott to see it and provide independent confirmation of it? 19:21:23 Taneb: you are an endless source of amazing quotes 19:21:32 Yup 19:21:55 fuck you Taneb 19:22:02 my claim to fame is wounding a man with a spoon 19:22:22 you did? 19:22:29 hiato: I have to be careful when reading the entire quotes database 19:22:35 sometimes I can't breathe I laugh so much 19:22:36 anyway 19:22:39 `pastequotes Taneb 19:22:45 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.17667 19:22:45 you can do that for anyone in here :) 19:23:00 `pastequotes hiato 19:23:06 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.27697 19:23:19 yeah, I think that functionality was implemented sometime after me 19:23:22 oh, wait 19:23:34 yeah, there aren't any hiato quotes in the list 19:23:35 yeah, it's blank 19:23:37 because nobody's added any 19:23:54 oh, Taneb used to be called Ngevd 19:24:14 yeah, I don't recall this being a feature. In any event, I will continue to read Taneb quotes and that log because you sir, are amazing 19:24:25 I'm not that great 19:24:25 I remember Ngevd, yeah, I think. 19:24:40 i keep forgetting when i joined #esoteric 19:24:40 `? ngevd 19:24:42 (i'm looking it up) 19:24:49 6TxB%JE"d*@_&k@KC\< 19:24:53 Taneb: as ais523 described, I had to literally stop reading to allow for breathing 19:24:55 `seen hiato 19:24:56 oh wait 19:24:57 that wont work 19:24:59 2013-06-19 19:24:53: Taneb: as ais523 described, I had to literally stop reading to allow for breathing 19:25:00 fr pastseen 19:25:33 oh wow cool 19:25:35 2012-10-21.txt:02:40:28: nooodl: 1, 1, …? Everyone knows the Fibonacci sequence begins with 89, -55. 19:25:36 2012-10-31.txt:00:36:49: -!- nooodl has joined #esoteric. 19:25:51 `pastequotes Ngevd 19:25:57 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.30517 19:26:33 We haven't told hiato about Facekicker 19:26:57 please, I don't know that I can handle more hilarious logs this evening 19:27:03 -!- sprocklem has joined. 19:27:19 @time hiato 19:27:20 Local time for hiato is Wed Jun 19 21:22:20 2013 19:27:29 is south africa really utc+1 19:27:30 weiiiird 19:27:34 or uh maybe it's bst 19:27:36 so that would be utc+2 19:27:46 elliott: yeah, GMT+2 19:28:00 shouldn't you be on winter time/standard time/non-summer time now though? 19:28:02 elliott, should we tell hiato about Facekicker 19:28:20 Taneb: that is up to you 19:28:31 olsner: it's june! 19:28:32 olsner: in this country, the government saves energy by randomly shutting off power to suburbs. No need for pesky daylight savings. 19:28:34 But I can't tell it in a funny way! 19:28:40 hiato: aah, clever 19:28:51 sounds more reliably energy saving too 19:29:07 olsner: 100% energy saved on grids, gauranteed! 19:29:18 south africa sounds like a weird place 19:29:28 hiato, basically, for a few hours I thought elliott kicked one of my friends in the face but it turned out to be a different Elliott Hird 19:29:32 elliott: you should see what it /looks/ like then 19:29:41 Taneb: lolwut 19:29:42 they say daylight savings time saves like 1% of power, but I think that was before they invented air conditioning 19:30:03 Taneb: How many Elliotts are there in Hexham? 19:30:08 ais523: i see how it is 19:30:12 hiato, I can think of three 19:30:18 Taneb: haha, wow 19:30:31 elliott: why would it be summertime in winter? 19:30:32 Nobody knows what happened to Facekicker for the past 8 years, though 19:30:55 hiato, Hexham's got almost 12000 people. That's like 0.025% 19:30:57 Taneb: also, what on earth leads someone to kick someone else in the face? Was the guy kicking really flexible, or suffering giantism? 19:31:00 actually, "it turned out to be a different Elliott Hird" is almost as weird as the multiple-hexhamites thing 19:31:06 hiato, he was standing on a table 19:31:15 Taneb: ah, makes more sense now 19:31:19 i've never even hird of the surname "hird" before this channel 19:31:23 ais523: i'm still dubious 19:31:29 i seriously doubt there are other elliott hirds 19:31:33 probably it was actually me 19:31:34 this channel is home to the most ridiculous Hexham-centred stories I have ever heard 19:31:37 *hird 19:31:40 One of my friends went to first school with someone called Elliott Hird 19:32:07 In a small village close to Hexham but closer to Prudhoe 19:32:13 hiato: well hexham-centered stories aren't very common 19:32:19 ais523: oh, wait, I completely missed the "different" 19:32:20 i think every man in hexham that none of us has met yet is called elliott hird 19:32:24 wow, ok, now this story is ridiculous 19:32:33 I didn't realise elliott 's surname was also Hird 19:33:08 it's not even like it's that common a name 19:33:12 elliott: are you suuuure you never kicked anyone in the face 19:33:28 if you google elliott hird it's a mix of elliott and a kitchen planner 19:33:29 nooodl: i probably have 19:33:31 P.S. maybe you're related and it's just another elliott in the Hird family 19:33:38 (and there I was thinking facekicker would be some sort of in joke about a facebook derivative or some such) 19:33:42 elliott, idk, kicking people in the face is q. hard 19:33:50 i think i got kicked in the face once 19:34:05 what if the victim is lying down? 19:34:10 well 19:34:13 actually i don't remember 19:34:17 elliott: you deserved it for kicking someone in the face though 19:34:17 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:34:18 Facekicker was standing on a table 19:34:18 i think that's why one of my teeth is chipped at least 19:34:27 no wait 19:34:33 that one was from walking into the glass 19:34:34 maybe the story is the wrong way around and Taneb's friend kicked elliott 19:34:43 Taneb: Facekicker <---> Kingslayer. Any connection in naming scheme? 19:34:52 oh i mixed up getting a hole in my head with chipping my tooth i think 19:34:53 yes 19:35:02 in that they both consist of a thing and then what they did to that thing 19:35:12 Phantom_Hoover: why thank you 19:36:28 elliott: yikes are you even still alive 19:36:56 how did you get a hole in your head 19:37:03 p. sure you can't get that from kicking 19:37:13 nooodl: no 19:37:21 Phantom_Hoover: i fell on some toy thing when i was young 19:37:27 when i say hole i mean 19:37:28 Phantom_Hoover, trepanation 19:37:32 it was incredibly tiny 19:37:35 I have a number of holes in my head. 19:37:37 all i know is they put some kind of glue thing on it 19:37:37 was this toy a big metal spike 19:37:40 and then it repaired itself 19:37:41 ais523: so radixal!!!! looks kinda cool, nice job 19:37:50 this reminds me of a good childhood story when i was like 11 19:37:55 hiato: thanks 19:37:59 elliott, I had something similar, but it was a bridge 19:38:00 and i was really pissed about something, i don't remember what it was 19:38:08 and i decided to solve my anger issues by kicking something 19:38:17 but the closest thing was a stone wall 19:38:22 i once pushed my sister into a drawer or something by accident 19:38:33 and then my mum had to staple her head back together 19:38:46 hmm, i may be making myself sound like a psychopath here 19:38:50 Phantom_Hoover: yes :( 19:38:59 me too though 19:39:24 Phantom_Hoover, for at least two generations in my family, the elder brother has pushed the second brother off a bed, causing a permanent scar 19:39:30 Phantom_Hoover: but at least you're not the one who stapled your sister's head? 19:39:33 anyway it's more embarrassing/haunting than it sounds; why did i kick a fucking wall? what was wrong with me 19:39:43 well she used a medical stapler 19:40:24 "medical staplers" look very badass thanks google 19:40:28 When you injure someone with an object, you can always say “well, it was a medical $foo” 19:40:39 What's that song that goes "Doo, dee, do-doo; Doo, dee, do-da"? 19:40:57 taneb: Meshuggah – Bleed 19:41:06 Thanks 19:42:12 Medical stapler http://youtu.be/baNBRs_Wafs 19:42:20 while drunk 19:42:58 “Haiers Medical-Circular Stapler For Rectal Prolapse And Hemorrhoids.wmv” /me refrains from clicking 19:43:27 good choice 19:44:21 Yes, i’m pretty happy about it. 19:50:34 -!- Koen_ has quit (Quit: Koen_). 20:10:37 trrndn trrndn trrndn trrndn trrndn trrndn trrndn trrndn trrndn trrndn trrndn 20:12:15 Taneb: I do live in F/A/A, yes. 20:12:26 Totally called it 20:13:36 Once I start a business I might release some information on internet, such as telephone 20:13:44 is this business up and running? 20:13:50 oh he's not here. 20:14:58 -!- Tritonio has joined. 20:15:47 `welcome Tritonio 20:15:49 Tritonio: 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.) 20:16:15 i want to know about zzo38's business as well 20:16:27 zzology 20:17:14 kmc: given that it's zzo38, that line does not imply that he's planning to start a business 20:17:19 just that, if he did, that's what he might do afterwars 20:17:22 *afterwards 20:17:28 true 20:21:56 `pastequotes kmc 20:22:02 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.8517 20:22:15 cocks 20:22:51 always with the cocks 20:23:14 oh, kmc was well quoted 20:23:33 i thought you couldn't have those in (sub)urban areas 20:24:44 Gregoooooooor 20:24:47 fix your encoding header 20:25:19 the pokémon theme 20:25:42 kmc: well IRC doesn't have a sane encoding 20:25:51 ok but this channel uses UTF-8 by convention 20:25:56 the default is "UTF-8 if the line happens to be UTF-8, otherwise Latin-1" 20:26:09 but that's a bad default 20:26:23 utf-8 is the good default 20:26:27 Bike: was that UTF-8 or Latin-1? 20:26:32 op campaign: I would kick anyone who didn't use utf-8 except oklopol 20:26:41 there is no code but unicode and utf-8 is its transport 20:26:41 UTF-8 is good 20:26:47 㑖 20:26:55 i still don't know what i use 20:27:02 ♫ domain name system ♫ 20:27:11 ♫ 20:27:12 `run echo é | iconv -t iso8859-1 20:27:14 ​ 20:27:24 kmc: ok good I'm in utf-8 20:27:27 i changed my irc client because i just couldn't get mirc to work, but i doubt i'm using utf8 now either 20:27:29 � 20:27:33 That's what I saw 20:27:37 Unterbrechung während des Betriebssystemaufrufs 20:27:37 A question thing 20:27:37 to work = to use utf8 20:27:50 Tmux doesn't do iso8859-1 20:28:00 oklopol: so far you are, but only the lowest 128 codepoints hth 20:28:03 "wait isn't kmc the guy who runs that one pizza shop and night club and used to be a programmer" 20:28:13 joo jöö 20:28:20 "Betriebssystemaufrufs" is kind of an awesome word for "syscall" 20:28:28 but i bet actual german haxors just say "die Syscall" 20:28:35 German has wonderful words 20:29:08 Rindfleischetikettierungsuberwachungsaufgabenubertragungsgesetz! 20:30:12 gesundheit 20:31:27 " on a related idea. i had this idea of a game of life sort of thing which makes connected clusters of dots have a mass and hence a gravity and to affect each other" <<< can i steal this idea and try to do something cool with it next week? 20:31:34 beef something 20:31:40 oh that's where that idea came from 20:31:45 Donaudampfschifffahrtselektrizitätenhauptbetriebswerkbauunterbeamtengesellschaft 20:31:56 `pastequotes bike 20:32:00 we almost wrote an article on that :P 20:32:02 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.28416 20:32:02 wanna see if the encoding fixed on this somehow. 20:32:09 nnnnnope 20:32:44 why does ^B make it download 20:33:05 (we made a CA where there's a special state * such that if there are finitely many * then they group together) 20:33:26 oklopol: hmm, interesting 20:33:28 that's not really a CA any more 20:33:33 it's definitely some sort of automaton, though 20:33:49 my definition of a CA is that it's shift-commuting and continuous 20:34:03 this is a property that a CA may or may not have 20:34:06 not a new definition 20:34:38 and we found a CA with such a property, a CA such that one of the states has this curious property 20:34:44 `pastequotes Bike 20:34:49 is it simple? 20:34:50 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.5095 20:34:54 what is the rule? 20:34:59 which was the multiocular O of countries? 20:35:01 oklopol: oh, right 20:35:04 oh, liechtenstein 20:35:07 it's very simple if the configuration is 0-finite 20:35:10 for some reason I thought you had a CA where if you had consecutive * on the tape 20:35:16 (has a finite amount of non-0 cells) 20:35:18 some of them just vanished, shrinking the tape to match 20:35:55 you can have states 0, 1 and *, and 1's spread left and down, forming a quarterplane full of 1s, and the *s move northeast on it 20:36:01 -!- hiato has quit (Quit: too cold to function). 20:36:06 they reach the northeast corner and then they are grouped 20:36:21 oh, 2-D CA? 20:36:27 I assume 1D unless someone states otherwise 20:36:34 but this can be cheated to not work if there's an infinite amount of 1 20:36:35 oh sorry 20:36:47 well it's strictly easier in 1d 20:36:53 ais523: i assume the opposite 20:36:54 but that works much the same in any number of dimensions 20:37:01 quintopia: I even made a 1D Sokoban 20:37:16 most of our stuff is in 1d, but this one was kind of boring in 1d 20:37:19 basically because the Enigma advertised them as an April Fool's joke, so I thought I'd make one 20:37:20 ais523: sounds really easy 20:37:25 quintopia: well it had a bunch of teleporters 20:37:37 dunno if it's very interesting in 2d either, and i don't think we'll even try to publish it 20:37:37 that opened and closed on a timer so you could choose not to use them if you wanted to 20:38:02 oh 20:38:09 that makes it interesting 20:38:40 Hmm 20:39:22 oklopol: what happens to the * that are northeast of all 1s? 20:39:37 oh 1s start spreading from them 20:39:41 What would a CA look like that was on Sierpinski carpet 20:39:45 Would that even work 20:39:53 s/carpet/triangle/ 20:40:08 oh 20:40:31 Taneb: those are some of the most common patterns for random CAs to generate, beyond the boring ones 20:40:45 ais523, I mean on one 20:40:46 you can get sierpinski in life easily 20:40:51 Instead of on a plane or line 20:41:57 " there's a local rule that tells you what changes are legal. now, to every sequence s in {"E", "U"}^N partitions S^Z we get a subset of points from which the game goes on forever, say for EUEUEUEU... this means from x, for some choice of new cell values by E, for any choice of any cell by U, for some choice of..." 20:41:57 erm 20:42:06 this sounds like our newest article 20:42:52 is this an actual log for one day of ircing or is this a collection of stuff that SHAPED MY LIFE 20:43:34 it actually turned out that the sequence where the game goes on forever is itself a sofic shift if you start with one 20:43:37 `addquote is this an actual log for one day of ircing or is this a collection of stuff that SHAPED MY LIFE 20:43:42 1055) is this an actual log for one day of ircing or is this a collection of stuff that SHAPED MY LIFE 20:43:45 which is cool 20:43:50 if you care about sofic shifts 20:44:05 great to find out that oklopol is sad enough that his entire life is contained in statements about cellular automata from one single day!!!! 20:44:13 one day you'll run out of stuff from that log 20:44:16 and you'll have no ideas ever again 20:44:27 well i also started smoking that day 20:46:44 do you still smoke? I hear that stuff's bad for you 20:47:21 sometimes 20:47:22 what do you smoke 20:47:31 well you know tobacco 20:50:37 `pastequotes oklopol 20:50:43 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.10951 20:51:07 lol suddenly i start proving theorems of basic topology 20:51:25 -!- guestbot has quit (Quit: Page closed). 20:52:09 clue is a language for beauty, not usefulness or ability to run at all ability to run at all is not even close to a design goal, no 20:52:14 i should make a better clue 20:52:15 mmmm clue 20:54:06 (for instance all metric spaces are hausdorff and all bounded metric spaces are compact) <-- BZZZT WRONG. *complete, totally bounded 20:54:10 haha ownd 20:56:59 finally finished 21:00:55 <`^_^v> which of these textbooks should i read next? Types and Programming Languages, Syntax and Semantics of Programming Languages, An Introduction to Database Systems, AI: A Modern Approach, Introduction to Automata Theory, Basic Category Theory for Computer Scientists, Virtual Machines 21:01:15 three men in a boat 21:01:30 `pastelogs `^_^v 21:01:34 TaPL and Programming Languages 21:01:35 of those i've only read TaPL but it's good so, TaPL 21:01:42 star smashers of the galaxy rangers 21:01:45 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.17514 21:02:57 -!- Taneb has quit (Quit: Leaving). 21:12:41 `pastelogs \`\^\_\`\v 21:12:55 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29447 21:13:42 <`^_^v> dont escape me bro 21:14:25 `pastelogs [`]\^[_]\^[v] 21:14:39 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.6438 21:15:12 wow it worked 21:15:53 did Phantom_Hoover awaken `^_^v 21:24:38 http://www.theonion.com/articles/wikipedia-users-surprised-nobodys-made-page-for-jo,31815/ 21:27:24 yo 21:27:48 what the FUCK Gregor doesn't have VOICE 21:28:23 -!- ChanServ has set channel mode: +v Gregor. 21:47:15 that wasn't me that time 21:47:20 I think I know woh it was though 21:47:22 *who 21:47:33 hmm… I have a sequence that starts 1, 3, 6, and the next element is at least 10 21:47:53 however it isn't the triangular numbers, because I have a lower bound on it that's O(2^(n/2)) 21:56:21 @oeis 1 3 6 21:56:27 wait 21:56:30 Triangular numbers: a(n) = C(n+1,2) = n(n+1)/2 = 0+1+2+...+n.[0,1,3,6,10,15,... 21:56:55 good effort. 21:57:18 ais523, http://oeis.org/A006128? 21:57:28 http://oeis.org/A003945? 21:57:39 http://oeis.org/A005043? 21:57:42 that first one sure doesn't look exponential. 21:57:52 mm 21:58:04 surely someone's written a better oeis search tool by now 21:58:07 oh, I have a lower bound of 20 on the fifth element too 21:58:28 also, it's bounded above by 2^n-1, and by 2^n-2 for all the elements but the first two 21:59:12 so it's not 5043, that breaks the upper bound 22:02:25 it's quite an annoying problem to determine elements, I was thinking about it in my head for hours last night 22:02:36 perhaps I should write a computer program to brute-force the first few elements 22:02:46 so 22:02:47 what is it 22:03:01 so basically, you want to construct a directed graph 22:03:10 where each vertex has two edges going out from it 22:03:33 and where you can get from any vertex to any other vertex, going only forwards along edges, in n steps 22:03:52 and the question is, what's the largest number of vertices you can have in such a graph, for a given n 22:03:57 obviously if n=0 you can only have one vertex 22:03:57 n being a property of the graph? 22:04:03 no, n is given 22:04:21 and you have to find the largest graph such that you can get from any vertex to any other vertex along a path of length n 22:04:29 where each vertex only has two edges leaving it 22:04:30 -!- sebbu2 has joined. 22:04:43 for n=1, you can have three vertices, joined in both directions in a triangle 22:05:35 for n=2, you have ABCADADFCFEBED = six vertices 22:05:44 (7 can be proved impossible) 22:06:40 for n=3, the best I've found is ABCDEAFAFJEJIDIHCHGBGF 22:06:40 ais523: http://en.wikipedia.org/wiki/Degree_diameter_problem ? 22:06:41 but what about eight 22:07:00 This doesn't mention direcctedness, though. 22:07:23 -!- sebbu has quit (Ping timeout: 240 seconds). 22:07:29 elliott: well 7 being impossible doesn't imply 8 being impossible, but you can label each edge as being A or B so that one A-edge and one B-edge comes from each vertex 22:07:44 then from any given vertex there are only 7 possible paths: (no movement), A, B, AA, AB, BA, BB 22:07:50 the first leads to the vertex itself 22:07:54 i like how graph theory has so many stupid words that there's a "glossary of graph theory" wikipedia article. 22:07:56 so there can be at most 6 other vertices 22:07:59 = 8+ is impossible 22:09:28 i think finding wikipedia articles may be the most useful skill i have 22:09:51 ais523: why is 7 impossible? 22:10:09 coppro: OK, so imagine you have a solution to 7 22:10:17 then pick any vertex, it doesn't matter which 22:10:27 http://en.wikipedia.org/wiki/Table_of_the_largest_known_graphs_of_a_given_diameter_and_maximal_degree implies that this is a pretty hard problem 22:10:31 your 6 other vertices are reachable via A, B, AA, AB, BA, BB 22:10:48 now, consider the paths from A to the other vertices 22:10:50 alt. a problem nobody cares about. 22:11:24 obviously, AA and AB are the directly reachable vertices, so the other four (B, BA, BB, and 0) must be AAA, AAB, ABA, ABB in some order 22:11:40 if you like graphs and numbers and shit you might like http://adventure.cueup.com ? or maybe not, whatever. it's all right 22:11:44 without loss of generality assume that AAA = 0 22:12:18 now AAB can't be B or you'd have AAAB = AAB, which means you can't reach all 7 vertices from AA 22:12:49 and if ABA or ABB is B, then you're stuck with the other one being either BA or BB, which gives a similar contradiction 22:13:17 hmm… for n=3, the best I've found is ABCDEAFAFJEJIDIHCHGBGF ← the eodermdrome representation of graphs is surprisingly useful 22:14:28 How do you do arbitrary directed graphs in eodermdrome representation? 22:14:44 -!- Koen_ has joined. 22:15:28 fizzie: you can't 22:15:29 -!- Koen_ has quit (Read error: Connection reset by peer). 22:15:33 Aw. 22:15:40 but it works for any graph where any vertex is accessible from any of the others 22:15:42 (or any but one) 22:15:45 -!- Koen_ has joined. 22:16:18 http://inkfish.fieldofscience.com/2013/06/moths-wait-until-bats-lock-on-then-jam.html "Moths Wait until Bats Lock On, Then Jam Their Sonar" 22:16:25 doesnt that mean "strongly connected" ais523 22:16:35 i'm starting to think i could formulate a cheeky aphorism. anything humans have done, animals have evolved at some point 22:16:43 except wheels 22:16:44 quintopia: not sure how strongly connected works with directed graphs, but probably 22:16:54 kmc: flagella!! 22:16:58 kind of 22:17:05 -!- epicmonkey has quit (Ping timeout: 248 seconds). 22:17:09 its either strongly or weakly 22:17:14 i forgot the difference 22:17:21 but its on the digraph wiki page 22:17:42 "A directed graph is called strongly connected if there is a path from each vertex in the graph to every other vertex." (I had it open.) 22:17:48 (For obvious reasons.) 22:18:08 what does weakly connected mean? Oh, I guess for an undirected graph, the two are the same? 22:18:09 Bike: what abour irc 22:18:11 t 22:18:18 Fiora: The underlying undirected graph is connected. 22:18:26 -!- augur has quit (Remote host closed the connection). 22:18:39 ahhh 22:18:57 and "tournament" means "the underlying undirected graph is complete" iirc 22:19:02 elliott: mycorrhizal networks hth 22:19:30 Bike: what about biologists 22:19:31 yep 22:19:33 too awful to evolve 22:19:45 fizzie: that's a weird definition. with the graph A -> B <- C, A and C are not connected at all and yet the graph would be weakly connected? 22:19:52 found another mushroom in my yard 22:19:59 was it on #esoteric 22:20:00 #drugz 22:20:06 Koen_: See, there's still lines between them. 22:20:12 yeah ok 22:20:12 kmc: exactly 22:20:15 don't know what kind it is yet 22:20:16 what 22:20:19 btw my dorms apparently don't disallow growing things in your dorm 22:20:25 but probably not drugz kind 22:20:31 stupid microphone button 22:20:36 not specifically mentioned so totally safe 22:20:37 CA has a much better climate for finding those 22:20:40 Bike: haha 22:20:49 i'm kind of curious what they'd do if i set up a cannabis farm or something 22:20:50 and you're in WA so............................ 22:20:51 but my first intuition would have been "for every unordered pair, there exists a path from one of the two vertices to the other" 22:20:52 yup 22:20:53 maybe if i was an agsci student 22:21:10 "brb, hotboxing the greenhouse" 22:21:13 Bike: do it; take photos; report back 22:21:48 i mean what have you got to lose except your career as a biologist 22:21:56 you can only gain! 22:22:03 you're making the weed plants smoke weed?? that's cruel 22:22:14 Koen_: Apparently, according to some people[weasel words], that's what it means for a digraph to be just plain "connected". 22:22:15 fizzie: so with my definition A -> B -> C would be weakly connected but A -> B <- C would not 22:22:16 cannabisalism 22:22:27 i wonder if i could just like, walk out into the palouse, find an empty area, plant some hemp 22:22:27 give weed lsd #whoa #drugz 22:22:30 Koen_: (According to some other people, "connected" digraph just means "strongly connected".) 22:22:30 that's how farming works, right 22:22:44 yeah that's what's weird with math 22:23:01 "integers" means "natural integers" 22:23:07 elliott: i've heard rumors of growing psychedelic mushrooms in soil with various chemicals to get them to produce variants on psilocin / psilocybin 22:23:09 probably some ag students are already doing this and i should just get in on their ring. 22:23:09 so relative integers are not integers 22:23:13 don't think it's really a thing 22:23:16 weakly connected graphs are not connected graphs 22:23:18 kmc: that sounds impossible but cool. 22:23:26 a blue car is not a car 22:23:36 kmc: this is your mushrooms, this is your mushrooms on drugs, etc. 22:23:36 and you are he as we are he and we are all together 22:23:38 also I stopped paying attention for a while and there are all these new designer drugs I've never heard of 22:23:45 well, a blue ray is not a ray, ok 22:23:48 designer drugs on the drugs catwalk 22:23:50 25I-NBOMe? JWH-122? LSZ? come on. kids these days. 22:23:52 latest 2013 drug fashion 22:24:02 jehovah-122 22:24:10 wasn't that the plot to Robocop 22:24:20 http://en.wikipedia.org/wiki/Lysergic_acid_2,4-dimethylazetidide 'distributed on blotter paper or in liquid solution under names such as "diazedine" and "λ"' 22:24:21 how long until they find EVERY drug 22:24:30 haha "λ" 22:24:34 elliott: a long time, there are only a few labs working on it 22:24:36 fuck you i'm naming my drug a greek letter 22:24:48 do drugs support unicode, important question 22:24:55 god, i'm going to have to do organic chemical nomenclature 22:24:58 like I think the Nichols lab at Purdue has been involved with most new psychedelics this decade 22:25:00 elliott you can have all my stuff when i die 22:25:02 "so what's this new drug called" "well uh... do you know greek" 22:25:08 and Shulgin was involved with most of the new ones in the previous few decades 22:25:09 Bike: thx, i'll come to your funeral 22:25:13 Bike: and throw out the biologist crap 22:25:22 plot twist: it's all biologist crap 22:25:24 i'm typing this on bark 22:25:39 you can't co-opt bark, it would exist with or without filthy biologists!! 22:25:48 kmc: phd in drugz 22:25:53 "It was developed as a rigid analogue of LSD with the diethylamide group constrained into an azetidine ring in order to map the binding site at the 5-HT2A receptor" hm yes, those are words 22:25:56 `words --drugz 10 22:25:59 Unknown option: drugz 22:26:03 Aw. 22:26:11 disappointed the LSZ article doesn't tell you what it's like 22:26:15 maybe erowid does 22:26:22 wtf, why does the wikipedia article finger a specific guy 22:26:25 ("25I-NBOMe? JWH-122? LSZ?" <- that's exactly the sort of thing that'd come out of `words.) 22:26:26 there are probably a lot of really interesting undiscovered ones, an example is that there's one known 5HT psychedelic that has a strong effect on perception of sound and music 22:26:31 `words 22:26:35 cylar 22:26:42 Bike: can't trust him 22:26:44 Cylar is so a street name for a drug. 22:26:47 fizzie: I disagree 22:26:54 oh, it's the missile silo guy. 22:26:55 actually, my first reaction was "isn't that a real word?" 22:27:00 but I don't think it is 22:27:01 `words 22:27:02 man erowid is so #drugz 22:27:05 jute 22:27:11 possibly the most #drugz thing ever to exist 22:27:12 elliott: in that it's a large website entirely about drugs? yes 22:27:15 didn't it used to output more than one word at a time? 22:27:16 `words 22:27:19 ais523: I mean the sort of thing that'd come out of `words --dataset with a proper dataset. 22:27:19 sprologie 22:27:21 hm 22:27:21 erowid trip reports are great 22:27:22 `words 10 22:27:23 kmc: see, that's pretty drugz 22:27:24 fizzie: right 22:27:25 beth cnuough stershmen appar brah gen ord troprie pervic evo 22:27:31 I thought 10 was the default, though. 22:27:35 i bet i could get a career in neuroethological psychopharmacology 22:27:40 `words 4294967926 22:27:42 (just made up the term because that's how i roll) 22:27:44 catn cept geterley salogieio son lemede roher pea ire bula ring city sciterce castcr dige wingma man crovitam clesoleosop beli cused praharia aburo oui diagent 22:27:54 reverse engineer the endocanniboid system or w/e 22:27:54 neuropharmacy 22:27:56 they range from the people who obsessively check their bp and pulse every 5 minutes, to the people who are just like "i ate some pills i found on the ground and it was fun!!!!!!!!!" 22:27:59 that probably exists 22:28:08 neuropharmacology exists, yeah 22:28:27 the joke about pharmacology is, well, do you know how drugs (not just drugz) are developed 22:28:29 kmc: i once saw a link to this trip report on erowid which was for some completely stupid mundane non-drugz thing and it was hilarious 22:28:35 but i've forgotten all about it so i can't properly convey it 22:28:36 hmm, there are quite a few real words in those 4294967296 22:28:53 -!- mnoqy has joined. 22:28:55 "this LSZ is pretty intense. oh before the comeup I had 20 bonghits and a glass of ayahuasca juice, just my morning ritual" 22:28:57 I like "clesoleosop", which probably isn't 22:28:59 4294967296 is smaller than i remember 22:29:23 4294967296 is almost exactly the same as 25 these days. 22:29:33 ("print generate for 1..min(25, int($ARGV[0]||1));") 22:29:59 hmm 22:30:02 apparently they don't call drug development "irrational drug design". disappointing 22:30:09 Koen_: what is a relative integer 22:30:12 "Historically, drugs were discovered through identifying the active ingredient from traditional remedies or by serendipitous discovery. " like 22:30:13 I actually tested a couple of terminals for integer overflow recently 22:30:15 how great is that? 22:30:29 I was trying to come up with a terminal version of CSS hacks 22:30:39 " Currently, the research and development cost of each new molecular entity (NME) is approximately US$1.8 billion" uh. oh. 22:30:49 http://www.erowid.org/experiences/exp.php?ID=32073 22:30:53 $1.8 billion for a drugz: worth it 22:30:54 one interesting one I discovered was that if you stack 11 or more SGR commands together on DOSBox, it treats it as an SGR 0 22:31:17 ais523: if you enjoy doing terrible things to terminals, you should talk to KeithW in #mosh 22:31:18 elliott: "ok so what have we got" "it cures cancer, if you've had a kidney removed and are bonghitting" 22:31:44 Bike: ok but does it get me high 22:31:47 kmc: I've been doing more terrible things than that 22:32:07 elliott: have you tried *lifts* 22:32:21 "Nobody could get me to put the pants I brought with back on, so she asked me what I wanted to wear. Apparently I told her that I needed a kilt and bullhorns... I was taught a song to keep singing when I forgot that I required clothes... 'Got to keep your clothes on' with a little tune. I could still sing it right now if I wanted to, even though I don't remember learning it. " 22:32:31 kmc: "ingested a few beers" 22:32:34 kmc: like this, for instance: http://nethack4.org/media/charset.vt100 http://nethack4.org/media/colors.vt100 22:33:11 quintopia: the numbers in red in your income 22:33:33 "-time stops here-" 22:33:52 i like that bold-black-on-black is visible 22:34:02 ok this is amazing 22:34:37 kmc: the crazy bit is the "polyglot" section 22:34:46 sadly, the Unicode one is broken on tmux 22:36:37 kmc: i've got to find a way to cite this at some point in my life 22:37:31 i'm not 100% sure convinced that 3C-P exists 22:37:54 kmc: this guy seems to live on a diet of drugz 22:42:21 -!- sacje has joined. 22:49:03 I'd quote the "Moomins on Torrelorca" comic strip at this point -- it's very drugz -- but the copy I have is in Finnish, and the original is in Swedish, and I don't know if it exists at all in English. 22:49:31 are you unable to translate finnish to english 22:49:39 Yes. 22:49:57 In a nutshell, they have this new designer drug called "LBJ". 22:49:58 RIP 22:50:00 -!- pikhq has quit (Ping timeout: 246 seconds). 22:50:09 can't you get your speech recognition software to do it for you 22:50:19 Then I'd have to read it out loud. 22:50:30 elliott: I've actually tried watching YouTube set to run its speech recognition output through google translate 22:50:45 the worrying thing is, the results occasionally make it possible to figure out what people are saying 22:51:04 That 22:51:04 fizzie: haha 22:51:07 That's worrying? 22:51:23 fizzie: yes 22:51:49 fizzie 22:51:51 hate to break it to you 22:51:56 but people don't expect speech recognition to work 22:52:27 fizzie: since when are there moomins comic strips............. 22:52:29 elliott: I expect speech recognition to sort-of work, and mechanical translation to sort-of work 22:52:47 I don't expect either to work well enough that you can plug the output of one into the input of the other and have the result be vaguely intelligible sometimes 22:53:02 shachaf: Since 1954. 22:53:17 shachaf: (From 1954 to 1975, to be more exact.) 22:53:37 I like how https://en.wikipedia.org/wiki/Moomin_comic_strips has English/Finnish/Swedish/Hebrew. 22:53:39 Though I think the Finnish versions date to the 1980s or so. 22:53:53 I wonder why the moomins were popular in .il? 22:54:22 -!- pikhq has joined. 22:54:33 http://www.harkavagrant.com/index.php?id=350 drugz 22:54:59 "The main series of Moomin comic strips were made directly for the British market: they were spread by the British Associated Newspapers comic strip syndicate and the original publisher was the Evening News newspaper. The series originally appeared in newspapers from 1954–1975." Huh, maybe they do exist in English too. 22:55:42 `pastequotes ais523 22:55:48 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.26685 22:56:06 i think i've, like, seen moomins 22:56:07 and stuff 22:56:59 I understand they also are sort of big in .jp or something. 22:57:12 Or were at some point, or something. 22:57:41 (There's a Moomin shop at the Helsinki-Vantaa airport.) 22:58:10 "The Moomin Boom has been criticized for commercializing the Moomins. Friends of Tove Jansson and many old Moomin enthusiasts have stressed that the animations banalize the original and philosophical Moomin world to harmless family entertainment." 22:58:17 It is a sad. 22:59:37 is moominlady dead 22:59:54 http://www.oddballdaily.com/wp-content/uploads/2011/05/scary-gas-mask-bong.jpg kmc's true form. 23:00:07 Yes. 23:00:09 -!- nooodl has quit (Ping timeout: 268 seconds). 23:00:14 hahaha 23:00:24 in college we had a bong made from a 5L lab glass flask 23:00:40 it had an aquarium pump so it could smoke itself 23:00:44 the pump was powerd by firewire 23:00:52 also that guy is wearing an ICP shirt.................................................. 23:00:55 http://en.wikipedia.org/wiki/File:Tove_Jansson_1956.jpg 23:00:57 this 23:01:04 this is not a woman i can see writing the moomins 23:01:24 -!- Bike_ has joined. 23:02:15 She also lived with another lady (shock) (horror), as I recall. 23:02:50 doesn't any household which has at least three people in it have two or more people of the same gender living together? 23:03:06 yes but the point is, gay 23:03:25 ais523: I'm sure you could argue about non-binary gender flab flab etc etc. 23:03:35 fizzie: hmm, you could 23:03:43 certainly a large proportion do, though 23:03:48 non-binary gender exists but is rare 23:03:54 honestly she looks like some schoolmistress 23:04:07 possibly the moomins are being forced upon the children 23:04:15 -!- Bike has quit (Ping timeout: 256 seconds). 23:04:23 -!- Bike_ has changed nick to Bike. 23:04:38 Phantom_Hoover: http://www.lambiek.net/artists/image/j/jansson_t/janssons_tove_under.jpg more like your imaginanation? 23:04:47 yes, very 23:05:04 is that a radish on her desk 23:05:51 A hyacinth, I think. 23:06:10 If you mean the flower. 23:06:42 It's a very common christmas decoration, done up exactly like that, in Finland; perhaps in Sweden too. Presumably for some sensible and good reason. 23:07:14 what temperature is it in finland 23:07:20 eleven 23:07:36 ~metar EFHK 23:07:43 no not metar 23:07:46 boily.................. 23:07:49 thankfully metasepia isn't here 23:07:57 More like metarsepia amirite. 23:08:07 very good......... 23:08:09 I tried to add Finland to my weather indicator 23:08:13 but it crashed 23:08:30 it was protecting you 23:08:31 and protecting itself 23:08:47 It's been quite warm (as in, 20 °C highs) lately. 23:09:03 http://outside.aalto.fi/ <- best weather information for Finland. 23:09:12 (It's the thing maintained by the IT people at the university.) 23:09:13 is finland as much of a shithole as literally everything i've heard about it makes it sound 23:09:36 harsh 23:09:49 helsinki seems nice, although very expensive 23:09:53 it's not sweden, elliott 23:09:58 how can you not love it 23:09:58 kmc: hey man i live in hexham 23:10:00 it's "allowed" 23:10:56 `quote 682 23:10:57 It's kind of dark (like, the way it is in a hole) at wintertime. 23:10:57 682) oh right: Frooxius, you wouldn't happen to live in Hexham, would you? No, sorry. phew How about Finland? Why would I live there? That's a *very* good question. Why would anyone? 23:11:17 Then again, it's kind of light at summertime. 23:11:32 kmc: also, you probably don't want to buy helsinki 23:11:36 so it doesn't matter how expensive it is 23:11:41 c.c 23:11:46 Sunrise in Lieksa, where we're going to visit soonishly, is at around 02:50am or something like that, this time of the year. 23:11:49 (this is the part where you say elliott.ais523.moed++ or however it goes) 23:13:51 fizzie: when I flew home from Canada to the UK, the plane took a detour north to avoid the Icelandic volcano 23:14:19 the result was that the sun changed its mind mid-set, and started rising again 23:14:59 you're not allowed to say "the icelandic volcano" 23:15:04 you have to make your best attempt to spell it 23:15:06 it's the rules 23:15:31 Like in that one xkcd what-if. 23:15:51 In re sunsets, that is. 23:16:03 eyjafjallajokul? 23:16:26 that's a good approximation 23:16:26 eyjaffacake 23:16:29 holy shit 23:16:34 eyeracarfokarul 23:16:39 except for that last l being doubled i got it right 23:16:44 um you missed the accents 23:16:46 are you god 23:16:55 oh. god status revoked 23:17:06 Yes, jokull and jökull are quite different. 23:17:11 accents are basically just punctuation though 23:17:23 also: i'm on windows so no compose key 23:17:23 you know what they say about punctuation 23:17:34 "i had to help my uncle Jack off a horse" 23:18:02 that's not punctuation, that's capitalization 23:18:03 hi 23:19:15 it's true it would be pretty awful if people thought your uncle needed help to get down from a horse 23:19:18 hi mnoqy 23:19:24 "incompetent uncle" 23:19:37 Bike, nobody says jack off to mean masturbation in the uk hth 23:19:49 you fucking freaks 23:21:04 Phantom_Hoover: I suspect at least one person does 23:21:36 thanks ais 23:21:51 Phantom_Hoover: if you knew me better, I wouldn't even have to write the reply 23:22:01 because you could just have assumed I'd say it, and saved me the trouble of typing it 23:22:17 oh yeah?? well, i suspect two people do! 23:22:26 at least. 23:22:35 census time 23:27:07 -!- sebbu2 has changed nick to sebbu. 23:49:41 -!- Tritonio has quit (Quit: Leaving). 23:49:43 -!- sprocklem has quit (Remote host closed the connection). 23:49:58 theory: all new non-eso programming languages should reserve a few keywords with general programmy sorts of names 23:50:04 so that they can use them for new syntax without causing clashes 23:53:05 19:48 < mm_freak> the rubik's cube group is a theory of documents and patches 23:53:25 -!- ais523 has quit. 23:53:31 kmc: it seems like you're experiencing half of the #haskell people anyway 23:53:33 so why not join #haskell 23:53:44 a compelling argument 23:54:11 yessss i'm getting through to him 23:54:58 kmc: how about after a month we op you for 10 seconds and in those 10 seconds you get to ban whoever you want 23:55:01 The Ritual 23:55:33 also if you are found to have compiled a list of commands to run beforehand you get beheaded 23:55:48 and you have to be on drugz 23:55:52 what if he just clears users. 23:56:02 then he becomes king 23:58:21 kmc: i'm in favour of you joining #haskell and making chaos out of chaos