02:14:15 -!- faxathisia has joined. 03:26:03 -!- immibis has joined. 03:34:31 -!- cmeme has quit (Excess Flood). 03:36:50 -!- cmeme has joined. 03:42:01 -!- cmeme has quit (Client Quit). 03:42:12 -!- cmeme has joined. 03:47:22 -!- cmeme has quit (Client Quit). 03:47:33 -!- cmeme has joined. 03:52:43 -!- cmeme has quit (Client Quit). 03:52:54 -!- cmeme has joined. 03:58:04 -!- cmeme has quit (Client Quit). 03:58:15 -!- cmeme has joined. 04:03:26 -!- cmeme has quit (Read error: 104 (Connection reset by peer)). 04:03:36 -!- cmeme has joined. 04:04:02 -!- faxathisia has quit (Remote closed the connection). 04:07:41 -!- pikhq has quit (Read error: 104 (Connection reset by peer)). 04:08:19 -!- pikhq has joined. 04:22:59 -!- immibis has quit ("Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. Easy as 3.14159265358979323846..."). 04:48:03 -!- GreaseMonkey has joined. 06:20:43 -!- oerjan has joined. 06:23:10 i thought equivelance of regexs was undecideable 06:23:46 not the FDA-equivalent basic form. extensions are a different matter. 06:23:51 er, FSA 06:24:00 hmm 06:24:47 basically you have all boolean operators, so you can calculate the xor and test for emptiness :) 06:24:48 what's the algorithm to do it? 06:25:51 probably want to convert it into an FSA first 06:26:01 sure 06:26:56 on a deterministic one, not is easy. with non-determinism, or is easy. 06:27:28 mix this with the usual algorithm to convert D -> N 06:30:55 hm possibly and can be found deterministically too 06:31:32 by pairing states 06:32:26 which means you don't need D -> N conversion. 06:32:54 er N -> D, D -> N is just inclusion 06:42:01 -!- Sabskm has joined. 07:13:14 -!- Slereah has quit (Read error: 110 (Connection timed out)). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:32:43 -!- GreaseMonkey has quit ("nn"). 09:33:19 -!- oerjan has quit ("Lurch, er Lunch"). 10:54:08 -!- ais523 has joined. 11:03:37 Easier, perhaps, convert both regexs to minimum-state DFA and then just compare them state by state. 11:03:54 That can be done automatically. 11:04:14 (I mean, automatically and fairly easily) 11:07:13 * ais523 will now have to read the logs to find the start of the conversation 11:08:05 apparently there was no start of the conversation, dbc just started talking for no apparent reason 11:08:21 as a continuation of a conversation that was held sometime before yesterday 11:26:38 5 hours is not a fairly standard answer delay 11:37:43 You could call it five hours later, or six lines later, or one send later. 11:38:04 These would not be equivalent if the channel were busy, of course :) 11:38:22 I've been known to randomly continue conversations, but I can't find the start of that one in the logs 11:39:34 and as for regex comparison, regexen are more interesting when they're modified to be TC and so can't be compared 12:48:58 i'm going to continue this conversation in exactly 4 years 12:49:51 -!- Sabskm has changed nick to Slereah. 13:22:49 -!- jix has joined. 13:52:10 -!- ais523 has quit. 14:56:35 -!- Sabskm has joined. 15:07:58 -!- Sgeo has joined. 15:15:24 -!- jix has quit (Nick collision from services.). 15:15:32 -!- jix has joined. 15:16:34 -!- Sabskm has quit (Read error: 110 (Connection timed out)). 15:28:35 -!- Slereah has quit (Read error: 110 (Connection timed out)). 16:26:07 -!- oerjan has joined. 16:34:59 I think converting to not ((A and B) or (not A and not B)) is also very easy but since you need to go to DFA first i guess a minimal one is not that much harder. 16:45:18 -!- ais523 has joined. 16:45:59 -!- ais523 has quit (Client Quit). 17:07:47 dreams are cool 17:49:18 what have you dreamed recently, bsmntbombdood? 17:53:55 -!- helios24 has quit (kubrick.freenode.net irc.freenode.net). 18:06:20 -!- sebbu has joined. 18:28:15 -!- RedDak has joined. 18:37:43 -!- helios_ has joined. 18:37:56 -!- helios_ has quit (Client Quit). 18:38:13 -!- helios24 has joined. 19:11:13 -!- Hardley has joined. 19:16:58 welll 19:18:08 RodgerTheGreat: last night i dreamed about some guys collecting some vials of perfume from some plants, then swam in a river until i got to a dam, climbed up and on this huuuuuge structure of pipes, talked to a girl outside a weird gothy nightclub sort of thing 19:20:58 it of course can't be conveyed properly in words 19:29:05 hm... I've had some vivid ones recently- I'll see if I can remember anything specific... 19:31:03 that was the first one i've had in a long time 19:31:07 :( 19:31:13 oh, man- part of a recent one that stands out involved my fish. I looked into his bowl, and it was empty with him gasping on the bottom. I freaked, and quickly added water to the bowl, and as the water rushed in the rocks and plants and everything poured into place as well. Then I looked at him and he kinda swelled up and stared at me, and then opened his mouth insanely wide. 19:31:26 I remember huge sharp teeth and a jaw so distended it was barely attached 19:31:56 oh that wasn't dreaming, just sleepwalking. 19:37:23 RodgerTheGreat: i dreamed about a jew harp. it was eating you 19:37:31 heh 19:48:25 i wish i remembered more dreams 19:59:00 -!- Hardley has quit. 19:59:09 -!- oerjan has quit ("Good night"). 20:28:22 -!- RedDak has quit (Remote closed the connection). 20:54:21 -!- iEhird has joined. 20:54:47 gregorr! 20:55:47 I shall implement Plof in... Smalltalk! Or maybe lisp. but you get the idea. 20:56:10 Probably Plof3. 20:58:36 -- not on this iPhone, obviously. 21:00:43 -!- ihope has joined. 21:13:23 iEhird: I already implemented Plof2 in Smalltalk :P 21:14:10 wtf is this shit 21:14:23 only one person is allowed to have a nick that starts with the letter I 21:15:12 -!- GregorR has changed nick to IrregularR. 21:15:55 What was that? 21:16:10 not allowed 21:16:22 -!- iEhird has quit (Read error: 113 (No route to host)). 21:18:43 i am teh bored 21:18:47 -!- maximander has joined. 21:20:09 cool, cmu 21:21:08 suppose... 21:21:33 -!- IrregularR has changed nick to GregorR. 21:21:37 * GregorR supposes. 21:23:25 -!- jix has quit ("CommandQ"). 21:24:51 I just made a transcription error in a program 21:24:53 the result was that the program become more useful 21:25:03 OMG 21:25:05 that has to be a very rare event indeed 21:26:10 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)). 21:28:37 what's a transcription error? 21:33:41 trans = across, scribe = writing, so transcribe = copy text from one place to another... 21:34:09 ... I made a mistake when typing in a program from a non-computer-readable source. 21:39:15 hmmm 21:39:40 a PDF in fact 21:39:53 some PDFs have an anti copy-and-paste mechanism 21:41:13 you're using a bad pdf reader then 21:41:32 bad? how? 21:41:53 lack of built in OCR ? 21:42:23 ah, ok 21:42:29 so do people ever show up and ask for things? 21:42:43 bad because it implements a stupid feature 21:42:47 um, no 21:43:14 the mechanism makes the characters come out as garbage, rather than preventing copying 21:43:21 If the PDF contained only an image of the text, then your PDF reader sucks in that it can't circumvent that particularly lame protection. 21:43:28 Erm 21:43:31 I got lost mid sentence ^^ 21:43:36 it is done by assigning the wrong character codes to the wrong glyphs 21:43:50 I presume 21:43:50 If the PDF contained only an image of the text, that's one thing. But if not, your PDF reader sucks in that it can't circumvent that particularly lame protection. 21:44:10 That's pretty lameous. 21:44:12 GregorR: alas, your remark is out-of-date now 21:44:19 Yup :P 21:44:25 I still had to fix it :) 21:49:13 pdf 21:49:27 portable document format 21:51:22 Grrr.. i was hoping there'd be more people here asking for things 21:51:35 asking for what? 21:51:53 "Please print 'Hello, world'"? 21:51:56 yeah 21:52:11 you mean IRD? 21:52:17 yeah... 21:52:17 or whatever it is called 21:52:28 nah, we don't get that much 21:52:52 IRP 21:52:57 o 21:53:10 yeah, IRD is a mailing list at work, oops 21:53:20 Note the topic: 21:53:22 "IRP in #irp" :P 21:53:23 oklopol: what's with the "o" ? 21:53:42 Improv bullet point from a copy-paste? 21:53:51 And what is this about ais523 winning a prize? 21:54:27 wolfram's 21:55:29 give more details 21:55:44 the 2,3 turing machine 21:55:51 waitamo... 21:56:11 he is the guy that proved it turing-complete? 21:56:37 yes 21:56:46 and everything's with the o 21:56:59 (if the tape is pre-processed via a certain infinite non-Turing-complete process first, ISTR) 21:57:29 I suppose that is a sort of parallel Turing machine 22:00:08 ah, yes, here are the Slashdot headlines: October 24th, 2007: "Wolfram's 2,3 Turing Machine Is Universal!"; October 29th, 2007: "Wolfram's 2,3 Turing Machine Not Universal" 22:00:21 lol 22:01:55 ah, the contraversy is whether the pre-processing is cheating 22:02:14 people are analogising: 22:03:04 they first consider a PDA, which isn't TC, and another PDA, which isn't TC, but together they are TC, because 2 PDAs is equivalent to a TM 22:04:39 they then claim that just because the 2,3 automaton + a non-TC device = TC, that doesn't mean that the TC bit can be said to be inside the 2,3 automaton. 22:04:42 I thnk 22:04:48 I may be misunderstanding it 22:06:43 oh, yes, and the pairing in his case is much weaker than the pairing of 2 PDAs to make a TM 22:07:06 turing completeness is a matter of opinion 22:07:31 more specifically, "input" is a matter of opinion 22:14:22 * SimonRC reads a bit more about Stephan Wolfram. 22:17:49 TBH there are enough people saying strong enough things about him that I can only figure out that he (SW) is somewhere between Einstein and Hubbard. 22:17:53 *sigh* 22:17:59 Preprocessing -> machine isn't remotely similar to PDA<->PDA. Note the arrow directions ^^ 22:18:47 yes 22:18:52 but still contraversial 23:14:58 * SimonRC goes to bed 23:18:16 -!- sebbu has quit ("Leaving"). 23:33:07 -!- maximander has left (?).