00:04:43 -!- atrapado has quit (Ping timeout: 245 seconds). 00:19:39 I just realised why I utterly detest when people write "u" instead of "you" and similar stuff. It doesn't work in my brain since i read the letter "u" as it is pronounced in Swedish, and the word "you" as it is pronounced in English. So it ends up "sounding" like they are stupid (think Discworld troll speech but much worse). 00:22:13 y u no like u ? 00:23:08 indeed when I read that you sound *really* stupid 00:29:19 Vorpal: So you read it as oo? 00:29:27 I think "u mad" is the traditional reply to this? 00:30:19 FreeFull, is that "oo" in English or Swedish? 00:30:27 Vorpal: English 00:30:43 FreeFull, that has a different quality than the Swedish letter "u" though 00:30:49 similar yes, but not quite 00:30:54 -!- augur has joined. 00:31:12 Vorpal: Is it similar to the polish u then? 00:31:23 I don't speak polish 00:31:26 I have no idea 00:31:32 seems like Sweedish is incompatible with English. 00:31:51 s/ee/e/ :S 00:32:05 c00kiemon5ter, different phonemes yes 00:32:16 anyway wasn't FreeFull Swedish? Or was it FireFly? 00:32:24 I'm Polish 00:32:27 ah okay 00:32:33 I have no idea what FireFly is 00:32:42 FreeFull, a person in this channel 00:32:44 `? sweden 00:32:50 Sweden is the suburb capital of Norway. It's where all the Nobel prizes are announced, except the Math Prize. 00:32:51 `? firefly 00:32:52 firefly? ¯\(°_o)/¯ 00:32:56 `? poland 00:32:58 poland? ¯\(°_o)/¯ 00:33:03 `? norway 00:33:04 Norway is the suburb capital of Sweden. It's where the Nobel Peace Prize is announced. 00:33:11 `? Great Brittan 00:33:12 Great Brittan? ¯\(°_o)/¯ 00:33:13 I know my nickserv account is older than his =P 00:33:18 `? britain 00:33:19 `? `? 00:33:19 britain? ¯\(°_o)/¯ 00:33:19 See `? for further details. 00:33:25 `? `? `? 00:33:25 `? England 00:33:26 fungot: where are you from ? 00:33:26 `? `?? ¯\(°_o)/¯ 00:33:27 England is [EXPUNGED]. 00:33:39 `? æẻøđ→æøł→n“ß 00:33:39 `? Scotland 00:33:40 æẻøđ→æøł→n“ß? ¯\(°_o)/¯ 00:33:41 Scotland is a country in northern Britain. It is known for having no true inhabitants. The official religion is hatheism. Phantom_Hoover looks after the FREEDOM. 00:33:57 `? california 00:33:59 california? ¯\(°_o)/¯ 00:34:07 `? united states 00:34:08 See America. 00:34:10 `? america 00:34:11 This wisdom entry had to be removed due to a DMCA takedown notice. 00:34:19 no fungot -> no fun -> no got 00:34:21 Phantom__Hoover, do you want Scotland to leave the UK btw? I seem to remember some party wanting to have a vote about that 00:34:25 `? ``? 00:34:26 ``?? ¯\(°_o)/¯ 00:35:00 oerjan: I demand a wisdom entry for California. 00:35:17 `? denmark 00:35:18 denmark? ¯\(°_o)/¯ 00:35:22 shachaf, they had too many drugs to write one 00:35:32 `? irc 00:35:33 irc? ¯\(°_o)/¯ 00:35:37 Useless. 00:35:44 `? a 00:35:45 a? ¯\(°_o)/¯ 00:35:51 `learn California is pronounced "Caliphate-ornery-I-A" 00:35:51 `? shachaf 00:35:54 I knew that. 00:35:56 shachaf sprø som selleri 00:36:03 `learn irc is useless. 00:36:07 I knew that. 00:36:11 what is "sprø"? 00:36:19 same as the Swedish spröd? 00:36:30 probably more like crispy 00:36:39 you know, like selleri is 00:36:41 `learn `learn is `learn 00:36:45 I knew that. 00:37:05 olsner, hm google translate suggests it means "crazy" 00:37:10 Is "selleri" celery? 00:37:17 `? selleri 00:37:17 Gregor, I would assume so 00:37:18 selleri? ¯\(°_o)/¯ 00:37:19 Because I wouldn't call celery crispy. Although I'm not sure why. 00:37:21 I guess we'll never know. 00:37:29 * shachaf is not a fan of celery. 00:38:25 google translate translates "sprø" to "crazy" but "sprø som selleri" to "spröd som selleri" which means "crisp as celery", and it fails translating it directly to English 00:38:31 "SPRO as celery" 00:38:34 yeah, right 00:38:45 I don't trust google translate on this one 00:39:00 shachaf, oh? 00:39:03 Holy eff! 00:39:04 I think it is kind of "meh" 00:39:05 It IS crisp! 00:39:10 But it's not crispy! 00:39:11 WHAT IS THIS 00:39:13 HOW IS THIS POSSIBLE 00:39:19 Gregor, what 00:39:24 Hmm, crisp insanity 00:39:36 Celery is crisp but not crispy. 00:40:00 Gregor, do those words mean different things? 00:40:15 because then it is an error in my translation from Swedish 00:40:18 I don't know, celery is pretty crispy 00:40:23 it should end up as "crispy" 00:40:27 It is celery. 00:40:32 Maybe not as crispy as other stuff 00:40:57 FreeFull, what about compared to crisps? 00:41:14 Well, can you get crispier than crisps? Yes, but not easily 00:41:15 Curiously enough, it's also "selleri" in Finnish. 00:41:17 there's also the rooty bulby kind of celery, I think that's neither crisp nor crispy 00:41:30 It's seler in Polush 00:41:39 also in Polish 00:41:40 * c00kiemon5ter was pretty close, thinking of another word that starts with c 00:42:22 fizzie, and in Swedish 00:42:51 Vorpal: That was the "also" bit. 00:43:17 Whereas en:cellar is fi:kellari. (I guess that's sv:källare?) 00:43:21 fizzie, oh I thought it was "Norwegian also Finnish" 00:43:29 Gregor, do those words mean different things? // Apparently they do to me! 00:43:32 fizzie, quite so 00:43:32 I don't know if it's Norwegian. 00:43:46 fizzie, well it was a Norwegian phrase we started with 00:43:59 Gregor, well you are the native speaker, I assume you are correct 00:44:13 There's no such thing as "correct" 00:44:18 Everyone has their own interpretation of language. 00:45:27 Gregor, by that token I can claim that "ashjawlkj seajfl wask gka" is a valid and very philosophical phrase in my interpretation of English. Pretty useless for communicating with anyone else though 00:45:57 Oh boy. 00:46:05 It's one of those discussions. 00:46:20 shachaf, what? 00:46:30 "those discussions" are cute 00:47:13 some of them are cute, others are just about celery 00:47:26 * shachaf sentences Vorpal: Transportation for life! And then to be fined forty pound. 00:47:40 olsner, speaking of philosophical :D 00:47:51 well at least it sounded kind of deep 00:47:56 transportation for life is a pretty cool sentence imo 00:48:00 is it free 00:48:06 do you get to ride on trains 00:48:14 shachaf, depends on what sort of transportation 00:48:22 Vorpal: nothing deep about it, really 00:48:30 Vorpal: All it says is "transportation". 00:48:32 olsner, true 00:48:37 The Jury all cheered, though the Judge said he feared 00:48:37 That the phrase was not legally sound. 00:48:41 shachaf, I mean, I wouldn't mind a free Tesla car. 00:49:15 Most people prefer their cars to be subservient. 00:49:16 Vorpal: *this* is deep: FOUR SIMULTANEOUS TYPE SYSTEMS IN A SINGLE ROTATION OF THE LAMBDA CUBE 00:49:37 olsner, no that is just a parody of time cube 00:50:06 nice parody sure, but not very deep 00:50:20 The time cube is so deep that even parodies of it are below average. 00:51:13 -!- augur has quit (Remote host closed the connection). 00:55:54 -!- augur has joined. 01:07:13 -!- copumpkin has quit (Ping timeout: 248 seconds). 01:07:14 Phantom__Hoover, do you want Scotland to leave the UK btw? I seem to remember some party wanting to have a vote about that 01:07:28 It is probably more convenient for me if it doesn't, so no. 01:07:34 ah 01:07:53 -!- copumpkin has joined. 01:08:24 Phantom__Hoover, no true Scotsman would ever say that! (please read this in a highland dialect) 01:11:44 Sgeo_: the fuck is cmubash 01:12:00 Bike, presumable a qdb for #cslounge 01:12:15 well probably not unless someone is stalking me 01:13:46 * Fiora looks up cmubash 01:13:49 http://cmubash.org/?3911 okay this is actually hilarious 01:14:20 Sgeo_: http://cmubash.org/?3887 here this one is me 01:15:32 I though CMU was carnegie mellon? 01:15:34 or something 01:16:03 Carnegie Mellon Quote Database CMUQDB 01:16:07 "A CAPTCHA is a program that can generate and grade tests that it itself cannot pass. So it's like a lot of professors." 01:16:29 Fiora, yes 01:17:14 < kjones> i would argue that the dividing line between childhood and adulthood is knowing that you can have ice cream literally whenever you want, but not doing it 01:17:19 this is actually 100% accurate 01:17:27 i have not yet passed that line. 01:19:44 >All I know about your personal lives is based on the distribution of bikes. 01:20:39 Bike, they totally love you 01:21:07 if they loved me why would they use me as an out-of-band spying mechanism 01:21:07 Phantom__Hoover, there is some awesome context for that 01:21:08 !!!!! 01:21:19 hello 01:21:48 why am i 01:21:49 relevant 01:22:11 http://pastie.org/5731384 01:22:11 what is love? 01:23:46 Sgeo_, beautiful 01:23:58 I did a few more calculations, and... he was right. If the sun were made of gerbils their body heat would kill us. 01:24:04 this qdb is wonderful 01:24:34 the sun is surprisingly cool i think 01:25:51 Professor Sieg: This proof of the irrationality of root two was so guarded by the Pythagoreans that a member who disclosed the secret was drowned in the sea. 01:25:55 Girl in class: That's pretty harsh treatment for radicals. 01:27:11 that's not the version of that anecdote I heard... 01:27:24 also how many materials are denser than hydrogen but not dense enough to kill us when in sun form 01:33:14 hydrogen has that weird property that it takes about 5 billion years on average for any given nucleus to react 01:34:02 thank goodness there's so much of it. 01:34:11 Quinn: So essentially you started without something that doesn't involve relativity and is non-physical, then applied that result to something which does involve relativity. So you assumed something, and its contradiction. If you do that you can prove anything. 01:34:15 kcleary: Well, I just solved some equations. Can't a boy dream? 01:34:18 Quinn: [pointing to his floor] This is the Physics department. If you want to solve equations the math department is that way, and you can go to Philosophy for dreaming. 01:34:21 kcleary: Well, now I'm insulted 01:34:23 Quinn: And for that you can go to the art department. 01:34:45 Michelle Hicks (33-104 TA): Can anyone tell me what the first law of thermodynamics is? 01:34:48 msarnoff: You do not talk about thermodynamics! 01:34:49 this place sounds wonderful 01:35:06 mocking philosophy and art is so dorky, though 01:35:14 that's true :/ 01:35:37 good luck finding something in there that isn't so dorky 01:35:53 $ cat "can of food" 01:35:54 cat: cannot open can of food 01:36:05 well you know, irritatingly dorky, rather than just a pun. 01:36:20 Fiora: "Don't know how to make love. Stop." 01:37:00 Story of my... 01:37:02 * Sgeo_ shuts up 01:37:51 hi sgeo 01:37:52 sgeo, are you a makefile? be honest. 01:38:26 "If I had a ( for every $ [target of mocking] spent, what would I have?" "Too many (s." (Also from one of those shell humour lists. Very few of these are ever applicable to any shells I have installed.) 01:39:04 * evilwombat <2.9999999999 floats 01:39:06 that's for you Bike 01:39:27 isn't it more likely to be 2.999999996 01:39:38 ...... you are the pedantist 01:39:41 *pedandest 01:39:57 Pedentist. 01:42:42 [03:42:20] ,cc printf("%.25f %.12f", nextafter(3,0), nextafterf(3,0)) 01:42:42 [03:42:22] fizzie: 2.9999999999999995559107901 2.999999761581 01:43:02 Those are some of the likeliest values, arguably. 01:43:28 (Rounded a bit.) 01:43:33 i didn't even know those were functions :/ 01:45:41 [03:45:28] ,cc float f = 3.0; --*(int*)&f; printf("%.12f", f); /* the *manly* way */ 01:45:44 [03:45:30] fizzie: 2.999999761581 01:47:23 that's a bit too manly for me 01:48:17 why did i think the exponent was in the least significant part of the word... 01:50:21 It's (allegedly) specifically designed for ++ and -- to do the right thing even (IIRC) across the subnormal-to-normalized border, as long as you don't change sign. 01:50:24 [03:48:57] ,cc float f = 0; --*(int*)&f; printf("%.12f %.12f", f, nextafterf(0,-1)); 01:50:27 [03:48:59] fizzie: -nan -0.000000000000 01:50:37 That's not quite so successful though. 01:50:53 ouch 01:51:17 I love the things you can do with float like that 01:51:36 It's also interesting that the next float after 0 to the negative direction is the -0. 01:51:51 is that surprising? 01:52:13 i love/hate floating points 01:52:19 Well, the description does say "number less than x" 01:53:24 "The nextafter() function computes the next representable double-precision floating-point value following x in the direction of y. Thus, if y is less than x, nextafter() returns the largest representable floating-point number less than x." 01:53:31 the second sentence seems like kind of a mistake. 01:53:33 Floating points are a very... engineer thing to design. 01:53:47 now I'm remembering all that stuff by the crazy float guy 01:54:00 I wish there were more non-loony alternatives so I could compare them. 01:54:02 i love levitation 01:54:08 -0 is not less than 0, so... 01:54:26 It is also not greater. 01:54:26 Arguably it is "next", though. 01:54:41 yeah, the first sentence seems better to me 01:55:10 Floating points have so many great properties. 01:55:13 How can they be so terrible? 01:55:29 maybe you could treat 0 as an infinitesimal value just above 0? 01:55:33 and -0 just below zero? 01:55:35 Fiora, crazy float guy? 01:55:41 Kahan 01:55:57 Bike: The standard doesn't say anything about "less than", so perhaps it's just a manpage author mistake. 01:55:58 check out his faculty page, it's amazing 01:56:09 fizzie: seems reasonable. 01:56:13 he invented x87, and is one of those people that cares only about a single topic in the world, redirects every conversation to that topic, and can ramble about nothing else 01:56:27 he is practically loony, it's kind of hilarious 01:57:05 shachaf: Does floating point have badness that isn't attributable to people using it for things it should be used for (e.g. currency)? i mean, it's so complicated that people miss out on subtleties and make bad code, but 01:57:24 Fiora: I thought "floats are actually ranges [around their nominal value]" was a standard mathematical interpretation. 01:57:30 Fiora: Must make e.g. discussions re where to go for lunch quite annoying. 01:57:35 *snerk* 01:57:52 Bike, well there's the basic fact that it's generally taught as "the way to represent non-integer numbers". 01:57:53 "Hmm, I'd go to Subway, but their software might have floating point bugs, resulting in incorrect mixes of ingredients." 01:57:56 "No, we have to have lunch at /noon/. Binary doesn't work so well with 11:00." 01:58:04 PFFF 01:58:18 Phantom__Hoover: yes, which sucks, but that's directly the fault of floating point. 01:58:25 *not directly 01:58:58 I'm not sure fixed point would be better 01:59:02 Where do you draw the line between floating point and common use and understanding of floating point? 01:59:12 Computable reals are the future. 01:59:27 imo continued fractions 4 lyfe 01:59:41 surreals man 01:59:47 fuck sets 02:00:03 surreals are "pretty cool imo" 02:00:08 i don't think surreals are really computer ready... 02:00:17 fuck computers 02:00:21 fuck constructivism 02:00:24 but yesterday someone linked to http://types2004.lri.fr/SLIDES/mamane.pdf 02:00:25 all them infinite sets for fractions 'n' shi 02:00:30 And what's that? 02:00:50 or was it irrationals you needed infinite sets for... 02:00:52 Bike: You don't need infinite sets for fractions, do you? 02:01:08 Or maybe you do in general. 02:01:12 For ones like 1/3, I thought. 02:01:15 It's been a while. 02:01:28 Right, that sounds reasonable. 02:01:38 But is 1/3 even rational? 02:01:42 > 1/3 02:01:43 0.3333333333333333 02:01:47 imo no 02:01:53 ¬_¬ 02:02:22 ¬ニ¬ 02:02:57 I wonder whether my eyes are getting worse. 02:03:02 Also, there should be a ban on drums. 02:03:13 Especially playing music that involves drums in public places. 02:03:18 shachaf you're rambling again 02:03:33 hi Phantom__Hoover 02:03:58 Seriously, people are playing drummy music and I was going to concentrate on something but I'm really unable to. 02:04:03 this is what i'd expect from oerjan or fizzie or someone else old 02:04:14 Phantom__Hoover: I'm old. :-( 02:04:49 or cpressey 02:04:52 he was proper old 02:05:01 But the Judge said he never had summed up before; 02:05:01 So the Snark undertook it instead, 02:05:01 And summed it so well that it came to far more 02:05:01 Than the Witnesses ever had said! 02:07:21 monqy: do you like drums 02:07:34 what sorta drums 02:07:59 not eardrums 02:08:15 or storage drums?? 02:08:27 the other kind 02:09:02 that's still pretty vague 02:09:14 the kind that go boom boom boom boom 02:09:28 what is a drum, how is a drum used 02:09:35 beats me 02:12:54 -!- sirdancealot has joined. 02:23:54 badum-tsh 02:24:20 -!- Nisstyre-laptop has joined. 02:24:56 but cymbals are not drums??????? we're not talking about those. 02:25:13 they're still part of a drumset, which is a set of drums. 02:25:19 monqy: but wait what if i meant cymbals 02:25:27 monqy: did we ever narrow down what it was that i "really meant"?? 02:25:32 oh right 02:25:37 Q: did you mean cymbals 02:25:43 A: no you said boom boom boom boom 02:25:48 cymbals do not go boom 02:25:58 O. Now I see 02:27:16 {snare, bass, tom, tom, unsafeCoerce hat, timpani, oil} 02:27:23 Wait that's not a set 02:27:51 monqy: nitroglycerin cymbals 02:28:19 never seen one of those :o! do they have good sound 02:28:46 They're used in the overture of 2012 02:29:32 2012 overture? did russia get invaded again? 02:31:52 The russians now compose with tactical nuclear warheads 02:32:18 I wonder what a nuclear warhead sounds like 02:32:54 you mean an explosion? 02:33:25 A nooh-ku-leer explosion 02:34:24 mostly it sounds like a thousand trains going by, and then 700 mph winds and cars flying by and buildings falling, and then people screaming and crying. mostly the same as conventional bombing 02:36:31 You're talking about the environmental effects on the sound of an explosion 02:36:50 But what if you used warheads in the studio? 02:36:56 The concert hall? 02:37:12 you wouldn't hear anything because you'd be vaporized? 02:37:29 Ok, so we need better equipment 02:38:01 at any reasonable range it'd destroy your eardrums, so there's that too 02:38:30 how about an unreasonable range 02:38:44 monqy........ 02:38:46 don't be unreasonable 02:39:24 `list 02:39:26 Taneb atriq Ngevd Fiora nortti Sgeo alot 02:40:17 Bike: no one in a studio has intact eardrums anyway 02:40:38 That's why CDs are mixed at 0dB 02:40:41 Now You Know 02:40:53 you work in weird studios. 02:41:19 You're just jealous that you can't use tactical nuclear warheads 02:44:12 mostly it sounds like a thousand trains going by, and then 700 mph winds and cars flying by and buildings falling, and then people screaming and crying. mostly the same as conventional bombing 02:44:13 uh 02:44:21 is there going to be much screaming and/or crying 02:45:03 If you're far enough away to be alive? Sure. 02:45:05 Only the sissy japanese ever did that in response to a nuclear bombing 02:46:04 Fiora: You're too nice for ##c. 02:46:13 Have you considered insulting people a bit, to fit in? 02:46:16 i uh 02:46:25 am apparently banned from ##c 02:46:29 -!- Phantom__Hoover has changed nick to Phantom_Hoover. 02:46:45 ...but only as Phantom_Hoover 02:47:17 what's shakin' in ##c 02:47:48 shachaf: I'm sorry :< 02:47:59 I try to spot when nobody else is helping someone 02:49:35 nope, still boring 02:49:43 but it's really just a bunch of language lawyers being douchenozzles 02:49:57 (freenode etc) 02:50:06 shachaf: only Zhivago does that, you moron 02:50:25 did you just hear that 02:50:27 I INSULTED SOMEONE 02:50:31 do I fit in now 02:50:34 whoa, man 02:50:42 Where? 02:50:46 Oh. 02:50:50 I should try to use "douchenozzles" 02:50:53 You can't insult someone behind their back... 02:51:03 douchewaffle is I think my favorite 02:51:17 Fiora: Insult them to their face, you coward! 02:51:25 I'm sorry, I'm a coward :< 02:51:30 No, not yourself. 02:51:36 You could use a lot of practice at this. 02:51:41 admirable effort though 02:51:57 Yes, that counts for something. Keep at it. 02:52:00 I'm sorry, my attempts to show dislike towards people turn into passive aggression usually ~_~ 02:52:16 Anyway, nothing wrong with language lawyerism. 02:52:38 "douchewaffle" makes me read "douchewaffe", "waffe" as in "luftwaffe" 02:52:48 I got 0x$0.20 for language lawyering! 02:52:59 it's kind of irritating when someone asks a question ill-conceived with the standard and they get an earful about standards before someone says "but here's how you do it anyway" 02:53:04 the douchwaffe, is that like, a squadron consisting entirely of MRAs or something? 02:53:23 Bike: in this case I think it's worse because the standards mistake was in the /assignment/, it isn't even their fault that the assignment was overly simplifying or anything 02:53:27 Bike: I can't tell which part you think is irritating. 02:53:34 but now they get to suffer as people go into a dumb language lawyer argument over something they didn't even do... 02:53:53 oh. "douchecanoe" is nice too 02:54:08 * shachaf senses a common theme here. 02:54:29 Fiora: To be fair, this person doesn't seem to have read all of the assignment. 02:54:56 I guess, but that never justifies being mean and confusing to people trying to learn things ._. 02:55:17 Do you see me being mean and confusing? 02:55:20 I only do that in #haskell! 02:55:22 I-I didn't mean you >_< 02:55:23 pfff 02:55:45 #haskell tries to hard to be friendly. 02:55:48 Someone has to balance it out. 02:55:53