< 1262217746 0 :augur!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1262217763 0 :augur!n=augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1262218084 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, I do know he made several others < 1262218086 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :just not piet < 1262218143 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1262218184 0 :soupdragon!n=somebody@unaffiliated/fax JOIN :#esoteric < 1262218204 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :http://dangermouse.net/esoteric/bit.html <-- heheh < 1262218771 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :http://esolangs.org/wiki/Whenever <-- I wonder if it is TC. < 1262218839 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I think so < 1262218897 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :coppro, I would say "probably, except I can't see how to do infinite memory" < 1262219042 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :1 again(condition) -1 < 1262219069 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :N(1) is a value with infinite possible values < 1262219082 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :and the program can be terminated by making the condition false < 1262219105 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm true < 1262222080 0 :anmaster_l!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1262223378 0 :Sgeo_!n=Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1262223448 0 :Pthing!n=pthing@cpc11-pres4-0-0-cust168.pres.cable.virginmedia.com JOIN :#esoteric < 1262224123 0 :ehirdiphone!n=ehirdiph@91.105.122.30 JOIN :#esoteric < 1262224141 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :http://underhanded.xcott.com/?p=18 It's back, bitches! < 1262224326 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :So it is. < 1262224352 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1262224423 0 :lament!n=lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1262224476 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :The sky is made of donkeys. < 1262224520 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. Contemplating how best to do that... < 1262224676 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote closed the connection < 1262225114 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Write the program correctly with dependent types to make sure it's correct. Also, use type system metaprogramming to generate repetitive parts of the code. Introduce a mistake into the types that causes the metaprogrammer to output the wrong code. < 1262225118 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Obviously. < 1262225241 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1262225381 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :I wonder how feasible getting X clients to draw in the right pixels over an Emacs frame is. < 1262225409 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Also, does X let you focus two windows at once...? < 1262225444 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I seem to recall that X allows you to embed a client into another client... < 1262225487 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Yes, but that'd involve hacking Emacs to let buffers be X embedders instead of text buffers. < 1262225504 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :And I would rather be buggered by a goat. < 1262225746 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: If I make an Emacs X11 WM you can run even less software under X! XD < 1262225779 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Ratpoison? Pah! Can ratpoison play tetris? It is an inferior imitation of Emacs! < 1262225816 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Switching to buffers in the same way as windows in one step would be sweet, actually. < 1262225833 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :I think I might even use the wm. < 1262225901 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :If you used one of Emacs' terminals and ERC you could run just Emacs(with wm)+conkeror without missing out on anything. < 1262225945 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Could even hook Conkeror up to the Emacs minibuffer and hide its own. XD < 1262226164 0 :ehirdiphone!unknown@unknown.invalid QUIT :"Get Colloquy for iPhone! http://mobile.colloquy.info" < 1262226386 0 :adam_d_!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1262226643 0 :MizardX!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1262227935 0 :zzo38!n=zzo38@h24-207-48-53.dlt.dccnet.com JOIN :#esoteric < 1262228022 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I played a game, called "Return to Ditch Day", in which there is a puzzle where you have to type up to sixteen characters (0-9+A-F) only on a computer (a Commandant 64), and you have to make it put output the same as the input. < 1262228044 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I eventually figured it out, each number means a command, and you have to write a quine program. < 1262228131 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :that sounds awesome < 1262228151 0 :bsmntbombdood!n=gavin@174-16-78-50.hlrn.qwest.net JOIN :#esoteric < 1262228184 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I earned 50 bonus points for doing so. It is not necessary to solve that puzzle to complete the game, but I got 50 extra-credit points, which are not added to the normal score, but is listed separately instead. < 1262228331 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :"Return to Ditch Day" is really a good computer game, you might try it one time < 1262228342 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :(I have not completed it yet) < 1262228400 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :(I have not yet won the game, but I liked the parts I have played so far) < 1262228474 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1262228528 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1262229034 0 :FireFly!unknown@unknown.invalid QUIT :"Leaving" < 1262229312 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1262229407 0 :pikhq!n=pikhq@75-106-100-139.cust.wildblue.net JOIN :#esoteric < 1262232400 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Is the introduction good? http://zzo38computer.cjb.net/icosahedral/html/main.html http://zzo38computer.cjb.net/icosahedral/icoruma/intro.irm < 1262233355 0 :ehirdiphone!n=ehirdiph@91.105.122.30 JOIN :#esoteric < 1262233367 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :http://www.informatimago.com/linux/emacs-on-user-mode-linux.html < 1262233375 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :wonder if you could use x as unit < 1262233380 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :init < 1262233402 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1262233405 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :have it run a terminal or w/e with the actual inif < 1262233411 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Init < 1262233418 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :would be a smoother boot < 1262233666 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I don't know of any reason why X *couldn't* be init, actually. < 1262233783 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Well... If x goes down the kernel will panic. < 1262233799 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :So better write a wrapper script. < 1262233836 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Runs X in a loop, if it fails to start at some point wait a minute before trying again. < 1262233847 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Or perhaps wait for a signal to continue. < 1262233861 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Or just accept the panic. < 1262233865 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1262233868 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :No. :P < 1262233872 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :SCREW STABILItY. < 1262233906 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: X as init, running Emacs running COMINT or w/e running the init scripts. < 1262233916 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1262233922 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Then it runs login. In COMINT. < 1262233934 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Actually. Not login. < 1262233936 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION panics
< 1262233938 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :M-x login < 1262233953 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Which is like EmacsDM! < 1262233987 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Fill in your details, hit RET, and Emacs disappears. Then YOUR emacs appears. < 1262234007 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Running my emacs wm, naturally. < 1262234025 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Voilà: the entirely X11Emacs-based Linux system. < 1262234101 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :I am a genius. < 1262234129 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Wonder how hard it is to get emacs to ignore all non-editing commands. < 1262234145 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Don't want people messing with EmacsDM. < 1262234534 0 :Oranjer!n=HP_Admin@adsl-71-18-51.cae.bellsouth.net JOIN :#esoteric < 1262234540 0 :Oranjer!unknown@unknown.invalid PRIVMSG #esoteric :hmmph < 1262234551 0 :Ienpw_III!n=Ienpw_II@CPE0013f7ac027c-CM0013f7ac0278.cpe.net.cable.rogers.com JOIN :#esoteric < 1262234558 0 :Ienpw_III!unknown@unknown.invalid PRIVMSG #esoteric :oh, hey coppro < 1262234576 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1262234605 0 :Oranjer!unknown@unknown.invalid PRIVMSG #esoteric :hey < 1262234737 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :http://www.haxney.org/2009/08/its-alive.html hmm. Prior art. < 1262235591 0 :ehirdiphone!unknown@unknown.invalid QUIT :"Get Colloquy for iPhone! http://mobile.colloquy.info" < 1262235838 0 :Gracenotes!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1262236002 0 :Gracenotes!n=person@wikipedia/Gracenotes JOIN :#esoteric < 1262236272 0 :zzo38!unknown@unknown.invalid QUIT :Remote closed the connection < 1262236281 0 :Ienpw_III!unknown@unknown.invalid PART #esoteric :? < 1262237164 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :hahaha... man, that's a bug in the Criminal code < 1262237168 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :s/c/C/ < 1262237221 0 :Oranjer!unknown@unknown.invalid PRIVMSG #esoteric :what < 1262237348 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :There's a complex set of exceptions for when sexual activity with minors is okay, but this doesn't apply to indecent exposure to minors < 1262237376 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oh, wrong channel < 1262239179 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :Did ehird see what I wrote? < 1262239184 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :Doesn't matter now, I need sleep < 1262239245 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :No indication that he saw anything < 1262239381 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ehird will see what yo uwrote < 1262239384 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :he's a logreader < 1262239414 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :coppro, I checked the log, doesn't look like he said anything related to what I wrote < 1262239422 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :Then again, I was only checking for my own name, so < 1262239423 0 :Oranjer!unknown@unknown.invalid PRIVMSG #esoteric :hey ehird you're a big stinking patooe < 1262239428 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :he was on his iphone < 1262239431 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :so he wouldn't have read it form there < 1262239433 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :*from < 1262239434 0 :Oranjer!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if he will see that < 1262239434 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :Oh < 1262239451 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :Good night all < 1262239468 0 :Oranjer!unknown@unknown.invalid PRIVMSG #esoteric :good night < 1262240844 0 :Sgeo_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1262240855 0 :ehirdiphone!n=ehirdiph@91.105.122.30 JOIN :#esoteric < 1262240930 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :coppro: I logread on my iPhone. < 1262240934 0 :Oranjer!unknown@unknown.invalid PRIVMSG #esoteric :oh noes < 1262240974 0 :ehirdiphone!unknown@unknown.invalid QUIT :Client Quit < 1262240996 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1262241007 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :well, there you go < 1262241527 0 :HackEgo!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1262241778 0 :EgoBot!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1262241933 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Is it sad that one of the things I look forward to most with the New Year is a webcomic update? < 1262242635 0 :Oranjer!unknown@unknown.invalid PART #esoteric :? < 1262242916 0 :ehirdiphone!n=ehirdiph@91.105.122.30 JOIN :#esoteric < 1262242965 0 :ehirdiphone!unknown@unknown.invalid QUIT :Client Quit < 1262244865 0 :coppro!unknown@unknown.invalid QUIT :Remote closed the connection < 1262244892 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1262245194 0 :ais523!n=ais523@unaffiliated/ais523 JOIN :#esoteric < 1262246399 0 :clog!unknown@unknown.invalid QUIT :ended < 1262246400 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1262247051 0 :ehirdiphone!n=ehirdiph@91.105.122.30 JOIN :#esoteric < 1262247056 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :progenitorial teacups < 1262247157 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1262247176 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :totally. < 1262247218 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :my mind buzzes too much, i need a stop thinking button < 1262247234 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you could try sleeping < 1262247252 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :want a problem to solve < 1262247253 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :? < 1262247256 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :or do something that requires a lot of concentration, say certain computer games < 1262247257 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :logic < 1262247270 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :but sleep makes me unconscious < 1262247286 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :so I don't experience buzzinglessness < 1262247312 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: doubtful I'll be any good. Quite tired but go on < 1262247344 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :Five girls each make two statemens, one true one false < 1262247369 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :* Betty: ``Kitty was second in the examination. I was only third.'' < 1262247369 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :* Ethel: ``You'll be glad to hear that I was on top. Joan was second.'' < 1262247369 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :* Joan: ``I was third, and poor old Ethel was bottom.'' < 1262247369 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :* Kitty: ``I came out second. Mary was only fourth.'' < 1262247369 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :* Mary: ``I was fourth. Top place was taken by Betty.'' < 1262247375 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :what order did they really come in? < 1262247422 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :is solving it with code permissable < 1262247427 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :of course < 1262247464 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :great, so the exercise is "remember basic prolog syntax" < 1262247477 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :you're not allowed to solve it with code < 1262247494 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :also the obvious prolog program doesn't work < 1262247506 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :which in this case is equivalent to "remember the syntax for or" < 1262247513 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :yeah that doesn't work < 1262247530 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: you just said the opposite < 1262247538 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Yes code no code < 1262247544 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :be consistent < 1262247546 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :yeah I changed my mind < 1262247552 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :because of great, so the exercise is "remember basic prolog syntax" < 1262247584 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: how come, it's just a set of constraints (p | q) < 1262247600 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :presumably there is only one right answer < 1262247620 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I mean, if you interpret the first rule as like, (Kitty = 2, Betty \= 3);(Kitty \= 2, Betty = 3) < 1262247626 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :so why wouldn't prolog work? < 1262247651 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :that wont work alone, you'd have to start with permutation(Girls,[1,2,3,4,5]) < 1262247658 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :err or just: < 1262247686 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :but that algorithm is bad because you can't interleave the generator < 1262247686 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :(kitty=2) XOR (betty=3) < 1262247704 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :shrugg < 1262247728 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :this is not making me think *less* < 1262247746 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric ::p < 1262247768 0 :ehirdiphone!unknown@unknown.invalid QUIT :Remote closed the connection < 1262247782 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :three-valued logic in Prolog is annoying < 1262248727 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I can imagine < 1262248740 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :i don't think it's avoidable ? < 1262248750 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :although I am not sure what it means < 1262249010 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's when you have true/false/unknown as logic values < 1262249028 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :(or in the case of a data bus true/false/I've been told to shut up so other people can talk) < 1262249094 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :prologs not really about values though more about provability I think < 1262249283 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1262249290 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but, sometimes you want to write programs in it :) < 1262249885 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :http://www.pasteit4me.com/94033 < 1262249888 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :that's my solution < 1262249903 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :sqlite> .read girls.sql < 1262249903 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :kitty|joan|betty|mary|ethel < 1262249924 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :would be better if SQL had XOR.. < 1262250270 0 :ehirdiphone!n=ehirdiph@91.105.122.30 JOIN :#esoteric < 1262250290 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: using views is so cheating for SQL esolanging < 1262250322 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :IMO, you can use any feature of a language not designed for programming if trying to program in it < 1262250354 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :but views are basically functions sort of < 1262250364 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :you can just paste the definiton of the view to get rid of it... < 1262250366 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :takes away all the relational fun < 1262250378 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: shaddup :P < 1262250383 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :btw < 1262250390 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :can you actually use views as functions? < 1262250392 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I don't know how to < 1262250472 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :I may be mistaking views for sth else. Tired. Relink your paste < 1262250473 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :? < 1262250483 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :See if I read it right < 1262250497 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :http://www.pasteit4me.com/94033 < 1262250611 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :CREATE TABLE girls ( girl string ); < 1262250614 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Erm < 1262250623 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Then the DELETE < 1262250627 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Superfluous < 1262250690 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :wait, you're trying to solve the problem in /SQL/? < 1262250702 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :He DID solve it in SQL < 1262250705 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1262250709 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :and prolog http://www.pasteit4me.com/94034 < 1262250713 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what a great choice of language < 1262250791 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :what other languaes should I do it in? < 1262250812 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :ais523: prolog is just TC relational < 1262250825 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I did it in a really stupid way with CHR too < 1262250831 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehirdiphone: what do you mean? < 1262250831 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :and SQL is just brutalised relational < 1262250845 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oh, I get it now < 1262250845 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I mean it literally < 1262250855 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehirdiphone: I first had problems parsing your sentence < 1262250864 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Prolog literally is a relational DB < 1262250867 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :statement(first(G)) ==> statement(not(second(G))), statement(not(third(G))), statement(not(fourth(G))), statement(not(fifth(G))). < 1262250868 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :It's just TC < 1262250872 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :rules like that < 1262250878 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :and statement(P), statement(not(P)) <=> false. < 1262250878 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yep, you mean it works relationally, modified/enhanced so that it's TC < 1262250886 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehirdiphone: what's your opinion on cut? < 1262250889 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :not very elegant < 1262250899 0 :asiekierka!i=asiekier@078088180066.elblag.vectranet.pl JOIN :#esoteric < 1262250903 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1262250904 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :ais523: dunno < 1262250904 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I think it's nicely eso < 1262250906 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hi asiekierka < 1262250925 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :ais523: is there an elegant theoretical model with cut < 1262250938 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :if not, it's a hack ;) < 1262250943 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :not sure < 1262250952 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :without cut it's monadic < 1262250957 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :there is a common-way-to-implement which probably has a theoretical model behind it < 1262250972 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ofc it's more elegant without, but with it's nicely interesting < 1262250994 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :(incidentally, Borland Turbo Prolog had "nonlocal cut"; there was a built-in predicate that did a cut /somewhere else/ in your program) < 1262250997 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :both stack and stream implementations have a (relatively) simple implementation of cut < 1262250999 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :(which I think is truly inspired) < 1262251014 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :it's a very operational thing though < 1262251060 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :if nonlocal cut is prologs come from < 1262251068 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :What's goto? < 1262251177 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :I guess just cut < 1262251191 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I don't see any link < 1262251191 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :ooh < 1262251201 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :What about strongly typed prolog? < 1262251226 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :what about it?? < 1262251235 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :I'm inventing it. < 1262251240 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Borland Turbo Prolog was strongly typed, but very inferior < 1262251242 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1262251245 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :in that it didn't let you assert predicates at al < 1262251247 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :*all < 1262251250 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and thus missed out on half the fun < 1262251253 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :you are not inventing it < 1262251270 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Borland Turbo X is usually inferior :( < 1262251274 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :(in case you wanted to be able to do that, the compiler shipped with a Prolog interp written in Turbo Prolog, and told you to use that) < 1262251276 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :coppro: agreed < 1262251290 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1262251294 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :hmm... we should make an esolang < 1262251301 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :how ? < 1262251304 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :based on Borland's compilers < 1262251308 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :hahaha < 1262251309 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :coppro: well, it tended to be inferior in language terms, but faster < 1262251327 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm... try imagining something that's similar to MySQL but actually achieves its design goals < 1262251331 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's that sort of concept < 1262251346 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION tries to get interesting strong prolog types
< 1262251353 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :as in actually useful ones < 1262251353 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :interesting ?? < 1262251356 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :tell < 1262251360 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :also, clang is getting spell checking < 1262251361 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :it's awesome < 1262251365 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :well < 1262251374 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :btw you know lambda prolog ? < 1262251394 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :mortal(mydog). mortal(X):-man(X). < 1262251415 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :socrates < 1262251415 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :mortal : ?atom <--- BORING TYPE < 1262251424 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :my dog. < 1262251468 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :begat(god,adam). begat(adam,eve). begat : ?atom,atom < 1262251473 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :BOORING < 1262251494 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :basically just the number of params, those < 1262251518 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :YAWN < 1262251556 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :PRECISELY < 1262251573 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1262251578 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :you said /tries/ < 1262251585 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :So how can we get interesting types? As in what do we actually include in the types < 1262251589 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :there's lots of types in prolog already < 1262251600 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :and lambda prolog is strongly typed < 1262251621 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :gimme example lambda prolog type < 1262251622 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :like CHR you can define algebraic types, which helps the compiler < 1262251652 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :type succ (((i -> i) -> i -> i) -> ((i -> i) -> i -> i)) -> o. < 1262251659 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :succ (N\F\X\ (N F (F X))). < 1262251680 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :boring < 1262251692 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :oh well < 1262251704 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :type flatten list (list A) -> list A -> o. < 1262251717 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :okokokokokoko < 1262251727 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :o. < 1262251754 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :type curry tm -> tm -> o. < 1262251755 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :curry (fix F \ (abs X \ (A (fst X) (snd X) (prp X) < 1262251755 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric : (R \ S \ (app F (pr R S)))))) < 1262251755 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric : (fix F \ (abs Y \ (abs Z \ (A Y Z truth < 1262251755 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric : (R \ S \ (app (app F R) S)))))). < 1262251764 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :that's a cool one < 1262251768 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :in lambda prolog < 1262251779 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :are the lambdas like, first class < 1262251783 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1262251797 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :it's got higher order unification < 1262251800 0 :Pthing!unknown@unknown.invalid QUIT :Remote closed the connection < 1262251815 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :do you have compose(Lam,Lam) f.e. < 1262251846 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :because compose((lambda),X). would be... 'interesting' < 1262251904 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :hmm I wonder what you'd call the operation of making two definitions in prolog < 1262251909 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :That I'd < 1262251910 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Is < 1262251921 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric ::- chr_type tree ---> empty ; leaf(int) ; branch(tree, tree). < 1262251926 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :that's an algebraic type in CHR < 1262251931 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric ::- chr_type list(T) ---> [] ; [T | list(T)]. < 1262251944 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :foo((\socrates. true),(\X. man(X)) < 1262251944 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric ::- chr_type color ---> red ; blue ; yellow ; green. < 1262251961 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :like I guess it's just fall through on failure < 1262251970 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :but still an interesting hof < 1262252046 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :and you can mode +, -, ? constaints < 1262252056 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :(or/as well as type them) < 1262252142 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :is lambda prolog curried? < 1262252145 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1262252152 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :interesting < 1262252158 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :it's elite < 1262252161 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :wait < 1262252171 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :That means that it has return values < 1262252171 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :higher order unification is to sick < 1262252179 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Clearly it should instead be < 1262252206 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :foo(blah,P). P(arg2,Q). Q(arg3). < 1262252206 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I can't understand to program with it < 1262252209 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1262252217 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :hmm wait < 1262252229 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :What's that with --> stuff < 1262252236 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :...... < 1262252246 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :that's a different language < 1262252267 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :No shut < 1262252269 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Shit < 1262252273 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :reminds me of Reddit talking about StackOverflow talking about the --> operator in C++ < 1262252442 0 :ehirdiphone!unknown@unknown.invalid QUIT :"Get Colloquy for iPhone! http://mobile.colloquy.info" < 1262252512 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :ehird, read it like ::= < 1262252813 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :oh my < 1262252816 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :i am making a pootube yoop < 1262253195 0 :lament!unknown@unknown.invalid PART #esoteric :? < 1262254693 0 :asiekierka!unknown@unknown.invalid NICK :asiekierka-39 < 1262254838 0 :MigoMipo!n=MigoMipo@84-217-5-228.tn.glocalnet.net JOIN :#esoteric < 1262256461 0 :MigoMipo!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1262256627 0 :leonid_!n=leonid_@116.39.191.150 JOIN :#esoteric < 1262256698 0 :adam_d_!n=Adam@client-82-13-16-131.brhm.adsl.virginmedia.com JOIN :#esoteric < 1262256796 0 :MizardX!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1262256833 0 :leonid_!unknown@unknown.invalid PART #esoteric :? < 1262257265 0 :jpc!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1262258469 0 :Pthing!n=pthing@cpc11-pres4-0-0-cust168.pres.cable.virginmedia.com JOIN :#esoteric < 1262259678 0 :adam_d_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1262260101 0 :adam_d_!n=Adam@client-82-13-16-131.brhm.adsl.virginmedia.com JOIN :#esoteric < 1262261331 0 :sebbu!n=sebbu@ADijon-152-1-59-226.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1262261419 0 :pikhq_!n=pikhq@75-106-100-139.cust.wildblue.net JOIN :#esoteric < 1262261478 0 :pikhq!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262261478 0 :augur!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262261478 0 :Slereah!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262261478 0 :mycroftiv!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262261478 0 :puzzlet!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262261479 0 :lifthrasiir!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262261479 0 :bsmntbombdood!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262261479 0 :sebbu2!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262261479 0 :mtve!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262261485 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :boolean operators are just tables from a{0,1}^2 < 1262261521 0 :pikhq!n=pikhq@75-106-100-139.cust.wildblue.net JOIN :#esoteric < 1262261521 0 :bsmntbombdood!n=gavin@174-16-78-50.hlrn.qwest.net JOIN :#esoteric < 1262261521 0 :augur!n=augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1262261521 0 :Slereah!n=Slereah@ANantes-259-1-34-102.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1262261521 0 :mycroftiv!n=infernus@h69-128-47-243.mdsnwi.dedicated.static.tds.net JOIN :#esoteric < 1262261521 0 :puzzlet!n=puzzlet@wikipedia/PuzzletChung JOIN :#esoteric < 1262261521 0 :sebbu2!n=sebbu@ADijon-152-1-59-226.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1262261521 0 :lifthrasiir!i=lllg5c3A@haje12.kaist.ac.kr JOIN :#esoteric < 1262261521 0 :mtve!n=nnnnnmtv@65.98.99.53 JOIN :#esoteric < 1262262169 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hi ais523 < 1262262177 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1262262186 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, will you be around during midnight? If not I guess I should say happy new year in advance < 1262262207 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :probably not, and happy new year back again < 1262262229 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :ais523 what do you think of SQL < 1262262235 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :hi AnMaster < 1262262240 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :what about you? < 1262262264 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: I think it's been standardised a bit awkwardly, but that it's a decent language for accessing relational databases, and not really good for anything else < 1262262289 0 :pikhq!unknown@unknown.invalid QUIT :No route to host < 1262262378 0 :sebbu2!unknown@unknown.invalid QUIT :No route to host < 1262262430 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, hm? < 1262262454 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, SQL: I don't know of any standard following implementation < 1262262472 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :there probably is one, iirc Mimer SQL manages fairly well < 1262262480 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but even it is not 100% standard following iric < 1262262482 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :iirc* < 1262262503 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(reason I know about the wierd software called Mimer SQL is that it was used in a database course at university) < 1262262533 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(I much prefer postgresql if I have to use one) < 1262262554 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also it is fairly verbse < 1262262557 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :verbose < 1262262558 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :* < 1262262561 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :the language SQL I mean < 1262262664 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :SQL syntax is based on COBOL < 1262262693 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, is that really true? As in official? < 1262262705 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :it's an observation < 1262262710 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well okay < 1262262762 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :http://www.sqlite.org/images/syntax/create-table-stmt.gif < 1262262773 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :http://www.sqlite.org/images/syntax/select-core.gif < 1262262777 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :http://www.sqlite.org/images/syntax/single-source.gif < 1262262796 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :quite nice diagrams < 1262262802 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I always liked those SQL syntax "flow-chart" sort of thingies < 1262262811 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :never seen it used for any language but SQL < 1262263855 0 :BeholdMyGlory!n=behold@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1262263887 0 :anmaster_l!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1262265147 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1262265337 0 :FireFly!unknown@unknown.invalid QUIT :Client Quit < 1262265357 0 :Asztal!n=asztal@host86-156-98-222.range86-156.btcentralplus.com JOIN :#esoteric < 1262265488 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1262267683 0 :FireFly!unknown@unknown.invalid QUIT :Connection reset by peer < 1262267847 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1262268276 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :is it possible to implment RLE with SQL? < 1262268298 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :run-length encoding? < 1262268306 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :yeah, I can't figure out how to do it < 1262271053 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has figured it out and recommends this aas a fun challenge
< 1262271080 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :to anyone that wants to write SQL :2 < 1262271102 0 :Slereah_!n=Slereah@ANantes-259-1-57-224.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1262271114 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, standard SQL? or extensions? < 1262271121 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I don't know < 1262271130 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, using procedural SQL? < 1262271137 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :no < 1262271149 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, how did you do it them < 1262271150 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :then* < 1262271157 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I'm not going to do it myself < 1262271181 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I'll paste the code somewhere when it's done < 1262271193 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1262271206 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, using temporary tables? Which DBMS are you using btw? < 1262271230 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I was using sqlite but now I'm going to try DB2 Express because I heard that's better < 1262271240 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I have to use one temporary table < 1262271246 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :well actually I don't < 1262271270 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :It can be all one select statement: But I use the temporary table to overwrite the starting sequence so you can run it in a loop (by reloading the file over and over) < 1262271516 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :except installing DB2 is way beyond me at this point < 1262271716 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1262273211 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :http://rosettacode.org/wiki/Look-and-say_sequence#SQL < 1262275138 0 :Pthing!unknown@unknown.invalid QUIT :Remote closed the connection < 1262275292 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, I would use postgresql < 1262275364 0 :asiekierka-39!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1262275367 0 :asiekierka-39!i=asiekier@078088180066.elblag.vectranet.pl JOIN :#esoteric < 1262276719 0 :soupdragon!unknown@unknown.invalid QUIT :"Leaving" < 1262277299 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote closed the connection < 1262278061 0 :jpc!n=jw@unaffiliated/javawizard2539 JOIN :#esoteric < 1262278139 0 :Sgeo!n=Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1262279639 0 :adam_d__!n=Adam@client-82-13-16-131.brhm.adsl.virginmedia.com JOIN :#esoteric < 1262280217 0 :FireFly!unknown@unknown.invalid QUIT :Connection timed out < 1262280850 0 :adam_d_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1262281730 0 :adam_d__!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1262281984 0 :anmaster_l!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1262283008 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :happy australian mailman reminders day! < 1262283380 0 :pikhq_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1262285736 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, heh < 1262286730 0 :anmaster_l!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1262286797 0 :lament!n=lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1262288797 0 :jpc!unknown@unknown.invalid PRIVMSG #esoteric :http://esolangs.org/wiki/Gibberish <--- new esolang I just started. Anyone have any thoughts? < 1262288879 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :looks like gibberish < 1262288883 0 :jpc!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1262290005 0 :asiekierka-39!unknown@unknown.invalid NICK :asiekierka < 1262290052 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :i'm checking it < 1262290334 0 :BeholdMyGlory!n=behold@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1262290612 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1262290730 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1262292006 0 :jpc!unknown@unknown.invalid PRIVMSG #esoteric :oh, and I have an interpreter for it that I need to post < 1262292155 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262292155 0 :lament!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262292156 0 :lifthrasiir!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262292156 0 :mycroftiv!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262292156 0 :augur!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262292156 0 :puzzlet!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262292156 0 :Slereah_!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262292156 0 :mtve!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262292156 0 :bsmntbombdood!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1262292679 0 :mycroftiv!n=infernus@h69-128-47-243.mdsnwi.dedicated.static.tds.net JOIN :#esoteric < 1262292747 0 :ais523!unknown@unknown.invalid QUIT :Remote closed the connection < 1262292822 0 :Slereah_!n=Slereah@ANantes-259-1-57-224.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1262292822 0 :bsmntbombdood!n=gavin@174-16-78-50.hlrn.qwest.net JOIN :#esoteric < 1262292822 0 :mtve!n=nnnnnmtv@65.98.99.53 JOIN :#esoteric < 1262292939 0 :BeholdMyGlory!n=behold@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1262292939 0 :lament!n=lament@S0106002312fa554a.vc.shawcable.net JOIN :#esoteric < 1262292939 0 :augur!n=augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1262292939 0 :puzzlet!n=puzzlet@wikipedia/PuzzletChung JOIN :#esoteric < 1262292939 0 :lifthrasiir!i=lllg5c3A@haje12.kaist.ac.kr JOIN :#esoteric < 1262295275 0 :coppro!unknown@unknown.invalid QUIT :Remote closed the connection < 1262295780 0 :lament!unknown@unknown.invalid QUIT : < 1262298238 0 :asiekierka!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1262299908 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :happy new year (in 9 minutes, but will be away with family then) < 1262300230 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Fuck this year, I'm leaving it and never coming back! < 1262301579 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Slereah_, haha < 1262301583 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :happy new year < 1262302309 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Happy new year! < 1262303101 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :FireFly, indeed < 1262303113 0 :AnMaster!unknown@unknown.invalid TOPIC #esoteric :hubert who? http://tunes.org/~nef/logs/esoteric/?C=M;O=D | Happy new year < 1262303579 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1262303767 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION will hit the big 1262304000 in just a few minutes
< 1262303785 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :or new year in the One True Timezone < 1262303815 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1262303844 0 :ehirdiphone!n=ehirdiph@91.105.68.74 JOIN :#esoteric < 1262303851 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :So in five minutes < 1262303862 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehirdiphone, happy new year 57 minutes ago! < 1262303865 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :It will be the first year of... The... < 1262303868 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Tens? < 1262303871 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1262303877 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :twenty-tens < 1262303880 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Even the noughties was a better name! < 1262303882 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehirdiphone, also not five minutes. you said that at 00:57:07 < 1262303892 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :no way you are in a timezone offset by two minutes to GMT ;P < 1262303899 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :UTC < 1262303906 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :GMT != UTC < 1262303911 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :coppro, well true < 1262303922 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :iPhone does not do ntp surprisingly enough < 1262303931 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :I WONDER WHY < 1262303939 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehirdiphone, but phones tend to set themselves after the network in some other way < 1262303950 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :perhaps < 1262303953 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :at least mine ask sometimes if I want to set the clock from the network time < 1262303959 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :then blame O2 < 1262303986 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehirdiphone, O2? An SGI computer?