00:00:16 HAPPY UTC APOCALYPSE!!!!!!!!!!!!!!!!!!!!!!!!!!!! 00:00:24 olsner: Is it finlandssvenska, though? 00:00:38 fizzie: imo it's not 00:00:42 They speak that here on the cost a lot. 00:00:58 i don't get it why are you guys still alive 00:00:59 ohhhh 00:01:02 different timezones 00:01:10 sounds more like an arbitrary northern swedish dialect 00:01:11 Maybe Åland counts as real Swedish since they're monolingual IIRC. 00:03:05 http://en.wikipedia.org/wiki/Åland_Swedish says "generally considered to be a variant of eastern swedish" 00:03:17 There were two people speaking finlandssvenska in the train, and they talked about their friend who was just 14 years old, but already used something that contextually sounded like a drug, but what they called "Eemeli". 00:03:43 I don't know what it was all about. 00:04:12 could be referring to a girl called Emelie 00:04:28 eemeli was born with naturally psychotropic skin 00:04:43 I think that bit was in Finnish. It's a Finnish male name. 00:05:48 There was also a 50-something old guy who said he's no good at fistfights, so he'd like to get a gun, because he's good at shooting people. He was going to Turku to meet his friend Herkko, who was currently in court; when Herkko got out they were going to drink away his money. 00:06:17 and you didn't get his number? 00:06:32 Also, he had just left his wife and kids without letting them know except by leaving a letter, and he was going to send out the divorce papers from Turku. 00:06:35 that's swedes for you 00:06:48 to whom was he relating this 00:07:02 Someone was going to hit concrete from the fifth floor, too. That part was a bit unclear. 00:07:13 To someone at the other end of a telephone call. 00:07:34 The stories are I suppose the best thing about public transportation. 00:08:15 public transportation is unfortunately extortionate and dull 00:08:25 *in england 00:08:41 in scotland it is at least not as extortionate 00:09:19 boring and dull until you try to get off the train and have to discover that the door handle is on the outside 00:09:21 Admittedly it's predominantly dull in Finland too. It's not a thing that is done that you would speak to any stranger. (Which I like, but then again I am a Finn too.) 00:10:12 At most you might grumble something like "that's my stop" when you're in the window seat, want to get out, and the other person isn't getting the hint from your angry scowl. 00:10:37 oh, what a verbose way to get off a train 00:10:53 (Because the angry scowl is naturally the default setting.) 00:11:44 my kind of country 00:11:59 I'd expect the escalation order to be something more like subtle look -> angry look -> knife fight 00:12:03 fizzie: q: are all finns depressed or does it just look that way 00:12:35 olsner, it's finland, it'd be a drunken gun fight 00:13:21 but with a gun there would be no blood on your hands 00:13:46 We do knife fights. 00:14:02 my favorite public transport experience was seeing a ninety year old lady with a t-shirt reading "FUCK YOU YOU FUCKING FUCKERS". no word on her knife fight capacity, though 00:14:08 At night, in the grill fast-food stand queue. 00:14:12 -!- nooga has quit (Ping timeout: 256 seconds). 00:15:34 olsner, just stick your hands in the blood and spread it around a bit 00:15:44 Bike: where was it? 00:15:47 What is your Dungeons&Dragons character's father's surname? 00:16:00 there are lots of videos on YouTube of fights on MUNI 00:16:06 don't know of any knife fights though 00:16:10 kmc: portland's MAX thingie 00:16:27 so, perhaps not that surprising 00:16:31 Hey, I've been in Portland's MAX thingie. 00:16:42 All I saw were young men in tight jeans. 00:16:57 mmm light rail 00:16:59 i was even traveling with such a young man at the time, can you believe it 00:17:28 can you dig it daddy-o 00:17:38 we were practicing our beat poetry 00:18:12 Oh, except! An oldish lady (65+?) bought me a ticket, because I was from Finland and she had been married to a Swedish guy like 30 years ago. 00:18:30 haha 00:18:47 what's the difference 00:18:55 (I was having a bit of a trouble with the ticket-selling machine. And so did others using it, so I suppose it was kind of wonky.) 00:19:24 I can't remember the name of her (late? ex?) husband, but it was some really prototypically Swedish name. 00:19:34 I think it was a two-parter. 00:21:58 Sundström. (Okay, not really a two-parter, but a compound anyway.) 00:22:04 Lars Larsson 00:25:10 hans moleman 00:28:01 1909 Sundströms living in Finland. 00:29:07 sundström sounds like a unit of deadly radiation 00:29:15 1909 sundströms would certainly be fatal 00:37:55 Yeah, the *yearly* limit is like 220 millisundströms, right? 00:39:30 what's the conversion factor for sundströms to roentgens? 00:39:57 `frink sundström -> roentgen 00:40:07 Warning: undefined symbol "sundström". \ Unconvertable expression: \ sundström (undefined symbol) -> 129/500000 (exactly 2.58e-4) s kg^-1 A (unknown unit type) 00:40:40 second-amperes per kilogram. i can dig it. 00:41:12 second amperes is coulombs, isnt it 00:41:41 yeah but then you lose the ordering 00:42:17 oh, apparently that's actually what roentgens are. silly me. 00:43:49 so irradiation is a measure of charge density per unit mass 00:44:15 makes sense but its still somewhat surprising, since it was expecting a more traditional measure of energy 00:44:43 there really isn't an elementary definition 01:01:55 What things might be measure in square seconds? What might be measured in square hertz? 01:02:33 square hertz is pretty useful for acceleration 01:02:56 -!- augur has joined. 01:03:55 What units of angular measurement are there? 01:04:04 there are three 01:04:23 radians, degrees, and gradient 01:04:39 arcseconds is a special case 01:05:10 it is part of the degrees system 01:06:41 square arcseconds can be used to measure "solid angle" which corresponds the an area / subset of s^2 01:06:46 erm 01:06:49 S^2 01:07:28 I know of radians, degrees, grads, turns, brads, arcminutes, arcseconds, sidereal hours, astrological signs, right angles, compass directions, clocks, and probably some more I missed. 01:07:54 quintopia: O, I didn't know that! Can you have cubic radians? 01:09:51 sure 01:10:23 What is measured with cubic radians per square ampere? 01:10:25 most of the later ones you listed are special cases of the first ones 01:11:16 well, cubic radians measures the volume of an intercepted "arc" of S^3 01:11:41 which means it is most useful in 4D geomtery 01:11:45 quintopia: Well, yes they are often given by part and smaller parts, degrees/arcminutes/arcseconds, or sidereal hours/minutes/seconds, or degree/sign, like how with length you might have feet/inches. 01:11:46 -!- augur has quit (Remote host closed the connection). 01:12:29 a square ampere sounds meaningless to me 01:12:45 Can a square ohm be used for anything? 01:13:08 aren't there square ohms in the definition of farads or something 01:13:15 Maybe; I don't know. 01:13:38 ohms are v/a, so it would be square volts per square ampere and again i cant see what a square ampere could mean physically 01:14:14 -!- augur has joined. 01:14:43 yes there is square amperes in farad definitions 01:15:48 quartic-second-square-amperes per kilogram-square-meters, i think you mean! 01:16:25 apparently because voltss is define in terms of amps and ohms in defined in terms of both 01:16:37 the definition of ohm has A^-2 01:16:47 and so farads, as s/ohm 01:16:51 has A^2 01:19:59 -!- TeruFSX has joined. 01:25:29 -!- monqy has joined. 01:59:17 -!- augur has quit (Ping timeout: 248 seconds). 01:59:31 -!- TeruFSX has quit (Ping timeout: 265 seconds). 02:18:27 -!- TeruFSX has joined. 02:40:22 -!- elliott has quit (Quit: Reconnecting). 02:40:30 -!- elliott has joined. 03:04:01 sgeo_: update? 03:05:26 Fiora................ 03:05:29 That's not how it works. 03:05:36 You've upset the natural order of things. 03:05:43 nyahahaha~ 03:12:51 sgeo_, you're underperforming 03:12:57 Fiora, you now do sgeo_'s job 03:14:07 Phantom_Hoover: Can I do your job now? 03:14:12 sure 03:14:18 heavy lies the crown etc. 03:14:49 Hmm? 03:14:57 Come to think of it I'm not sure what Phantom_Hoover's job is. 03:15:12 that is the greater part of the weight 03:15:16 it involves bricks; brains 03:15:24 Good point. 03:15:27 yes, the rest of the weight is bricks 03:19:17 -!- keb has joined. 03:23:51 if you run out of bricks 03:23:57 and there are too many brains 03:24:03 I'd be more than happy to eat one or two 03:24:36 and that's how you get kuru 03:25:39 is that a BTD? 03:25:49 brain transmissible disease 03:27:20 You get it from eating brains. Does that count? 03:27:42 well i don't see what else you would have me do with brains, so yes 03:28:40 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:28:44 -!- keb has quit (Remote host closed the connection). 03:38:09 I don't have the list of people to ping though 03:38:37 -!- sebbu has joined. 03:38:42 the list is sgeo (duh), shachaf (why else would he care about it so much?), and that's about it. 03:38:55 -!- sebbu has quit (Changing host). 03:38:55 -!- sebbu has joined. 03:41:04 monqy: you forgot monqy 03:41:07 Fiora: NEVER FORGET to ping monqy 03:41:39 Fiora: I didn't forget myself, but that reminds me I did forget elliott 03:41:54 just ping everybody in the channel to be safe. 03:41:57 less racist that way anyhow 03:42:05 Fiora: no monqy is lying. he's just shy. ping monqy. he's only saying me because he wants to be kind. i don't need kindness 03:42:12 -!- sebbu2 has quit (Ping timeout: 248 seconds). 03:42:22 Fiora: I'm not on the list. 03:42:32 this is confusing 03:42:51 Do you need to make up a new list? 03:42:55 elliot is a man and a half. ping him one and a half times. 03:43:02 are you calling him fat 03:43:04 yes. ping elliot 03:43:05 not elliott 03:43:08 v. important 03:43:20 (ps i am like the polar opposite of fat) 03:43:29 of course there's actually an elliot on freenode. 03:43:38 elliott 03:43:41 Uh. 03:43:48 elliott? 03:44:03 and no i was not calling him fat gosh 03:44:06 just thick and chainsawful 03:44:09 I was teasing you bike 03:44:16 !!????! 03:44:29 I don't think I can deal with this new phase of Fiora, Master Troller. 03:44:31 -!- Bike has left. 03:44:36 Whew. 03:44:39 Good riddance, I say. 03:44:46 (Bike reads the logs, right?) 03:45:00 :< 03:45:02 @ask Bike u mad????????? (im sorry. im really sorry) 03:45:02 Consider it noted. 03:45:09 @ask Bike i couldnt not please forgive me 03:45:09 Consider it noted. 03:45:30 Fiora is the same person as Bike as far as I'm aware. 03:45:36 biiike :< 03:45:50 elliott... 03:45:53 unforgivable 03:46:03 you know the punishment for that sort of transgression!!! 03:46:05 "the list" 03:46:06 I am not actually the same person <_<; 03:46:27 monqy: dont you mean the privilege 03:46:30 & honour 03:46:37 honor 03:46:40 no 03:46:43 bwe speak american here 03:46:45 `quote hono 03:46:47 25) ehird: There is no h in "honour" 03:46:57 -!- Bike has joined. 03:47:08 -!- sebbu has quit (Read error: Connection reset by peer). 03:47:16 elliott: i bet you think honor is all about u 03:47:21 Bike: you should type in @clear-messages↵ 03:47:23 Bike: you can't just leave for two minutes 03:47:24 weak 03:47:26 go 03:47:33 @clear-messages↵ 03:47:34 Unknown command, try @list 03:47:35 nooo don't make him leave again 03:47:39 agreed, type that in 03:47:41 Bike: do what monqy said 03:47:50 monqy++ # ↵ 03:47:50 @clear-messages↵ 03:47:51 Unknown command, try @list 03:47:56 without the ↵ 03:47:57 ok what do I win 03:47:58 no 03:47:58 Bike: You have 2 new messages. '/msg lambdabot @messages' to read them. 03:48:13 no! 03:48:16 Well fuck, if you don't specify without the ↵ how am I supposed to know! 03:48:20 -!- sebbu has joined. 03:48:54 monqy: did you learn indexed lenses yet 03:49:05 which were those 03:49:08 the dumb ones??????? 03:49:14 yes 03:49:20 wasnt i supposed to be learning semisymmetric lenses!!! 03:49:23 wait 03:49:28 didn't you 03:49:34 :0 03:49:43 monqy: semisymmetric lenses are "in master" now 03:50:27 monqy: the best part about semisymmetric isos? 03:50:28 i hear unsafecoerce is "in master" too 03:50:36 @tell elliot fucking fuck goddamn fuck fuckdouche fuckfuckfuckertyfuck FUCK 03:50:36 you can "unsafe"coerce is 03:50:36 Consider it noted. 03:50:57 "elliot" 03:51:10 Bike: poor elliot 03:51:11 We've already been over my feud with elliot. 03:51:12 Bike: i told you to @clear-messages↵ but you didn't listen did you!!! 03:51:19 I DID 03:51:19 Bike: That was just uncalled for. 03:51:24 @clear-messages↵ 03:51:25 Unknown command, try @list 03:51:27 see! 03:51:28 we don't say "goddamn" in here!!!!! 03:51:39 is "fuckerty" ok 03:51:42 that's blasphemous 04:08:57 I was too busy hanging out with friends after graduating to do my job 04:13:28 and it was a one page update 04:13:30 with like 5 lines of text 04:21:23 -!- jix has quit (Ping timeout: 260 seconds). 04:21:50 -!- ssue has quit (Ping timeout: 256 seconds). 04:24:01 -!- jix has joined. 04:30:15 -!- iamcal__ has joined. 04:32:43 -!- Arc_Koen has quit (Quit: Arc_Koen). 04:46:17 -!- ssue has joined. 04:48:20 -!- TeruFSX has quit (Ping timeout: 255 seconds). 05:16:05 -!- augur has joined. 05:17:00 -!- augur has quit (Remote host closed the connection). 05:24:36 -!- TeruFSX has joined. 05:35:56 -!- carado has quit (Ping timeout: 246 seconds). 06:05:52 -!- TeruFSX has quit (Ping timeout: 252 seconds). 06:07:40 -!- keb has joined. 06:16:42 `run echo unsafePerformApocalypse | zalgo 06:16:44 u̞n̐s̻a̹fͫe͓P̡e͟rͩf͓o͕rͣm͑A̹pͦo̠c̭a͇l̕y̓p̊s͟e͙ \ ̺ 06:32:12 what is this sorcery 06:41:37 `run echo unsafePerformApocalypse | zalgo 06:41:39 uͪnͅs̓a͞f̽e͏P͛ẻr̭f͍o̐r̛m̡A̶p̤òc̥a̛lͧy̡p̀ṣe̓ \ ͒ 06:48:56 -!- asiekierka_ has changed nick to asiekierka. 06:51:14 -!- sebbu has quit (Ping timeout: 276 seconds). 06:52:17 -!- sebbu has joined. 06:52:17 -!- sebbu has quit (Changing host). 06:52:17 -!- sebbu has joined. 07:04:53 -!- FreeFull has quit (Quit: if ! world.end? then comeBack()). 07:08:08 -!- SingingBoyo has joined. 07:09:35 -!- augur has joined. 08:04:30 -!- Nisstyre-laptop has joined. 08:08:59 sgeo_: update 08:09:19 elliot: update 08:20:28 thanks - elliot, my long-lost twousin 08:23:15 The illest elliot. 08:42:06 -!- nooga has joined. 08:44:08 -!- jdiez has quit (*.net *.split). 08:44:08 -!- sivoais has quit (*.net *.split). 08:44:08 -!- Cryovat has quit (*.net *.split). 08:46:11 -!- jdiez has joined. 08:46:11 -!- sivoais has joined. 08:46:11 -!- Cryovat has joined. 09:03:30 -!- epicmonkey has joined. 09:07:37 -!- Taneb has joined. 09:26:07 -!- Bike has quit (Ping timeout: 265 seconds). 09:41:01 -!- Taneb has quit (Quit: Page closed). 09:52:37 -!- iamcal_ has quit (Remote host closed the connection). 09:54:17 -!- iamcal__ has changed nick to iamcal_. 09:54:53 -!- iamcal_ has quit (Remote host closed the connection). 10:11:04 -!- iamcal_ has joined. 10:24:53 -!- epicmonkey has quit (Ping timeout: 248 seconds). 10:42:31 Do you think you can predict the end of the world by the horoscope? I think it is possible, although you need actual observation too. I can explain how, in case you don't know. 10:46:14 is the world ending 10:46:23 -!- AnotherTest has joined. 10:46:29 Greetings 10:47:19 elliott: I don't think so. I explained what I think was actually happening with the Mayan calendar. 10:49:02 Did you agree with what my idea was? 10:49:36 absolutely 10:49:43 what was your idea ? 10:50:18 that was my next question 10:50:52 About the similarity to the Y2K thinking everything would break? 10:51:43 Because, they didn't program the computer to go up to 2000, like the Mayans did not write their calendar all the way up to 13.0.0.0.0 (probably because they didn't want to write forever, or something like that) 10:54:24 So the world will end on 19 January 2038? 10:55:14 zzo38: I think they made up some bogus religious reason for the cyclic calendar 10:55:24 probably the real reason is what you said 10:56:31 It seems that some piece of software has stopped including plaintext versions of emails any longer. 10:58:32 All the stuff I get from the university officialdom nowadays is a non-multipart message with a Content-type: text/html body that always has this short boilerplate prefix of http://sprunge.us/bNja before any content. 11:00:28 -!- zzo38 has quit (Remote host closed the connection). 11:02:44 fizzie: I get multiparts with a text/plain version for ICS-internal stuff. 11:05:13 Deewiant: Okay, that might be still true. But most of the stuff I get from "Aalto" in general seems to be that kind of stuff. 11:06:05 (I use the Outlook Web App to respond to those; should perhaps check what it sends out.) 11:06:17 fizzie: The latest "Aalto Info" (20.12.) was multipart and I don't think I really get any other general Aalto-stuff. 11:07:18 That's probably sent from some kind of a system. I meant more emails from people working in an administrative role. 11:07:58 Like I've gotten a couple of emails from a "Planning Officer / Student Services" recently; the latest was from where I quoted that mess. 11:08:00 Right; I don't really get anything like that except for ICS, I think. 11:10:50 Deewiant: Also some messages from the ICS department HR coordinator (Stefan). Though this is a forward, so maybe I should blame the original author. 11:11:11 "Subject: FW: Terveystalo - Virtaa voimavararyhmästä Arabia - syksy 2012" of Aug 30; I don't know who all this was sent to. 11:15:35 "List price: $14.99; Price: $0.01; You save: $14.98 (100%)" Amazon certainly has some good deals. 11:18:17 "$0.01 + $4.99 shipping" oh. 11:32:06 -!- epicmonkey has joined. 11:36:04 fizzie: Also multipart. 11:37:21 Not my copy. 11:38:43 The "kevät 2012" version I got via staff@ics.hut.fi is, but the "syksy 2012" that's in my @aalto.fi address is not. 11:39:36 You're on their HT-list. 11:40:13 -!- FreeFull has joined. 11:40:58 Heh, apparently they need a nickname for our new offices in the other building. 11:41:04 (I did mention our group is moving?) 11:41:28 They should name them the cheese shop 11:42:25 -!- monqy has quit (Quit: hello). 11:42:44 -!- GreyKnight has joined. 11:43:56 fizzie: Oh, where? 11:44:05 well played Google: http://www.google.co.uk/logos/2012/end_of_the_mayan_calendar-993005-hp.jpg 11:44:06 GreyKnight: You have 1 new message. '/msg lambdabot @messages' to read it. 11:45:10 hmph! 11:52:51 -!- GreyKnight has quit (Ping timeout: 252 seconds). 11:55:29 Deewiant: To Aalto ELEC, Department of Signal Processing and Acoustics. 11:55:41 -!- GreyKnight has joined. 11:56:05 Deewiant: Mikko Kurimo, our group leader, got a professorship from there, so we'll all follow him there. 11:56:40 it's a pity the DS9K doesn't actually exist 11:56:46 Deep Space 9 Kompiler? 11:56:51 Death Station 9000. 11:57:05 -!- oerjan has joined. 11:58:23 The acoustics lab people are spread out all around the building, so they've got these names for all the different locations where they have offices; there's Moscow (their original 2nd floor E wing place), Chechnya (below it), Siberia (far out in the I wing), and Ural (high up in 4th floor in the G wing). 11:58:32 fizzie: Where's that? 11:58:45 Our new offices are 3rd floor in the I wing, immediately above Siberia. 11:58:52 In the "Sähkö" building. 11:59:02 "Some suggestions so far by the professors include: Upper Siberia, Vladivostok and Mongolia." 12:00:06 `addquote Out new offices are [...] immediately above Siberia 12:00:13 881) Out new offices are [...] immediately above Siberia 12:00:32 * oerjan swats GreyKnight for typoing while copying and pasting -----### 12:00:37 GreyKnight: r* 12:00:43 Also .* 12:00:49 (Man, that looks like a regex.) 12:00:51 :-( 12:01:11 `revert 12:01:14 Done. 12:01:51 it's past the solstice and the world's still here I WANT MY MONEY BACK DAMMIT 12:03:41 Gnerp. I need to do this travel claim, and the project selection drop-down box has 6169 entries. 12:06:13 -!- GreyKnight has quit (Ping timeout: 248 seconds). 12:06:22 -!- greyooze has joined. 12:06:34 -!- greyooze has changed nick to GreyKnight. 12:06:38 oerjan: The true Mayan apocalypse is the one in your heart 12:06:45 -!- Nisstyre-laptop has quit (Ping timeout: 248 seconds). 12:08:03 * oerjan hits GreyKnight with the saucepan ===\__/ 12:08:17 doing 12:08:25 -!- GreyKnight has changed nick to greyknight. 12:08:33 you bashed my capitals in :-( 12:09:17 hey the DS9K has a website: http://dialspace.dial.pipex.com/prod/dialspace/town/green/gfd34/art/ 12:13:08 but with a gun there would be no blood on your hands <-- i don't think that applies when you're fighting the person in the neighboring train seat hth 12:13:40 -!- greyknight has quit (Ping timeout: 248 seconds). 12:13:50 -!- greyooze has joined. 12:14:03 -!- greyooze has changed nick to GreyKnight. 12:15:04 What is your Dungeons&Dragons character's father's surname? 12:15:23 Nonexistent. James Nonexistent. 12:16:36 I don't have an ongoing game at the minute. I did but I was sick for a while and had to drop out 12:19:25 square hertz is pretty useful for acceleration <-- if you accelerate too much, you hit the square, which hertz 12:20:10 oerjan: Do you measure the frequency of a square wave in square Hertz? 12:20:53 nah that's just a whole new dimension of pain 12:29:48 we don't say "goddamn" in here!!!!! <-- indeed it freaks out ais523 12:30:40 >:-( 12:31:49 `addquote Did you agree with what my idea was? absolutely what was your idea ? that was my next question 12:31:52 881) Did you agree with what my idea was? absolutely what was your idea ? that was my next question 12:32:07 oerjan: happy non-apocalypse 12:32:25 seeing as it's the end of the world, I phoned the bank and told them to stick their mortage payments up their jacksie B-) 12:32:28 felt good 12:32:31 elliott: but i _needed_ an apocalypse D: 12:33:21 i blame the atheists and their anti-faith 12:33:32 GreyKnight: It's the end of the world and you feel fine? 12:33:39 How lyrical. 12:37:05 oerjan: I am kind of underwhelmed that absolutely nothing happened here whatsoever 12:37:08 not even riots 12:40:05 elliott: they're having riots in gothenburg, i hear. although they started earlier. 12:41:18 -!- greyooze has joined. 12:41:41 -!- GreyKnight has quit (Ping timeout: 265 seconds). 12:43:43 -!- greyooze has changed nick to GreyKnight. 12:45:12 Is there a built in function that does foldl (>>) (head x) (tail x) 12:47:47 foldl f (head l) (tail l) is the same as foldl1 f l, isn't it? 12:48:41 I think so 12:48:59 hm it seems that it's just an accident that the day of this calendar turnover is solstice, that's not the case for other ones 12:49:44 SO MAYBE THE END OF THE WORLD COULD HAPPEN AT ANOTHER TIME OF DAY 12:51:03 ISTR something about they didn't take leap days into account properly when converting to our calendar? So it's been and gone if so :-o 12:51:13 FreeFull: do you need the result of the final item? otherwise sequence_ will do. or you could do fmap last . sequence although that may leak memory 12:52:16 I also have heard that according to some people the proper calendar synchronization would make December 23rd the right day. 12:52:49 GreyKnight: from the section on the issue, it seems that there's a pretty strong consensus now but that there was a lot of argument before they reached it 12:52:58 "The date of 13.0.0.0.0 4 Ajaw 3 K'ank'in is usually correlated as 21 or 23 December 2012." (Wikipedia.) 12:53:16 * GreyKnight throws his hands up 12:53:30 /o\ arrgh 12:53:48 "Today, 12:30, Friday December 21, 2012 (UTC), in the Long Count is 13.0.0.0.0 (GMT correlation)." 12:54:06 i think that's a piece of autochanging text in wikipedia 12:55:14 http://en.wikipedia.org/wiki/Mesoamerican_Long_Count_calendar#Correlations_between_Western_calendars_and_the_Long_Count 12:57:01 FreeFull: dependent on the monad, you may want foldr rather than foldl there 12:58:16 foldr (>>) (return ()) x 12:58:16 foldm, which folds in the middle. 12:59:00 @src sequence_ 12:59:00 sequence_ ms = foldr (>>) (return ()) ms 12:59:11 fizzie: no, but monads differ in whether >> is strictest in the first or second argument 12:59:21 foldr (>>) is generally the way to go. 12:59:28 Monads want to be right-associated. 12:59:38 oh right that's just what it does 12:59:42 shachaf: NOT ALL 12:59:50 oerjan: YES THEY DO 13:00:02 Reader is better the other way, for example 13:00:09 It is? 13:00:14 and State can be. 13:00:17 -!- carado has joined. 13:00:23 oerjan: Reader doesn't even have any effects. 13:00:33 So you pretty much want to right-associate it. 13:00:43 Because you say foo >>= (\x -> bar >>= (\y -> ...)) 13:00:49 Well, I guess you don't *have* to say that. 13:00:58 oerjan: Anyway the real answer is to use Codensity. 13:01:00 shachaf: no you don't, that makes it unnecessarily strict 13:01:15 Monads want to be right-associated. <-- Don't anthropomorphise monads. They hate that. 13:01:15 Codensity: The Best Monad? 13:01:22 thanks GreyKnight 13:01:31 np 13:02:22 > Just 1 >> Just 2 13:02:24 Just 2 13:02:36 > foldl (>>) (Just 1) [Just 2] 13:02:38 Just 2 13:02:50 oerjan: Does that look wrong to you 13:03:02 > foldl (>>) (Just 1) [Just 2,Just3] 13:03:04 > foldr (>>) (Just 1) [Just 2] 13:03:04 Not in scope: data constructor `Just3' 13:03:04 Perhaps you meant `Just' (imported ... 13:03:05 > foldl (>>) (Just 1) [Just 2,Just 3] 13:03:06 Just 1 13:03:07 Just 3 13:03:12 no, also Maybe is definitely one of the right associating ones 13:03:44 :t (>>) 13:03:45 Monad m => m a -> m b -> m b 13:05:21 also what was said about foldl1 13:05:36 or foldr1 13:05:50 1 stands for "the devil" 13:06:10 > foldr1 (>>) $ fmap Just [1..10] 13:06:12 Just 10 13:06:56 mind you those are among those evil partial functions 13:07:21 oerjan: Did you know: scanl1 isn't evil? 13:08:04 -!- hagb4rd has quit (Ping timeout: 248 seconds). 13:08:56 -!- GreyKnight has quit (Ping timeout: 265 seconds). 13:11:13 indeed 13:11:38 :t scanl1 13:11:39 (a -> a -> a) -> [a] -> [a] 13:12:22 > scanl1 undefined undefined -- OR IS IT? 13:12:24 *Exception: Prelude.undefined 13:13:29 -!- GreyKnight has joined. 13:23:28 `quote 13:23:30 206) hey speaking of young, some kinds asked me to buy some tobacco for them and i did, and then they were all likd "wow that guy's coool" when i told them i don't need their money 13:23:43 `quote 13:23:44 70) [Warrigal] `addquote hahaha, Lawlabee is running windows 'cuz it's pretty awesome. [Lawlabee] Warrigal: :( 13:23:45 `quote 13:23:46 614) elliott: it occurs to me that `? welcome is atypical: its information is actually true. 13:23:46 `quote 13:23:48 `quote 13:23:48 84) it can be a good fursuit, but the good thing is that nobody can complain a fox doesn't have the right skin tone 13:23:49 27) pikhq: A lunar nation is totally pointless. ehird: consider low-gravity porn fungebob: OK. Now I'm convinced. 13:31:07 -!- hagb4rd has joined. 13:43:37 > scanl1 (\x y -> y) [1,2,3] 13:43:38 [1,2,3] 13:46:17 -!- GreyKnight has quit (Ping timeout: 246 seconds). 13:48:32 -!- GreyKnight has joined. 13:49:29 But are you supposed to call (\x y -> y) "const id" or "flip const", that's the question. 13:49:45 @pl flip const 13:49:45 const id 13:49:56 lambdabot: That's just *your* opinion, man. 13:51:11 I prefer const id except when I don't 13:51:34 tsnoc 13:53:47 -!- WeThePeople has joined. 13:54:41 :t curry snd 13:54:43 a -> c -> c 13:54:46 yw 13:55:23 For the discerning (a -> b -> b)'er. 13:55:45 `rng const_id flip_const 13:55:46 const_id 13:55:58 :t curry wurst 13:55:59 Not in scope: `wurst' 13:57:05 > return ask 1 2 13:57:07 2 14:00:19 -!- GreyKnight has quit (Quit: --->). 14:01:30 -!- oerjan has quit (Quit: AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA). 14:01:52 -!- jix has quit (Quit: Lost terminal). 14:02:21 -!- jix has joined. 14:02:55 -!- boily has joined. 14:03:08 -!- Taneb has joined. 14:26:39 -!- WeThePeople has quit (Read error: Operation timed out). 14:32:28 :t let wurst a b = b in curry wurst 14:32:29 a -> b -> t -> t 14:34:20 -!- WeThePeople has joined. 14:36:58 That is the wurst function I have ever seen 14:53:42 good end of the world! 14:58:52 It certainly is the end of the world 14:58:55 I've smoked a cigar 15:28:10 going to scotch myself when I'll get back home. 15:30:39 ...is Korea really known as the land of the morning calm? 15:37:57 -!- epicmonkey has quit (Ping timeout: 248 seconds). 16:08:53 -!- sebbu has quit (Ping timeout: 248 seconds). 16:09:02 -!- SingingBoyo has quit (Ping timeout: 265 seconds). 16:11:26 Taneb: it comes from the Joseon (朝鮮) Dynasty, which can be interpreted as "Fresh Morning". 16:17:22 -!- Vorpal has joined. 16:17:48 I wonder how much slower let x y = (10^y - 1) `div` 9 in x 1000 is over let x y = read (take y $ repeat '1') :: Integer in x 1000 16:18:03 Assuming it is actually slower 16:18:30 > let x y = (10^y - 1) `div` 9 in x 1000 16:18:33 111111111111111111111111111111111111111111111111111111111111111111111111111... 16:18:48 Taneb: It prints 1000 1s 16:18:57 > let x y = read (replicate y '1') :: Integer in x 1000 16:18:59 111111111111111111111111111111111111111111111111111111111111111111111111111... 16:19:23 Reading in the string does seem faster 16:20:29 > let x y = foldl' (\acc c -> 10 * acc + toInteger (digitToInt c)) (replicate y '1') in x 1000 16:20:31 Couldn't match expected type `GHC.Integer.Type.Integer' 16:20:31 with a... 16:20:52 > let x y = foldl' (\acc c -> 10 * acc + toInteger (digitToInt c)) 0 (replicate y '1') in x 1000 16:20:54 111111111111111111111111111111111111111111111111111111111111111111111111111... 16:21:22 > let x y = foldl' (\acc c -> 10 * acc + c) 0 (replicate y 1) in x 1000 16:21:24 111111111111111111111111111111111111111111111111111111111111111111111111111... 16:21:37 That's probably the quickest 16:21:44 That I can think of 16:22:00 That's the slowest 16:23:28 It's also easily extendable to other bases 16:25:18 > let x y = foldl' (\acc c -> 16 * acc + c) 0 (replicate y 1) in showHex (x 1000) "" 16:25:20 "11111111111111111111111111111111111111111111111111111111111111111111111111... 16:25:29 Now I shall leave 16:25:32 -!- Taneb has quit (Quit: Leaving). 16:31:26 -!- sebbu has joined. 16:31:26 -!- sebbu has quit (Changing host). 16:31:26 -!- sebbu has joined. 16:34:47 > replicate 1000 '1' 16:34:49 "11111111111111111111111111111111111111111111111111111111111111111111111111... 16:37:17 -!- Phantom_Hoover has joined. 16:37:19 -!- sebbu has quit (Ping timeout: 260 seconds). 16:37:24 -!- WeThePeople has quit (Ping timeout: 260 seconds). 16:44:47 -!- Arc_Koen has joined. 17:01:21 -!- epicmonkey has joined. 17:07:00 -!- olsner has quit (Quit: Leaving). 17:18:04 -!- Bike has joined. 17:20:36 -!- asiekierka has quit (Excess Flood). 17:23:44 -!- asiekierka has joined. 17:39:36 -!- epicmonkey has quit (Ping timeout: 265 seconds). 17:48:12 -!- sebbu has joined. 17:48:12 -!- sebbu has quit (Changing host). 17:48:12 -!- sebbu has joined. 18:00:14 Heh, someone ported that vMac emulator to Android. 18:02:19 -!- keb has quit (Ping timeout: 265 seconds). 18:12:04 -!- asiekierka has quit (Excess Flood). 18:12:45 -!- asiekierka has joined. 18:18:43 -!- GreyKnight has joined. 18:20:29 @tell zzo38 another angular unit is the mil (1/6400 of a revolution) 18:20:29 Consider it noted. 18:28:01 `quote 18:28:03 `quote 18:28:03 162) I don't trust ducks. They always look like they're planning something. I'm not sure it's a good idea to give them language capabilities. 18:28:04 `quote 18:28:05 584) Real Tar is GNU tar. You just ignore whichever features don't make you feel superior enough. 18:28:06 `quote 18:28:06 134) I love logic, especially the part where it makes no sense. 18:28:07 `quote 18:28:08 57) if a girl is that cute, i don't care how many penises she has 18:28:09 233) OK, I give up, logging into Wikia is harder than writing a Firefox extension 18:28:13 584 imo 18:28:35 no, 584 is trufax 18:28:57 also if a GNU tar feature doesn't make you feel superior to others then you should file a bug report, it was probably unintentional 18:29:02 `quote 18:29:03 `quote 18:29:03 `quote 18:29:03 `quote 18:29:03 `quote 18:29:05 659) why not just give the gays their own state so people could finally pray in peace 18:29:07 151) i like the feeling of freedom you get driving a bus 18:29:07 651) myndzi\: ok so one of the nastiest puzzles i suppose is... you're on death row.. you don't want to die. 18:29:07 710) ok in other words, its a lot easier to reason about 2^43112609-1 apples by using the text "2^43112609-1" than it is to actually produce 2^43112609-1 apples 18:29:07 329) I figured out something about C program. If you use ? : a lot then you don't need as much parentheses but it makes it more difficult to understand. 18:29:10 s/tar/anything/ 18:29:27 I only wanted to read a few 18:29:35 there are too many, put some back 18:30:02 -!- Vorpal has quit (Ping timeout: 255 seconds). 18:33:23 -!- GreyKnight has changed nick to GreyMayan. 18:37:00 -!- GreyMayan has changed nick to GreyKnight. 19:01:46 -!- monqy has joined. 19:18:35 -!- oerjan has joined. 19:22:38 `addquote also if a GNU tar feature doesn't make you feel superior to others then you should file a bug report, it was probably unintentional 19:22:43 882) also if a GNU tar feature doesn't make you feel superior to others then you should file a bug report, it was probably unintentional 19:27:19 -!- Freyr has joined. 19:30:42 `welcome Freyr 19:30:44 Freyr: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 19:31:20 hi 19:31:46 hi, it's a bit quiet here right now 19:36:04 bananas! 19:36:53 mangos! 19:36:59 kiwifruit! 19:37:50 is Taneb back, or is someone here tanebly near? I think I now understand the purpose of his korean question, with nostradamus and all. 19:39:54 elliott is tanebly near hth 19:40:11 (although with a strong policy of never meeting, that may not help much) 19:40:46 @tell taneb bananas, mangos, kiwifruit, korean, nostradamus. 19:40:47 Consider it noted. 19:41:08 (the fruits will help him to recall the context. plenty of vitamins for a properly working memory!) 19:41:33 wit a mind 19:44:15 -!- ogrom has joined. 20:20:55 -!- AnotherTest has quit (Quit: Leaving.). 20:21:25 -!- zzo38 has joined. 21:05:02 -!- SingingBoyo has joined. 21:11:09 -!- carado has quit (Remote host closed the connection). 21:11:30 -!- carado has joined. 21:12:18 -!- carado has quit (Remote host closed the connection). 21:15:16 In the Dungeons&Dragons game I have now advanced an experience level. Do you have ideas? 21:15:16 zzo38: You have 1 new message. '/msg lambdabot @messages' to read it. 21:15:20 ?messages 21:15:20 GreyKnight said 2h 54m 51s ago: another angular unit is the mil (1/6400 of a revolution) 21:15:26 -!- boily has quit (Quit: Poulet!). 21:15:38 O, OK, now I know of more angular unit. I didn't know that one before. 21:15:49 zzo38: Do you know this type? 21:15:59 newtype Forget r a b = Forget { unForget :: a -> r } 21:16:36 shachaf: I have not heard or read of that or thought about it before. 21:17:04 zzo38: How about Profunctor? 21:17:10 No. 21:25:48 "Police responded to a report of a man posing as a Cambridge Water Department employee... The man reportedly offered the resident a 50 percent rebate on his water bill but insisted on a $10 advance for the processing fee." 21:35:58 hey, it's just stupidity tax! 21:37:38 * oerjan owes heaps of that 21:38:14 heh 21:43:25 -!- ogrom has quit (Read error: Connection reset by peer). 22:11:24 could just be that he thought it was too pathetic to be a scam 22:14:39 yeah 22:15:03 :( 22:15:45 sometimes muggings start with scam attempts and then it's like 'ok well mr. knifey can confirm my story so there' 22:16:23 -!- SingingBoyo has quit (Ping timeout: 255 seconds). 22:16:43 -!- Taneb has joined. 22:17:31 that's why you should always call someone on their scam by pulling a gun on them first 22:23:25 -!- Freyr has quit (Remote host closed the connection). 22:36:49 -!- WeThePeople has joined. 23:08:44 -!- ais523 has joined. 23:14:10 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:22:24 -!- kmc has quit (Remote host closed the connection). 23:43:07 -!- kmc has joined. 23:51:21 -!- WeThePeople has quit (Changing host). 23:51:21 -!- WeThePeople has joined. 23:52:01 -!- epicmonkey has joined. 23:55:07 -!- oerjan has quit (Quit: leaving). 23:56:45 -!- Phantom_Hoover has joined.