< 1269821376 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://www.tom.sfc.keio.ac.jp/~sakai/hiki/?CPL < 1269821418 0 :lifthras1ir!unknown@unknown.invalid NICK :lifthrasiir < 1269821521 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :right object exp(a,b) with curry is ev: prod(exp,a) -> b < 1269821521 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :end object; < 1269821525 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :that's how to implement lambda < 1269821601 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269822297 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo_: just tie a loose knot in the cord. < 1269822335 0 :charlls!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1269823835 0 :Oranjer!unknown@unknown.invalid PART #esoteric :? < 1269824925 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :I need to be up at ~9am. < 1269824928 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Meh. < 1269824936 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :bye < 1269825067 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1269825076 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :oerjan you like my link < 1269825078 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1269825131 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :um i suppose < 1269825394 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1269825740 0 :dixon!unknown@unknown.invalid QUIT :Quit: Leaving < 1269825955 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/892789.txt?key=t975zsuwf3eij1003wwq In which I prove, in 57 labourous lines, that the cardinality of (option T) (i.e. T with an extra element None) is the cardinality of T plus 1, for both finite and infinite types. < 1269825962 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Axioms used: < 1269825966 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Axiom Proof_Irrelevance : forall P : Prop, forall x y : P, x = y. < 1269825966 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Axiom One_Cardinality : forall T, forall c, T |=| c -> forall d, T |=| d <-> d = c. < 1269825976 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :I'm certain I could eliminate the former - even though it is totally reasonable - < 1269825982 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :and I think I could eliminate the latter with some trickery. < 1269825990 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Apart from that, it's all bijections. < 1269826041 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION bites oerjan
< 1269826056 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :and yes I am aware that all of this is ridiculously verbose < 1269826082 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ouch < 1269826325 0 :oerjan!unknown@unknown.invalid QUIT :Quit: Excuse me, I seem to be in need of a rabies shot < 1269826511 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Got rid of proof irrelevance. < 1269826609 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :What language are you proving this stuff in? < 1269826654 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Aliseese. < 1269826747 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Coq. < 1269826757 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :See http://pastie.org/892789.txt?key=t975zsuwf3eij1003wwq though it's much better now. < 1269826914 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :Is the Haskell style of separating IO from other stuff a good rule to follow in other languages? < 1269826964 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: btw < 1269826971 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: I wouldn't say that haskell seperates them at all < 1269826987 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo_: of course. < 1269827027 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :you can do pure functions like [IO a] -> [IO a] or whatever < 1269827045 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Here's the current code: http://pastie.org/892810.txt?key=eesyermgmbltv9jhbhk8eq < 1269827081 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I've heard that it's good practice to treat IO and -> as different things. < 1269827089 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :And in Haskell, they are! How neat is that? < 1269827101 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: And here is the totally gnarly lambda term Coq spits out for option_adds_one: http://pastie.org/892808.txt?key=b7m1ufymznbtw8hospsziw < 1269827108 0 :zzo38!~zzo38@h24-207-48-53.dlt.dccnet.com JOIN :#esoteric < 1269827138 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :All that just to prove that |a+1| = |a|+1. < 1269827150 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :(Cardinality, of course; not absolute value.) < 1269827160 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Let's see if you can figure out this one... http://golf.shinh.org/p.rb?Check+for+brainwave+activity < 1269827169 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: http://pastie.org/892810.txt?key=eesyermgmbltv9jhbhk8eq < 1269827193 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :alise_: Application error < 1269827202 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :hi zzo < 1269827209 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: Howso? < 1269827224 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Are you just not cool enough for my awesome proof? :| < 1269827235 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I get a 500 error when accessing that URL < 1269827249 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :!bf ++++++++++++++++[>++>+++>++++>++++++>++++++>+++++++>++++++++<<<<<<<-]+++++++++++++++++>>>>++++.>>++++++.<<<<<++.>>>>>++++++++..>+++.<--.++++++++.>----.>-.<<--------.>>-.<<++++.<<<<.>>>>----.++.>>--.<-----.>++.<.>--.+++++.<<<<<<.>>>>+.+.>>-----.<<.--.>>.<<++.--------.<<<+.<..>>+++++.>>--.>>-------.+++.++.<.+++++.<+++++.<<<. < 1269827255 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: Did you include the ?key= part? < 1269827262 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Perhaps try refreshing. < 1269827278 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Yes I did. But now I found out what was wrong and now I can view it < 1269827291 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I just forgot the "q" at the end. < 1269827325 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Check for brainwave activity? < 1269827328 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I clearly don't have any < 1269827332 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I have no idea what this means < 1269827345 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :you're supposed to write a short program that does something :D < 1269827346 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I mean the computer's brainwave activity. < 1269827350 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :You have < 1269827362 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Wow, that actually got sent. < 1269827372 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :You have a strange definition of cardinality. < 1269827375 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :The computer doesn't have any brainwave activity < 1269827384 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :so it just needs to print No brainwave activity detected. Aborting.? < 1269827396 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :print "No brainwave activity detected. Aborting." ? < 1269827406 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :zzo your puzzles are WAY too hard for me :D < 1269827409 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :That works, but see if there are other ways... < 1269827415 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Howso? < 1269827425 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :In dependent type theory, there are only finite cardinalities and Aleph_0. < 1269827428 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :There is nothing bigger than the rationals. < 1269827445 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I guess that sounds consistent enough. < 1269827450 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Well, you can't actually prove any properties about the cardinality of functions (but postulating a bijection (A -> B) -><- nat is consistent) < 1269827465 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Error: empty file < 1269827466 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1269827468 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Well, why not. < 1269827470 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: it's because the set of algorithms is countably infinite - and we do computable reals < 1269827472 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :which are just functions < 1269827507 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :Have it print characters for 1+1=, and if it magically inputs 2, there's brainwave activity? < 1269827516 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :even (list T) is Aleph_0 -- T must be Aleph_0 or less, so it has a bijection to-fro naturals. Transform to naturals. < 1269827527 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :1 = unary natural digit; 0 = list separator. < 1269827552 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Hmm, I just realized that my last message could also be interpreted as "Well, why not?" < 1269827589 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I meant "Well, upon taking that into account, I see no reason not to have only one infinite cardinality". < 1269827604 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :so TONAT[[1,2],[3,4]] = TONAT[TONAT[1,2], TONAT[3,4]] = TONAT[1011, 11101111] = 11111111111011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 < 1269827627 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Which is, admittedly, not the shortest representation. < 1269827631 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :It would make Godel proud. < 1269827640 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :1+1=2 is not brainwave activity, as far as I know. Try again. < 1269827672 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :do brainwave exist? < 1269827681 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Fin, of course, is the type of infinite types; Fin n is the type with n elements. < 1269827688 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :erm < 1269827689 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :of finite types < 1269827712 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :Searches for a file known.. wait, the program itself is what takes in a BF program? < 1269827728 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :fax: Yes, brainwave exist and I can measure it. But the computer doesn't have any, it isn't hook to hardware to process brainwaves nor software to generate brainwaves. < 1269827743 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :So, I'm going now until Friday again. Anyone want to lavish praise on my cardinalities? < 1269827768 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo_: You can try that if you want < 1269827772 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :#include < 1269827772 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :int main(void){puts("No brainwave activity detected. Aborting.");return 0;} < 1269827776 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :this got accepted o < 1269827805 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :main(){puts("No brainwave activity detected. Aborting.");} < 1269827808 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Yes, it definitely works, but it is long. < 1269827811 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :If the BF program is optimized in superficial ways, it wasn't optimized by a computer, therefore a human made it < 1269827812 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :So, nobody has anything to say? < 1269827824 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo_: It's tradition for you to say goodbye, asshole! < 1269827835 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :Sorry, alise. Hope things improve < 1269827838 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Yay! < 1269827841 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :we are meant to use this brainfuck string as input to make the program print this output < 1269827841 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Goodbye, folks. < 1269827845 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :bye < 1269827848 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Seeya 'round n round n round n stack overflow < 1269827851 0 :alise_!unknown@unknown.invalid QUIT :Quit: Leaving < 1269827875 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :fax: Try that if you want... < 1269827889 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :I have fooled alise_, for I am not Sgeo_, but Sgeo! < 1269827893 0 :Sgeo_!unknown@unknown.invalid NICK :sGEO < 1269827895 0 :sGEO!unknown@unknown.invalid NICK :Sgeo < 1269827901 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is in a silly mood
< 1269827988 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :zzo I am so confused :P < 1269828067 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Maybe pseudo-interpret the BF < 1269828099 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :13 chars of Bash < 1269828134 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Clearly, the string isn't embedded in zzo's Bash solution < 1269829019 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :What does it mean to "pseudo-interpret the BF" in your opinion? < 1269829256 0 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1269829287 0 :fax!unknown@unknown.invalid QUIT :Quit: Lost terminal < 1269829350 0 :rosyd1279!~Paolo@109.53.64.117 JOIN :#esoteric < 1269829402 0 :rosyd1279!unknown@unknown.invalid PART #esoteric :? < 1269829569 0 :Oranjer!~HP_Admini@adsl-71-7-92.cae.bellsouth.net JOIN :#esoteric < 1269829906 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I thought if there were no loops, just a BF interpreter that doesn't read loops. But there are loops < 1269830681 0 :zzo38!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269831690 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what's wrong with wireless mice? < 1269831719 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :in my experience wireless mouse >>>>>>>>>>>>>>>>>>>>>>>>>> mouse with cord < 1269831746 0 :adu!~ajr@pool-74-96-89-29.washdc.fios.verizon.net JOIN :#esoteric < 1269831758 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :good night ~> < 1269831817 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :how do I write programs in several languages? < 1269833632 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :If several = 0, then stop. Otherwise, write a program in one language, then write programs in (several - 1) languages. < 1269833671 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Or do you mean a single program that is valid in several languages? < 1269833721 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Well, 君は utilisar multaj итак. < 1269833983 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I like this polyglot with its contrived comment markers: http://ideology.com.au/polyglot/polyglot.txt < 1269834021 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :CuG #%* The comment goes here, and, I imagine, must always be of exactly a certain length. *+Ex= < 1269834053 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I guess there are also block comment markers around the whole thing. < 1269834071 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Why are the blank spaces at the beginning important? < 1269834158 0 :Oranjer!unknown@unknown.invalid QUIT :Quit: Leaving. < 1269834181 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I THINK THAT POLYGLOT IS UTTER_XYZZXX! < 1269834204 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Probably the postscript. < 1269834207 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I don't even get it < 1269834224 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :why does the C compiler accept (*0); < 1269834247 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Because that's a valid expression, I guess. < 1269834263 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :0 is the null pointer, right? < 1269834263 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :not a global scope < 1269834271 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :*at < 1269834283 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It, uh, dereferences the null pointer? < 1269834289 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Or maybe it's O? < 1269834296 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That's O. < 1269834298 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oh yeah, it is < 1269834303 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :so it's a declaration of a pointer to int < 1269834324 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Bah, that's no 0. < 1269834336 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :huh? < 1269834342 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :that's a star-identifier < 1269834351 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I still don't get (*O < 1269834360 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: there < 1269834364 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :*there's a ); after the comment < 1269834370 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :in C, this is a declaration of a pointer to int named O < 1269834392 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :the "that's a star-identifier" comment was my witty response to pikhq's "that's no 0" < 1269834409 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION mindboggles
< 1269834424 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :pikhq didn't say that. < 1269834440 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oh wait, yeah, that was uorygl < 1269834448 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :COBOL accepts CuG #% as a line number? < 1269834469 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I don't know and I don't want to < 1269834500 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION tortures coppro with an identification division.
< 1269834530 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :http://ideology.com.au/polyglot/x86/ Ah. < 1269834554 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Oh, that's cool < 1269834585 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The whitespace is needed for the x86 *machine code*. < 1269834600 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Erm. Assembly? Doesn't look like assembly. < 1269834617 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :How does the C get away with not having an ending.. oh, I missed it < 1269834659 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :WTF does CuG mean to a shell script? < 1269834683 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Presumably, it means you run CuG. < 1269834696 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Now write a polyglot quine in /// and BF. < 1269834714 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: It looks like a bunch of commands that get the stderr shoved into _$$. < 1269834719 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :http://ideology.com.au/polyglot/shell/ < 1269834722 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, really. < 1269834734 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION sees it
< 1269834735 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I guess that's pretty easy. Write a quine in BF; it will also be a quine in ///. < 1269834762 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders what languages an empty source file ISN'T a quine in
< 1269834763 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Now write a non-trivial polyglot quine in /// and BF. < 1269834779 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :COBOL probably, and Homespring < 1269834807 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :There are lots of languages where a program is not simply a series of statements. < 1269834831 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION reads the Homespring standard
< 1269834862 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION attempts to get the standard to load
< 1269835057 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I must admit, I'm rather proud of ///. It's really simple, it's Turing-complete in a totally non-obvious way, and all data is essentially stored within the program's source code. < 1269835090 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Link? < 1269835099 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Searching on the esolang wiki for three slashes is a pain < 1269835114 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :The page is called Slashes. < 1269835229 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :"This allows you to avoid worrying about program style and focus on what programming is really about, the reproductive behavior of salmon." < 1269835239 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :(not Slashes) < 1269835354 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :A random sentence from the Homespring spec: "However, it does not proscribe the same behaviour as the official interpreter in every case." < 1269835384 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :This makes me want to write a language called Proscription, where every program's behavior is completely undefined, except that one particular behavior is proscribed. < 1269835407 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :"This program does anything but output Hello, world!" < 1269835407 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hm, are there nicer ways to write 99.. no, of course there aren't < 1269835416 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :In which language? < 1269835426 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :/// < 1269835490 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Write a version that takes advantage of all redundancy. < 1269835498 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Let me think... < 1269835537 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :"X bottles of beer on the wall / X bottles of beer / Take one down, pass it around / X bottles of beer on the wall /// X bottles of beer on the wall ..." < 1269835590 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :So the fundamental strings there are "bottles of beer", "on the wall", and "Take one down, pass it around"; you can probably find some more redundancy in the line breaks. < 1269835603 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Of course, "bottles of beer" sometimes becomes "bottle of beer". < 1269835627 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION meant in particular with the digits
< 1269835631 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Then find a way to programmatically decrement a natural number. < 1269835659 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Pretend you're writing in Thue. Then find the best way to translate your Thue to ///. < 1269835669 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Which is really difficult, of course. < 1269836203 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I wonder how one might turn /// into a language capable of arbitrary I/O behavior. < 1269836236 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Monads! < 1269836237 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric : < 1269836331 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Let's say that | is an input token and running it causes a character of input to be stuck at the end of the program, followed by | < 1269836385 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :s/character/byte/; we don't want to require ultra-longnesses in order to be able to recognize every possible character. < 1269836419 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :let's not < 1269836429 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Why the extra |? < 1269836484 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :If we didn't somehow mark the input, then it might be the case that there are always two pieces of input that do the same thing. < 1269836498 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders how you'd write a BF interpreter (minus , and .) in vanilla ///
< 1269836545 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :After all, if you're replacing one string wholesale with another, the two strings behave the same way. < 1269836908 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is confused
< 1269837988 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :If your program contains /foo/bar/, how is it supposed to distinguish between foo and bar? < 1269838526 0 :adu!unknown@unknown.invalid QUIT :Quit: adu < 1269839964 0 :augur!~augur@ip70-188-182-24.ri.ri.cox.net JOIN :#esoteric < 1269840271 0 :augur!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1269840693 0 :MizardX!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1269841187 0 :augur!~augur@ip70-188-182-24.ri.ri.cox.net JOIN :#esoteric < 1269842759 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wants a good programming game to play
< 1269842877 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: you usually have these sorts of links < 1269842889 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Oh, hi < 1269842901 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Besides RoboZZle? < 1269842903 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1269842910 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :played that too much < 1269842928 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://tvtropes.org/pmwiki/pmwiki.php/Main/ProgrammingGame is where I found RoboZZle from < 1269842933 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I know < 1269842944 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Other than that, I'm not sure < 1269842962 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Scripting in Second Life entertains me sometimes < 1269843138 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://www.introversion.co.uk/darwinia/ I'm not sure if it's a programming game, I haven't tried it myself < 1269843149 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :That company does make a Hollywood-style hacking game though, so :/ < 1269843423 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION pokes coppro
< 1269843454 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :looks unexciting < 1269843535 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I remember seeing one about controlling.. a rover in 3d, I think? Can't seem to find it < 1269843697 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :kiki the nano-bot? < 1269843705 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :not really a programming game < 1269843731 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I guess I could just play DROD < 1269843763 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :There's that defunct LEGO game. < 1269843769 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Unfortunately, that defunct LEGO game is defunct. < 1269843788 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :"Firefox 3.0? Your browser is obsolete! Please upgrade to Netscape Navigator 4.0!" < 1269843893 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1269843958 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://nerogame.org/ < 1269843965 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Don't know how much programming's actually involved < 1269843990 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :More training neural nets I think < 1269844018 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://www.ceebot.com/colobot/index-e.php This is what I was thinking of < 1269844203 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :thanks < 1269844259 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :yw < 1269844476 0 :coppro!unknown@unknown.invalid NICK :Helium_Dragon < 1269844499 0 :Helium_Dragon!unknown@unknown.invalid NICK :Copernicium_Drag < 1269844559 0 :Copernicium_Drag!unknown@unknown.invalid NICK :Carbon_Dragon < 1269844798 0 :tombom!tombom@wikipedia/Tombomp JOIN :#esoteric < 1269844853 0 :MaXo2!unknown@unknown.invalid QUIT :Quit: anéfé < 1269844871 0 :Carbon_Dragon!unknown@unknown.invalid NICK :coppro < 1269845427 0 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1269846783 0 :yiyus!unknown@unknown.invalid QUIT :*.net *.split < 1269846783 0 :Gracenotes!unknown@unknown.invalid QUIT :*.net *.split < 1269846785 0 :oklofok!unknown@unknown.invalid QUIT :*.net *.split < 1269846785 0 :pikhq!unknown@unknown.invalid QUIT :*.net *.split < 1269846786 0 :sshc!unknown@unknown.invalid QUIT :*.net *.split < 1269846787 0 :Gregor!unknown@unknown.invalid QUIT :*.net *.split < 1269846787 0 :olsner!unknown@unknown.invalid QUIT :*.net *.split < 1269846787 0 :augur!unknown@unknown.invalid QUIT :*.net *.split < 1269846787 0 :jcp!unknown@unknown.invalid QUIT :*.net *.split < 1269846787 0 :pineapple!unknown@unknown.invalid QUIT :*.net *.split < 1269846788 0 :cheater3!unknown@unknown.invalid QUIT :*.net *.split < 1269846789 0 :Leonidas!unknown@unknown.invalid QUIT :*.net *.split < 1269846789 0 :mycroftiv!unknown@unknown.invalid QUIT :*.net *.split < 1269846790 0 :ineiros!unknown@unknown.invalid QUIT :*.net *.split < 1269846790 0 :werdan7_!unknown@unknown.invalid QUIT :*.net *.split < 1269846791 0 :Quadrescence!unknown@unknown.invalid QUIT :*.net *.split < 1269846791 0 :jix!unknown@unknown.invalid QUIT :*.net *.split < 1269846791 0 :rodgort!unknown@unknown.invalid QUIT :*.net *.split < 1269846791 0 :chickenzilla!unknown@unknown.invalid QUIT :*.net *.split < 1269846792 0 :mtve!unknown@unknown.invalid QUIT :*.net *.split < 1269846792 0 :lifthrasiir!unknown@unknown.invalid QUIT :*.net *.split < 1269846792 0 :uorygl!unknown@unknown.invalid QUIT :*.net *.split < 1269846792 0 :SimonRC!unknown@unknown.invalid QUIT :*.net *.split < 1269846793 0 :Deewiant!unknown@unknown.invalid QUIT :*.net *.split < 1269846793 0 :sebbu!unknown@unknown.invalid QUIT :*.net *.split < 1269846793 0 :EgoBot!unknown@unknown.invalid QUIT :*.net *.split < 1269846793 0 :HackEgo!unknown@unknown.invalid QUIT :*.net *.split < 1269846793 0 :FireFly!unknown@unknown.invalid QUIT :*.net *.split < 1269846793 0 :tombom!unknown@unknown.invalid QUIT :*.net *.split < 1269846794 0 :AnMaster!unknown@unknown.invalid QUIT :*.net *.split < 1269846794 0 :wareya!unknown@unknown.invalid QUIT :*.net *.split < 1269846795 0 :bsmntbombdood!unknown@unknown.invalid QUIT :*.net *.split < 1269846795 0 :comex!unknown@unknown.invalid QUIT :*.net *.split < 1269846795 0 :Ilari!unknown@unknown.invalid QUIT :*.net *.split < 1269847832 0 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1269847832 0 :tombom!tombom@wikipedia/Tombomp JOIN :#esoteric < 1269847832 0 :augur!~augur@ip70-188-182-24.ri.ri.cox.net JOIN :#esoteric < 1269847832 0 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1269847832 0 :jcp!~jw@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1269847832 0 :cheater3!~cheater@ip-80-226-15-2.vodafone-net.de JOIN :#esoteric < 1269847832 0 :oklofok!~oklopol@a91-153-122-35.elisa-laajakaista.fi JOIN :#esoteric < 1269847832 0 :pineapple!~pineapple@cpc3-aztw11-0-0-cust24.aztw.cable.virginmedia.com JOIN :#esoteric < 1269847832 0 :yiyus!1242712427@je.je.je JOIN :#esoteric < 1269847832 0 :Deewiant!~deewiant@kekkonen.cs.hut.fi JOIN :#esoteric < 1269847832 0 :ineiros!~itniemin@james.ics.hut.fi JOIN :#esoteric < 1269847832 0 :sebbu!~sebbu@ADijon-152-1-30-184.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1269847832 0 :mtve!~mtve@65.98.99.53 JOIN :#esoteric < 1269847832 0 :werdan7_!~w7@freenode/staff/wikimedia.werdan7 JOIN :#esoteric < 1269847832 0 :lifthrasiir!M58WNbag@haje12.kaist.ac.kr JOIN :#esoteric < 1269847832 0 :uorygl!~Warrigal@rrcs-70-63-156-144.midsouth.biz.rr.com JOIN :#esoteric < 1269847832 0 :Leonidas!~Leonidas@unaffiliated/leonidas JOIN :#esoteric < 1269847832 0 :SimonRC!~sc@fof.durge.org JOIN :#esoteric < 1269847832 0 :AnMaster!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1269847832 0 :sshc!~sshc@unaffiliated/sshc JOIN :#esoteric < 1269847832 0 :mycroftiv!~ircguy@h69-128-47-242.mdsnwi.dedicated.static.tds.net JOIN :#esoteric < 1269847832 0 :Quadrescence!~quad@unaffiliated/quadrescence JOIN :#esoteric < 1269847832 0 :pikhq!~pikhq@75-106-123-198.cust.wildblue.net JOIN :#esoteric < 1269847832 0 :wareya!~wareya@cpe-74-70-140-214.nycap.res.rr.com JOIN :#esoteric < 1269847832 0 :EgoBot!~EgoBot@codu.xen.prgmr.com JOIN :#esoteric < 1269847832 0 :HackEgo!~HackEgo@codu.xen.prgmr.com JOIN :#esoteric < 1269847832 0 :jix!~jix@cyb0rg.org JOIN :#esoteric < 1269847832 0 :rodgort!~rodgort@li14-39.members.linode.com JOIN :#esoteric < 1269847832 0 :chickenzilla!~chicken@olol.eu JOIN :#esoteric < 1269847832 0 :olsner!~salparot@c83-252-161-133.bredband.comhem.se JOIN :#esoteric < 1269847832 0 :Gregor!~gregor@65.183.185.22 JOIN :#esoteric < 1269847832 0 :bsmntbombdood!~gavin@97-118-247-81.hlrn.qwest.net JOIN :#esoteric < 1269847832 0 :comex!comex@c-98-210-192-54.hsd1.ca.comcast.net JOIN :#esoteric < 1269847832 0 :Ilari!~user@2002:5870:32ae::1 JOIN :#esoteric < 1269849158 0 :tombom!unknown@unknown.invalid QUIT :Quit: Leaving < 1269849599 0 :clog!unknown@unknown.invalid QUIT :ended < 1269849600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1269849625 0 :FireFly!unknown@unknown.invalid QUIT :Quit: Leaving < 1269849806 0 :jcp!unknown@unknown.invalid QUIT :Quit: I will do anything (almost) for a new router. < 1269852002 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Darwinia isn't a programming game < 1269854635 0 :AnMaster!unknown@unknown.invalid QUIT :Read error: Operation timed out < 1269854661 0 :Ilari!unknown@unknown.invalid QUIT :Read error: Operation timed out < 1269854670 0 :AnMaster!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1269854676 0 :Ilari!~user@2002:5870:32ae::1 JOIN :#esoteric < 1269856777 0 :lereah_!~lereah@nanpc301.in2p3.fr JOIN :#esoteric < 1269857109 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1269857820 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : I wonder how one might turn /// into a language capable of arbitrary I/O behavior. < 1269857852 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :um, Itflabijtslwi is linked right there on the Slashes page... < 1269857913 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(sp) < 1269858141 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : Let's say that | is an input token and running it causes a character of input to be stuck at the end of the program, followed by | < 1269858193 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think this will be harder to use, you would essentially _have_ to match all character possibilities to do anything with it < 1269858250 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :because you cannot substitute on just | without ruining all future iterations < 1269858308 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :btw yes, /// is great :) < 1269861600 0 :oerjan!unknown@unknown.invalid QUIT :Quit: leaving < 1269862000 0 :cheater3!unknown@unknown.invalid NICK :cheater < 1269867490 0 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1269868267 0 :cheater2!~cheater@ip-80-226-13-73.vodafone-net.de JOIN :#esoteric < 1269868381 0 :cheater!unknown@unknown.invalid QUIT :Ping timeout: 264 seconds < 1269872952 0 :MigoMipo!~migomipo@84-217-2-7.tn.glocalnet.net JOIN :#esoteric < 1269873497 0 :MizardX!~MizardX@unaffiliated/mizardx JOIN :#esoteric < 1269874358 0 :hiato!~fdulu@41.132.216.79 JOIN :#esoteric < 1269875355 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1269876481 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1269877181 0 :adam_d!~Adam@aath39.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1269877493 0 :charlls!~charlls@201.226.222.130 JOIN :#esoteric < 1269878085 0 :MizardX!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1269878458 0 :MizardX!~MizardX@unaffiliated/mizardx JOIN :#esoteric < 1269880134 0 :augur!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1269881984 0 :lereah_!unknown@unknown.invalid QUIT :Quit: Leaving < 1269882235 0 :jcp!~jw@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1269882746 0 :hiato!unknown@unknown.invalid QUIT :Quit: underflow < 1269884629 0 :kar8nga!~kar8nga@91.35.72-86.rev.gaoland.net JOIN :#esoteric < 1269884930 0 :tombom!tombom@wikipedia/Tombomp JOIN :#esoteric < 1269885168 0 :dev_squid!~dev_squid@cpe-075-182-022-108.sc.res.rr.com JOIN :#esoteric < 1269885174 0 :dev_squid!unknown@unknown.invalid PRIVMSG #esoteric :Hey guys. < 1269885198 0 :dev_squid!unknown@unknown.invalid PRIVMSG #esoteric :Hey, I have a really neat idea for an esolang. Just wanted to see what you guys thought of it. < 1269885337 0 :adam_d!unknown@unknown.invalid QUIT :Ping timeout: 252 seconds < 1269885362 0 :dev_squid!unknown@unknown.invalid PRIVMSG #esoteric :What about an asm-esque language that runs on a hypothetical stack machine which uses a Harvard architecture; the unique thing about it is that both code -and- data space is a stack, and code can be treated just like stack data. I was thinking about having a conditional swap which would allow you to create pretty neat conditional loops. < 1269885394 0 :dev_squid!unknown@unknown.invalid PRIVMSG #esoteric :I think it's leetsauce...but that's just me. :) < 1269885427 0 :charlls!unknown@unknown.invalid PRIVMSG #esoteric :something neat would be adding unit testing into the language < 1269885469 0 :charlls!unknown@unknown.invalid PRIVMSG #esoteric :for example, a class can extends some class, implement some interface, or *support* some functionality which is in itself a testing declaration < 1269885512 0 :charlls!unknown@unknown.invalid PRIVMSG #esoteric :something like class Service implements iService supports Scalable, ThreadSafe < 1269885536 0 :charlls!unknown@unknown.invalid PRIVMSG #esoteric :where Scalable is an abstract test case declaration < 1269885560 0 :charlls!unknown@unknown.invalid PRIVMSG #esoteric :but defines explicit tests to be made that certify that certain class supports it < 1269885581 0 :Gracenotes!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1269886001 0 :dev_squid!unknown@unknown.invalid PRIVMSG #esoteric :o_O ? < 1269886077 0 :charlesq__!~charlls@201.226.222.130 JOIN :#esoteric < 1269886262 0 :charlls!unknown@unknown.invalid QUIT :Ping timeout: 258 seconds < 1269886640 0 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1269887255 0 :charlls!~charlls@201.226.222.130 JOIN :#esoteric < 1269887480 0 :charlesq__!unknown@unknown.invalid QUIT :Ping timeout: 258 seconds < 1269889082 0 :Asztal!~asztal@host86-156-103-118.range86-156.btcentralplus.com JOIN :#esoteric < 1269891877 0 :kar8nga!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1269892051 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1269892235 0 :charlesq__!~charlls@201.226.222.130 JOIN :#esoteric < 1269892308 0 :charlls!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1269892365 0 :ais523!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269892371 0 :charlesq__!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1269893258 0 :sebbu2!~sebbu@ADijon-152-1-14-9.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1269893348 0 :sebbu!unknown@unknown.invalid QUIT :Ping timeout: 258 seconds < 1269893349 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1269893883 0 :fizzie!unknown@unknown.invalid QUIT :Quit: Coyote finally caught me < 1269893972 0 :pikhq!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1269893993 0 :pikhq!~pikhq@75-106-123-198.cust.wildblue.net JOIN :#esoteric < 1269894657 0 :atrapado!~roper@46.188.116.91.dynamic.mundo-r.com JOIN :#esoteric < 1269894883 0 :adam_d!~Adam@aast43.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1269895086 0 :charlls!~charlls@201.226.222.130 JOIN :#esoteric < 1269895343 0 :sebbu2!~sebbu@ADijon-152-1-25-74.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1269895404 0 :jcp!unknown@unknown.invalid QUIT :Quit: I will do anything (almost) for a new router. < 1269895453 0 :sebbu!unknown@unknown.invalid QUIT :Ping timeout: 264 seconds < 1269895691 0 :sebbu2!unknown@unknown.invalid QUIT :Ping timeout: 258 seconds < 1269895745 0 :sebbu!~sebbu@ADijon-152-1-62-98.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1269895944 0 :sebbu2!~sebbu@ADijon-152-1-38-182.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1269895960 0 :Oranjer!~HP_Admini@adsl-71-7-92.cae.bellsouth.net JOIN :#esoteric < 1269896013 0 :sebbu!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1269896013 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1269896342 0 :isch!~isch@p5DD4957A.dip0.t-ipconnect.de JOIN :#esoteric < 1269896391 0 :isch!unknown@unknown.invalid PART #esoteric :? < 1269898258 0 :fizzie!~fis@2001:1bc8:102:587b:230:18ff:fea9:6f01 JOIN :#esoteric < 1269899130 0 :adam_d!unknown@unknown.invalid QUIT :Ping timeout: 245 seconds < 1269899327 0 :cheater2!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1269899442 0 :cheater2!~cheater@ip-80-226-13-231.vodafone-net.de JOIN :#esoteric < 1269900482 0 :MigoMipo!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269901729 0 :tombom!unknown@unknown.invalid QUIT :Quit: Leaving < 1269904709 0 :s_h!~s_h@aaid208.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1269904736 0 :s_h!unknown@unknown.invalid PART #esoteric :? < 1269905130 0 :charlls!unknown@unknown.invalid QUIT :Quit: Saliendo < 1269906554 0 :sshc!unknown@unknown.invalid QUIT :Quit: leaving < 1269906759 0 :FireFly!unknown@unknown.invalid QUIT :Quit: Leaving < 1269906980 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote host closed the connection