< 1193529718 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I suggest you worship before the Shrine to Gregor. < 1193530313 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION 's eyes glow.
< 1193530356 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION worships to GregorR with his above question
< 1193530373 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :if you ask pikhq you will just end up with tcl syntax :) < 1193530402 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :No, I don't have suggestions :P < 1193530404 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :EVAR < 1193530410 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :=( < 1193530413 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: heh < 1193530432 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION disappears again.
< 1193530456 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: The Tcl syntax for PEBBLE is *ease of implementation*. < 1193530467 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :s/is/is\ for/ < 1193530472 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: WHat's your perfect PEBBLE syntax? < 1193530473 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1193530478 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :regardless of ease < 1193530482 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :for implenntation < 1193530525 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'd probably go for something sexpy. < 1193530541 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :wooooooo < 1193530559 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Um, s-exps are basically as easy as Tcl-style to implement < 1193530571 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: Not really. < 1193530574 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :no, because tcl parses tcl natively < 1193530580 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :My parser: [source foo.tcl] < 1193530585 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1193530601 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :wait, pebble actually parses through tcl? < 1193530604 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :euuuurgh < 1193530624 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :PEBBLE is 100% well-formed Tcl. < 1193530638 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::X < 1193530647 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ok, what's your perfect, non-hijacking syntax for pebble < 1193530647 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1193530653 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i.e. platonic ideal, with no boundries < 1193530663 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No boundaries? < 1193530673 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :depends on what you are about to say... < 1193530707 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :None; I would make PEBBLE read your mind for each bit of code. :p < 1193530717 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :syntax that actually involves syntax < 1193530721 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :in a file, on disk < 1193530723 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Tricky. < 1193530735 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Probably sexpoid, but I dunno. < 1193530751 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :A *good* syntax is fairly tricky to devise. < 1193530759 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :sexpoid = plain sexps or something more < 1193530842 0 :oerjan!unknown@unknown.invalid QUIT :"Be completed cripes" < 1193530930 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: ? < 1193530940 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1193530946 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :whihc < 1193530949 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :which < 1193530951 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1193530959 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :plain sexps? < 1193530962 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :hrr hrr not funny < 1193530980 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbom1dood: yeah, X or Y doesn't return a boolean indiscriminately in ANY reasonable language < 1193530982 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(plain sexp || something more) == 1 < 1193530985 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it returns either X or Y < 1193530991 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :nuh-huh, pikhq < 1193530998 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :english isn't reasonable < 1193531005 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(plain sexp || something more) == plain sexp IF plain sexp ELSE something more < 1193531013 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :C does that, for one < 1193531017 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :also every other reasonable language ever < 1193531104 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Abuh? < 1193531143 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Abuh what < 1193531149 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :abu graib < 1193531174 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(plain sexp || something more) returns either 1 or 0. I declare that it is 1. < 1193531180 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :no < 1193531181 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :you are wrong < 1193531186 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbom1dood: back me up here ;) < 1193531187 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :it's not C < 1193531189 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :it's english < 1193531191 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :right < 1193531198 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but in english it commonly means the same thing < 1193531204 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and programming languages - here implied by || - agree with me < 1193531210 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :and in english, "plain sexp or something else" isn't boolean < 1193531215 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :exactly < 1193531231 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't matter what esr told you < 1193531252 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :if it has esr in it - it doesn't matter, full stop < 1193531253 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1193531285 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Anyways, you meant either plain sexp or something else. . . And I'm not sure which one yet. < 1193531317 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i don't know much about pebble < 1193531333 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :give me a quick overview of the core commands and semantics will you? i'd like to dabble in it sometime < 1193531373 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :@ var ?location? < 1193531400 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's... not helpful < 1193531401 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Declare a variable. . . If you specifiy a location, that's where it will be in Brainfuck memory. < 1193531401 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1193531407 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :?? means optional right? < 1193531410 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1193531414 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1193531437 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION groans a bit at the next. . . Why the hell isn't this + and -?
< 1193531442 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :add var number < 1193531446 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :subtract var number < 1193531469 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Add or subtract, from var, number. < 1193531478 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :while var {code} < 1193531490 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :wait! stop! {...} is string right < 1193531501 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Basically. < 1193531521 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1193531522 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :in var < 1193531524 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :out var < 1193531527 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :wait wait < 1193531531 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :explain while's semantics < 1193531540 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :while(var!=0){code} < 1193531562 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i mean in brainfuck :-) < 1193531572 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :goto var[code goto var] < 1193531591 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1193531620 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :right number: just ">" number amount of times. . . < 1193531623 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :left number: same. < 1193531634 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :whats in/out var < 1193531640 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :at var: tell the compiler that the current location is var. < 1193531646 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :in var: , < 1193531648 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :out var: . < 1193531657 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1193531677 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :set var number: set var to number. < 1193531702 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :macro name {input-args} {output-args} {temp-args} {code} < 1193531718 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That'll be called as "name input-args > output-args : temp-args". < 1193531727 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :WOW okay this needs more explanation (macro) < 1193531770 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. < 1193531789 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Let's do set as a macro for demonstration. < 1193531823 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :macro set {var num} {} {} { < 1193531832 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric : while var {subtract var 1} < 1193531837 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric : add var num < 1193531838 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :} < 1193531846 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's a bad way to do set, but hehe < 1193531846 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1193531852 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so, how is that stored/called < 1193531874 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :You'd just call *that* as "set foo bar". < 1193531884 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :right < 1193531886 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i mean internally < 1193531889 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :what would set foo bar compile to < 1193531908 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Let's say you've got a variable foo at location 5. . . < 1193531932 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"set foo 5" would compile to the following (assuming we're at location 0): < 1193531939 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :>>>>>[-]+++++ < 1193531943 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ah, ok < 1193531951 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :what do output-args and temp-args do??? < 1193531964 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Allow for syntactic sugar in some of the more complex macros. < 1193531970 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :explain < 1193531986 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"addvar foo > bar : temp1" is a bit simpler to read than "addvar foo bar temp1". < 1193532001 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but what does it do < 1193532020 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Those are just more arguments. . . < 1193532048 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1193532055 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so output-args and temp-args are just normal args < 1193532062 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and the > and : just seperate them < 1193532064 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1193532075 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :addvar foo > bar : temp1 "add foo to bar using temp1 as the tmp var" < 1193532083 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :*Exactly*. < 1193532101 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :wow < 1193532103 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'm 1337 < 1193532104 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1193532128 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :There's a bit more to the language than that, but that's the core of it. < 1193532136 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :bit more = ? < 1193532146 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'm pretty sure i've seen functions in pebble too < 1193532149 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :not just mcaros < 1193532150 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Nope. < 1193532152 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Only macros. < 1193532183 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1193532209 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :macros cannot recurse correct < 1193532225 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :There's the source command, a couple of commands to make dealing with strings easier, some stuff to talk to the optimizing pass, and a *bunch* of stuff not needed unless you're trying to fiddle with the stdlib. . . < 1193532229 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Correct. < 1193532266 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :is there native multiplication? < 1193532272 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's a macro in the stdlib. < 1193532336 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1193532339 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :what is its syntac? < 1193532341 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :*syntax < 1193532353 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :mulvar a > b : temp1 temp2 < 1193532379 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it goes to b right? < 1193532387 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Right. < 1193532575 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :http://pastebin.com/m10e58490 factorial < 1193532586 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i should probably have res as an output argument < 1193532589 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but, it's a minor change < 1193532597 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :fact a b == "b = a!" < 1193532616 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :is that right? < 1193532619 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(vars default to 0 iirc) < 1193532621 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :err < 1193532623 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i don't even need tmp < 1193532638 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :rm @ tmp, s/2,3/1,2 < 1193532684 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: is that right? < 1193532749 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: i think it is, but im not sure < 1193532781 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Lemme look. < 1193532794 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ignore tmp :-) it's useless < 1193532808 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and s/while tmp/while n < 1193532822 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: http://pastebin.com/m8734736 updated < 1193532834 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It'll work. < 1193532837 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :TODAY AND THE NOW IS SUPER DANCE EXPLOSION TIME < 1193532843 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'd take the temp variables as arguments, though. < 1193532845 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1193532849 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i just did that < 1193532849 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1193532853 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :final version: http://pastebin.com/m8d6c22f < 1193532864 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :fact a > b : tmp1 tmp2 is "b = a!" < 1193532873 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :is that all right? :-) < 1193532882 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yup. < 1193532888 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. Why set res 1? < 1193532893 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :. . . Never mind. < 1193532895 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'm stupid. < 1193532897 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :because 0 * n = 0 < 1193532897 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1193532905 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That's exactly right. < 1193532925 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1193532927 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :great < 1193532939 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I'll code more PEBBLE tomorrow :-) < 1193532942 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1193532953 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hey, i mgiht write an EsoAPI (or similar) interface for it < 1193532956 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :bot written in pebble! < 1193532985 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I planned the same for a while. < 1193532993 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Right now, I'm waiting on PSOX. ;p < 1193533015 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i don't like waiting :P < 1193533019 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :PSOX is overengineered anyway < 1193533032 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(if Sgeo now says "Wait, what?" instead of ACTUALLY READING, please kill him for me) < 1193533037 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :byebye for today, see you tomorrow < 1193533151 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if anybody makes a battery-powered USB device charger. < 1193533206 0 :ehird`!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1193533396 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's called a laptop. < 1193533832 0 :Sgeo_!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1193533844 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :all those power-through-usb devices are dumb < 1193533869 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And a violation of the USB spec besides. < 1193533919 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :why have power if that's the case? < 1193533977 0 :bsmntbom1dood!unknown@unknown.invalid NICK :bsmntbombdood < 1193534186 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The USB spec grants every device a *very small* amount of power, so that it can at least negotiate power needs. . . < 1193534217 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1193534218 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Most power-through-usb devices don't negotiate this; they merely go and take power from USB. < 1193534238 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The worst part is, they usually try to take more power than the USB spec even *allows* any one device to have. < 1193534656 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1193535090 0 :Arrogant!i=Arrogatn@148.orlando-04-05rs.fl.dial-access.att.net JOIN :#esoteric < 1193535223 0 :Arrogant!unknown@unknown.invalid QUIT :Client Quit < 1193535234 0 :Arrogant!i=Arrogatn@148.orlando-04-05rs.fl.dial-access.att.net JOIN :#esoteric < 1193536538 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Oh my GOD, people NOT COMPLYING TO A STANDARD? It's almost like we're in some filthy HUMAN society! < 1193536557 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: It's just in bad taste. < 1193536608 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :If my video watch didn't charge from USB, that would be one more port on it. That's hard to swing. < 1193536666 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1193537265 0 :Arrogant!unknown@unknown.invalid QUIT :"Leaving" < 1193537978 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION lights his hand on fire
< 1193538018 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: Or it'd negotiate the power as needed by the USB spec. < 1193538038 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(as well as a nice data channel) < 1193538040 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1193538111 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :For all I know, it does :P < 1193538122 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :And it does have a nice data channel. < 1193538128 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :For, y'know, transferring files. < 1193538956 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :did you get your watch? < 1193539761 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION whistles innocently here, too
< 1193540484 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders if anyone uses BF-RLE
< 1193540733 0 :sp3tt!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1193541043 0 :sp3tt!n=sp3tt@80.244.80.162 JOIN :#esoteric < 1193541593 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :Welcome back sp3tt < 1193541830 0 :sebbu!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193541830 0 :helios24!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193541831 0 :EgoBot!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193541831 0 :oklopol!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193541831 0 :Nucleo!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193541835 0 :GregorR!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193541835 0 :Overand!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193541867 0 :sekhmet!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193541874 0 :GregorR!n=gregor@c-76-27-232-8.hsd1.or.comcast.net JOIN :#esoteric < 1193541874 0 :Overand!i=overand@pdpc/supporter/active/Overand JOIN :#esoteric < 1193542420 0 :sp3tt!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1193542562 0 :sp3tt!n=sp3tt@80.244.80.162 JOIN :#esoteric < 1193542620 0 :pikhq!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193542620 0 :cmeme!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193542678 0 :SimonRC!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1193542703 0 :SimonRC!n=sc@217.155.91.250 JOIN :#esoteric < 1193542893 0 :sp3tt!unknown@unknown.invalid QUIT :Remote closed the connection < 1193543613 0 :zuzu!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193543613 0 :RodgerTheGreat!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193543613 0 :calamari!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193543613 0 :Sgeo_!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193543613 0 :ololobot!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193543613 0 :lifthrasiir!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193543613 0 :ttm!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193543613 0 :Overand!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193543613 0 :GregorR!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1193543613 0 :bsmntbom1dood!i=gavin@rrcs-67-52-47-67.west.biz.rr.com JOIN :#esoteric < 1193543613 0 :SimonRC_!n=sc@fof.durge.org JOIN :#esoteric < 1193543613 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1193543613 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1193543613 0 :Sgeo_!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1193543613 0 :ololobot!n=ololobot@194.251.101.183 JOIN :#esoteric < 1193543613 0 :lifthrasiir!n=tokigun@haje8.kaist.ac.kr JOIN :#esoteric < 1193543613 0 :ttm!n=daniel@130-94-161-238-dsl.hevanet.com JOIN :#esoteric < 1193543613 0 :sekhmet!n=pez@wilug/madlug/sekhmet JOIN :#esoteric < 1193543613 0 :zuzu!i=zuzu@melanarchy.org JOIN :#esoteric < 1193543613 0 :RodgerTheGreat!n=Rodger@wads-5-232-170.resnet.mtu.edu JOIN :#esoteric < 1193543613 0 :GregorR!n=gregor@c-76-27-232-8.hsd1.or.comcast.net JOIN :#esoteric < 1193543613 0 :Overand!i=overand@pdpc/supporter/active/Overand JOIN :#esoteric < 1193543613 0 :lament!unknown@unknown.invalid QUIT :Killed by ballard.freenode.net (Nick collision) < 1193543613 0 :lament!n=lament@S010600110999ad06.vc.shawcable.net JOIN :#esoteric < 1193543613 0 :pikhq!n=pikhq@209.248.125.179 JOIN :#esoteric < 1193543613 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1193543614 0 :sebbu!n=sebbu@ADijon-152-1-106-56.w86-218.abo.wanadoo.fr JOIN :#esoteric < 1193543614 0 :EgoBot!n=EgoBot@c-76-27-232-8.hsd1.or.comcast.net JOIN :#esoteric < 1193543614 0 :oklopol!i=oko@194.251.101.183 JOIN :#esoteric < 1193543614 0 :Nucleo!n=Connecti@mskresolve-a.mskcc.org JOIN :#esoteric < 1193543614 0 :helios24!i=helios@tomakin.niobe.hellzilla.de JOIN :#esoteric < 1193543614 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Success < 1193543665 0 :sp3tt!n=sp3tt@80.244.80.162 JOIN :#esoteric < 1193545021 0 :SimonRC!unknown@unknown.invalid QUIT :Connection timed out < 1193547562 0 :ihope!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1193547987 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ais523's won a Wolfram research prize? < 1193548083 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1193548095 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Not the 2,3 Turing machine thing? < 1193548375 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or yes? < 1193548610 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1193548626 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Wow. < 1193548655 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's not like we have stupid people in here. < 1193548997 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :True. < 1193549090 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION skims the proof
< 1193549522 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION skimmed the proof and quit after the first few words
< 1193549567 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :What proof? < 1193549587 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :the 2,3 turing machine completeness proof < 1193549703 0 :Sgeo_!unknown@unknown.invalid PRIVMSG #esoteric :What's it about, and where can I find it? < 1193549805 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :http://www.wolframscience.com/prizes/tm23/solution_news.html < 1193549818 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :wolfram proposed a 2,3 turing machine and offered $25k for a proof of (un)/completeness < 1193549927 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :it would be cool to have a proof that it's the simplest utm < 1193549936 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Haven't all the simpler ones been tried? < 1193549959 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :it might be there's another 2,3 one < 1193549971 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Oh, indeed. < 1193550142 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :it's funny how people think that the machine is applicable < 1193550164 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :"it could be implemented in a molecule", yeah, that's useful < 1193550187 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Seems a cellular automaton would be more useful for that. < 1193550204 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And we have plenty of simple cellular automata. < 1193550215 0 :Sgeo_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1193550519 0 :cherez!n=cherez@r02snw275.desktop.umr.edu JOIN :#esoteric < 1193550535 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It be cheese! < 1193550549 0 :cherez!unknown@unknown.invalid PRIVMSG #esoteric :Yar! < 1193550618 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hi, cheese! < 1193550645 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And here's that USAMO one of my classmates took: http://www.mathlinks.ro/Forum/resources.php?c=182&cid=27&year=2007 < 1193550670 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or maybe it's just similar to it. < 1193550719 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :No, that's probably the one. Seems that you should be able to make a primitive dinosaur of any size. < 1193550786 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ihope: Obviously, a primitive dinosaur is 2007*2-1. . . < 1193550854 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :You can have bigger primitive dinosaurs. < 1193550879 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Wait, at least 2007 cells... < 1193550880 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Show me one larger dinosaur that is primitive. < 1193550887 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1193550890 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :At least 2007 cells? < 1193550893 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Misread that. < 1193550906 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I thought it was "dinosaur has 2007 cells". < 1193550952 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Anyways, yeah. Anything larger than 2007*2-1 is not primitive. < 1193550973 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Start with one square, then attach to each side a line of length 2006. < 1193551009 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :You get a big cross with 2007*4 - 3 squares. < 1193551023 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Divide that into dinosaurs for me. < 1193551031 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Clever. < 1193551038 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And that question is deceptively subtle. < 1193551051 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :This is why I'm not in the math olympiad. < 1193551105 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :The question is how to make that bigger. < 1193551118 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or whether that's even possible. < 1193551210 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION salutes whoever can prove that
< 1193551221 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I'm pretty sure 2007*4 - 3 is the best, now. < 1193551297 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Suppose S is a dinosaur. S is primitive if and only if for all subdinosaurs of S, S minus that subdinosaur contains something that is not a dinosaur. < 1193551414 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Suppose T is a subdinosaur of S. If the union of T with all non-dinosaur fragments of S-T is a proper subdinosaur of S, then S is not primitive. < 1193551497 0 :bsmntbom1dood!unknown@unknown.invalid PRIVMSG #esoteric :esoteric programming, not esoteric paleantology... < 1193551634 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1193551672 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Conjecture: all non-primitive dinosaurs can be divided into dinosaurs containing no loops. < 1193551683 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :This should be easy to disprove, unfortunately. < 1193551777 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And if it can be proven, it's probably quite hard. < 1193552003 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Suppose T is a subdinosaur of S. If S is primitive, then no superdinosaur of the union of T with all non-dinosaur fragments of S - T is a proper subdinosaur of S. < 1193552074 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :No, I want to go the other way. If for all subdinosaurs T of S, no superdinosaur of the union of T with all non-dinosaur fragments of S - T is a proper subdinosaur of S, then S is primitive. < 1193552165 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Maybe the problem IS going the other way. < 1193552208 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :...which is the first way. < 1193552298 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Now I'm too tired to understand what I've written, so I'll be going to bed immediately. < 1193552302 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :LMAO < 1193552812 0 :bsmntbom1dood!unknown@unknown.invalid NICK :bsmntbombdood < 1193553523 0 :ihope!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1193558399 0 :clog!unknown@unknown.invalid QUIT :ended < 1193558400 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1193564360 0 :RedDak!n=dak@87.18.90.5 JOIN :#esoteric < 1193564987 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1193566760 0 :helios24!unknown@unknown.invalid PART #esoteric :? < 1193567026 0 :helios24!i=helios@tomakin.niobe.hellzilla.de JOIN :#esoteric < 1193567855 0 :helios24_!i=helios@tomakin.niobe.hellzilla.de JOIN :#esoteric < 1193568537 0 :helios24!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1193568784 0 :helios24_!unknown@unknown.invalid QUIT :Connection timed out < 1193569445 0 :bartw!n=bwerf@bwerf.xs4all.nl JOIN :#esoteric < 1193569629 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(bsmntbom1dood) and in english, "plain sexp or something else" isn't boolean <<< it's either boolean or either of those < 1193569734 0 :helios24!i=helios@tomakin.niobe.hellzilla.de JOIN :#esoteric < 1193569916 0 :RedDak!n=dak@87.18.90.5 JOIN :#esoteric < 1193570579 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(ihope) Suppose S is a dinosaur. S is primitive if and only if for all subdinosaurs of S, S minus that subdinosaur contains something that is not a dinosaur. <<< er... don't think so, say you have a gazillion cells in a row, if you cut it in the middle, you get two dinosaurs, if you just cut one off one end, you get a dinosaur, and a non-dinosaur < 1193571551 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1193572392 0 :SEO_DUDE82!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1193573317 0 :SEO_DUDE82!i=Deee@gateway/tor/x-2f886917c5f82559 JOIN :#esoteric < 1193574003 0 :SEO_DUDE82!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1193574998 0 :SEO_DUDE82!i=Deee@gateway/tor/x-c6f0d434fd1d4bc5 JOIN :#esoteric < 1193576034 0 :SEO_DUDE82!unknown@unknown.invalid QUIT :Remote closed the connection < 1193576272 0 :SEO_DUDE82!i=Deee@gateway/tor/x-c5f6da2610ec9938 JOIN :#esoteric < 1193576580 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1193579391 0 :puzzlet_!unknown@unknown.invalid QUIT :Remote closed the connection < 1193579404 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1193581221 0 :oerjan!unknown@unknown.invalid QUIT :"Because of dinner empty" < 1193581312 0 :ihope!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1193583772 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1193583773 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1193584066 0 :ihope!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1193584095 0 :sebbu2!n=sebbu@ADijon-152-1-98-169.w81-50.abo.wanadoo.fr JOIN :#esoteric < 1193585285 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1193585511 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1193593423 0 :SEO_DUDE82!unknown@unknown.invalid QUIT :Remote closed the connection < 1193593807 0 :SEO_DUDE!i=Deee@gateway/tor/x-0f99cea89a852665 JOIN :#esoteric < 1193593938 0 :jenny2!n=jenny32@ANantes-257-1-96-67.w90-25.abo.wanadoo.fr JOIN :#esoteric < 1193593962 0 :RedDak!n=dak@87.18.90.5 JOIN :#esoteric < 1193593972 0 :jenny2!unknown@unknown.invalid QUIT :Client Quit < 1193596733 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1193597034 0 :sebbu2!n=sebbu@ADijon-152-1-83-86.w81-49.abo.wanadoo.fr JOIN :#esoteric < 1193597347 0 :puzzlet_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1193598195 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1193599086 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1193599088 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1193599529 0 :Sgeo!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1193601056 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1193601213 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :bbl < 1193601216 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1193601226 0 :RodgerTheGreat!n=Rodger@wads-5-232-170.resnet.mtu.edu JOIN :#esoteric < 1193601238 0 :RodgerTheGreat!unknown@unknown.invalid QUIT :Client Quit < 1193601383 0 :jix!n=jix@dyndsl-091-096-035-030.ewe-ip-backbone.de JOIN :#esoteric < 1193602931 0 :puzzlet_!unknown@unknown.invalid QUIT :Remote closed the connection < 1193603425 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1193603575 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1193604696 0 :RodgerTheGreat!n=Rodger@wads-5-232-170.resnet.mtu.edu JOIN :#esoteric < 1193612493 0 :bsmntbom1dood!i=gavin@rrcs-67-52-47-67.west.biz.rr.com JOIN :#esoteric < 1193613175 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Success < 1193614399 0 :jix!unknown@unknown.invalid QUIT :"CommandQ"