00:00:00 Sgeo: deone 00:00:01 *done 00:00:05 send to my paypal 00:00:27 Paypal deals with monkeys now? 00:03:58 -!- Wamanuz2 has quit (Ping timeout: 244 seconds). 00:04:14 -!- fizzie has quit (Ping timeout: 276 seconds). 00:04:52 -!- aloril has quit (Ping timeout: 250 seconds). 00:04:59 Do you know whether or not a PHI node in LLVM is allowed to return label type values and if those values can be used later? 00:05:05 nope 00:05:11 ask in #llvm on oftc 00:05:27 OK 00:05:29 -!- Wamanuz2 has joined. 00:11:57 -!- Lymia has changed nick to Lymee. 00:13:30 -!- Wamanuz2 has quit (Remote host closed the connection). 00:13:57 -!- Wamanuz2 has joined. 00:14:35 -!- fizzie has joined. 00:17:41 -!- Patashu has joined. 00:24:23 -!- augur has joined. 00:28:30 -!- aloril has joined. 00:47:26 -!- FireFly has quit (Quit: swatted to death). 00:50:11 -!- F has quit (Ping timeout: 276 seconds). 00:57:15 -!- F has joined. 01:10:23 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 01:18:01 -!- kwertii has quit (Quit: bye). 01:18:48 -!- Slereah has quit. 01:38:56 -!- CakeProphet has quit (Ping timeout: 276 seconds). 01:40:13 Once my grandfather said he would call the president and tell him to remove the words "I don't want" from the dictionary. 01:43:00 -!- copumpkin has joined. 01:43:00 -!- copumpkin has quit (Changing host). 01:43:00 -!- copumpkin has joined. 01:44:34 -!- CakeProphet has joined. 01:44:34 -!- CakeProphet has quit (Changing host). 01:44:34 -!- CakeProphet has joined. 01:55:29 -!- DocHerrings has joined. 02:00:15 Tell me if you would like to have access to TeXnicard_Extra repository. 02:04:29 -!- Guest13856 has changed nick to Gregor. 02:04:59 -!- Gregor has changed nick to Guest10869. 02:05:48 Guest10869: Wrong number please 02:07:58 -!- azaq23 has quit (Read error: Operation timed out). 02:09:47 -!- azaq23 has joined. 02:09:49 -!- azaq23 has quit (Changing host). 02:09:49 -!- azaq23 has joined. 02:12:02 -!- azaq23 has quit (Client Quit). 02:17:16 -!- DocHerrings has quit (Quit: ChatZilla 0.9.87 [Firefox 4.0.1/20110413222027]). 02:25:22 -!- BeholdMyGlory has quit (Remote host closed the connection). 03:12:09 Are you going to have Qu'ran for dinner? 03:12:52 I'm afraid that Qu'ran is probably not that good-tasting. 03:13:33 pikhq_: edible paper 03:17:02 Still, I'd rather not eat a book of bullshit. 03:17:11 Even if it is edible. 03:17:44 `addquote < pikhq_> I'm afraid that Qu'ran is probably not that good-tasting. < coppro> pikhq_: edible paper < pikhq_> Still, I'd rather not eat a book of bullshit. 03:17:45 463) < pikhq_> I'm afraid that Qu'ran is probably not that good-tasting. < coppro> pikhq_: edible paper < pikhq_> Still, I'd rather not eat a book of bullshit. 03:20:16 lol #math on EFNet 03:20:27 guy comes in with a probability (die rolling) question 03:20:33 I ask "How would you approach the problem?" 03:20:34 and he solves it 03:20:48 How very convenient. 03:21:06 was it least a good problem 03:21:35 If you roll a six-sided die three times, what are the odds that the results are not all different 03:22:02 Hmm. Annoying, but not hard. 03:22:42 yeah 03:24:16 obviously homework 03:24:34 Yeah, certainly not the sort of problem people do because they're curious. 03:24:37 :) 03:25:14 (arguably the worst part of homework for math: it's problems that are fundamentally boring.) 03:26:27 -!- azaq23 has joined. 03:30:08 he just asked (and, after a prod, solved) another one; this time the chances that two dice are the same and there is at least one six 03:37:15 I think support of these units for measurements on paper should be sufficient: pt (point) bp (desktop publishing point) in (inch) cm (centimetre) mm (millimetre) em (em width -- font specific) ex (ex height -- font specific) 03:37:48 I don't think other are needed but you can tell me if you believe otherwise. 03:37:55 That seems entirely sufficient. 03:38:27 Actually I probably don't need centimetres if you can use millimetres instead. Do you think should be removed or not? 03:40:51 You should just use metres and accept all SI prefixes 03:41:17 Kiloïnch? 03:41:20 :) 03:43:22 -!- azaq23 has quit (Ping timeout: 240 seconds). 03:43:53 coppro: I doubt that is necessary or important. It would also clash with the other units and complicate the programming. Maybe in other programs it would be useful though. 03:54:02 -!- azaq23 has joined. 04:03:01 * Sgeo learns about Fredkin gates 04:03:50 -!- F has left. 04:25:47 -!- augur has quit (Remote host closed the connection). 04:57:16 -!- Guest10869 has changed nick to Gregor. 04:58:01 If complex numbers weren't invented, how difficult would it be to work them out from the understanding of quantum mechanics? 04:59:20 I'm pretty sure that complex numbers would by necessity have been described *much* earlier. 05:00:09 Given that you absolutely need an understanding thereof for understanding certain classes of differential equations. 05:00:19 Guess what's used extensively in classical mechanics? 05:01:43 -!- augur has joined. 05:25:43 -!- Sgeo_ has joined. 05:27:48 -!- Sgeo has quit (Ping timeout: 250 seconds). 05:46:10 -!- Sgeo_ has changed nick to Sgeo. 06:16:53 -!- newsham has joined. 06:39:47 -!- Slereah has joined. 06:46:36 -!- evincar has joined. 06:47:20 How's life in the esoteric world? 06:55:37 -!- evincar has quit (Quit: ChatZilla 0.9.87 [Firefox 3.6.17/20110422054610]). 06:56:21 Let's make a page calling Haskell a wimpmode of Unlambda 07:00:29 -!- monqy has quit (Quit: hello). 07:05:14 -!- zzo38 has quit (Remote host closed the connection). 07:33:40 heh 07:34:45 unlambda is a wimpmode of subtle cough 08:05:09 -!- oerjan has joined. 08:27:04 -!- sodras has joined. 08:39:24 Patashu, wtf is "subtle cough"? 08:44:45 http://www.esolangs.org/wiki/Subtle_cough 09:13:30 I went and made a basic optimizing Brainfuck->C compiler in Scala. 09:13:36 ... 09:14:02 It might benefit from code to recognize balanced loops and handle them specially. 09:16:42 -!- Wamanuz3 has joined. 09:19:35 -!- Wamanuz2 has quit (Ping timeout: 246 seconds). 09:22:06 -!- sodras has quit (Ping timeout: 252 seconds). 09:22:24 -!- Vorpal has joined. 09:41:41 -!- choochter has joined. 10:32:40 -!- newsham has quit (Quit: gone). 10:45:49 -!- oerjan has quit (Quit: leaving). 11:11:50 -!- FireFly has joined. 11:18:17 -!- Vorpal has quit (Ping timeout: 260 seconds). 11:25:20 -!- Slereah has quit (Ping timeout: 252 seconds). 11:59:52 -!- azaq23 has quit (Quit: Leaving.). 12:02:12 -!- Phantom_Hoover has joined. 12:05:12 -!- Vorpal has joined. 12:09:39 -!- Wamanuz3 has quit (Remote host closed the connection). 12:10:46 -!- Wamanuz3 has joined. 12:34:32 -!- CakeProphet has quit (Ping timeout: 260 seconds). 12:35:30 -!- CakeProphet has joined. 12:35:31 -!- CakeProphet has quit (Changing host). 12:35:31 -!- CakeProphet has joined. 12:42:24 I'm writing an Brainfuck->C compiler for fum 12:42:25 fun* 12:42:37 I'm getting a lot of this: 12:42:38 ptr+=7; 12:42:38 while(ptr[0]){ 12:42:38 ptr[0]-=1; 12:42:38 } 12:42:57 Guess it's time to write code to turn stuff like this into something less painful, eh... 12:45:03 Lymee, just give up now. 12:45:04 Phantom_Hoover: You have 5 new messages. '/msg lambdabot @messages' to read them. 12:45:06 You will never beat Esotope. 12:45:08 It is simply the best there is. 12:45:16 Phantom_Hoover, fun is fun. 12:45:16 :) 12:49:32 http://en.wikipedia.org/wiki/Dangling_else 12:49:35 what? this article is so bad. 12:53:35 -!- MigoMipo has joined. 12:54:02 CakeProphet, you mean it's ambiguous or it's wrong? 12:54:22 Phantom_Hoover, and don't tell me I can't beat esotope. 12:54:26 I will try, damnit. 12:54:36 Lymee, have fun. 12:55:24 Phantom_Hoover, i will. 12:55:25 I* 12:57:03 -!- Wamanuz3 has quit (Ping timeout: 252 seconds). 12:58:26 -!- Wamanuz3 has joined. 13:01:11 OK, I have some weird rock version of The Bonnie Banks of Loch Lomond stuck in my head. 13:19:47 Phantom_Hoover, and don't tell me I can't beat esotope. <-- of course it can be done, but it won't be easy 13:20:27 Phantom_Hoover, *ouch* 13:20:59 Vorpal, what are you talking about, it's an awesome weird rock version of The Bonnie Banks of Loch Lomond. 13:21:05 Phantom_Hoover, ah 13:23:21 http://www.reddit.com/r/askscience/comments/i61gh/say_a_ship_with_humans_on_it_makes_it_to_the_edge/ 13:23:35 This is possibly the single stupidest question I have seen on AskScience. 13:27:15 It's not THAT bad 13:27:19 It's actually not very well understood 13:27:38 Patashu, edge of space? 13:27:43 Yeah 13:27:46 People talk about the universe expanding 13:27:48 There's no such thing. Full stop. 13:27:49 Often relating it to a balloon 13:27:54 So you could think 'the universe has an edge then' 13:27:57 and then try to think about it and ?_? 13:28:17 I think I'm a bit confused about it myself. Is it true that the universe is shaped as the 3D surface of a 4D sphere equivalent? 13:28:20 Oh, right. 13:28:27 Oh god I sounded like pikhq there. 13:28:29 So if you travel in any direction you travel the 3D equivalent of a great circle 13:28:36 Patashu, I think that's one of the options. 13:28:59 yeah I think I heard about that one too 13:29:08 of course, no one knows for sure yet. 13:29:38 ISTR someone looking at the CMB and suggesting that the data was consistent with the universe being a Poincare dodecahedron, but I think it was also refuted or at least too uncertain. 13:29:46 If you guys aren't sure 13:29:49 Why it is a dumb question 13:29:50 *is it 13:30:01 Patashu, because there's no 'edge' either way. 13:30:24 If you aren't experienced in thinking about 4 dimensional shapes 13:30:27 you WILL think there's an edge 13:30:32 or that the universe is infinitely large (not true) 13:30:37 well, both aren't 13:31:23 Patashu, think of something like the game astroids where iirc if you go across one edge you appear on the other. 13:31:35 Nono. -I- understand 13:31:39 That's because I've thought about it before 13:31:44 ah 13:32:23 I wonder what it would be like to see in more than 3 dimensions 13:32:27 Vorpal, that's a toroidal space, though. 13:32:50 Phantom_Hoover, yes, it isn't an exact parallel. 13:32:51 Which ISTR has zero curvature, so it's not the same. 13:33:18 Phantom_Hoover, however, it illustrates the general concept 13:34:05 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 13:34:23 Phantom_Hoover, what curvature does the Poincare dodecahedron have? 13:35:20 Vorpal, I'm guessing it's positive, since it's similar to the sphere. 13:35:33 ah 13:41:50 -!- BeholdMyGlory has joined. 13:42:38 * Phantom_Hoover notes that his understanding of special relativity has collapsed. 13:42:48 Or, more likely, wasn't there to begin with 13:43:43 Phantom_Hoover, oh? It is easy, twins age at different rates when one travels at high speed. The end. 13:43:53 (actually: accelerates) 13:51:46 Stockholm has a sea fortress called Suomenlina, and in Iceland there is a restaurant called Cafe Summalinna, I think in a town of the same name. Do any of the scandinavians here know if these words are related? 13:52:06 quintopia, Stockholm has a sea fortress called Suomenlina, <-- sure? That sounds Finnish to me 13:52:28 well maybe it's helsinki 13:52:34 quintopia, big difference 13:52:40 but i'm almost positive it's stockholm 13:52:45 wait 13:52:46 yeah it is Helsinki says google 13:52:49 no you're right 13:52:58 quintopia, for a start it is a different language family 13:53:00 i rode too many ferries to remember where they came from and where they went 13:53:40 quintopia, besides it seems to be spelled Suomenlinna 13:53:47 sure the families are different, but helsinki used to be in sweden, so maybe they got some loan words? 13:54:04 Vorpal: which makes it even closer to the spelling summalinna 13:55:23 quintopia, however it is the wrong language group if it is in Finland and Iceland. One is a germanic language, the other is a finnic language 13:56:10 -!- copumpkin has joined. 13:56:32 apparently it means "visitor" in finnish? 13:56:42 I have no idea 13:56:51 I'm from Sweden, not Finland 13:57:32 all the road signs in helsinki are in both swedish and finnish. it wouldn't be hard for you to get around :P 13:57:47 true 13:57:54 quintopia, doesn't mean I speak Finnish :P 13:58:34 but google does, and it says "visitor" 13:58:37 quintopia, anyway that is a rather different dialect of Swedish spoken over there. Some words would be different certainly. 13:58:53 quintopia, google thinks cm = inches when I translated a page :P 13:59:10 without converting the value 13:59:42 What means "visitor"? 13:59:45 quintopia: "Suomenlinna" = "Finland's castle" 13:59:46 i don't use it to translate pages. it sucks at that 13:59:55 fizzie, hi see the mc channel 14:00:05 "Summalinna" = "sum castle" 14:00:23 ha 14:00:25 okay then 14:00:27 quintopia, it seems to suck at tanslating words too 14:00:35 APPARENTLY 14:00:38 quintopia, anyway I doubt the Icelandic one is related 14:00:47 yeah it seems unlikely 14:00:49 quintopia, since Deewiant spoke about what it meant in Finnish 14:00:57 unless a fin owned that cafe 14:01:49 -!- Wamanuz4 has joined. 14:01:55 -!- Wamanuz3 has quit (Read error: Connection reset by peer). 14:02:56 AFAIK them Icelandickers try to avoid loanwords quite much. 14:07:45 I never quite got the whole anti-loanword thing. 14:08:14 I mean c'mon, English borrowed everyone else's words and suddenly they don't want them back? 14:08:30 Phantom_Hoover, I guess it is an attempt at retaining the identity of the language, since it is small, it won't be as easy as for English 14:08:45 Iceland has a tiny population 14:10:46 Wait, Kylie is derived from an Australian Aboriginal word? 14:10:53 My mind is blown. 14:10:56 -!- Wamanuz5 has joined. 14:11:04 -!- Wamanuz4 has quit (Ping timeout: 240 seconds). 14:18:44 * Sgeo only 4 days later sees the stunt elliott tried to pull on me in Agora 14:23:30 -!- Wamanuz5 has quit (Remote host closed the connection). 14:24:29 -!- Wamanuz5 has joined. 14:29:23 Sgeo, elaborate. 14:29:53 Someone tried to degregister me and some other people by objection. I objected 14:29:59 -!- Wamanuz5 has quit (Read error: Connection reset by peer). 14:30:04 -!- Wamanuz has joined. 14:30:55 Shortly afterwards, elliott complained about this, but while doing so, repeated the original intent, exactly as it appeared in the original emaill.... so that in Gmail, and perhaps some other clients, it looked like elliott was just quoting what appeared in a previous email. 14:31:34 Hmm, now I'm wondering what would have happened if tswett didn't notice. Would have been an interesting CFJ 14:31:44 Maybe 14:32:53 Sgeo, I am failing to see the stunt 14:34:25 If someone doesn't think to click "Show quoted text" then it wouldn't be noticed that elliott was actually taking an action, rather than just referring to a previous message 14:39:13 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 .). 14:39:19 -!- SimonRC has quit (Ping timeout: 260 seconds). 14:46:34 -!- Elizacat has joined. 14:46:37 hi 14:46:44 * Elizacat pokes Vorpal 14:49:09 * Phantom_Hoover counterpokes. 14:52:51 * Vorpal blinks 14:57:42 * Phantom_Hoover counterblinks. 15:01:08 -!- SimonRC has joined. 15:03:03 * Phantom_Hoover counterjoins. 15:05:42 -!- SimonRC has quit (Ping timeout: 252 seconds). 15:06:52 -!- SimonRC has joined. 15:07:29 * quintopia counter-counter-Phantom_Hoovers 15:17:04 * Phantom_Hoover notes that they really turned up the sex for the 6th series of Futurama 15:18:44 Also, they changed the layout of Zoidberg's internal organs. 15:24:54 Phantom_Hoover, why would they do the latter 15:29:37 Vorpal, we may never know. 15:34:14 I just discovered the sport "Extreme Ironing". WTF but awesome. 15:35:57 -!- monqy has joined. 15:52:39 -!- Wamanuz has quit (Remote host closed the connection). 15:53:12 -!- Wamanuz has joined. 15:58:12 -!- Lymee has quit (Ping timeout: 252 seconds). 15:59:39 -!- Lymee has joined. 16:13:09 -!- Wamanuz has quit (Read error: Operation timed out). 16:18:47 -!- Wamanuz has joined. 16:23:57 -!- Slereah has joined. 16:32:36 -!- Wamanuz has quit (Ping timeout: 252 seconds). 16:32:40 -!- Wamanuz2 has joined. 16:36:08 -!- zzo38 has joined. 16:42:20 -!- Wamanuz2 has quit (Read error: Connection reset by peer). 16:43:30 -!- newsham has joined. 16:43:43 -!- Wamanuz2 has joined. 16:49:42 -!- Wamanuz3 has joined. 16:50:27 -!- Wamanuz2 has quit (Ping timeout: 244 seconds). 16:50:30 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 16:56:38 -!- Wamanuz3 has quit (Read error: Connection reset by peer). 16:56:41 -!- Tritonio has joined. 16:57:37 -!- Wamanuz3 has joined. 17:09:42 -!- oerjan has joined. 17:15:53 -!- Wamanuz3 has quit (Ping timeout: 250 seconds). 17:16:34 `translatefromto en fi Does this work any longer? 17:16:38 Onko tämä toimi enää? 17:16:42 ic 17:16:51 -!- Tritonio_GR has joined. 17:16:55 `translatefromto fi en suomenlinna 17:16:56 Suomenlinna 17:17:01 `translatefromto fi en suomen linna 17:17:03 Finnish castle 17:17:35 -!- Wamanuz4 has joined. 17:17:44 quintopia: ^ Pretty conclusive i'd say 17:18:01 `translatefromto is en summalinna 17:18:03 sum Linna 17:18:23 hm not so conclusive 17:18:28 `translatefromto is en tölva 17:18:30 computer 17:18:46 `translatefromto is en summalina 17:18:46 `translatefromto is en summa linna 17:18:47 sum lina 17:18:49 sum Linna 17:19:21 i think -ina or -inna is a possible definite article, though 17:19:30 (in some case) 17:19:44 -!- Tritonio has quit (Ping timeout: 240 seconds). 17:19:46 `translatefromto is en summal 17:19:47 summal 17:20:05 but summal doesn't sound very icelandic to me 17:20:07 Has the present king of France stopped robbing banks? 17:20:48 нйеееееееееееееееееееееееееееееееееееееееееееееееееееееет 17:22:15 i cannot find any trace of this icelandic thing you refer to 17:24:23 in fact the top hit i get for summalinna is someone misspelling the other one :P 17:26:18 In quotes, that's the only hit I get for "Summalinna". 17:26:34 -!- Wamanuz4 has quit (Ping timeout: 252 seconds). 17:28:10 quintopia: there's a swedish café smulan, if that helps :P 17:28:57 (if it's anything like norwegian, smulan = the crumb) 17:31:03 quintopia: do you have any idea where you heard about this icelandic cafe? 17:31:18 when i went there 17:31:35 and you're sure it was iceland 17:31:45 it's in the journal from iceland 17:31:55 and spelled that way? 17:32:02 hm 17:32:33 no 17:32:38 in the journal it's spelled summalina 17:32:45 aha 17:33:46 and where in iceland was this? 17:34:22 -!- TOGoS has joined. 17:34:25 -!- TOGoS has left. 17:34:52 that exact word gives only 8 google hits 17:35:35 east coast 17:36:23 in a fjord 17:36:24 so 17:36:37 the village had "fjörður" at the end of course 17:37:35 heh 17:38:16 i guess it's a too tiny village then... 17:39:26 they had an internet connection i think, but i don't think they had a website :P 17:39:47 heh 17:40:39 If i had to guess, i'd say it was Reyðarfjörður. that sounds right and looks to be in the right place. 17:41:19 or Faskruðsfjður 17:41:32 *fjörður 17:42:55 aha found it 17:42:59 my mom misspelled it 17:43:03 "Restaurant Café Sumarlína" 17:43:10 huh 17:43:41 it's on the Faskrúðsfjörður wikipedia page :P 17:43:50 ok 17:44:04 `translatefromto is en sumarlína 17:44:05 Sumarlína 17:44:08 `translatefromto is en sumar lína 17:44:09 some line 17:44:22 lol 17:44:27 some name 17:47:34 `translatefromto is en sumarinn 17:47:35 some sounds 17:47:42 wtf 17:47:44 `translatefromto is en sumarin 17:47:46 summer 17:47:48 ah 17:48:05 `translatefromto is en lína 17:48:07 line 17:48:39 so, i am guessing the first part is summer 17:48:50 -!- pikhq_ has quit (Ping timeout: 244 seconds). 17:48:50 -!- pikhq has joined. 17:49:16 (geometry) a line, a straight line syn. 17:49:16 (fishing) a fishing line 17:49:17 a string, a line, a rope syn. 17:54:44 oh it's actually a woman's name http://is.wikipedia.org/wiki/Sumarl%C3%ADna 17:55:22 quintopia: ^ 17:55:54 that page should make all clear *cackles madly* 17:57:49 oh wait there may be only two people called that (since 1950, anyway) :P 17:59:17 that's what i was noticing :P 17:59:23 not a popular name at all 18:06:28 oh Lína is a female name, the term "mannanöfn" confused me 18:06:52 to a norwegian it looks like it means "men's name", but it actually just means "human name" 18:07:09 so Sumarlína is a simple compound, i guess 18:07:39 icelandic is the least changed from old norse. back then "man" meant "human" 18:09:02 yes, but curiously it seems not to _also_ mean just "male human" 18:10:50 unlike in norwegian, where "mann" means male, these days mostly unambiguously 18:10:56 `quote 18:10:57 34) I am not on the moon. 18:11:23 tswett: IT WOULD HAVE EXPLAINED SO MUCH 18:15:48 ok wiktionary seems to indicate it sometimes still means "man", or "husband" 18:17:58 oerjan: in old english, i think man was human, where husman was man and wyfman was woman, or somethign like that 18:20:37 hm 18:23:06 !userinterps 18:23:07 ​Installed user interpreters: acro aol austro bc bct bfbignum brit brooklyn bypass_ignore bytes chaos chiqrsx9p choo ctcp dc decide drawl drome dubya echo eehird ehird elmer fudd google graph gregor hello id jethro kraut lperl lsh map num ook pansy pi pikhq pirate plot postmodern postmodern_aoler prefixes python redneck reverse rimshot rot13 rot47 sadbf sanetemp sfedeesh sffedeesh simplename slashes svedeesh swedish ustemp valspeak warez wc yodawg 18:23:31 !show decide 18:23:31 haskell import System.Random; main = (randomRIO (0,1) :: IO Int) >>= print 18:23:38 !decide 18:23:46 0 18:25:12 !haskell import System.Random; main = randomRIO (0,1) >>= print 18:25:16 !decide 18:25:21 1 18:25:28 ?help dice 18:25:29 dice . Throw random dice. is of the form 3d6+2. 18:25:35 ?dice 1d6 18:25:35 1d6 => 2 18:26:32 i wonder wth ghc doesn't use defaulting to make that Integer... 18:26:47 ?dice 4d7*3+1 18:26:47 unexpected "*": expecting digit, "+" or end 18:27:05 Lame 18:27:35 ?? ?run (?dice 4d7)*3+1 18:27:36 : parse error on input `=>' 18:27:41 bah 18:27:53 BAD COMPOSABILITY 18:28:53 :t 1d6 18:28:54 Not in scope: `d6' 18:29:21 oerjan: speaking of Lína being a female name, the swedish version of that name is the name of the most famous woman in computing history :P 18:29:37 wat 18:29:56 i thought lina was the swedish version 18:30:08 not Lena? 18:30:51 Is Lena the most famous now? 18:31:08 well obviously there are several versions, but i assume lina is the closest one 18:31:42 also, oh that lena 18:32:24 she's also the centerfold of the most popular issue in Playboy history 18:32:31 people still want copies of it 18:32:54 what do you want 4d7*3+1 to be? 18:33:00 ?dice 2d6 18:33:00 2d6 => 5 18:33:01 "It is a picture of Lena Söderberg, a Swedish model, shot by photographer Dwight Hooker." 18:33:03 ?dice 2d6 18:33:03 2d6 => 6 18:33:05 ?dice 2d6 18:33:05 2d6 => 11 18:33:10 thats two six sided dice 18:33:40 I'd still argue that Ada's more popular :-P 18:34:04 Deewiant: you'd think. and Grace. 18:35:09 newsham: mostly, i'd want it to be a number you could feed on into @run 18:36:16 Deewiant, oerjan: you underestimate the male sex drive :P 18:36:43 fucking lady byron. i think she was probably a nutcase 18:36:55 gambling addict 18:41:53 ?help run 18:41:53 run . You have Haskell, 3 seconds and no IO. Go nuts! 18:42:30 oerjan: ?. ?run and ?dice ? 18:44:35 -!- NihilistDandy has joined. 18:46:56 newsham: ?? works slightly different than ?. 18:47:22 newsham: my point was the result of @dice is not a plain number 18:48:33 oh.. hrmm.. yah. 18:48:55 @@ @run (read . last . words $ @read @dice 4d7)*3+1 18:48:56 Plugin `compose' failed with: Prelude.read: no parse 18:48:58 make an "unDice" function :) 18:48:59 argh 18:49:13 @read hm what is this 18:49:14 Plugin `dummy' failed with: Prelude.read: no parse 18:49:22 oh hm 18:49:26 @show maybe this was it 18:49:27 "maybe this was it" 18:49:34 @@ @run (read . last . words $ @show @dice 4d7)*3+1 18:49:35 : parse error (possibly incorrect indentation) 18:49:37 @read "4" 18:49:38 4 18:49:39 ff 18:50:01 @show @dice 4d7 18:50:01 "@dice 4d7" 18:50:07 um 18:50:10 @@ @show @dice 4d7 18:50:11 "4d7 => 20" 18:50:20 tada 18:50:37 @@ @run last . words $ @show @dice 4d7 18:50:39 "20" 18:51:15 @@ @run (last . words $ @show @dice 4d7) 18:51:16 : parse error (possibly incorrect indentation) 18:51:19 aha 18:51:31 @@ @run (last . words $ (@show @dice 4d7)) 18:51:33 "14" 18:51:37 @@ @run (last . words $ (@show @dice 4d7))*3+1 18:51:38 No instance for (GHC.Num.Num GHC.Base.String) 18:51:38 arising from the literal `... 18:51:42 er 18:51:47 @@ @run (read . last . words $ (@show @dice 4d7))*3+1 18:51:49 28 18:51:51 whew 18:52:07 lambdabot is looking more and more like an esoteric language 18:52:11 newsham: anyway you can see how much simpler that would have been if @dice just printed the number :P 18:52:25 oerjan: submit a patch! ;-) 18:52:36 argh evil words 18:53:19 also ?let undice = read . last . words . @show or something like so? 18:53:20 ;-) 18:53:40 alas that won't work 18:54:03 ok, without the @show, but with the rest, still makes it simpler 18:54:18 @list dice 18:54:19 dice provides: dice 18:59:48 -!- adamfyre has joined. 19:00:10 is adamfyre a burning man 19:01:31 Kinda.. 19:02:13 Well, sometimes. 19:03:04 well stop playing with gasoline! 19:04:19 Hah 19:04:34 Im a welder 19:07:09 ic. 19:07:32 -!- adamfyre has quit (Quit: AndroidIrc Disconnecting). 19:08:26 just a man on a qwest, passing by 19:18:51 -!- Phantom_Hoover has joined. 19:25:44 -!- Deewiant has quit (Quit: Viivan loppu.). 19:26:10 -!- Deewiant has joined. 19:29:04 * pikhq wonders at ldd /bin/ls 19:29:14 Does ls really need libdl? 19:32:58 Libdl? 19:34:04 dlopen and friends, yes? 19:34:17 Yup. 19:34:43 ls --with-gnu-emacs-dynamic-module-option=my.so 19:34:46 ;-) 19:34:55 Ah, probably being pulled in through libacl and libselinux. 19:35:02 I'm very curious about libpthread still. 19:46:50 http://code.google.com/p/unix-jun72/source/browse/trunk/src/cmd/ls.s 19:50:42 That's almost 10x less lines of asm than there are lines of C in GNU ls 19:53:48 I like the way it doesn't have any text in it. 19:53:50 At all. 19:54:20 jsrr5,questf; < nonexistent\n\0>; 19:54:23 thats text. 19:54:56 sometimes args are put inline in the code 19:55:05 the caller adjusts the return addr 19:55:16 callee i mean 20:15:25 Oh, right. 20:15:38 An era before quote-delimited string literals... 20:15:43 It's like dinosaurs. 20:15:45 Somehow. 20:20:59 Phantom_Hoover: it's like perl 20:23:01 lol 20:23:50 alert(/whatever/) 20:27:40 newsham: javascript:alert(/whatever/) just displays /whatever/ 20:31:06 !perl print q doesthiswork? ; 20:31:07 Can't find string terminator "d" anywhere before EOF at /tmp/input.5883 line 1. 20:31:30 hmph pesky space exception 20:32:08 !perl print q_but this then?_; 20:32:08 syntax error at /tmp/input.5986 line 1, near "_;" 20:32:30 !perl print q _but this then?_ ; 20:32:30 but this then? 20:32:34 wow, perl has syntax errors? 20:32:43 shocking! 20:33:02 and here I thought every byte sequence would be a valid perl program 20:33:21 or: what weird dialect of perl is this bot using? 20:33:38 and chixqsomething relies on it, too! 20:33:44 hm... 20:33:48 !userinterps 20:33:49 ​Installed user interpreters: acro aol austro bc bct bfbignum brit brooklyn bypass_ignore bytes chaos chiqrsx9p choo ctcp dc decide drawl drome dubya echo eehird ehird elmer fudd google graph gregor hello id jethro kraut lperl lsh map num ook pansy pi pikhq pirate plot postmodern postmodern_aoler prefixes python redneck reverse rimshot rot13 rot47 sadbf sanetemp sfedeesh sffedeesh simplename slashes svedeesh swedish ustemp valspeak warez wc yodawg 20:33:52 -!- pikhq has quit (Ping timeout: 252 seconds). 20:34:00 !svedeesh asdasdfa 20:34:00 -!- pikhq has joined. 20:34:01 esdesdffffa 20:34:13 !svedeesh my hovercraft is full of eels 20:34:14 my hooffercrefffft is fuull oouffff iels 20:34:15 !chiqrsx9p xThis should compile as perl, dammit! 20:34:16 Unquoted string "l" may clash with future reserved word at (eval 1) line 1, line 1. 20:34:57 so everything else was fine, but a stray 'l' will kill you? nice one 20:35:19 !chiqrsx9p xThis should compile as perl, dammit! 20:35:32 much better 20:35:38 olsner: true. almost string like though 20:35:38 !echo did that kill you? 20:35:38 did that kill you? 20:35:54 whats the way to convert it to string.. something like /foo/.src? 20:36:24 i think its non portable :( 20:36:40 olsner: technically that was a warning not an error, i think 20:37:03 I think that must have been its string conversion that I saw, presumably opera stringifies regexps as /etc/ 20:40:22 oerjan: ... syntax error is a warning? 20:40:49 olsner: i mean that unquoted string thing 20:40:49 or did you refer to the chiqrsx9p message? 20:51:15 -!- choochter has quit (Ping timeout: 255 seconds). 21:05:33 * Phantom_Hoover reads the list of ideas, notes that someone thinks that #!s use your path. 21:06:14 (Wait, does it? It's handled in the kernel, so I assume it isn't poking through the env, but...) 21:06:15 they can! if you make the #! use something that uses your path that is 21:06:46 e.g. /usr/bin/env foo is a common idiom, which I have no idea what it *really* does 21:06:59 olsner, just runs foo. 21:07:10 just? sounds boring 21:07:15 But it *does* look in PATH, unlike execve. 21:07:26 -!- pikhq_ has joined. 21:07:27 It also allows control over the precise nature of the environment. 21:08:08 but what it does when given no options is to look up foo in the path, as opposed to putting #!foo directly which wouldn't? 21:08:23 I think so. 21:08:54 -!- pikhq has quit (Ping timeout: 240 seconds). 21:09:19 #! tells execve to execute , and I really really doubt execve even *can* look at the environment. 21:10:00 hmm, the environment for a process does exist in the kernel, doesn't it? 21:10:02 !sanetemp 1300 21:10:03 704.4 21:10:16 hmm, or doesn't it? 21:10:27 [~]% cat foo 127 21:10:27 #!sh 21:10:28 echo foo% [~]% ./foo 21:10:28 zsh: ./foo: bad interpreter: sh: no such file or directory 21:10:56 but it would be iffy for the kernel to rely on the environment variable called "PATH" to have a special meaning 21:11:09 Yeah, exactly. 21:11:12 Hence env. 21:11:34 -!- variable has quit (Remote host closed the connection). 21:11:57 Ooh, wait. 21:12:11 the kernel should run #! files through /sbin/hashbang, and then that could be like a link to bash or whatever 21:12:30 If it's not an absolute pathname, it's just interpreted relative to the current directory. 21:12:52 So #!v could work if v is in the directory. 21:13:19 hmm, so what if foo starts with #!foo? 21:14:13 ... 21:14:18 You are insane and also awesome. 21:14:37 zsh: exec format error: ./foo 21:14:39 Bah. 21:15:32 hmm, "zsh: ...", you may be invoking shell magic rather than kernel magic here 21:24:17 olsner: You actually could do that. 21:24:52 olsner: Linux has the ability to execute arbitrary interpreters for files, based on magic or filename. 21:25:08 Phantom_Hoover: you know, like how files without any #! will run fine from shells 21:25:35 olsner, that'll just be zsh recovering from execve errors. 21:26:01 Yeah, that's probably a perror(errno, "zsh") 21:26:13 Erm, perror("zsh") 21:26:37 Phantom_Hoover: in bash, a file foo containing #!foo will just do nothing and return successfully 21:27:02 olsner, yeah, I guess bash doesn't handle it visibly. 21:27:27 Indeed, there's no real reason for shebang handling to be in Linux anymore. Just make /sbin/shebang the handler for the magic "#!". 21:27:48 (or, if you don't want to do any actual work, /usr/bin/perl) 21:28:33 you mean because perl will interpret hashbangs? or because it will accept any byte sequence? 21:28:50 Perl interprets shebang. 21:30:03 nice, I should start calling my shell scripts .pl with a bash hashbang and pretend that I think it's perl code 21:30:50 I mean, that will work on windows, so I would pretend that I only test my perl scripts on windows 21:31:20 which will be hard considering I don't have any running windows systems ... crap, my evil plans suck :( 21:31:50 I'm pretty sure the only reason for it is so that passing arguments to perl from the shebang works even if you do 'perl foo.pl'. 21:34:24 Today I won a game of Magic: the Gathering even though I had negative 40 life points (my opponent had positive 23). 21:35:35 Managed to pull off a "you cannot lose the game" trick? 21:36:14 Not quite. I managed to pull off a "state based effects stop working until end of turn" trick. 21:37:02 Positive 23 was his score at the end of the game 21:38:58 Understand? 21:39:01 -!- cheater_ has quit (Ping timeout: 240 seconds). 21:40:10 ... *State based effects* stop working. That's an astounding feat. 21:40:56 The imperfect deck split probably helped me to win. 21:41:09 How the hell? 21:41:12 yes, always the imperfect splitting of the deck 21:41:35 but however imperfect it may have been, it must have been pretty good if it made you win? 21:42:22 We did not construct the deck. There is a deck of many cards, nine of which I made up myself, mixed up and split, then half is given to each player (without knowing which is which). So both of us had some of these made up cards (the others are very old cards). 21:42:54 Probably a card played by my opponent helped me to win. 21:43:16 In combination with a card I played. 21:43:47 I don't think there's actually a way to stop state-based effects. 21:44:10 And it would break rather a lot of stuff, considering what the state-based effects *are*. 21:44:32 e.g. "Tokens not on the battlefield cease to exist". 21:44:43 And losing from mill. 21:46:46 And more. 21:47:46 Another strange thing? One of my creatures had seven -1/-1 counters (which I put on myself)....... 21:48:24 Seriously, *how the hell did you pull off no state-based effects*. 21:48:37 And why didn't you use it to break things further? 21:49:16 Tokens in the library! Sorceries on the battlefield! 21:49:50 pikhq_: I don't think sorceries on the battlefield is related to state-based effects. 21:50:09 A spell not on the stack ceases to exist as a state-based effect. 21:50:10 The rule was, last I checked: "Instant or sorcery trying to come into play instead remains where it is" 21:50:31 (704.5e) 21:50:46 Sorry, that's a *copy* of a spell. 21:51:03 Still would let you put things on the battlefield that shouldn't be. 21:51:29 One of the made-up cards (my opponent made up some cards too; both of us agreed to each other cards and then the cards were mixed with others and split at random between us (neither of us constructed a deck)) 21:51:46 Aaah. 21:57:05 -!- azaq23 has joined. 21:58:47 In fact I had an idea make up a card (not used in this game) was a creature card with phasing and "when this card comes into play, it becomes an instant in addition to its other types" 21:59:39 As far as I can tell, this would result in the card remaining phased out for the rest of the game. 22:01:41 Once in an actual tournament my opponent disagreed with me about the rules. I was correct and the judge confirmed it, so the opponent decided to concede because they didn't like that rule. 22:02:32 * Phantom_Hoover → sleep 22:02:33 -!- Phantom_Hoover has quit (Quit: Leaving). 22:03:03 (At the same time, the tournament organizer failed to compute the scores correctly (by failing to post that score) and scored me in second place (I should have been first).) (Also, that was the only time in a tournament where I didn't score last place.) 22:03:59 Actually there was one tournament where I failed to score any placing because as it turned out there was not enough time to start the game. 22:07:50 Some people say the new rules are simplified. I say they are only more klugy. I say all editions of Magic: the Gaterhing are klugy and they always are adding klugy rules, especially the rules having to do with planeswalkers are also klugy. 22:08:04 I'm pretty sure the only reason for it is so that passing arguments to perl from the shebang works even if you do 'perl foo.pl'. <-- iirc it's also because shebangs are (at least in some os'es) restricted to a single option argument 22:09:05 -!- sebbu2 has joined. 22:09:05 -!- sebbu2 has quit (Changing host). 22:09:05 -!- sebbu2 has joined. 22:11:53 -!- sebbu has quit (Ping timeout: 240 seconds). 22:25:48 zzo38: Less kludgey than just about every other game's rules, though. 22:26:20 Simply by merit of being well-defined. 22:27:40 -!- oerjan has quit (Quit: This thing needs a reboot). 22:30:46 -!- variable has joined. 22:31:53 -!- MigoMipo has quit (Read error: Connection reset by peer). 22:33:51 I know of no way by which the rule zzo38 quoted can actually come into to play 22:35:23 pikhq_: Yes, the rules are well defined but __________ 22:35:52 ah, the dreaded underscore problem 22:35:54 coppro: That is why I invented such a card. 22:36:47 Perhaps it would make more sense a copy of a spell entering play becomes a token. 22:36:53 also, the rules for phasing have changed 22:36:55 What rule? 22:37:05 zzo38: The Un* cards do not work at present. 22:37:26 phasing is now a status on permanents 22:37:31 phased-out things do not leave the battlefield 22:37:34 The rules for phasing are actually sane now. 22:38:02 ^ 22:38:09 They're still a bit... Large, but mortals can understand them. 22:38:17 pikhq_: I maintain they're printable 22:38:30 coppro: Well at the time that I posted that of my idea it worked the other way. 22:38:33 Yes. Just barely, but it has become printable. 22:39:17 Still, I prefered most of the rules the way they were before, although some things I would change are things that no edition of the rules has at all 22:39:26 like? 22:39:45 At the very least, they can be explained succinctly now. "When cards phase in, you throw a tarp over them. When they phase out, you take the tarp off." 22:39:52 what rules do you not like the modern versions of them? 22:40:14 Imma guess mana burn. 22:40:15 I think the rules are beyond repair and have been that way forever. 22:40:28 pikhq_: That is one change I don't like that they remove mana burn 22:40:47 zzo38: The rules for Magic have been entirely rewritten from scratch a few times. 22:40:48 However, I would remove the rule that auras that are also creatures are removed from play. 22:41:21 Probably the most notable instance of this is 6th edition. 22:41:29 pikhq_: They are beyond repair no matter if you rewrite them from scratch today when taking this into account! You would also have to make an entirely new game with new cards and everything else new too. 22:41:41 They're quite far from beyond repair 22:41:50 Where literally *all the mechanics changed*. 22:42:10 They deal with nearly every situation 22:42:13 (y'know the stack? 6th edition.) 22:42:21 Usually, though not always, in a sane and intuitive manner 22:42:25 Sixth edition certainly did fix many things but still many things are broke 22:42:36 Define "broke". 22:42:41 There are a few things that are and will forever remain horribly complex 22:42:44 banding, suspend 22:42:56 Banding and suspend are not my concerns. 22:43:15 what are? 22:43:27 mana burn was a fine rule, but it was not necessary 22:43:48 I'm upset about mana burn being gone simply because it was a very flavorful thing. 22:43:48 Things such as combat, even. And damage, and various other things. (Including the one I mentioned about auras being creatures) 22:44:00 But, yeah, certainly not necessary. 22:44:26 Nothing to do with flavorful but I think mana burn is a useful rule to exist in the game. 22:44:34 the auras being creatures rule is one that exists for sanity 22:44:46 In my experience, mana burn was just a nuisance 22:44:55 I also would have change much of the rules having to do with card types...... and more..... even planeswalkers...... 22:44:59 The only time it made a significant difference was when it was abused 22:45:05 oh god tribal 22:45:08 that one's a mess 22:45:37 coppro: Yes, I agree about tribal. I would have had subtypes work entirely differently, instead 22:45:52 I still don't understand why it wouldn't have worked as a supertype :/ 22:46:04 Supertypes can't have subtypes. 22:46:07 coppro: I do understand why it wouldn't have worked as a supertype. 22:46:15 Yes, what pikhq_ said 22:46:55 pikhq_: It's a minor change to allow tribal to grant creature types 22:47:07 Though it seems to me that subtypes necessarily being attached to types is a bit of a bug. 22:47:09 :You think the auras being creatures rule is one that exists for sanity? I disagree with the rule anyways. 22:47:25 Not sure how best to handle it, though. :/ 22:47:28 pikhq_: Yes, subtypes should be attached to nothing, in my opinion 22:47:42 -!- Wamanuz4 has joined. 22:48:05 coppro: Actually, to do truly minimal changing to things, tribal could have been a keyword. 22:48:26 ewww 22:48:32 ability-affecting stuff would mess with that 22:48:53 zzo38: Subtypes should not be attached to nothing 22:48:56 Though then it wouldn't be in the type line, and OH DEAR GOD THEY ACTUALLY PUBLISHED ABILITY AFFECTING STUFF SOON AFTER 22:48:59 Eeeew. 22:49:21 There are a number of cards that rely on noncreature subtypes being impossible to duplicate 22:49:33 see the Shrines, Urzatron... 22:49:53 heh, that's a good one 22:49:56 coppro: Those kind of things are partially what I mean by beyond repair, but there are other things too 22:49:58 Urza's being a land type 22:50:07 zzo38: hardly beyond repair 22:50:16 beyond repair implies they don't work 22:50:20 Then I have used the wrong word. 22:50:24 the rules for magic work quite fine 22:50:32 overly complicated? perhaps 22:50:34 They just have to deal with a lot of edge cases. 22:52:15 pikhq_: That is the stupid part. 22:53:17 The only way to deal with that *would*, in fact, be to junk all previous cards. 22:54:08 pikhq_: That would be, to, make an entirely new game too. 22:54:44 Yes, it would inherently be a different game. 22:54:48 -!- oerjan has joined. 22:57:16 As a Commander player, I've very glad for the exceptions for corner cases 22:58:30 Commander player? What does that mean? 23:01:59 -!- Wamanuz4 has quit (Remote host closed the connection). 23:05:15 -!- Wamanuz4 has joined. 23:09:51 -!- Wamanuz4 has quit (Ping timeout: 255 seconds). 23:13:39 -!- Wamanuz4 has joined. 23:15:20 /sbin/hashbang is called /usr/bin/env. 23:15:45 newsham: env does not parse #! 23:15:50 Therefore you fail. 23:16:50 i'm used to it 23:17:06 zzo38: I play commander 23:18:13 -!- Wamanuz4 has quit (Ping timeout: 252 seconds). 23:18:40 -!- Wamanuz4 has joined. 23:23:30 -!- Wamanuz4 has quit (Ping timeout: 276 seconds). 23:23:40 -!- Wamanuz4 has joined. 23:29:24 -!- Wamanuz4 has quit (Ping timeout: 240 seconds). 23:43:08 * Sgeo ponders reversible CAs 23:44:05 * oerjan sAC elbisrever srednop 23:44:52 isnt there one that has really interesting patterns already? 23:45:01 -!- Vorpal has quit (Ping timeout: 250 seconds). 23:48:41 well there's the rule 30 1d automaton 23:49:11 i don't think that's _globally_ reversible 23:50:04 * Sgeo isn't sure of the difference, and just imagines that reversible CAs have conserved quantities that can be competed over. 23:51:15 -!- Wamanuz4 has joined. 23:51:45 well i'm not even sure that's the right terminology 23:52:17 > showIntAtBase 2 intToDigit 30 "" 23:52:18 "11110" 23:52:57 the infinite tapes ...000... and ...111... both map to ...000... 23:53:39 but changing any _bounded_ area will give a different result 23:55:11 * Sgeo headaches 23:55:18 -!- Wamanuz4 has quit (Read error: Connection reset by peer). 23:56:04 Sgeo: anyway, any CA has _one_ conserved quantity... total area size :P 23:56:17 (yeah that's very trivial) 23:56:47 (but say look-and-say sequences don't have that, since they expand) 23:57:06 I can imagine a CA that doesn't. 23:57:25 Make it a torus except along the seams an extra block of cells is placed there every 5 generations 23:57:38 Although I guuess the "seams' are arbitrary 23:57:42 well, that wouldn't fit the definition of a CA 23:58:01 Is there a law that gift cards are not allowed to expire?