< 1196820855 0 :faxathisia!n=more@137.195.250.2 JOIN :#esoteric < 1196825163 0 :immibis!n=immibis@125-236-169-229.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1196825671 0 :cmeme!unknown@unknown.invalid QUIT :Excess Flood < 1196825810 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1196826121 0 :cmeme!unknown@unknown.invalid QUIT :Client Quit < 1196826132 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1196826442 0 :cmeme!unknown@unknown.invalid QUIT :Client Quit < 1196826453 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1196826763 0 :cmeme!unknown@unknown.invalid QUIT :Client Quit < 1196826774 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1196827084 0 :cmeme!unknown@unknown.invalid QUIT :Client Quit < 1196827095 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1196827406 0 :cmeme!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1196827416 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1196827442 0 :faxathisia!unknown@unknown.invalid QUIT :Remote closed the connection < 1196827661 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1196827699 0 :pikhq!n=pikhq@209.248.125.179 JOIN :#esoteric < 1196828579 0 :immibis!unknown@unknown.invalid 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..." < 1196830083 0 :GreaseMonkey!n=saru@219-89-41-90.dialup.xtra.co.nz JOIN :#esoteric < 1196835643 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1196835790 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : i thought equivelance of regexs was undecideable < 1196835826 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :not the FDA-equivalent basic form. extensions are a different matter. < 1196835831 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er, FSA < 1196835840 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1196835887 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :basically you have all boolean operators, so you can calculate the xor and test for emptiness :) < 1196835888 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :what's the algorithm to do it? < 1196835951 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :probably want to convert it into an FSA first < 1196835961 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :sure < 1196836016 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :on a deterministic one, not is easy. with non-determinism, or is easy. < 1196836048 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :mix this with the usual algorithm to convert D -> N < 1196836255 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm possibly and can be found deterministically too < 1196836292 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :by pairing states < 1196836346 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :which means you don't need D -> N conversion. < 1196836374 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er N -> D, D -> N is just inclusion < 1196836921 0 :Sabskm!n=Slereah@ANantes-252-1-10-132.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1196838794 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1196841599 0 :clog!unknown@unknown.invalid QUIT :ended < 1196841600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1196843563 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"nn" < 1196847199 0 :oerjan!unknown@unknown.invalid QUIT :"Lurch, er Lunch" < 1196852048 0 :ais523!n=ais523@chillingi.eee.bham.ac.uk JOIN :#esoteric < 1196852617 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :Easier, perhaps, convert both regexs to minimum-state DFA and then just compare them state by state. < 1196852634 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :That can be done automatically. < 1196852654 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :(I mean, automatically and fairly easily) < 1196852833 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ACTION will now have to read the logs to find the start of the conversation < 1196852885 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :apparently there was no start of the conversation, dbc just started talking for no apparent reason < 1196852901 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :as a continuation of a conversation that was held sometime before yesterday < 1196853998 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :5 hours is not a fairly standard answer delay < 1196854663 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :You could call it five hours later, or six lines later, or one send later. < 1196854684 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :These would not be equivalent if the channel were busy, of course :) < 1196854702 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I've been known to randomly continue conversations, but I can't find the start of that one in the logs < 1196854774 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and as for regex comparison, regexen are more interesting when they're modified to be TC and so can't be compared < 1196858938 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm going to continue this conversation in exactly 4 years < 1196858991 0 :Sabskm!unknown@unknown.invalid NICK :Slereah < 1196860969 0 :jix!n=jix@dyndsl-091-096-047-099.ewe-ip-backbone.de JOIN :#esoteric < 1196862730 0 :ais523!unknown@unknown.invalid QUIT : < 1196866595 0 :Sabskm!n=Slereah@ANantes-252-1-10-132.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1196867278 0 :Sgeo!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1196867724 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1196867732 0 :jix!n=jix@host-091-096-144-004.ewe-ip-backbone.de JOIN :#esoteric < 1196867794 0 :Sabskm!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1196868515 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1196871967 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1196872499 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :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. < 1196873118 0 :ais523!n=ais523@chillingi.eee.bham.ac.uk JOIN :#esoteric < 1196873159 0 :ais523!unknown@unknown.invalid QUIT :Client Quit < 1196874467 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :dreams are cool < 1196876958 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :what have you dreamed recently, bsmntbombdood? < 1196877235 0 :helios24!unknown@unknown.invalid QUIT :kubrick.freenode.net irc.freenode.net < 1196877980 0 :sebbu!n=sebbu@ADijon-152-1-78-29.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1196879295 0 :RedDak!n=dak@host131-86-dynamic.6-87-r.retail.telecomitalia.it JOIN :#esoteric < 1196879863 0 :helios_!i=helios@tomakin.quasar-net.de JOIN :#esoteric < 1196879876 0 :helios_!unknown@unknown.invalid QUIT :Client Quit < 1196879893 0 :helios24!i=helios@tomakin.quasar-net.de JOIN :#esoteric < 1196881873 0 :Hardley!n=FSi@212.193.74.173 JOIN :#esoteric < 1196882218 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :welll < 1196882288 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :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 < 1196882458 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :it of course can't be conveyed properly in words < 1196882945 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :hm... I've had some vivid ones recently- I'll see if I can remember anything specific... < 1196883063 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :that was the first one i've had in a long time < 1196883067 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1196883073 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :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. < 1196883086 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I remember huge sharp teeth and a jaw so distended it was barely attached < 1196883116 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh that wasn't dreaming, just sleepwalking. < 1196883443 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: i dreamed about a jew harp. it was eating you < 1196883451 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1196884105 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i wish i remembered more dreams < 1196884740 0 :Hardley!unknown@unknown.invalid QUIT : < 1196884749 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1196886502 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1196888061 0 :iEhird!n=ehird@user-5440bd6b.wfd77a.dsl.pol.co.uk JOIN :#esoteric < 1196888087 0 :iEhird!unknown@unknown.invalid PRIVMSG #esoteric :gregorr! < 1196888147 0 :iEhird!unknown@unknown.invalid PRIVMSG #esoteric :I shall implement Plof in... Smalltalk! Or maybe lisp. but you get the idea. < 1196888170 0 :iEhird!unknown@unknown.invalid PRIVMSG #esoteric :Probably Plof3. < 1196888316 0 :iEhird!unknown@unknown.invalid PRIVMSG #esoteric :-- not on this iPhone, obviously. < 1196888443 0 :ihope!n=ns@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1196889203 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :iEhird: I already implemented Plof2 in Smalltalk :P < 1196889250 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :wtf is this shit < 1196889263 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :only one person is allowed to have a nick that starts with the letter I < 1196889312 0 :GregorR!unknown@unknown.invalid NICK :IrregularR < 1196889355 0 :IrregularR!unknown@unknown.invalid PRIVMSG #esoteric :What was that? < 1196889370 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :not allowed < 1196889382 0 :iEhird!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1196889523 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i am teh bored < 1196889527 0 :maximander!i=Maximand@DAVIDTAYLOR-WIFI.WV.CC.cmu.edu JOIN :#esoteric < 1196889609 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :cool, cmu < 1196889668 0 :maximander!unknown@unknown.invalid PRIVMSG #esoteric :suppose... < 1196889693 0 :IrregularR!unknown@unknown.invalid NICK :GregorR < 1196889697 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :ACTION supposes. < 1196889805 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1196889891 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I just made a transcription error in a program < 1196889893 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :the result was that the program become more useful < 1196889903 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :OMG < 1196889905 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :that has to be a very rare event indeed < 1196889970 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1196890117 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :what's a transcription error? < 1196890421 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :trans = across, scribe = writing, so transcribe = copy text from one place to another... < 1196890449 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :... I made a mistake when typing in a program from a non-computer-readable source. < 1196890755 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :hmmm < 1196890780 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :a PDF in fact < 1196890793 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :some PDFs have an anti copy-and-paste mechanism < 1196890873 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :you're using a bad pdf reader then < 1196890892 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :bad? how? < 1196890913 0 :maximander!unknown@unknown.invalid PRIVMSG #esoteric :lack of built in OCR ? < 1196890943 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ah, ok < 1196890949 0 :maximander!unknown@unknown.invalid PRIVMSG #esoteric :so do people ever show up and ask for things? < 1196890963 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :bad because it implements a stupid feature < 1196890967 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :um, no < 1196890994 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :the mechanism makes the characters come out as garbage, rather than preventing copying < 1196891001 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :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. < 1196891008 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Erm < 1196891011 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I got lost mid sentence ^^ < 1196891016 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :it is done by assigning the wrong character codes to the wrong glyphs < 1196891030 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I presume < 1196891030 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :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. < 1196891050 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :That's pretty lameous. < 1196891052 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: alas, your remark is out-of-date now < 1196891059 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Yup :P < 1196891065 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I still had to fix it :) < 1196891353 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :pdf < 1196891367 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :portable document format < 1196891482 0 :maximander!unknown@unknown.invalid PRIVMSG #esoteric :Grrr.. i was hoping there'd be more people here asking for things < 1196891495 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :asking for what? < 1196891513 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :"Please print 'Hello, world'"? < 1196891516 0 :maximander!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1196891531 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :you mean IRD? < 1196891537 0 :maximander!unknown@unknown.invalid PRIVMSG #esoteric :yeah... < 1196891537 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :or whatever it is called < 1196891548 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :nah, we don't get that much < 1196891572 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric : IRP < 1196891577 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric : o < 1196891590 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yeah, IRD is a mailing list at work, oops < 1196891600 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Note the topic: < 1196891602 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :"IRP in #irp" :P < 1196891603 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: what's with the "o" ? < 1196891622 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Improv bullet point from a copy-paste? < 1196891631 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :And what is this about ais523 winning a prize? < 1196891667 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :wolfram's < 1196891729 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :give more details < 1196891744 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :the 2,3 turing machine < 1196891751 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :waitamo... < 1196891771 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :he is the guy that proved it turing-complete? < 1196891797 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1196891806 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and everything's with the o < 1196891819 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :(if the tape is pre-processed via a certain infinite non-Turing-complete process first, ISTR) < 1196891849 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I suppose that is a sort of parallel Turing machine < 1196892008 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :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" < 1196892021 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1196892115 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ah, the contraversy is whether the pre-processing is cheating < 1196892134 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :people are analogising: < 1196892184 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :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 < 1196892279 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :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. < 1196892282 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I thnk < 1196892288 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I may be misunderstanding it < 1196892403 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oh, yes, and the pairing in his case is much weaker than the pairing of 2 PDAs to make a TM < 1196892426 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :turing completeness is a matter of opinion < 1196892451 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :more specifically, "input" is a matter of opinion < 1196892862 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION reads a bit more about Stephan Wolfram. < 1196893069 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :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. < 1196893073 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :*sigh* < 1196893079 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Preprocessing -> machine isn't remotely similar to PDA<->PDA. Note the arrow directions ^^ < 1196893127 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1196893132 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :but still contraversial < 1196896498 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION goes to bed < 1196896696 0 :sebbu!unknown@unknown.invalid QUIT :"Leaving" < 1196897587 0 :maximander!unknown@unknown.invalid PART #esoteric :?