00:16:45 -!- J_Arcane_ has joined. 00:18:01 -!- J_Arcane has quit (Ping timeout: 246 seconds). 00:18:01 -!- olsner has quit (Ping timeout: 246 seconds). 00:18:09 -!- J_Arcane_ has changed nick to J_Arcane. 00:19:11 -!- olsner has joined. 00:27:05 -!- olsner has quit (Ping timeout: 246 seconds). 00:27:13 -!- olsner has joined. 00:38:10 -!- olsner has quit (Ping timeout: 246 seconds). 00:38:44 -!- olsner has joined. 00:45:02 -!- mihow has quit (Quit: mihow). 00:48:09 -!- boily has joined. 00:55:42 -!- augur has joined. 01:03:52 -!- olsner has quit (Ping timeout: 246 seconds). 01:05:18 -!- olsner has joined. 01:23:43 -!- ^v has quit (Ping timeout: 240 seconds). 01:31:09 -!- ^v has joined. 01:41:08 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:41:17 -!- oerjan has quit (Quit: Nite). 01:42:18 -!- skarn has quit (Ping timeout: 240 seconds). 01:45:03 -!- skarn has joined. 01:45:18 -!- skarn has changed nick to Guest49104. 02:00:30 -!- TodPunk has quit (Ping timeout: 245 seconds). 02:25:26 -!- boily has quit (Quit: WEEKLY CHICKEN). 02:38:42 -!- TodPunk has joined. 02:50:42 -!- Lorenzo64 has quit (Ping timeout: 240 seconds). 03:38:26 -!- wagner_ has joined. 03:48:42 -!- Bike_ has joined. 03:49:12 -!- Bike has quit (Quit: leaving). 03:49:29 -!- Bike_ has changed nick to Bike. 03:57:40 -!- ^v has quit (Read error: Connection reset by peer). 03:58:30 -!- ^v has joined. 04:11:01 -!- nisstyre has quit (Ping timeout: 240 seconds). 04:12:57 -!- Sgeo has joined. 04:14:48 -!- nisstyre has joined. 04:15:08 -!- Sgeo_ has quit (Ping timeout: 264 seconds). 05:14:57 -!- wagner_ has quit (Quit: Page closed). 06:08:04 -!- TieSoul has joined. 06:13:38 -!- Sgeo_ has joined. 06:16:43 -!- Sgeo has quit (Ping timeout: 240 seconds). 06:25:58 -!- TieSoul has quit (Ping timeout: 255 seconds). 07:16:28 -!- Bike has quit (Ping timeout: 260 seconds). 07:57:33 -!- J_Arcane has quit (Quit: (set-jarcane-connect! J_Arcane #f)). 08:33:22 -!- AnotherTest has joined. 09:12:48 -!- vifino has joined. 09:26:04 -!- Patashu has joined. 09:37:32 Morning 09:56:49 -!- vifino has quit (Quit: Ze Cat now leaves...). 09:58:30 Nooning. 09:59:13 Shush, you 10:02:20 -!- Lorenzo64 has joined. 10:33:40 -!- MindlessDrone has joined. 10:37:25 -!- oerjan has joined. 11:05:30 -!- yorick has joined. 11:08:35 -!- ais523 has joined. 11:12:41 -!- boily has joined. 11:18:19 -!- AnotherTest has quit (Ping timeout: 240 seconds). 11:50:07 -!- Phantom_Hoover has joined. 12:03:01 -!- ais523 has quit. 12:10:00 -!- boily has quit (Quit: UNALIGNED CHICKEN). 12:56:20 -!- ChanServ has set channel mode: +o oerjan. 12:56:57 -!- oerjan has set channel mode: -b *!*mauris@*$##fixyourconnection. 12:57:20 -!- mauris has joined. 12:57:28 -!- oerjan has set channel mode: -o oerjan. 13:07:17 -!- Sgeo_ has quit (Read error: Connection reset by peer). 13:09:05 -!- AnotherTest has joined. 13:10:42 -!- J_Arcane has joined. 13:50:06 -!- Patashu has quit (Ping timeout: 260 seconds). 13:53:59 -!- oerjan has quit (Quit: leaving). 14:26:58 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 14:36:26 -!- Guest49104 has quit (Changing host). 14:36:26 -!- Guest49104 has joined. 14:36:34 -!- Guest49104 has changed nick to skarn. 15:01:45 -!- TieSoul has joined. 15:17:31 -!- hubs has quit (Ping timeout: 240 seconds). 15:28:32 -!- Phantom_Hoover has joined. 15:28:32 -!- Phantom_Hoover has quit (Changing host). 15:28:32 -!- Phantom_Hoover has joined. 15:52:42 -!- mihow has joined. 16:06:17 [wiki] [[Two]] http://esolangs.org/w/index.php?diff=40308&oldid=39517 * Tailcalled * (+5) 16:07:45 i'm not convinced that Two solves the halting problem 16:15:53 I don't think it does 16:16:23 quintopia: It does for standard turing-complete languages: Write an interpreter for a universal machine that takes a maximum number of simulation steps as its argument; make it loop forever if the number of steps is exhausted. Use I to guess the necessary number of iterations until the program terminates. 16:16:33 Of course it does not solve the Halting problem for itself. 16:16:53 ohh 16:16:54 I see 16:17:30 int-e: ah. 16:17:41 also I is not well-defined; consider +>>I[-[>]<<[]>-] (which halts if I produces an even number, and loops forever otherwise) 16:17:54 (at least that's my intention, I have not tested the code) 16:19:36 how would that discern between even and not even? 16:20:14 TieSoul: it's basically [--] with a test for zero in the middle. 16:20:28 hrm 16:20:55 alright 16:21:03 It loops basically forever regardless though 16:21:39 since | represents infinity 16:22:14 it's a capital I 16:23:05 oh 16:23:11 that makes sense I guess 16:23:31 oh, I guess the specification doesn't really say anything about the values of the cells. I assumed natural numbers, but indeed you can add an infinity. 16:23:49 (which is not modified by + nor -) 16:24:47 but it's crucial that I does not simply use that value unless all smaller values violate its specification 16:26:08 and worse, the infinity itself has to be excluded from its considerations. I[-] is supposed to terminate, but if I sets the cell to infinity, it would run forever. 16:26:11 tricky. 16:28:14 Ok, I also got the halting problem reduction slightly wrong (it reduces the halting problem to another one); instead of looping forever when the number of iterations is exhausted, it should print "No", while upon successful termination, it should print "Yes". 16:30:30 Oh, there's an example I[->.<] which clarifies the behaviour of I. 17:14:47 -!- MoALTz has joined. 17:18:47 It does not mention how the halting problem is solved. 17:22:42 -!- TieSoul has quit (Remote host closed the connection). 17:29:04 -!- yorick has quit (Quit: .). 17:56:10 -!- MindlessDrone has quit (Quit: MindlessDrone). 17:56:19 -!- pikhq has quit (Ping timeout: 240 seconds). 17:57:40 -!- MoALTz_ has joined. 18:00:39 -!- MoALTz has quit (Ping timeout: 272 seconds). 18:14:52 Is it correct that I[->.<] is improper but that I[-.] is OK? 18:15:55 they are both proper 18:16:57 It says that I is an infinite loop if it is improper; does this mean the I instruction itself or the data is made infinite? 18:17:24 it doens't say "improper" 18:17:32 I know it doesn't say "improper" 18:17:32 there is nothing improper 18:18:27 Surely a program such as ]]I]]]]-[ would be improper, isn't it? 18:18:49 peharps. the specification does not say 18:19:37 peharps! 18:19:48 * quintopia throws peas at harps 18:24:36 -!- J_Arcane has quit (Quit: (set-jarcane-connect! J_Arcane #f)). 18:31:03 They mentione above that it is not well defined +>>I[-[>]<<[]>-] see? 18:31:40 Although then they say it is infinite 18:33:11 Since sometimes it is impossible to do what it says it is supposed to do 18:34:13 -!- mauris has quit (Read error: Connection reset by peer). 18:34:41 -!- mauris has joined. 18:36:26 -!- mauris has quit (Read error: Connection reset by peer). 18:36:36 Do you have any better ideas for defining a programming language to define effect of cards in Magic: the Gathering and Pokemon card and so on, other than solely what I have written in the past few days? Perhaps, something based on those but better or more defined? 18:36:52 -!- mauris has joined. 18:39:07 -!- mauris has quit (Read error: Connection reset by peer). 18:39:20 -!- subleq has quit (Ping timeout: 245 seconds). 18:39:33 -!- mauris has joined. 18:45:18 zzo38: I'd agree that I[-.] should terminate, because of . being a nop for non-unicode code points. 18:46:11 int-e: Yes, that is what I would see, too. (Even if extended to a longer range, as long as it is still a limited range of codepoints it is still OK) 18:46:23 guess it would print all of unicode in reverse order 18:46:32 mauris: right 18:46:56 I[--.] wouldn't be well defined though! 18:47:24 I think you are correct 18:47:29 funny. 18:48:53 mauris: as the comment below the table says, in that case I would loop forever; the result would be a program that loops forever without output. 18:51:11 It seems that it ought to simply be an error instead; where an error is considered as not halting. 18:55:45 that would raise the question whether errors are distinguishable from nontermination 18:59:08 The answer must be whichever way does not cause a paradox. (I am not sure that a paradox can be caused anyways, but possibly it can be considered??) 18:59:59 -!- subleq has joined. 19:00:10 i agree that I[-.] should do nothing and never halt 19:00:38 since if I+ is the same as I++ is the same as I+++, then so also should I be the same as I- and I-- 19:00:51 No, I don't think that is what it means. 19:01:35 Well, I suppose what you say is true but that's because the "I" command then uses different values to compensate for such thing. 19:01:53 It doesn't seem to imply, to me, that I[-.] should then never halt. 19:02:13 -!- mauris has quit (Read error: Connection reset by peer). 19:02:38 -!- mauris has joined. 19:03:02 rereading, the print all code points and halt also makes sense 19:04:00 however, I[--.] as a program that loops forever without output also makes sense in the hyperreals 19:06:13 -!- mauris has quit (Read error: Connection reset by peer). 19:06:40 -!- mauris has joined. 19:09:13 -!- impomatic has joined. 19:10:47 The codu logs seem to be down... 19:14:03 It seems to me there ought to be an online IPA phonics to speech synthesiser, but I can't find one :-( 19:18:32 If you cannot find such a program, maybe you can write one? Do you know how to write one? 19:20:34 Loquendo had one (I don't recall if they had a demo), but their website seems to have been discombobulated now that Nuance bought them. 19:21:50 You can feed raw SSMP into http://www2.research.att.com/~ttsweb/tts/demo.php but I doubt their voices cover all of IPA. 19:22:36 Er, SSML. I don't know where I got the P from. 19:22:40 Probably from SMTP. 19:23:07 How to sort a partial ordering in a C program? 19:23:44 -!- mauris has quit (Read error: Connection reset by peer). 19:24:12 -!- mauris has joined. 19:26:48 dummy sounds like a cat, but doesn't work, so you're limited to what you can find in English SAMPA. 19:28:03 So you cannot get X-SAMPA then either, I suppose. 19:28:03 Huh, actually alphabet="ipa" does something too, if you hex-entity-encode the IPA stuff. 19:28:44 And now I got plain ... out too, so I guess I just typoed something. 19:28:54 Anyway, I doubt you can stick any IPA in there and expect it to work. 19:29:06 -!- mauris has quit (Read error: Connection reset by peer). 19:29:32 -!- mauris has joined. 19:30:20 Yeah, at least ɸ doesn't come out at all. 19:31:06 -!- mauris has quit (Read error: Connection reset by peer). 19:31:33 -!- mauris has joined. 19:35:34 Someone's made a bookmarklet -- http://johntantalo.com/blog/ipa-tts-bookmarklet/ -- around the AT&T demo, that's about all freely available I can find. 19:37:38 Fun fact: we've got a visitor from University of Edinburgh's speech synthesis group (home of Festival) at our lab/group/organizational-unit this month. 19:38:06 -!- mauris has quit (Read error: Connection reset by peer). 19:38:38 -!- mauris has joined. 19:40:15 Did you know, that in Hero Hearts, a fire extinguisher not only extinguishes fire, but it also extinguishes lava, too? 19:41:15 Not much luck trying to feed "kʀiːk deːɐ̯ kɛʁnə" into TTS! 19:41:24 Is that a card game which is a variation of Hearts? 19:41:41 No 19:41:48 It is a computer game 19:44:06 -!- mauris has quit (Read error: Connection reset by peer). 19:44:33 -!- mauris has joined. 19:47:06 -!- mauris has quit (Read error: Connection reset by peer). 19:47:34 -!- mauris has joined. 19:47:47 impomatic: i could pronounce it for you! 19:49:12 fizzie: no luck with the bookmarklet in Chrome. It's not even working on his examples. 19:50:00 They may have changed the interface. 19:50:38 what about http://forvo.com/word/krieg/#de http://forvo.com/word/der/#de http://forvo.com/word/kerne/#de 19:50:41 mauris: thanks, if you shout it really, really loud that should do the trick. 19:51:34 Oh, it's actual language and not just some made-up thing? 19:51:51 You can just write "krieg der kerne" in Google Translate and ask it to play it back. 19:52:19 oh yeah that of course 19:57:35 I've said this before, but having GT speak English words with their Finnish voice is p. amusing. It's a very close approximation of the stereotypical bad English Finns are supposed to speak. 19:57:39 Comes with having a more or less phonemic orthography, I'm sure. 19:57:41 Probably most of the joke is lost on non-Finnish people. 19:58:30 I get it 19:59:23 You're missing the context of jokes about "tankero-englanti". 19:59:33 http://en.wikipedia.org/wiki/Tankero ooh, notable 20:00:47 Thanks, google translate sounds close to the forvo pronunciation. I'm still surprised there isn't an IPA to speech tool online though. 20:01:04 You should make one to rectify this. 20:01:23 You could call it "the IPAmatic". 20:30:05 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 20:36:11 -!- yorick has joined. 20:36:55 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 20:47:20 -!- realzies has quit (Read error: Connection reset by peer). 20:48:41 -!- qwebirc78998 has joined. 20:50:57 -!- Guest2171 has joined. 20:57:13 -!- ^v has quit (Ping timeout: 240 seconds). 21:01:20 -!- yorick has quit (Ping timeout: 264 seconds). 21:01:21 -!- pikhq has joined. 21:07:26 -!- qwebirc78998 has changed nick to ranjbari. 21:15:03 -!- ranjbari has quit (Quit: Page closed). 21:23:54 -!- yorick has joined. 21:52:51 -!- Patashu has joined. 21:59:29 -!- Phantom_Hoover has joined. 22:07:26 -!- oerjan has joined. 22:27:17 -!- Patashu has quit (Ping timeout: 255 seconds). 23:22:20 -!- Sgeo has joined. 23:22:48 -!- mihow has quit (Quit: mihow). 23:22:51 -!- Bike has joined. 23:37:38 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 23:47:36 -!- boily has joined. 23:59:40 -!- Bike has quit (Ping timeout: 245 seconds).