←2014-08-19 2014-08-20 2014-08-21→ ↑2014 ↑all
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 <Taneb> Morning
09:56:49 -!- vifino has quit (Quit: Ze Cat now leaves...).
09:58:30 <fizzie> Nooning.
09:59:13 <Taneb> 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 <HackEgo> [wiki] [[Two]] http://esolangs.org/w/index.php?diff=40308&oldid=39517 * Tailcalled * (+5)
16:07:45 <quintopia> i'm not convinced that Two solves the halting problem
16:15:53 <TieSoul> I don't think it does
16:16:23 <int-e> 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 <int-e> Of course it does not solve the Halting problem for itself.
16:16:53 <TieSoul> ohh
16:16:54 <TieSoul> I see
16:17:30 <quintopia> int-e: ah.
16:17:41 <int-e> also I is not well-defined; consider +>>I[-[>]<<[]>-] (which halts if I produces an even number, and loops forever otherwise)
16:17:54 <int-e> (at least that's my intention, I have not tested the code)
16:19:36 <TieSoul> how would that discern between even and not even?
16:20:14 <int-e> TieSoul: it's basically [--] with a test for zero in the middle.
16:20:28 <TieSoul> hrm
16:20:55 <TieSoul> alright
16:21:03 <TieSoul> It loops basically forever regardless though
16:21:39 <TieSoul> since | represents infinity
16:22:14 <int-e> it's a capital I
16:23:05 <TieSoul> oh
16:23:11 <TieSoul> that makes sense I guess
16:23:31 <int-e> 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 <int-e> (which is not modified by + nor -)
16:24:47 <int-e> but it's crucial that I does not simply use that value unless all smaller values violate its specification
16:26:08 <int-e> 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 <int-e> tricky.
16:28:14 <int-e> 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 <int-e> Oh, there's an example I[->.<] which clarifies the behaviour of I.
17:14:47 -!- MoALTz has joined.
17:18:47 <zzo38> 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 <zzo38> Is it correct that I[->.<] is improper but that I[-.] is OK?
18:15:55 <coppro> they are both proper
18:16:57 <zzo38> 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 <coppro> it doens't say "improper"
18:17:32 <zzo38> I know it doesn't say "improper"
18:17:32 <coppro> there is nothing improper
18:18:27 <zzo38> Surely a program such as ]]I]]]]-[ would be improper, isn't it?
18:18:49 <coppro> peharps. the specification does not say
18:19:37 <quintopia> 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 <zzo38> They mentione above that it is not well defined +>>I[-[>]<<[]>-] see?
18:31:40 <zzo38> Although then they say it is infinite
18:33:11 <zzo38> 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 <zzo38> 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 <int-e> zzo38: I'd agree that I[-.] should terminate, because of . being a nop for non-unicode code points.
18:46:11 <zzo38> 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 <mauris> guess it would print all of unicode in reverse order
18:46:32 <int-e> mauris: right
18:46:56 <mauris> I[--.] wouldn't be well defined though!
18:47:24 <zzo38> I think you are correct
18:47:29 <int-e> funny.
18:48:53 <int-e> 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 <zzo38> It seems that it ought to simply be an error instead; where an error is considered as not halting.
18:55:45 <int-e> that would raise the question whether errors are distinguishable from nontermination
18:59:08 <zzo38> 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 <quintopia> i agree that I[-.] should do nothing and never halt
19:00:38 <quintopia> 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 <zzo38> No, I don't think that is what it means.
19:01:35 <zzo38> 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 <zzo38> 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 <quintopia> rereading, the print all code points and halt also makes sense
19:04:00 <quintopia> 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 <impomatic> The codu logs seem to be down...
19:14:03 <impomatic> It seems to me there ought to be an online IPA phonics to speech synthesiser, but I can't find one :-(
19:18:32 <zzo38> If you cannot find such a program, maybe you can write one? Do you know how to write one?
19:20:34 <fizzie> 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 <fizzie> 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 <fizzie> Er, SSML. I don't know where I got the P from.
19:22:40 <fizzie> Probably from SMTP.
19:23:07 <zzo38> 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 <fizzie> <phoneme alphabet="att_sampa_english" ph="k { t">dummy</phoneme> sounds like a cat, but <phoneme alphabet="ipa" ...> doesn't work, so you're limited to what you can find in English SAMPA.
19:28:03 <zzo38> So you cannot get X-SAMPA then either, I suppose.
19:28:03 <fizzie> Huh, actually alphabet="ipa" does something too, if you hex-entity-encode the IPA stuff.
19:28:44 <fizzie> And now I got plain <phoneme alphabet="ipa" ph="kæt">...</phoneme> out too, so I guess I just typoed something.
19:28:54 <fizzie> 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 <fizzie> 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 <fizzie> 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 <fizzie> 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 <zzo38> Did you know, that in Hero Hearts, a fire extinguisher not only extinguishes fire, but it also extinguishes lava, too?
19:41:15 <impomatic> Not much luck trying to feed "kʀiːk deːɐ̯ kɛʁnə" into TTS!
19:41:24 <shachaf> Is that a card game which is a variation of Hearts?
19:41:41 <zzo38> No
19:41:48 <zzo38> 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 <mauris> impomatic: i could pronounce it for you!
19:49:12 <impomatic> fizzie: no luck with the bookmarklet in Chrome. It's not even working on his examples.
19:50:00 <fizzie> They may have changed the interface.
19:50:38 <mauris> what about http://forvo.com/word/krieg/#de http://forvo.com/word/der/#de http://forvo.com/word/kerne/#de
19:50:41 <impomatic> mauris: thanks, if you shout it really, really loud that should do the trick.
19:51:34 <fizzie> Oh, it's actual language and not just some made-up thing?
19:51:51 <fizzie> You can just write "krieg der kerne" in Google Translate and ask it to play it back.
19:52:19 <mauris> oh yeah that of course
19:57:35 <fizzie> 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 <fizzie> Comes with having a more or less phonemic orthography, I'm sure.
19:57:41 <fizzie> Probably most of the joke is lost on non-Finnish people.
19:58:30 <coppro> I get it
19:59:23 <fizzie> You're missing the context of jokes about "tankero-englanti".
19:59:33 <fizzie> http://en.wikipedia.org/wiki/Tankero ooh, notable
20:00:47 <impomatic> 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 <fizzie> You should make one to rectify this.
20:01:23 <fizzie> 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).
←2014-08-19 2014-08-20 2014-08-21→ ↑2014 ↑all