00:00:16 <elliott> HAPPY UTC APOCALYPSE!!!!!!!!!!!!!!!!!!!!!!!!!!!!
00:00:24 <fizzie> olsner: Is it finlandssvenska, though?
00:00:42 <fizzie> They speak that here on the cost a lot.
00:00:58 <elliott> i don't get it why are you guys still alive
00:01:10 <olsner> sounds more like an arbitrary northern swedish dialect
00:01:11 <fizzie> Maybe Åland counts as real Swedish since they're monolingual IIRC.
00:03:05 <olsner> http://en.wikipedia.org/wiki/Åland_Swedish says "generally considered to be a variant of eastern swedish"
00:03:17 <fizzie> 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 <fizzie> I don't know what it was all about.
00:04:12 <olsner> could be referring to a girl called Emelie
00:04:43 <fizzie> I think that bit was in Finnish. It's a Finnish male name.
00:05:48 <fizzie> 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 <Bike> and you didn't get his number?
00:06:32 <fizzie> 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:07:02 <fizzie> Someone was going to hit concrete from the fifth floor, too. That part was a bit unclear.
00:07:13 <fizzie> To someone at the other end of a telephone call.
00:07:34 <fizzie> The stories are I suppose the best thing about public transportation.
00:08:15 <Phantom_Hoover> public transportation is unfortunately extortionate and dull
00:09:19 <olsner> 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 <fizzie> 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 <fizzie> 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 <olsner> oh, what a verbose way to get off a train
00:10:53 <fizzie> (Because the angry scowl is naturally the default setting.)
00:11:59 <olsner> I'd expect the escalation order to be something more like subtle look -> angry look -> knife fight
00:12:03 <elliott> fizzie: q: are all finns depressed or does it just look that way
00:13:21 <olsner> but with a gun there would be no blood on your hands
00:14:02 <Bike> 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 <fizzie> At night, in the grill fast-food stand queue.
00:14:12 -!- nooga has quit (Ping timeout: 256 seconds).
00:15:34 <Phantom_Hoover> olsner, just stick your hands in the blood and spread it around a bit
00:15:44 <kmc> Bike: where was it?
00:15:47 <zzo38> What is your Dungeons&Dragons character's father's surname?
00:16:00 <kmc> there are lots of videos on YouTube of fights on MUNI
00:16:06 <kmc> don't know of any knife fights though
00:16:10 <Bike> kmc: portland's MAX thingie
00:16:27 <Bike> so, perhaps not that surprising
00:16:31 <fizzie> Hey, I've been in Portland's MAX thingie.
00:16:42 <fizzie> All I saw were young men in tight jeans.
00:16:57 <kmc> mmm light rail
00:16:59 <Bike> i was even traveling with such a young man at the time, can you believe it
00:17:28 <kmc> can you dig it daddy-o
00:17:38 <Bike> we were practicing our beat poetry
00:18:12 <fizzie> 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:55 <fizzie> (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 <fizzie> I can't remember the name of her (late? ex?) husband, but it was some really prototypically Swedish name.
00:19:34 <fizzie> I think it was a two-parter.
00:21:58 <fizzie> Sundström. (Okay, not really a two-parter, but a compound anyway.)
00:25:10 <kmc> hans moleman
00:28:01 <fizzie> 1909 Sundströms living in Finland.
00:29:07 <kmc> sundström sounds like a unit of deadly radiation
00:29:15 <kmc> 1909 sundströms would certainly be fatal
00:37:55 <fizzie> Yeah, the *yearly* limit is like 220 millisundströms, right?
00:39:30 <quintopia> what's the conversion factor for sundströms to roentgens?
00:39:57 <elliott> `frink sundström -> roentgen
00:40:07 <HackEgo> 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 <Bike> second-amperes per kilogram. i can dig it.
00:41:12 <quintopia> second amperes is coulombs, isnt it
00:41:41 <Bike> yeah but then you lose the ordering
00:42:17 <Bike> oh, apparently that's actually what roentgens are. silly me.
00:43:49 <quintopia> so irradiation is a measure of charge density per unit mass
00:44:15 <quintopia> makes sense but its still somewhat surprising, since it was expecting a more traditional measure of energy
01:01:55 <zzo38> What things might be measure in square seconds? What might be measured in square hertz?
01:02:33 <Bike> square hertz is pretty useful for acceleration
01:02:56 -!- augur has joined.
01:03:55 <zzo38> What units of angular measurement are there?
01:06:41 <quintopia> square arcseconds can be used to measure "solid angle" which corresponds the an area / subset of s^2
01:07:28 <zzo38> 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 <zzo38> quintopia: O, I didn't know that! Can you have cubic radians?
01:10:23 <zzo38> What is measured with cubic radians per square ampere?
01:10:25 <quintopia> most of the later ones you listed are special cases of the first ones
01:11:16 <quintopia> well, cubic radians measures the volume of an intercepted "arc" of S^3
01:11:41 <quintopia> which means it is most useful in 4D geomtery
01:11:45 <zzo38> 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 <quintopia> a square ampere sounds meaningless to me
01:12:45 <zzo38> Can a square ohm be used for anything?
01:13:08 <Bike> aren't there square ohms in the definition of farads or something
01:13:15 <zzo38> Maybe; I don't know.
01:13:38 <quintopia> 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 <quintopia> yes there is square amperes in farad definitions
01:15:48 <Bike> quartic-second-square-amperes per kilogram-square-meters, i think you mean!
01:16:25 <quintopia> apparently because voltss is define in terms of amps and ohms in defined in terms of both
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:05:36 <shachaf> You've upset the natural order of things.
03:14:07 <shachaf> Phantom_Hoover: Can I do your job now?
03:14:57 <shachaf> Come to think of it I'm not sure what Phantom_Hoover's job is.
03:15:16 <elliott> it involves bricks; brains
03:19:17 -!- keb has joined.
03:24:03 <Arc_Koen> I'd be more than happy to eat one or two
03:27:20 <Bike> You get it from eating brains. Does that count?
03:27:42 <Arc_Koen> 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 <Fiora> I don't have the list of people to ping though
03:38:37 -!- sebbu has joined.
03:38:42 <monqy> 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:07 <elliott> Fiora: NEVER FORGET to ping monqy
03:41:39 <monqy> Fiora: I didn't forget myself, but that reminds me I did forget elliott
03:41:54 <Bike> just ping everybody in the channel to be safe.
03:41:57 <Bike> less racist that way anyhow
03:42:05 <elliott> 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 <shachaf> Fiora: I'm not on the list.
03:42:51 <zzo38> Do you need to make up a new list?
03:42:55 <Bike> elliot is a man and a half. ping him one and a half times.
03:43:02 <Fiora> are you calling him fat
03:43:20 <elliott> (ps i am like the polar opposite of fat)
03:43:29 <Bike> of course there's actually an elliot on freenode.
03:44:03 <Bike> and no i was not calling him fat gosh
03:44:06 <Bike> just thick and chainsawful
03:44:09 <Fiora> I was teasing you bike
03:44:29 <Bike> I don't think I can deal with this new phase of Fiora, Master Troller.
03:44:31 -!- Bike has left.
03:44:46 <shachaf> (Bike reads the logs, right?)
03:45:02 <elliott> @ask Bike u mad????????? (im sorry. im really sorry)
03:45:09 <elliott> @ask Bike i couldnt not please forgive me
03:45:30 <shachaf> Fiora is the same person as Bike as far as I'm aware.
03:46:03 <monqy> you know the punishment for that sort of transgression!!!
03:46:06 <Fiora> I am not actually the same person <_<;
03:46:27 <elliott> monqy: dont you mean the privilege
03:46:47 <HackEgo> 25) <Deewiant> 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 <shachaf> elliott: i bet you think honor is all about u
03:47:21 <monqy> Bike: you should type in @clear-messages↵
03:47:23 <elliott> Bike: you can't just leave for two minutes
03:47:35 <Fiora> nooo don't make him leave again
03:47:50 <Bike> @clear-messages↵
03:47:57 <Bike> ok what do I win
03:47:58 <lambdabot> Bike: You have 2 new messages. '/msg lambdabot @messages' to read them.
03:48:16 <Bike> Well fuck, if you don't specify without the ↵ how am I supposed to know!
03:48:20 -!- sebbu has joined.
03:48:54 <shachaf> monqy: did you learn indexed lenses yet
03:49:08 <monqy> the dumb ones???????
03:49:20 <monqy> wasnt i supposed to be learning semisymmetric lenses!!!
03:49:43 <shachaf> monqy: semisymmetric lenses are "in master" now
03:50:27 <shachaf> monqy: the best part about semisymmetric isos?
03:50:28 <monqy> i hear unsafecoerce is "in master" too
03:50:36 <Bike> @tell elliot fucking fuck goddamn fuck fuckdouche fuckfuckfuckertyfuck FUCK
03:51:11 <Bike> We've already been over my feud with elliot.
03:51:12 <monqy> Bike: i told you to @clear-messages↵ but you didn't listen did you!!!
03:51:19 <shachaf> Bike: That was just uncalled for.
03:51:24 <Bike> @clear-messages↵
03:51:28 <shachaf> we don't say "goddamn" in here!!!!!
03:51:39 <Bike> is "fuckerty" ok
04:08:57 <sgeo_> I was too busy hanging out with friends after graduating to do my job
04:13:28 <Fiora> and it was a one page update
04:13:30 <Fiora> 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 <shachaf> `run echo unsafePerformApocalypse | zalgo
06:16:44 <HackEgo> u̞n̐s̻a̹fͫe͓P̡e͟rͩf͓o͕rͣm͑A̹pͦo̠c̭a͇l̕y̓p̊s͟e͙ \ ̺
06:41:37 <oklofok> `run echo unsafePerformApocalypse | zalgo
06:41:39 <HackEgo> 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:09:19 <Bike> elliot: update
08:20:28 <elliott> thanks - elliot, my long-lost twousin
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 <zzo38> 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:23 -!- AnotherTest has joined.
10:47:19 <zzo38> elliott: I don't think so. I explained what I think was actually happening with the Mayan calendar.
10:49:02 <zzo38> Did you agree with what my idea was?
10:49:43 <monqy> what was your idea ?
10:50:52 <zzo38> About the similarity to the Y2K thinking everything would break?
10:51:43 <zzo38> 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:55:14 <Nisstyre-laptop> zzo38: I think they made up some bogus religious reason for the cyclic calendar
10:56:31 <fizzie> It seems that some piece of software has stopped including plaintext versions of emails any longer.
10:58:32 <fizzie> 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 <Deewiant> fizzie: I get multiparts with a text/plain version for ICS-internal stuff.
11:05:13 <fizzie> 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 <fizzie> (I use the Outlook Web App to respond to those; should perhaps check what it sends out.)
11:06:17 <Deewiant> 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 <fizzie> That's probably sent from some kind of a system. I meant more emails from people working in an administrative role.
11:07:58 <fizzie> 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 <Deewiant> Right; I don't really get anything like that except for ICS, I think.
11:10:50 <fizzie> 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 <fizzie> "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 <fizzie> "List price: $14.99; Price: $0.01; You save: $14.98 (100%)" Amazon certainly has some good deals.
11:18:17 <fizzie> "$0.01 + $4.99 shipping" oh.
11:32:06 -!- epicmonkey has joined.
11:38:43 <fizzie> 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:40:13 -!- FreeFull has joined.
11:40:58 <fizzie> Heh, apparently they need a nickname for our new offices in the other building.
11:41:04 <fizzie> (I did mention our group is moving?)
11:41:28 <FreeFull> They should name them the cheese shop
11:42:25 -!- monqy has quit (Quit: hello).
11:42:44 -!- GreyKnight has joined.
11:44:05 <GreyKnight> well played Google: http://www.google.co.uk/logos/2012/end_of_the_mayan_calendar-993005-hp.jpg
11:44:06 <lambdabot> GreyKnight: You have 1 new message. '/msg lambdabot @messages' to read it.
11:52:51 -!- GreyKnight has quit (Ping timeout: 252 seconds).
11:55:29 <fizzie> Deewiant: To Aalto ELEC, Department of Signal Processing and Acoustics.
11:55:41 -!- GreyKnight has joined.
11:56:05 <fizzie> Deewiant: Mikko Kurimo, our group leader, got a professorship from there, so we'll all follow him there.
11:56:40 <GreyKnight> <ais523> it's a pity the DS9K doesn't actually exist
11:57:05 -!- oerjan has joined.
11:58:23 <fizzie> 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:45 <fizzie> Our new offices are 3rd floor in the I wing, immediately above Siberia.
11:58:52 <fizzie> In the "Sähkö" building.
11:59:02 <fizzie> "Some suggestions so far by the professors include: Upper Siberia, Vladivostok and Mongolia."
12:00:06 <GreyKnight> `addquote <fizzie> Out new offices are [...] immediately above Siberia
12:00:13 <HackEgo> 881) <fizzie> Out new offices are [...] immediately above Siberia
12:00:32 * oerjan swats GreyKnight for typoing while copying and pasting -----###
12:00:49 <fizzie> (Man, that looks like a regex.)
12:01:51 <oerjan> it's past the solstice and the world's still here I WANT MY MONEY BACK DAMMIT
12:03:41 <fizzie> 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 <GreyKnight> 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:25 -!- GreyKnight has changed nick to greyknight.
12:09:17 <greyknight> hey the DS9K has a website: http://dialspace.dial.pipex.com/prod/dialspace/town/green/gfd34/art/
12:13:08 <oerjan> <olsner> 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 <oerjan> <zzo38> What is your Dungeons&Dragons character's father's surname?
12:15:23 <oerjan> Nonexistent. James Nonexistent.
12:16:36 <GreyKnight> 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 <oerjan> <Bike> square hertz is pretty useful for acceleration <-- if you accelerate too much, you hit the square, which hertz
12:20:10 <fizzie> oerjan: Do you measure the frequency of a square wave in square Hertz?
12:20:53 <oerjan> nah that's just a whole new dimension of pain
12:29:48 <oerjan> <shachaf> we don't say "goddamn" in here!!!!! <-- indeed it freaks out ais523
12:31:49 <oerjan> `addquote <zzo38> Did you agree with what my idea was? <elliott> absolutely <monqy> what was your idea ? <elliott> that was my next question
12:31:52 <HackEgo> 881) <zzo38> Did you agree with what my idea was? <elliott> absolutely <monqy> what was your idea ? <elliott> that was my next question
12:32:07 <elliott> oerjan: happy non-apocalypse
12:32:25 <GreyKnight> 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:31 <oerjan> elliott: but i _needed_ an apocalypse D:
12:33:21 <oerjan> i blame the atheists and their anti-faith
12:33:32 <fizzie> GreyKnight: It's the end of the world and you feel fine?
12:37:05 <elliott> oerjan: I am kind of underwhelmed that absolutely nothing happened here whatsoever
12:40:05 <oerjan> 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 <FreeFull> Is there a built in function that does foldl (>>) (head x) (tail x)
12:47:47 <fizzie> foldl f (head l) (tail l) is the same as foldl1 f l, isn't it?
12:48:59 <oerjan> 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 <oerjan> SO MAYBE THE END OF THE WORLD COULD HAPPEN AT ANOTHER TIME OF DAY
12:51:03 <GreyKnight> 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 <oerjan> 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 <fizzie> I also have heard that according to some people the proper calendar synchronization would make December 23rd the right day.
12:52:49 <oerjan> 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 <fizzie> "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:48 <oerjan> "Today, 12:30, Friday December 21, 2012 (UTC), in the Long Count is 13.0.0.0.0 (GMT correlation)."
12:54:06 <oerjan> i think that's a piece of autochanging text in wikipedia
12:55:14 <oerjan> http://en.wikipedia.org/wiki/Mesoamerican_Long_Count_calendar#Correlations_between_Western_calendars_and_the_Long_Count
12:57:01 <oerjan> FreeFull: dependent on the monad, you may want foldr rather than foldl there
12:58:16 <oerjan> foldr (>>) (return ()) x
12:58:16 <fizzie> foldm, which folds in the middle.
12:59:00 <lambdabot> sequence_ ms = foldr (>>) (return ()) ms
12:59:11 <oerjan> fizzie: no, but monads differ in whether >> is strictest in the first or second argument
12:59:21 <shachaf> foldr (>>) is generally the way to go.
12:59:28 <shachaf> Monads want to be right-associated.
12:59:38 <oerjan> oh right that's just what it does
13:00:02 <oerjan> Reader is better the other way, for example
13:00:17 -!- carado has joined.
13:00:23 <shachaf> oerjan: Reader doesn't even have any effects.
13:00:33 <shachaf> So you pretty much want to right-associate it.
13:00:43 <shachaf> Because you say foo >>= (\x -> bar >>= (\y -> ...))
13:00:49 <shachaf> Well, I guess you don't *have* to say that.
13:00:58 <shachaf> oerjan: Anyway the real answer is to use Codensity.
13:01:00 <oerjan> shachaf: no you don't, that makes it unnecessarily strict
13:01:15 <GreyKnight> <shachaf> Monads want to be right-associated. <-- Don't anthropomorphise monads. They hate that.
13:01:15 <shachaf> Codensity: The Best Monad?
13:02:36 <FreeFull> > foldl (>>) (Just 1) [Just 2]
13:02:50 <FreeFull> oerjan: Does that look wrong to you
13:03:02 <FreeFull> > foldl (>>) (Just 1) [Just 2,Just3]
13:03:04 <lambdabot> Not in scope: data constructor `Just3'
13:03:04 <lambdabot> Perhaps you meant `Just' (imported ...
13:03:05 <FreeFull> > foldl (>>) (Just 1) [Just 2,Just 3]
13:03:12 <oerjan> no, also Maybe is definitely one of the right associating ones
13:05:21 <oerjan> also what was said about foldl1
13:06:10 <oerjan> > foldr1 (>>) $ fmap Just [1..10]
13:06:56 <oerjan> mind you those are among those evil partial functions
13:07:21 <shachaf> 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:12:22 <shachaf> > scanl1 undefined undefined -- OR IS IT?
13:13:29 -!- GreyKnight has joined.
13:23:30 <HackEgo> 206) <oklopol> 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:44 <HackEgo> 70) [Warrigal] `addquote <Dylan> hahaha, Lawlabee is running windows <Lawlabee> 'cuz it's pretty awesome. [Lawlabee] Warrigal: :(
13:23:46 <HackEgo> 614) <oerjan> elliott: it occurs to me that `? welcome is atypical: its information is actually true.
13:23:48 <HackEgo> 84) <vadim> 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 <HackEgo> 27) <ehird> pikhq: A lunar nation is totally pointless. <fungebob> ehird: consider low-gravity porn <ehird> fungebob: OK. Now I'm convinced.
13:31:07 -!- hagb4rd has joined.
13:46:17 -!- GreyKnight has quit (Ping timeout: 246 seconds).
13:48:32 -!- GreyKnight has joined.
13:49:29 <fizzie> But are you supposed to call (\x y -> y) "const id" or "flip const", that's the question.
13:49:56 <fizzie> lambdabot: That's just *your* opinion, man.
13:51:11 <elliott> I prefer const id except when I don't
13:53:47 -!- WeThePeople has joined.
13:55:23 <fizzie> For the discerning (a -> b -> b)'er.
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 <FreeFull> :t let wurst a b = b in curry wurst
14:34:20 -!- WeThePeople has joined.
14:36:58 <Taneb> That is the wurst function I have ever seen
14:53:42 <boily> good end of the world!
14:58:52 <Taneb> It certainly is the end of the world
14:58:55 <Taneb> I've smoked a cigar
15:28:10 <boily> going to scotch myself when I'll get back home.
15:30:39 <Taneb> ...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 <boily> Taneb: it comes from the Joseon (朝鮮) Dynasty, which can be interpreted as "Fresh Morning".
16:17:22 -!- Vorpal has joined.
16:17:48 <FreeFull> 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 <FreeFull> Assuming it is actually slower
16:18:30 <Taneb> > let x y = (10^y - 1) `div` 9 in x 1000
16:18:33 <lambdabot> 111111111111111111111111111111111111111111111111111111111111111111111111111...
16:18:57 <Taneb> > let x y = read (replicate y '1') :: Integer in x 1000
16:18:59 <lambdabot> 111111111111111111111111111111111111111111111111111111111111111111111111111...
16:19:23 <FreeFull> Reading in the string does seem faster
16:20:29 <Taneb> > let x y = foldl' (\acc c -> 10 * acc + toInteger (digitToInt c)) (replicate y '1') in x 1000
16:20:31 <lambdabot> Couldn't match expected type `GHC.Integer.Type.Integer'
16:20:52 <Taneb> > let x y = foldl' (\acc c -> 10 * acc + toInteger (digitToInt c)) 0 (replicate y '1') in x 1000
16:20:54 <lambdabot> 111111111111111111111111111111111111111111111111111111111111111111111111111...
16:21:22 <Taneb> > let x y = foldl' (\acc c -> 10 * acc + c) 0 (replicate y 1) in x 1000
16:21:24 <lambdabot> 111111111111111111111111111111111111111111111111111111111111111111111111111...
16:21:37 <Taneb> That's probably the quickest
16:21:44 <Taneb> That I can think of
16:22:00 <Jafet> That's the slowest
16:23:28 <Taneb> It's also easily extendable to other bases
16:25:18 <Taneb> > let x y = foldl' (\acc c -> 16 * acc + c) 0 (replicate y 1) in showHex (x 1000) ""
16:25:20 <lambdabot> "11111111111111111111111111111111111111111111111111111111111111111111111111...
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 <Jafet> > replicate 1000 '1'
16:34:49 <lambdabot> "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 <Vorpal> 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 <GreyKnight> @tell zzo38 another angular unit is the mil (1/6400 of a revolution)
18:28:03 <HackEgo> 162) <fizzie> 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:05 <HackEgo> 584) <shachaf> Real Tar is GNU tar. <shachaf> You just ignore whichever features don't make you feel superior enough.
18:28:06 <HackEgo> 134) <alise> I love logic, especially the part where it makes no sense.
18:28:08 <HackEgo> 57) <oklopol> if a girl is that cute, i don't care how many penises she has
18:28:09 <HackEgo> 233) <ais523> OK, I give up, logging into Wikia is harder than writing a Firefox extension
18:28:57 <GreyKnight> 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:05 <HackEgo> 659) <oklopol> why not just give the gays their own state so people could finally pray in peace
18:29:07 <HackEgo> 151) <catseye> i like the feeling of freedom you get driving a bus
18:29:07 <HackEgo> 651) <itidus21> 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 <HackEgo> 710) <itidus21> 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 <HackEgo> 329) <zzo38> 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: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 <oerjan> `addquote <GreyKnight> 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 <HackEgo> 882) <GreyKnight> 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:44 <HackEgo> 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:46 <oerjan> hi, it's a bit quiet here right now
19:37:50 <boily> 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 <oerjan> elliott is tanebly near hth
19:40:11 <oerjan> (although with a strong policy of never meeting, that may not help much)
19:40:46 <boily> @tell taneb bananas, mangos, kiwifruit, korean, nostradamus.
19:41:08 <boily> (the fruits will help him to recall the context. plenty of vitamins for a properly working memory!)
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 <zzo38> In the Dungeons&Dragons game I have now advanced an experience level. Do you have ideas?
21:15:16 <lambdabot> zzo38: You have 1 new message. '/msg lambdabot @messages' to read it.
21:15:20 <lambdabot> 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 <zzo38> O, OK, now I know of more angular unit. I didn't know that one before.
21:15:49 <shachaf> zzo38: Do you know this type?
21:15:59 <shachaf> newtype Forget r a b = Forget { unForget :: a -> r }
21:16:36 <zzo38> shachaf: I have not heard or read of that or thought about it before.
21:17:04 <shachaf> zzo38: How about Profunctor?
21:25:48 <kmc> "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 <oerjan> hey, it's just stupidity tax!
21:43:25 -!- ogrom has quit (Read error: Connection reset by peer).
22:11:24 <Phantom_Hoover> could just be that he thought it was too pathetic to be a scam
22:15:45 <kmc> 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 <quintopia> 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.