00:06:06 -!- Phantom__Hoover has quit (Quit: Leaving). 00:19:58 -!- MDude has quit (Quit: later chat). 00:20:08 -!- MDude has joined. 00:20:51 Those people in #haskell channels, they don't know my program!!! Can you help me why the file it output won't load in another program? 00:27:13 Can you please tell me why my program is bad?????????????? 00:33:23 :t asum 00:33:24 Not in scope: `asum' 00:33:30 @hoogle asum 00:33:31 Data.Foldable asum :: (Foldable t, Alternative f) => t (f a) -> f a 00:33:50 zzo38: i think choice = asum 00:34:38 oerjan: OK. I put it there just to generalize the Parsec choice function, but thanks for idea 00:35:43 But do you know what is wrong with the MIDI output? 00:36:13 i don't even know MIDI format, alas 00:36:39 i suspect i can only give trivial advice here 00:36:52 Well, if you do find other problems them please notify me anyways 00:37:25 > map sum . tail . inits $ [1,5,7,10] 00:37:27 [1,6,13,23] 00:37:40 > scanl1 (+) [1,5,7,10] 00:37:41 [1,6,13,23] 00:37:59 O, I didn't know that. Thanks 00:40:40 :t until 00:40:41 forall a. (a -> Bool) -> (a -> a) -> a -> a 00:41:06 i think that's similar to your < What module is that? 00:42:40 Prelude, i think 00:44:06 until is different to < i think (< < oh right 00:45:29 misread 01:07:55 zzo38: your instance Eq Event looks wrong, and the Ord looks equivalent to a default derivation. i think you might just want deriving (Show, Eq, Ord) on the data declaration? 01:10:26 O yes you are correct. 01:10:53 i don't know if the Eq Event bug might cause some trouble 01:10:58 I thought I fixed that already, but I guess I forgot. 01:12:45 That didn't fix it 01:13:31 aww 01:32:43 -!- calamari has joined. 01:52:57 -!- calamari has quit (Quit: Leaving). 02:04:11 Oops! There seems a mistake in preprocessor-tools package it won't parse things such as 0x7 correctly 02:07:39 -!- NihilistDandy has joined. 02:12:08 -!- pir^2 has changed nick to Not_pir^2. 02:13:21 -!- Not_pir^2 has changed nick to pir^2. 02:20:36 -!- Madoka-Kaname has joined. 02:20:36 -!- Madoka-Kaname has quit (Changing host). 02:20:36 -!- Madoka-Kaname has joined. 02:20:43 -!- Madoka-Kaname has left. 02:24:18 -!- MoALTz has quit (Read error: Connection timed out). 02:24:55 -!- nooga has joined. 02:25:52 -!- MoALTz has joined. 02:26:00 -!- chickenz has joined. 02:33:04 -!- nooga has quit (Ping timeout: 244 seconds). 02:41:33 -!- MoALTz_ has joined. 02:42:36 -!- MoALTz has quit (Read error: Connection timed out). 02:54:46 -!- azaq23 has quit (Quit: Leaving.). 03:19:26 -!- NihilistDandy has quit (Quit: Textual IRC Client: http://www.textualapp.com/). 03:22:08 What is your opinion of alternative list operations that use Peanoid/Copeanoid classes instead of numeric classes? 03:26:00 hm do you really need more than data Nat = Zero | Succ Nat for this? it seems to me like all others could easily be converted from/to that 03:27:24 Yes they could, but you still might want the functions to result in various types, including numeric types 03:27:32 toNat x = maybe Zero (Succ . toNat) . predP 03:28:30 fromNat Zero = zeroP; fromNat (Succ x) = succP (fromNat x) 03:28:33 oerjan: Yes that works. Mine was just polymorphic so that you can still have: length :: [x] -> Int and so on would still work. In addition to possibly other uses 03:29:27 Similar to genericLength and so on but with different classes 03:29:37 kallisti, rapdate if you didn't see it 03:30:27 Of course it can be written in different codes and you do not have to use if you do not like it; it is like, they sometimes have alternative Prelude and so on 03:31:16 i wonder if findIndex and friends should return something lazier 03:31:44 data MaybeIndex = Found | NotFound | Later MaybeIndex 03:32:35 Yes that would be lazier you are correct; they could have a lazyFindIndex function which returns that 03:35:39 It would be possible make alternate prelude compatible with standard prelude, using the default instances extension I have proposed, too. 03:41:53 Now I made up a fixAst function which corrects the problem that preprocessor-tools package will not parse 0x45 and things like that; I also added feature to parse 0b110001 and 0'A' as well. 03:42:26 (Where 0'A' is 65) 03:42:56 It will correctly check first whether or not the tokens are adjacent before combining them, so it won't reparse them if the tokens have space in between 03:46:26 However, it also fails at Template Haskell name quotations 03:46:50 Which is more difficult to fix. 04:29:54 -!- cswords has joined. 04:47:45 mornin 04:48:15 -!- pir^2 has quit (Quit: Interrobang?!). 04:48:53 i coded all night. i feel so dirty. 04:49:27 Then go shower 04:55:44 In what language? 04:58:51 in Clean, of course. 05:08:26 c# 05:08:33 that has nothing to do with feeling dirty 05:08:47 neither does the lack of shower 05:09:10 oklopol, I'm sure coding in PHP could make you feel dirty 05:09:31 php is horrible. c# is okay, just really annoying. 05:10:54 I know, PHP isn't very good. 05:11:51 Mostly due to some syntax not acceptable (such as f(0)[1] doesn't work) and the way implicit casts work doesn't entirely make sense, and a few other things 05:12:41 JavaScript is clearly better; if you can make library with many stuff of PHP then you can do 05:25:55 Do you know, how in Haskell, to find all files matching the wildcards specification? 05:45:07 -!- MDude has changed nick to MSleep. 05:48:36 -!- Banach-Tarski has joined. 05:49:17 -!- oerjan has quit (Quit: Good night). 05:55:37 zzo38: found a soulution? 05:58:17 wonder if there is an easier way then using filter on regex condition 05:59:16 *than 06:08:05 that already sounds pretty easy. 06:23:16 so the answer is no 06:23:30 there is none 06:47:20 -!- Frooxius has quit (Ping timeout: 245 seconds). 06:48:55 hagb4rd: I was watching television so I haven't checked yet 06:50:19 Do you know if a package exists for this purpose? 07:18:15 which purpose exactly 07:18:33 zzo38 there are several regex packages 07:18:53 Such as if you have wildcards and want to search list all files matching those wildcard 07:20:39 get list of files with getDirectoryContents 07:20:48 Yes I found that. 07:21:15 Still, the filespec might include a path; but that can probably be moved too using other functions 07:21:20 then use filteredList = filter(regexp files) 07:21:28 thats it 07:21:32 OK 07:22:02 But what about: in Windows, filenames are case insensitive, but in UNIX, is case sensitive! 07:22:28 learn more about regular expressions 07:22:40 [a-z]* 07:22:45 small caps 07:22:51 I know how regular expressions works 07:22:53 zzo38: Not (entirely) true. 07:23:07 zzo38: In Win32, filenames are case insensitive. 07:23:10 i do not see your problem 07:23:34 zzo38: With the NT API, or the POSIX subsystem, on Windows filenames are case sensitive. 07:23:41 hagb4rd: I just told you; it is that it must be matched differently in different operating systems 07:23:55 normally one uses * or ? as wildcard 07:24:03 so 07:24:19 pikhq: Doesn't it depend on the filesystem or something like that? I think I read somewhere that the NT internally uses different rules for different filesystems depending on the driver, or something else 07:24:33 Even though Win32 is always case insensitive 07:24:42 zzo38: Not *really*... 07:25:03 FAT with LFNs is actually case sensitive. 07:26:19 ok.. if you want to ignore cs just make them all lowerCase before using regex 07:26:24 for example 07:26:25 (and, indeed, UTF-16) 07:26:42 hagb4rd: That is no good; because then it won't work on UNIX 07:26:51 the question is 07:27:02 what do you want 07:27:28 To do different for Windows and UNIX 07:27:43 if you want to use ignore caps do so..if not.. 07:27:58 hagb4rd: But that's platform specific. 07:28:15 sure 07:28:20 so what`? 07:28:28 So, you have to handle them seperately. 07:28:42 The computer isn't psychic. 07:31:08 listen.. if we have these files on a unix system, for example.. myfile01, myfile02, myFile01 and myFile02 .. and you can search for my[f,F]ile* or myfile* 07:31:41 isnt that what you want to do? 07:31:41 And those match two different sets of files on a UNIX system, but precisely the same set on Windows. 07:32:07 i give up 07:32:33 Actually. Screw it, I blame zzo38. 07:32:34 :) 07:32:49 pikhq: For what? 07:32:57 I'm not sure. :) 07:33:35 Do you know, how in Haskell, to find all files matching the wildcards specification? <-- 07:34:18 so the wildcard will be the argument for your function right? 07:34:42 if so.. you can decide which wildcard to use dependig on the case 07:35:12 and of course the system 07:37:04 sorry, maybe i did not understand the use case of your code 07:41:10 im pretty sure i dont 07:41:12 :P 07:48:52 -!- hagb4rd has quit (Quit: Nettalk6 - www.ntalk.de). 07:51:03 -!- hagb4rd has joined. 07:58:24 -!- atehwa has quit (Remote host closed the connection). 08:12:36 -!- zzo38 has quit (Remote host closed the connection). 08:14:21 -!- Frooxius has joined. 08:19:24 -!- Frooxius has quit (Ping timeout: 248 seconds). 08:23:16 -!- Taneb has joined. 08:24:04 Hello! 08:29:23 -!- Frooxius has joined. 08:32:29 -!- Jafet1 has changed nick to Jafet. 08:45:40 -!- Frooxius has quit (Ping timeout: 240 seconds). 08:47:52 -!- Frooxius has joined. 08:58:52 -!- Frooxius has quit (Ping timeout: 255 seconds). 09:01:25 -!- monqy has quit (Quit: hello). 09:08:20 -!- nooga has joined. 09:17:14 -!- Frooxius has joined. 09:50:48 -!- Taneb has quit (Quit: Leaving). 10:00:21 -!- Frooxius has quit (Ping timeout: 248 seconds). 10:16:48 -!- Frooxius has joined. 10:32:33 -!- Phantom_Hoover has joined. 10:35:07 -!- pikhq_ has joined. 10:35:08 -!- pikhq has quit (Ping timeout: 244 seconds). 10:37:14 -!- MoALTz_ has quit (Read error: Connection timed out). 10:45:47 -!- Frooxius has quit (Ping timeout: 245 seconds). 10:51:38 -!- Taneb has joined. 11:04:04 -!- Frooxius has joined. 11:05:31 -!- sebbu2 has joined. 11:05:32 -!- sebbu2 has quit (Changing host). 11:05:32 -!- sebbu2 has joined. 11:08:37 -!- sebbu has quit (Ping timeout: 248 seconds). 11:11:35 -!- MoALTz has joined. 11:36:26 Just finished my implementation of Langton's Ant in Haskell 11:39:21 -!- cheater has joined. 11:41:36 -!- cheater has quit (Excess Flood). 11:43:25 -!- cheater has joined. 11:45:10 -!- mroman has quit (Ping timeout: 240 seconds). 11:48:12 -!- cheater has quit (Ping timeout: 272 seconds). 11:55:52 -!- sebbu3 has joined. 11:55:53 -!- sebbu3 has quit (Changing host). 11:55:53 -!- sebbu3 has joined. 11:56:01 -!- sebbu2 has quit (Ping timeout: 240 seconds). 11:57:45 -!- sebbu3 has changed nick to sebbu. 11:59:41 -!- cheater has joined. 11:59:46 -!- yorick has quit (Ping timeout: 252 seconds). 12:01:15 -!- yorick has joined. 12:16:18 -!- cheater has quit (Max SendQ exceeded). 12:16:58 -!- cheater has joined. 12:34:56 -!- cheater has quit (Excess Flood). 12:35:40 -!- cheater has joined. 12:43:44 -!- cheater has quit (Excess Flood). 12:44:05 -!- cheater has joined. 12:53:17 -!- mroman has joined. 12:53:31 -!- cheater has quit (Read error: Connection reset by peer). 12:57:33 -!- MSleep has changed nick to MDude. 13:41:43 -!- Madoka-Kaname has joined. 13:41:43 -!- Madoka-Kaname has quit (Changing host). 13:41:43 -!- Madoka-Kaname has joined. 13:42:09 -!- Madoka-Kaname has left. 13:50:21 -!- sebbu has quit (Ping timeout: 240 seconds). 13:51:05 -!- sebbu has joined. 13:51:05 -!- sebbu has quit (Changing host). 13:51:05 -!- sebbu has joined. 13:53:23 There's actually a new esolang! 13:53:33 It's a bf derivative, but that's better than spam 14:24:55 -!- jix_ has joined. 14:24:55 -!- jix_ has quit (Client Quit). 14:48:23 Taneb, WRONG 14:48:42 Spam is at least obviously worth removing. 14:49:09 BF derivatives are a cancer running throughout the fringes of the esolang community, and as the fringes vastly outweigh the core, we're screwed. 14:50:19 They're also a great way to get a rant out of a Phantom_Hoover. 15:44:15 do you guys know who Dale Earnhardt is? 15:44:50 brb 15:44:54 And no 15:47:28 I've heard the namel 15:47:41 Did it have something to do with... driving? 15:47:52 Or some sort of real-world activity. 15:49:01 -!- Taneb has quit (Ping timeout: 240 seconds). 15:52:21 I think Something Positive made a bad-taste joke about his death, or something. 15:52:42 -!- aloril has quit (Ping timeout: 248 seconds). 15:53:43 fizzie: yes, and maybe? 15:54:20 -!- aloril has joined. 15:54:50 -!- Taneb has joined. 15:55:02 Back 16:00:17 I learned from my mother today that we're distantly related to Dale Earnhardt. 16:00:24 I thought that was slightly hilarious. 16:05:07 Alas, the most famous person that there's rumours I'm related to is me. 16:05:22 :/ 16:05:36 `quote feudal 16:05:48 476) That offers me some social standing, feudal system wise 16:06:13 No, past me, it really doesn't 16:14:22 -!- Phantom_Hoover has quit (Remote host closed the connection). 16:30:56 -!- sebbu2 has joined. 16:30:56 -!- sebbu2 has quit (Changing host). 16:30:56 -!- sebbu2 has joined. 16:31:41 -!- sebbu has quit (Ping timeout: 240 seconds). 16:31:43 -!- sebbu2 has changed nick to sebbu. 16:32:40 -!- nooga has quit (Ping timeout: 240 seconds). 17:04:03 -!- MSleep has joined. 17:07:35 -!- MDude has quit (Ping timeout: 255 seconds). 17:08:05 http://lambda-the-ultimate.org/node/4444 17:08:10 this is an interesting thought 17:25:21 -!- sebbu has quit (Read error: Connection reset by peer). 17:26:26 -!- sebbu has joined. 17:26:26 -!- sebbu has quit (Changing host). 17:26:26 -!- sebbu has joined. 17:29:36 -!- zzo38 has joined. 17:51:55 -!- Frooxius_ has joined. 17:54:49 -!- Frooxius has quit (Ping timeout: 248 seconds). 17:54:53 -!- Frooxius_ has changed nick to Frooxius. 17:56:27 -!- Phantom_Hoover has joined. 18:02:49 -!- MSleep has changed nick to MDude. 18:23:51 -!- Nisstyre has quit (Read error: Connection reset by peer). 18:26:02 -!- Nisstyre has joined. 18:32:27 -!- monqy has joined. 18:48:11 -!- Banach-Tarski has changed nick to pir^2. 19:06:47 -!- azaq23 has joined. 19:06:59 -!- azaq23 has quit (Max SendQ exceeded). 19:07:19 -!- azaq23 has joined. 19:28:58 -!- pikhq has joined. 19:29:54 -!- pikhq_ has quit (Ping timeout: 272 seconds). 19:37:38 -!- ais523 has joined. 19:41:40 -!- Taneb has quit (Ping timeout: 240 seconds). 19:44:52 -!- ais523 has set topic: ".YAW .ELBISSOP .TSROW .EHT ni gnalose na tcurtsnoc ot gniliaf woN | cipot-no ylthgils woN | /ciretose_/sgol/gro.udoc//:ptth | tnemecalper susagep gnikees ,ytlayoL fo tnemelE fo reraeb sa dekcas ttoille">:#,_@. 19:44:55 stack starts full of zeroes 19:45:03 no need to put one there right at the start of the program 19:48:40 -!- Phantom__Hoover has joined. 19:54:57 -!- Gregor has set topic: DISPLAY 'elliott sacked as bearer of Element of Loyalty, seeking pegasus replacement | http://codu.org/logs/_esoteric/ | Now slightly on-topic | Now failing to construct an esolang in THE. WORST. POSSIBLE. WAY.' LINE 1 POSITION 1. STOP RUN.. 19:55:07 I was gettin' tired of backwards ^^ 20:02:18 -!- Taneb has joined. 20:02:56 -!- pir^2 has changed nick to Spinoof. 20:05:18 -!- oerjan has joined. 20:09:04 ais523: Personally I always put a zero in anyway. Code reuse and all that. You never know when your snippet is being run in a context where there's something interesting on the stack. (I guess for the topic one could make a concise-is-good argument, though.) 20:14:47 `addquote BF derivatives are a cancer running throughout the fringes of the esolang community, and as the fringes vastly outweigh the core, we're screwed. 20:14:51 808) BF derivatives are a cancer running throughout the fringes of the esolang community, and as the fringes vastly outweigh the core, we're screwed. 20:16:47 Alas, the most famous person that there's rumours I'm related to is me. <-- i vaguely recall i'm supposedly related to some norwegian actor or something, but i'm not entirely sure who it was. 20:17:47 * oerjan wonders if it was Toralv Maurstad, although you won't have heard of him anyhow. 20:18:10 That reminds me, it's time to start The Girl Who Played With Fire 20:18:17 Even though that's Swedish 20:18:31 it's a pretty far off relationship i think. 20:19:24 also there's supposedly some dutch aristocracy back in the centuries 20:19:51 I share a surname with a DJ's stage name... 20:20:38 you also share half a surname with Jean Claude van Damme 20:20:46 * oerjan cackles evilly 20:21:07 A mere tussenvoegsel 20:21:30 wat 20:21:36 http://en.wikipedia.org/wiki/Tussenvoegsel 20:21:58 noted 20:22:21 Not likely to come in handy 20:23:09 How to predict world events by the movement of planets: Step 1. Use computer to compute positions of planets. Step 2. Use a telescope to view those positions in the sky. Step 3. If it doesn't match, then you can predict the end of the world. 20:23:36 also, you have a personal incentive to use fonts with disastrous keming for your future publications 20:24:15 especially the ones with dangerous science in them. 20:24:16 oerjan, and get a doctorate 20:24:53 I mean, if what's the point of being Mister van Doom 20:26:38 zzo38: or maybe you just need to buy a new clock. 20:27:37 now if you see a dark disk of no stars where jupiter was supposed to be, you may start to worry. 20:27:55 especially if the surrounding stars look slightly off-position. 20:28:30 oerjan: Yes, there is the possibility that the clock is incorrect. But if that is the case you can still try different times and look for other clocks and so on. And yes, dark disk and that stuff is another thing you can worry 20:29:14 (note: it doesn't strictly need to be jupiter. jupiter's mass would be far too small for that anyhow.) 20:30:04 But still, there may be other things too that would tell you there is something wrong. 20:30:38 also, i'm totally waiting for that radioastronomy picture of a supermassive black hole which there are apparently at least two teams competing to be the first to produce. 20:30:39 I think you mean black holes? Yes I think Jupiter's mass is too small for that 20:31:01 Something I've wondered at least thrice: how does the JavaScript snippet !(typeof worldHasEnded == "undefined") detect whether the world has ended? I don't think that's in the standard, though I guess it could be a common browser extension. (hasthelargehadroncolliderdestroyedtheworldyet.com uses that.) 20:31:03 unless jupiter had already got frighfully close 20:31:48 Shouldn't worldHasEnded be a boolean? 20:32:34 It's not defined in the code. I think it's assuming it gets defined by the environment only when the world has ended, and it's testing for its existence. 20:32:42 fizzie: i believe it is guaranteed that expression won't return false if the world has ended. unless something else has set that variable, i guess. 20:33:17 actually even if so. 20:34:50 what if it's being run in space 20:34:58 or does space get to end too 20:35:24 i suppose that depends on the exact kind of world ending. 20:36:17 Now I wonder if there is currently any JavaScript running in space. 20:36:45 false vacuum collapse should be particularly reliable 20:37:35 "javascript satellite" is not returning any very promising hits. 20:37:54 What are the unpromising ones like? 20:38:15 there is at least one person blogging from the iss, i learned the other day 20:38:31 There's some satellite tracking code that you can run in a browser. 20:38:46 And then Google's satellite imagery related things. 20:39:21 And several "this site requires javascript" notes. 20:40:22 Can you track satellites by entering the orbital parameters into the fucticious objects file of Swiss Ephemeris? 20:40:52 Presumably. They're just going around there. 20:41:37 this is an interesting thought -> http://lambda-the-ultimate.org/node/4444 interactive compilation with some memory of what you said 20:41:40 And then you can plot artificial satellites on a horoscope too. 20:41:40 sort of 20:45:18 Gregor: what the heck is that esolang in the topic, i cannot find it on either esolang or codu 20:45:35 lol 20:45:36 COBOL 20:45:39 argh 20:45:48 Forth codes are generally compiled and executed as you type them in, while BASIC allows you to enter commands interactively as well as enter line numbers to enter instructions into the program which will be saved. 20:47:04 The new GHCi could also do that since they added feature to enter any top-level declaration at the prompt. 20:47:35 Gregor, no it's not. It's missing all sorts of important stuff, like IDENTIFICATION DIVISION. 20:47:44 well forth has : 20:48:24 Sgeo: It's just a code fragment, not a complete program. 20:48:28 -!- Spinoof has quit (Quit: --). 20:48:34 Gregor, make it a complete program! 20:48:35 oerjan: Yes, the command : enters compile mode defining a new word, although ] will also enter compile mode and there are various other things 20:49:05 Although COBOL is indentation sensitive IIRC. 20:49:09 Sgeo: Does a COBOL program require an IDENTIFICATION DIVISION or is that part optional and only the prorgram division is required? I don't know COBOL programming 20:49:23 -!- oerjan has set topic: /fnord/elliott sacked as bearer of Element of Loyalty, seeking pegasus replacement | http:\/\/codu.org\/logs\/_esoteric\/ | Now slightly on-topic | Now failing to construct an esolang in THE. WORST. POSSIBLE. WAY./fnord. 20:49:31 zzo38, IDENTIFICATION DIVISION is required I think 20:49:35 oh wait 20:49:46 I think only ENVIRONMENT DIVISION and ... something else are optional, but I'm not sure. 20:49:54 * Sgeo googles 20:49:58 -!- oerjan has set topic: /fnord/elliott sacked as bearer of Element of Loyalty, seeking pegasus replacement | http:\\\/\\\/codu.org\\\/logs\\\/_esoteric\\\/ | Now slightly on-topic | Now failing to construct an esolang in THE. WORST. POSSIBLE. WAY./fnord. 20:49:59 OK, I didn't know that 20:50:26 Environment and Data are optional, Identification and Procedure (I think it's called) are not. 21:00:22 Some math professor accidentally reply-all'd to an email from 2004 about an apparently-failed initiative to merge some of the major math-related libraries (incl. CS), and for some reason the CS graduate students' mailing list was on the CC. Now a bunch of people are replying, not realizing that the conversation is eight years out of date. 21:02:55 Oh, SDCC... "int foo; /* file-scope */ ... foo = bar();" => call _bar; ld b, h; ld c, l; ld iy, #_foo; ld 0(iy), c; ld iy, #_foo; ld 1(iy), b .. it's like some sort of "most pessimal assembly" competition. (It could be replaced by "ld (_foo), hl".) 21:03:40 (Well, except that wouldn't clobber bc.) 21:03:47 (And iy.) 21:03:50 -!- nooga has joined. 21:04:08 I'm making a webpage for me 21:04:20 Taneb: Remember to kern the name right. 21:12:13 kem eaλy, kem oAen 21:15:36 Just keep keming. 21:16:17 There's a relative lack of ligatures in Unicode. They dare to say it's not the job of the character set. 21:17:13 Of the latin alphabet, there's only "ij", "oe", "ff", "fi", "fl", "ffi", "ffl", "ft" and "st". 21:17:21 i recall a conversation once with someone who thought distinguishing upper and lower case letters was going too far 21:17:21 You could use something like METAFONT's ligature/kern programs 21:17:34 that there should just be some modifier for it 21:18:00 I think nearly everything in Unicode is going too gar 21:18:18 to boldly go too far 21:18:22 oerjan: I think some character sets do have just a modifier for uppercase/lowercase letters, although they are not commonly used 21:19:23 s/too gar/too far/ 21:20:32 oerjan: I'd describe that statement as just loſty, high-flown, perhaps even rarefied. 21:20:44 Gah. I mean statement, of course. 21:22:01 i'd describe those lines as having about half the ligatures invisible in putty 21:22:06 When I subscribed to 2600 I noticed they used ligatures in fixed-pitch text. They shouldn't do that. I don't know if they still do; I have not yet resubscribed. Someoneone should notify them not to use ligatures in fixed-pitch text 21:22:34 oerjan: Aw. Well, the surviving ligatures are just "compatibility characters", anyhow. 21:22:53 :( 21:23:21 Computer Modern typewriter style texts do not use ligatures, although the variable-pitch Computer Modern fonts do have ligatures and kerning. 21:41:44 Do you know if it is possible for a custom Haskell preprocessor to figure out which C preprocessor symbols exist? 21:51:44 -!- Frooxius_ has joined. 21:52:47 -!- Frooxius has quit (Ping timeout: 260 seconds). 21:52:56 -!- Frooxius_ has changed nick to Frooxius. 21:54:41 -!- Frooxius_ has joined. 21:57:28 -!- Frooxius has quit (Ping timeout: 252 seconds). 21:57:35 -!- augur has quit (Remote host closed the connection). 21:57:37 -!- Frooxius_ has changed nick to Frooxius. 22:10:08 briiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii 22:10:11 -!- pir^2 has joined. 22:10:15 http://esolangs.org/wiki/Special:Contributions/Lam%C2%ADent <-- WTF 22:10:44 -!- Frooxius has quit (Quit: ChatZilla 0.9.88-rdmsoft [XULRunner 1.9.0.17/2009122204]). 22:11:00 -!- Frooxius has joined. 22:11:06 what control/non-printable character is in there? 22:13:38 (Replacing page with 'cocks') 22:14:52 "Cocks" is not an ANSI control character. 22:15:33 -!- dalia has joined. 22:16:24 no 22:16:27 the username 22:16:28 i guess i just assumed it wad 22:16:29 *was 22:16:37 > [0xC2,0xAD] 22:16:38 [194,173] 22:16:47 ^chr 194 173 22:16:47 M 22:17:01 hm 22:17:08 special characters? 22:17:09 ^chr 194 22:17:09 22:17:15 ^chr 173 22:17:15 22:17:27 that 194 lools weird O_o 22:17:36 *looks 22:17:52 U+00AD SOFT HYPHEN (U+00AD) 22:18:01 makes sense 22:18:02 0xC2AD is the UTF-8 representation. 22:18:06 It's like a zero-width space. 22:18:16 Gregor: um surely the 194+173 is a single utf8 char 22:18:38 Someone with Android tried the Android gopher client and found a mistake in it. I tried to send message to them but it failed 22:19:19 oh right, 194 _is_ the first prefix 22:19:34 i just ate 22:19:37 (food) 22:19:41 ^chr 32 65 194 173 65 22:19:42 22:19:46 What food? 22:19:51 wtf is fungot doing there 22:19:51 oerjan: is it important whether a _constant_ is signed or unsigned btw? 22:19:53 macaroni and stuff 22:19:57 ^show chr 22:19:57 ,[>[->+10<]>[-<+>]<2-48[>+<-],]>. 22:20:15 oh right, it only handles a single char 22:20:29 Gregor: um surely the 194+173 is a single utf8 char // yes, 0xC2AD is the UTF-8 representation of U+00AD. 22:21:30 ­ looks like a zero-width space except at the end of a line 22:22:05 Ohhh, clever. 22:22:09 (But stupid) 22:22:11 * oklopol is watching moomins 22:22:21 i feel so finnish. 22:23:05 -!- dalia has left. 22:23:46 *snoring* "i hear snoring. i shall whistle." *whistle* "the snoring has stopped." 22:30:38 (imagine this articulated excruciatingly precisely) 22:32:10 the moomins animations are made in japan, aren't they. 22:32:16 yes 22:32:33 there are three japanese episodes that were apparently too scary for finland 22:32:39 XD 22:33:47 (i found the finnish ones scarier than jaws when i was 6 or something) 22:34:36 well not all of them are scary ofc 22:35:13 there are also finnish moomin comics but those are mainly about the moomins drinking and having horrible hangovers 22:35:24 wat 22:35:36 i'm serious 22:36:15 "how can one be thirsty after drinking all night!" -- moominpappa 22:36:23 NANANANANANANANA I CAN'T HEAR YOU 22:36:43 Oh god I remember the moomins 22:36:48 Barely... 22:37:44 I was more of an El Nombre fan 22:37:48 oerjan: did you know that tove jansson originally just wanted to invent the scariest creature ever 22:37:55 and that became the moomin 22:38:03 epic failure, that. 22:38:06 yes. 22:41:28 episode numbeer on: moomin turns into a horrible red creature and no one recognizes him. 22:41:36 *number one 22:42:00 "dad?" "i am not your father." 22:42:11 Then wear a sign so that you can be recognized? 22:42:51 horrible organ music starts playing, moonin starts crying and beating the mirror with his fists 22:43:37 Then they need to hire better organ music musicians 22:43:50 oh not that kind of horrible . 22:43:52 *. 22:44:08 the music is awesome. 22:44:31 OK 22:46:41 tonight, and 18yo girls wanted me to explain cantor diagonalization to her. 22:46:43 *girl 22:47:14 she didn't believe there can be multiple infinities. 22:48:13 That happen to me too, a few people have not believe there can be multiple infinities, so I showed them how 22:48:31 and i was like so i study these zero-dimensional space and she was like omg that's so cool. 22:48:56 well sure but were they hot 22:51:23 although she was more interested in 2^N and N^N having the same cardinality. 22:53:40 Cantor gets all the chicks 22:53:51 i couldn't come up with a nice concrete bijection, so i did this in a roundabout way, anyone have one in mind? 22:58:45 hm i have one from N^N to [0,1), i think. 22:58:57 me too 22:59:16 oh err no i have one between N^N and 2^N except all zeroes 22:59:25 wait. actually it's the same as yours 22:59:27 sorry. 22:59:43 i guess things like 1^n0 will always give you something like that 23:00:01 just .1^a_0 0 1^a_1 0 1^a_2 ... 23:00:06 *just .1^{a_0} 0 1^{a_1} 0 1^{a_2} ... 23:00:16 yeah 23:00:23 it cannot give something ending in infinite 1's 23:00:26 by 1^n0 i meant the code 23:00:36 where you have stuff. 23:00:45 i mean n to 1^n0 23:00:50 but i guess codes cannot give you this 23:00:57 wat 23:01:10 i didn't bother to make sense 23:01:11 by 1^a i mean a 1 digits 23:01:14 yeah 23:01:23 i mean 23:01:35 codes cannot give you the bijection i was asking 23:01:39 but maybe they can 23:01:48 i just have this weird feeling that compactness makes that hard 23:01:55 i have no idea what you mean by "codes", here. 23:02:06 hmm, perhaps because that would be a continuous bijection from N^N to 2^N 23:02:07 oh. 23:02:23 i mean n is replaced by 1^n0 in its place and you concatenate into sequence 23:02:53 codes mean that you have a language and you stick its words together to form longer words and you can always decode. 23:07:38 from 2^N to [0,1), you just use binary except that you need to somehow distinguish ...011111111... form ...10000000... 23:08:04 *from 23:08:32 which you could do by handling that slightly differently, say by prepending 0 to the whole number in one case and 1 in the other 23:08:47 (after the point) 23:08:51 yeah 23:09:24 that should do it 23:09:27 hm or wait 23:09:36 oh? 23:09:55 that might _still_ not distinguish .0111111... from .100000... when it's at the very start 23:10:23 or hm 23:10:50 yeah dunno, in any case once i realized codes prolly won't work i gave up. 23:11:09 it's all a matter of fixing up a countable subset, anyhow. 23:11:28 food -> 23:11:31 can you have a continuous bijection from N^N to 2^N? 23:11:43 a code would in fact be a homeomorphism so that won't work 23:12:25 or at least a prefix code would. dunno about crazy scientist codes. 23:12:45 why wouldn't there be a homeomorphism, hm 23:12:51 oh 23:12:56 N^N isn't compact 23:13:04 no N^N is the baire space 23:13:08 it's very different from 2^N 23:13:33 er it's product topology of discrete N's, no? 23:13:45 yes 23:14:15 it's a baire space called the baire space 23:14:16 very well i dunno 23:14:16 -!- pikhq_ has joined. 23:14:27 -!- pikhq has quit (Ping timeout: 260 seconds). 23:20:22 O no the version of Haskell that I have does not include the dropWhileEnd function 23:20:37 Therefore I can include it directly in my program instead 23:21:43 i asked #math about the continuous bijection 23:22:14 they asked me what the topology of N^N was. "the usual one" was apparently meaningless. 23:23:30 Why aren't you allowed to hide things that a module does not export? That is one of my suggestion for a Haskell extension, which allows you to specify "hiding" on imports with things that are not exported by that module if you specify -XHidingNonexistent 23:24:14 -!- calamari has joined. 23:25:35 "a blue card with an urza's block symbol? screw this Im not bothering to read it. its 5 stars, its broken, theres a zillion combos and it makes kids cry, right? im getting one. :)" 23:25:45 ^^some comment on Donate 23:26:26 Donate? I know that card. 23:26:45 'Tis a classic. 23:26:46 it's reasonably infamous 23:26:47 What's so infamous about Urza? 23:27:01 Illusions of Grandeur is the /most/ infamous combo with it 23:27:02 So, yes probably you can make many combos with it; at least, just from what I know about the text on the card itself; I read nothing else about it. 23:27:03 Sgeo: Utterly broken. 23:27:05 I can't remember which was banned 23:27:28 Sgeo: This is the set that gave us a land that gave you one mana for each artifact you control. 23:27:30 ais523: O, yes; I have not thought of that. 23:27:47 (or creature or enchantment... It was a set of 3) 23:28:06 But there were some artifacts costing 0 23:28:31 There was a Friday Night Magic thing at my school ... on Friday 23:28:53 Sgeo: What formats did they play? 23:28:54 We did a draft, I chose blue-green cards and someone helped me pare it down, he said to go monogreen so I did 23:28:59 zzo38: It got upgraded from "broken" to "BROKEN" by Mirrodin, I'm sure. 23:29:11 pikhq_: Mirrodin was broken enough by itself 23:29:21 Um, best two of 3 against .. persons 23:29:33 I tended to play slowly, and time was at a premium :/ 23:29:34 Yup. Makes sense that it made the previous utterly broken set even worse. :) 23:29:46 Arcbound Ravager is a card that, where it's legal, people either play, or dedicate half their deck to beating 23:29:49 I always prefer Limited format 23:29:58 And, in Limited format, nothing is banned. 23:30:13 Fucking Arcbound Ravager. 23:30:21 (Except for cards you bring in which aren't the ones you drafted) 23:30:38 hmm, I actually managed to pull off Coalition Victory wins twice in a Limited tournament 23:30:39 And Isochron Scepter. 23:30:43 The fuck where they *thinking* 23:30:49 the first time was hilarious, five monocoloured creatures, five different basic lands 23:31:02 there were general wtfs from around the table 23:31:17 * Sgeo is not quite following this conversation anymore 23:31:31 Oh, yeah, I saw Coalition Victory 23:31:33 Sgeo: you started it! 23:31:45 Sgeo: magiccards.info will help 23:31:47 ais523, yes, but I'm not all that familiar with every single card 23:31:47 Sgeo: it's very much a Constructed card, people don't expect it in Limited 23:31:53 Sgeo: you can look them up 23:32:01 Gatherer is the main resource, I think 23:32:09 gatherer.wizards.com IIRC 23:32:17 it's the "official" one 23:32:20 The one's we're talking about are ones that most people who've been playing for a while will be aware of. 23:32:45 Ah 23:33:02 Probably most the problem is that Constructed tournaments are played with those cards, rather than the cards themselves; combos are more difficult to make in Limited so they require both more skill and more luck in order to make any combo at all 23:33:07 yep, when talking about the most broken cards of all time, most people will have heard of them 23:33:12 (Necropotence, anyone?) 23:33:32 That SOB. 23:33:35 I know the card Necropotence. 23:34:02 What's good about Necropotence? 23:34:12 Sgeo: pay life, get cards 23:34:16 I mean, maybe against a milling deck, but... hmm 23:34:28 It's *insanely* good card draw. 23:34:40 Of course is too bad if you use it too much; you will run out of cards or life or both 23:34:45 it's one of only eight cards that's restricted in Vintage 23:34:55 and five of them form a cycle 23:35:07 zzo38: pay 19 life, draw 19 cards, if you have a combo deck you've probably won 23:35:07 Do you mean, Mox Ruby, Mox Emerald, etc? 23:35:11 Power Eight? 23:35:11 zzo38: yes 23:35:14 Sgeo: yes 23:35:21 And seven of them cost several hundred each. 23:35:30 pikhq_: which one doesn't? 23:35:32 ...what's the eight cost? 23:35:47 ais523: Necropotence. It was printed recently. 23:35:57 ah, OK 23:35:57 (From The Vault: Exiled) 23:36:04 Wait, wikipedia says Power Nine 23:36:09 oh, another one's been banned? 23:36:12 ais523: Yes, that is a good point; still, you might lose especially depending on turn number and opponent's cards 23:36:18 so, what are the three not yet mentioned? 23:36:20 * ais523 tries to remember 23:36:20 Also, it's more than 8 cards restricted in Vintage... 23:36:37 pikhq_: are you confusing it with Legacy? or am I? 23:36:45 You are. 23:36:56 The entire Power 9 is banned in Legacy. 23:37:05 ah, OK 23:37:20 Legacy doesn't have a restricted list. 23:37:24 and restricted in Vintage, right? 23:37:29 so I did get it right, I think 23:37:34 I don't like Constructed anyways, and in Limited nothing is restricted/banned, with the exception of ante and physical dexterity cards. 23:37:34 However, I want to play Limited+Ante. 23:37:34 Where the cards you drafted are put for ante 23:38:17 Also, 43 Vintage restricted cards. 23:38:28 I think, Alpha cards are also banned in all formats (including Vintage) unless you have card sleeves. 23:38:28 NERRRRRRRRRRRRRRRRRRRRRDS 23:38:37 zzo38: Yes, due to being marked. 23:38:51 I stopped playing because I didn't like /Lorwyn/, but I played it quite a bit before then 23:39:18 * Sgeo notes Mox Lotus (yes, I know it can't be played in most formats) 23:39:33 Are there any somewhat easy ways to get the 15 mana? 23:39:54 Sgeo: if you badly need 15 mana, you can probably get it, but you're going to need to devote your deck to it 23:40:21 Sgeo: Play green. :) 23:40:32 ais523: Mox Lotus provides infinite mana, so... :) 23:41:05 (literally; it taps for {infinity}) 23:41:13 oh right 23:41:20 that's the un-set mana-producer, isn't it? 23:41:23 I dislike many of the rules of the game; so, make up a new game with similar but different rules, different cards, and no Constructed formats. 23:41:24 Yup. 23:41:53 zzo38: A friend and I have been hashing out ideas for a Magic-alike for quite a while now. 23:42:28 I know I had a really good /Time Spiral/ block combo deck that could beat many of the other good decks around then 23:42:33 and quite possibly newer good decks too 23:42:39 pikhq_: I have too; I will tell my ideas. We can make up stuff in this channel and so on. 23:42:44 it was meant for Standard, but nearly all the cards came from the same block 23:42:57 zzo38: Among other things: all spells have power/toughness. 23:43:04 One doesn't counter spells, one deals damage to them. 23:43:10 pikhq_: sounds vaguely like the Normish card game 23:43:10 -!- Slereah has joined. 23:43:13 Because, frankly, counterspell is utterly ridiculous. 23:43:13 that never really got started 23:43:30 -!- audy- has joined. 23:43:43 pikhq_: That wasn't my idea, but you can do that. I had different ideas (where there still is counterspells). 23:44:23 Template for Lightning Bolt now reads: "Lighting Bolt. {R}. Sorcery. Flash. Lightning Bolt strikes target creature or player. 3/1" 23:44:53 * No Constructed formats. * No state-based effect telling you that a aura which is also a creature is discarded. * No rule that Lands are not played as other card types (it is unnecessary; they can't be played as other types without a mana cost). 23:45:00 -!- yiyus_ has joined. 23:45:18 pikhq_: Another of my ideas was that instead of damage to "target creature or player" it targets "target permanent or player". 23:45:19 zzo38: what if they get a mana cost from somewhere? 23:45:38 ais523: Then they can be played as other types. It is a different game! 23:45:39 -!- MDude has quit (Read error: Connection reset by peer). 23:45:39 -!- audy has quit (Ping timeout: 255 seconds). 23:45:39 -!- Slereah_ has quit (Ping timeout: 255 seconds). 23:45:40 -!- yiyus has quit (Ping timeout: 255 seconds). 23:45:42 -!- MDude has joined. 23:45:50 zzo38: I don't much like that as the typical burn spell. 23:46:02 But certainly "Strike target permanent." is neat. 23:46:26 pikhq_: but then you could use lightning bolt to blow up auras 23:46:29 that's a pretty non-red thing to do 23:46:31 pikhq_: But, also in my suggestions, even though it says "target permanent or player", most permanents are unaffected by damage. 23:46:40 ais523: There's a reason I say "not as the typical burn spell" 23:46:54 Right, my webpage is now complete up to MIBBLLII 23:47:04 I just need to add Luigi and Brook 23:47:12 I'm not sure if I can think of an effect that hits all of creatures, players, and auras anywhere in Magic 23:47:25 or, indeed, just both players and auras 23:47:27 {B}{B}{B} Sorcery. Strike target permanent. 1/1 23:47:46 Anyone here play Sopio? 23:47:47 strike? 23:47:51 pikhq_: would lands have 1 toughness? 23:47:57 basic lands, anyway? 23:48:01 pikhq_: Your ideas sem good but is different game than mine 23:48:21 Sgeo: I invented that as a scheme for saying "This deals damage equal to its power" 23:48:42 ais523: Mmmm, I'd be inclined to give basic lands higher toughness, and more powerful lands lower toughness. 23:48:47 * Mana burn included. * Use TeXnicard, and possibly other program make open source rule enforcement programs. * Drawing a card when you are unable is an immediate loss, not a state-based effect. * Zones are now named as follows: hand zone, draw zone, discard zone, stack zone, in-play zone, exile zone. 23:48:55 pikhq_, oh, you're talking about your own game? 23:49:42 ais523: It feels like the difficulty of getting rid of a mana source should be inversely proportional to how good it is. 23:49:46 interesting 23:49:50 http://www.vandoorn.talktalk.net/esoteric/ 23:49:55 Sgeo: Yeah. 23:50:47 Perhaps give basic lands 2 or 3 toughness. And 0 power, of course. 23:52:24 * Subtypes no longer depend on types (and there is no Tribal type). * Planeswalker are different, now count as players and permanents like my Playercard idea (also change the name to not confuse with "Plainswalk"). * Attack/block/combat damage is assigned and you can do stuff in between, but nonexistent sources never deal damage (even non-combat damage). 23:53:09 zzo38: "Plainswalk" is very rarely used just because it sounds too much like "planeswalker" 23:53:43 Clearly WotC should print Nicol Bolas, Plains. 23:53:59 And a card with "Nicol Bolas, Plainswalk" 23:54:51 -!- nooga has quit (Ping timeout: 245 seconds). 23:55:26 * Conceding subgames is not allowed; only the main game can be conceded (although you are still allowed to do so during a subgame). * Every object has an initial state or a lack of it. * No state-based effect causing tokens out of play ceasing to exist (it becomes unnecessary; read ahead). 23:55:30 "(Although it was originally a joke, the mechanic was recycled completely seriously in the Time Travel-heavy Time Spiral block, albeit not for creatures.)" 23:55:34 That sounds interesting 23:56:21 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 23:56:53 * Objects moving between zones cease to exist (except for stack->play, play->phaseout, phaseout->play); a new object is created in the destination zone from the initial state of the old object. If it had none, nothing is created. * Copies of spells on the stack are also tokens. 23:57:37 There isn't a phased-out zone anymore. 23:58:03 And objects moving between zones do effectively cease to exist, and you create a new object with the same state. 23:58:34 (with a few exceptions for particular, very odd things that only happen when you're playing with cards from Alpha) 23:59:14 I know that, but I am doing a entirely different game, with entirely different cards and so on. So, it does use some old rules. 23:59:20 And some new rules. But not all. 23:59:50 Also, you realise that the current phasing rules are the first ones that have been simple enough to fit as reminder text, right? :)