< 1298332867 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i have this crazy feeling that oerjan won't write my function for me < 1298332911 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: i just wrote the first line of the actual function < 1298332925 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :church ops@(Dup:_) = (1, [], ops) < 1298332937 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION cackles evilly
< 1298332949 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: good to know someone is handling the easy bits :P < 1298332973 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: aw c'mon, i'm writing this for YOUU :D < 1298332976 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(guilt works right?) < 1298332981 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :YEAH I'M GOOD AT THE EASY BITS < 1298332993 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :just one teeny weeny function! < 1298333005 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh wait that first line was wrong XD < 1298333010 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(should be Cat) < 1298333043 0 :augur!~augur@129.2.129.32 JOIN :#esoteric < 1298333061 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :sheesh oerjan, all this work for you < 1298333065 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :AND WHAT DO I GET < 1298333068 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :;;;;''''((( < 1298333072 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :piling on the guilt here < 1298333111 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i think i might have disabled oerjan < 1298333244 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: FINE THEN, I'LL TOTALLY PUSH THIS UUUUSELESS THING TO IRC < 1298333285 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i'm not sure of this strange belief elliott has that i can program fast... < 1298333295 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: oh i wasn't aware you were actually writing the other lines :D < 1298333302 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i thought i had to coerce you into agreeing to do it first < 1298333451 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::t (<+>) < 1298333452 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Ambiguous occurrence `<+>' < 1298333452 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : It could refer to either `Control.Arrow.<+>', imported from Control.Arrow at State/L.hs:5:0-19 < 1298333452 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : or `Text.PrettyPrint.HughesPJ.<+>', imported from Text.PrettyPrint.HughesPJ at State/L.hs:53:0-46 < 1298333458 0 :iconmaster!~iconmaste@cci-209150237034.clarityconnect.net JOIN :#esoteric < 1298333471 0 :zzo38!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds < 1298333530 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is having fun with a random EXE code generator- Most just crash, but some...
< 1298333567 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: heh < 1298333571 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :.COM might have better results < 1298333577 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :since it is just direct machine code < 1298333600 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :ok! Lets se how bad I can screw up my computer! < 1298333602 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :you might want to restrict the generated bytes to the valid x86 instructions plus register addresses (of course this restricts the constant literals in there too, but that might be interesting...) < 1298333612 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: do it in dosbox :P < 1298333621 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :Good idea. < 1298333657 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hm i think it is possible to do monads nicely in a concatenative language... < 1298333674 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :if do is "() return" and ";" is >>, then we have... < 1298333680 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :... do < 1298333684 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : "hello, world!" print ; < 1298333687 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : "foo, bar!" print ; < 1298333702 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :what about >>=... < 1298333703 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh wait < 1298333709 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :you just want that to push on to the stack, i suppose < 1298333711 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :using continuations, perhaps < 1298333724 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : getLine ->; print ; < 1298333732 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :One of my random progams 'bounces' the pointer across the screen. For some reason, pressing keys speed up this process. < 1298333747 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: as in, mouse pointer?? < 1298333756 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :No, the DOS cursor < 1298333762 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: that's cool < 1298333765 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :upload it somewhere < 1298333770 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :maybe we can disassemble it and uncover its secrets :P < 1298333774 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :Yep, I am < 1298333801 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :But, where? Know any good file uplading sites I could use? < 1298333823 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :; : Monad m => ('a 'm 'b 'm -> 'b 'm) < 1298333827 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :to use the cat syntax < 1298333836 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: filebin.ca was good when it still existed ... how long is the file? < 1298333867 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :643 bytes, apparently. < 1298333880 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: probably you could just uuencode it < 1298333892 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :thats a good idea < 1298333898 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: and put it on a pastebin < 1298333901 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :sprunge.us say :P < 1298333906 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://www.bastet.com/uue.zip is apparently a uuencoder for windows < 1298333909 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :k going to now < 1298333933 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :Wow, thanks guys! Let's find it's secrets! < 1298333964 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hey everybody else has been conspicuously silent, maybe I'm the only one who's interested >:D < 1298333966 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fear the worst! < 1298333986 0 :Zwaarddijk!unknown@unknown.invalid PRIVMSG #esoteric :i am reading with some interesting < 1298333989 0 :Zwaarddijk!unknown@unknown.invalid PRIVMSG #esoteric :*some interest < 1298333994 0 :Zwaarddijk!unknown@unknown.invalid PRIVMSG #esoteric :meh, muscle memory :| < 1298334152 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :http://pastebin.com/nwwY8YTr < 1298334182 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :That good? < 1298334219 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well pastebin.com still uses html for its raw page. but copying manually should work. < 1298334250 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :ok thanks. Now, lemme fid some other interesting programs < 1298334264 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :---------------------------------------------------------^M < 1298334264 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :--^M < 1298334264 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-- BF Joust Program Conversion Tool^M < 1298334264 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-- Converts BF Joust programs into IconJoust format.^M < 1298334264 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-- Made by Joshua Robbins^M < 1298334265 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :--^M < 1298334267 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :---------------------------------------------------------^M < 1298334269 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: FAIL < 1298334272 0 :MUILTFN_!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298334279 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :try uploading the right file next time ;D < 1298334295 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :The random EXE maker doesnt actually make them RANDOMLY.... lol < 1298334310 0 :Zwaarddijk!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: if you want, I can host them on infa.fi < 1298334315 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :That is the file... put it in exe format. < 1298334333 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :That would be very nice. Mind taking IconJoust? < 1298334338 0 :Zwaarddijk!unknown@unknown.invalid PRIVMSG #esoteric :if so, I'd prefer for you to dcc them to me < 1298334356 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : That is the file... put it in exe format. < 1298334357 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Umm. < 1298334363 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :No, I decoded it, it's a BF Joust program conversion tool. < 1298334384 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :I know. It WAS a lua script, now its an exe. < 1298334391 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1298334407 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :wine doesn't accept it as it's an invalid exe < 1298334409 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(doesn't have the right header) < 1298334413 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :what do you mean by "exe format"? < 1298334437 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :Basically, i copied 'convert.lua' to 'conver.exe' < 1298334443 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :*convert.exe < 1298334470 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :newtype Quote = Quote [Op] < 1298334470 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :data Op = Dup | Cat | Drop | Push Quote | SomethingElse < 1298334475 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :Smart of me. (No, Fail!) < 1298334477 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: it shouldn't even run, I don't think < 1298334480 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: is that compatible with what you have? < 1298334483 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :It does on my comp < 1298334483 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it lacks the MZ header < 1298334498 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: s/newtype Quote/data Obj/ < 1298334504 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: also SomethingElse isn't there < 1298334505 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :obviously < 1298334511 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :is that the same as invalid code? or just "anything else" in your model < 1298334520 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: oh and s/Push Quote/Push Obj/ < 1298334521 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: well i just put that to ensure i included a catch-all option < 1298334526 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :right < 1298334532 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :lol. Invalid programs make interesting results. < 1298334542 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: note that the argument to Push is an Obj and can be other things than a Quote < 1298334544 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :for instance a Church < 1298334550 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :data Obj = Church Integer Obj -- Obj is for printing < 1298334550 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Quote [Op] < 1298334550 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Catn Obj Obj < 1298334550 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Rept Integer Obj -- FIXME: Use for more things < 1298334550 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : deriving (Show) < 1298334586 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :The Insert key seems to speed lol.exe up the most. Other keys speed up lol.exe to a lesser degree. < 1298334604 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: ok but this is during parsing stage. may i assume church has already been run when creating that Obj? < 1298334625 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: er. your function _is_ church. but yes, your input will only ever contain (Quote) objects. < 1298334629 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :which means i should really look for Push (Church _), not Push (Quote _) < 1298334633 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: oh right < 1298334634 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1298334636 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it is done recursively < 1298334648 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i.e., in (...(...)...), when church gets the outer () pair, the inner pair will have been churched already. < 1298334655 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :good < 1298334663 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: (Church _ _) < 1298334668 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: the second argument is the actual original quote < 1298334671 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :which is important < 1298334685 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(to concatenate two Objs, use the cat function) < 1298334704 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i don't think i will concatenate Obj's < 1298334712 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :just [Op]'s < 1298334728 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: you shouldn't really do that. cat is more efficient, in theory < 1298334737 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but whatever, i'll see it before i comment < 1298334738 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Pot of boiling peppermint extract and water: Great way to BURN THE HELL OUT OF YOUR EYES < 1298334746 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(because cat makes decisions as to what kind of concatenation to do) < 1298334748 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: i am not _returning_ an Obj < 1298334753 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: right. < 1298334759 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and i won't be changing anything inside a Push < 1298334778 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :just checking if it's a church numeral < 1298334869 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: of course note that this function must return the actual /value/ of the numeral < 1298334874 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :not just check it < 1298334883 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :church :: [Op] -> (Integer, [Op], [Op]) < 1298334886 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :at this time < 1298334890 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :right < 1298335048 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh wait i also need to check for () < 1298335073 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and what's more, not for every Church 1 _ < 1298335117 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: () will always be parsed as Church 1 (Push (Quote [])) < 1298335118 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :if that helps < 1298335122 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: () will become Push (Churc ... right < 1298335124 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(i am considering making a separate Nil, though) < 1298335128 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(but don't worry about that) < 1298335168 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :um don't you mean Push (Church 1 (Quote [])) < 1298335191 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION assumes so
< 1298335198 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: no < 1298335200 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :er < 1298335202 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well, right < 1298335204 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :inside an [Op] < 1298335327 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is sad- no other random program does cool stuff. Oh well.
< 1298335432 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: do you handle ":!"? :D < 1298335437 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I think subtraction produces that or something < 1298335455 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION will have to figure out when to try and convert things to church numerals. maybe whenever you call them?
< 1298335479 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: btw it _might_ be useful if you took an Obj instead... < 1298335480 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :>_> < 1298335490 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and with that, I've ensured oerjan hates me < 1298335721 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :argh < 1298335803 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: you can just make it [Op] if you want to keep your sanity < 1298335814 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and i can bug you about it another day ;D < 1298335853 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i am doing a lot of "parse this, then whatever follows, then combine" < 1298335861 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :lists are _useful_ for that < 1298335867 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: that's what everyone who writes a parser manually in haskell ends up with :P < 1298335883 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: also, yes, it's fine; it's just that this way, I can't use your function to detect church numerals _created_ by the program < 1298335887 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :which is a bit of a problem < 1298335895 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: what's your ^ constructor? i want to handle (numeral)^ < 1298335910 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :data Op = Swap < 1298335911 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Dup < 1298335911 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Drop < 1298335911 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Cat < 1298335911 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Push Obj < 1298335911 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Wrap < 1298335913 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Call < 1298335915 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Print < 1298335917 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Invalid String < 1298335919 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : deriving (Show) < 1298335921 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :data Obj = Church Integer Obj -- Obj is for printing < 1298335923 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Quote [Op] < 1298335925 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Catn Obj Obj < 1298335929 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Rept Integer Obj -- FIXME: Use for more things < 1298335931 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : deriving (Show) < 1298335933 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :YOU'RE WELCOME :P < 1298336316 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :break < 1298336343 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :verily < 1298336822 0 :Mathnerd314!~mathnerd3@dsl.6.28.53.206.cos.dyn.pcisys.net JOIN :#esoteric < 1298336822 0 :elliott!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298336840 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298336873 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan's breaks are way too long, i should consider firing him < 1298337094 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :since when was he hired? < 1298337133 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :since he was born < 1298337137 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :contract for life < 1298337147 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :I thought slavery was illegal < 1298337256 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: not in elliottia. < 1298337359 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :I gtg. An idea before I leave- How about a compititave version of Underload! < 1298337362 0 :iconmaster!unknown@unknown.invalid QUIT :Quit: Yummy, like ircing on a cake! [ http://www.bersirc.org/ - Open Source IRC ] < 1298337464 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :compitatave. INTERESTING! < 1298337482 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :$ ./relief '(:::::::):(:((^:()~((:)*~^)a~*^!!()~^))~*()~^^)~(^a(*~^)*a~*()~^!()~^)a~**^!!^S' < 1298337482 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :relief: out of stack (church 1) < 1298337483 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :WHOOPS. < 1298337971 0 :poiuy_qwert!unknown@unknown.invalid QUIT :Quit: This computer has gone to sleep < 1298338276 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Church 0 (Quote [Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat, < 1298338277 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :NOT QUITE. < 1298338315 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh, I think I parse () as 0, heh < 1298338438 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :1.1 Mio file in 18.4 seconds, not bad < 1298338445 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :for ()(~:S(/)S(:*)*~:^):^ < 1298338454 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm, I could do better < 1298338509 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :$ time ./relief '(:*)(~:S(/)S:*~:^):^' >foo < 1298338510 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :^C < 1298338510 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :real 0m19.891s < 1298338510 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :$ ls -lh foo < 1298338510 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-rw-r--r-- 1 elliott elliott 41M 2011-02-22 02:04 foo < 1298338511 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :not bad. < 1298338524 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(in most interpreters that causes blowup... I think it does in mine too, but only because of one thing) < 1298338531 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :specifically, "cat x x" needs to use Rept. < 1298338539 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :also preferably cat would find common substrings and use Rept on those, but... < 1298338543 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(and Eq on Obj is non-trivial) < 1298338551 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well not that non-trivial now I guess < 1298339368 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : oerjan's breaks are way too long, i should consider firing him <-- had a shower < 1298339386 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :programmers need to be productive. hygiene is not a requirement. < 1298339392 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i find your time management inefficient >:) < 1298339405 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :here's a wonderful patch of code i just wote < 1298339406 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*wrote < 1298339407 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-- FIXME: Probably *very* slow < 1298339408 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-- FIXME: Choose the "smallest" object of the two somehow < 1298339408 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-- FIXME: For Repts, just increment the repeat, don't nest < 1298339408 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-- FIXME: Blah blah blah... < 1298339408 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cat x y | x == y = Rept 2 x < 1298339424 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i am pretty sure this is a severe pessimisation but that could change! < 1298339435 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm, maybe i could use ghc's "is the exact same pointer" equality instead ;;DD < 1298339450 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :wth is Rept does church actually have to _know_? < 1298339460 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh right < 1298339462 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: (Rept n x) is just x repeated n times < 1298339467 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :gah < 1298339474 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :used e.g. in this generic case: < 1298339476 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :call (Church n _) (x:xs) = (Rept n x : xs, "") < 1298339480 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(for non-zero n, non-church x) < 1298339486 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: but don't make church take an Obj as an argument < 1298339488 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :no point to at this point < 1298339493 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that can home later :P < 1298339506 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: um the point is it's hard to retrofit < 1298339519 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well er, good luck then < 1298339525 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :hello oerjan < 1298339525 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: (Catn x y) might give you some trouble... < 1298339540 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also i doubt the wisdom of church'ing on concatenations < 1298339541 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :how's your ~! quest coming along? < 1298339546 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :unfortunately i think unrolling Catn in general requires expanding Repts < 1298339556 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: don't support that, then < 1298339557 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :after reaching the heights, did you decide to continue and reach out to new heights? < 1298339569 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cat :: Obj -> Obj -> Obj < 1298339569 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cat (Church m xs) (Church n ys) = Church (m*n) (cat xs ys) < 1298339569 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cat (Quote xs) (Quote ys) = Quote (xs ++ ys) < 1298339569 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cat x y = Catn x y < 1298339581 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so Catn is just used for e.g. (cat x x), (cat rept church), and all that stuff < 1298339582 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :cheater-: um it was finished the last time i spoke about it < 1298339587 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(cat x x where x is neither Church nor Quote that is) < 1298339604 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: well without supporting that it's useless to support Obj's at all < 1298339618 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :since almost everything which builds a new church numeral is a Catn < 1298339622 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: but i thought maybe you went on to eliminate yet another command < 1298339630 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: are you sure? < 1298339632 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :cheater-: i may. < 1298339635 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(:)(*)*, sure < 1298339637 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: such as??????? < 1298339646 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but e.g. (:*)(:*)*? well... < 1298339647 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :you're right < 1298339650 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: support Catn then :-P < 1298339657 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but unrolling isn't an option so uh... good luck < 1298339667 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :cheater-: either that or prove that you cannot. < 1298339688 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :well get on with it already < 1298339702 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :cheater-: shut up < 1298339713 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I don't think there's any more TC sets smaller than or equally small as ~:()^ and :*()a^ < 1298339722 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: good luck getting cheater to shut up ... < 1298339744 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: i don't _want_ to support Catn becaus church'ing on them can have _horrible_ asymptoticity. consider concatenating ::::::::::::: with ************** < 1298339755 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: then what on earth do you suggest? < 1298339758 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :reallyUnsafePtrEquality# :: a -> a -> Int# < 1298339758 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :woot < 1298339784 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i mean, forming integers like that is quite important < 1298339789 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: at least, you can do that with just counting up then counting down < 1298339801 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ofc that doesn't handle :*:*: and *:*, but nobody does that < 1298339805 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :this is basically a heuristic < 1298339808 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Data.Sequence would help, although that would reduce sharing < 1298339817 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :STOP SUGGESTING SEQ FOR THINGS :D < 1298339833 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i mean :^n with *^n is I think fairly common < 1298339836 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :is it not? < 1298339842 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: no u < 1298339843 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: well unbalanced Catn trees is what i see as the problem here < 1298339857 0 :ChanServ!unknown@unknown.invalid MODE #esoteric :+o oerjan < 1298339860 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: I don't think you can really get those actually < 1298339881 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :[+o: about time too] < 1298339882 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: hmm < 1298339890 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: in fact, ::: with *** will produce a single Quote < 1298339895 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so in fact [Op] should be fine for everything < 1298339957 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: btw will your function give up immediately if e.g. the input doesn't start with :? that's desirable for cat. otoh churchising _substrings_ (i.e. transforming {:^n}{*^n} in some code to Push (Church n ...), Call) might be useful... < 1298340033 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm perhaps I should optimise :* as a preprocessing step ... < 1298340049 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :@hoogle Int# -> Int < 1298340049 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Data.Generics.Schemes gdepth :: GenericQ Int < 1298340049 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Data.Generics.Schemes glength :: GenericQ Int < 1298340049 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Data.Generics.Schemes gnodecount :: GenericQ Int < 1298340110 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: the [Op] one i have started writing only looks at the church numerals at the beginning < 1298340122 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I could always search or something, sounds inefficient though :) < 1298340191 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but it gives the remaining [Op] in the tuple, so you can easily continue with it < 1298340194 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :right < 1298340263 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think i'll right it this way, and then you can write the Obj version if you want >:) < 1298340266 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*write < 1298340310 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :GODAMMIT I'M CHANNELING A NATIVE ENGLISH SPEAKER WITH BAD SPELLING < 1298340351 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :you know, they say you're good at english when you start making the same mistakes they do < 1298340351 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"write" -> "*write" :-D < 1298340354 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1298340355 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1298340356 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-- FIXME: WORST THING EVER < 1298340356 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cat x y | I# (reallyUnsafePtrEquality# x y) == 1 = Rept 2 x < 1298340385 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-- FIXME: WORST THING EVER, PROBABLY MUTILATES KITTENS IN ITS < 1298340385 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-- FREE TIME < 1298340388 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :cute < 1298340394 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :cheater-: oerjan is certainly better at English than many native speakers. < 1298340407 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :not saying he isn't < 1298340435 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Granted, this probably says more about the native speakers than oerjan. It continues to disturb me how very bad many people were in my high school English classes. < 1298340445 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: well with most of english being typing i just don't expect to switch _homophones_... < 1298340450 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*my < 1298340458 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Hah. < 1298340461 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :This is very true. < 1298340516 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: i was told by the british that there was a period on the uk when learning english wasn't mandatory at all < 1298340543 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :my university actually has a mandatory english exam for all students < 1298340545 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :cheater-: The UK or the Kingdom of Great Britain or the Kingdom of England? < 1298340548 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It matters. :P < 1298340550 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :on the basis that the high schools aren't good enough < 1298340569 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: i have said "the uk" < 1298340570 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh food < 1298340578 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :i think it was in the late 80s or early 90s < 1298340582 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"by the british" < 1298340589 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I talked to the British the other day. < 1298340594 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :They had bad teeth. < 1298340602 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :they have. < 1298340624 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :at least they make copious use of mouthwash when prompted. < 1298340686 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :cheater-: Yes, but many people end up using it to refer to geographic regions that are now part of the United Kingdom of Great Britain and Northern Ireland. Not to mention telling me which name for the kingdom in use lets me have a rough idea *when* you're talking about. < 1298340727 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: [troll feed etc.] < 1298340734 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :TL;DR: I'm a pedant. < 1298340824 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :i told you the dates < 1298340836 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hadn't when I asked. < 1298340837 0 :elliott!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298340857 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298340862 0 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1298340865 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :head explodes < 1298340927 0 :elliott!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298340953 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298341007 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: can i call you sartre < 1298341257 0 :amca!~amca@CPE-121-208-84-154.cqzr1.cha.bigpond.net.au JOIN :#esoteric < 1298341257 0 :elliott!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298341277 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298341470 0 :elliott!unknown@unknown.invalid QUIT :Client Quit < 1298341477 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298341550 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :WHERE IS OERJAN < 1298341551 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :er < 1298341553 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :AIS523 < 1298341622 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: done yet ;D < 1298341649 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :BE CAREFUL I HAVE THE OPS < 1298341655 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :ais523 does not appear to be connected. < 1298341678 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: yeah but to the disappointment of all right-thinking people you have not yet exercised them. OBVIOUSLY I AM TALKING ABOUT GIVING VOICE TO PIKHQ < 1298341689 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :LET US UNITE IN FAVOUR OF GIVING PIKHQ +V < 1298341749 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I do not care whether or not to give voice to pikhq. What effect would be given? To exempt a quiet mode on the channel? < 1298341762 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :FOR DEMOCRACY < 1298341763 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :AND FREEDOM < 1298341771 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: MAKE OUR DREAM COME TRUE < 1298341774 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Give me +o! I just want a taste of ops! JUST A TASTE < 1298341777 0 :amca!unknown@unknown.invalid QUIT :Quit: Farewell < 1298341785 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: YOU DON'T SAY < 1298341793 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :LET US STAND AGAINST THOSE OPPRESSORS OF DEMOCRACY, THOSE TYRANTS WHO WOULD GAIN THEIR OPS TO DISCARD ALL RATIONALITY < 1298341795 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Only him who wanteth it not may have op! < 1298341796 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :You can even /mode +o-o Gregor Gregor < 1298341797 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: Create a new # type channel you automatically get +o (but can still remove it) < 1298341803 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And I wanteth it not! < 1298341806 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :HAVE FAITH THAT WITH VOICE PRIVILEGES, PIKHQ WILL LEAD US INTO A LAND OF HAPPINESS AND JOY! < 1298341811 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :LOOK AT HIS DESERVING HUMBLENESS! < 1298341812 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: What happens if you type conflicting modes like that? < 1298341817 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: ALSO BEER. < 1298341818 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I THINK THIS IS A CAUSE WE CAN ALL GET BEHIND!!!!!!!! < 1298341825 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: They're applied in order, you can't really "conflict" < 1298341827 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: DO IT! DO IT NOW! DON'T DELAY! OR HESITATE! < 1298341829 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :The operation is atomic in principle. < 1298341837 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sheesh < 1298341841 0 :oerjan!unknown@unknown.invalid MODE #esoteric :-o oerjan < 1298341847 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Awwwwwwwwwwww < 1298341854 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :(There is also & and ! type which you get +o automatically but Freenode has neither.) < 1298341857 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :IT SEEMED TO JUST ENCOURAGE PEOPLE < 1298341858 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :WE ARE ALL DISAPPOINTED IN YOU. also, ban cheater- already. < 1298341874 0 :pikhq!unknown@unknown.invalid TOPIC #esoteric :No happiness and joy for us; oerjan hath spoken. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1298341879 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I think we do not need to ban them? But I don't say. < 1298341885 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :MWA < 1298341886 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :HA < 1298341887 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :HA < 1298341899 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: he's a persistent troll recognised as such by pretty much everyone i've spoken to. < 1298341905 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: LET'S RISE UP AGAINST OERJAN < 1298341908 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :AND HIS ANTI-HAPPINESS, ANTI-JOY, < 1298341909 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ANTI-BEER WAYS < 1298341917 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hey i am _not_ anti-beer! < 1298341920 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :cheater-: are you a troll? < 1298341921 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :IT'LL BE LIKE LYBIA, BUT WITH +B INSTEAD OF GUNS < 1298341930 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :He just is against *happy* drunks. < 1298341940 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: I would love to a legal system based on your last line. < 1298341949 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"DID YOU KILL THE PUPPY?" "No." "Oh." < 1298341958 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"Mwahahahaha! [kills a puppy]" "DID YOU JUST-" "No." < 1298341961 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :As far as I know we do not need to ban them. < 1298341977 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :elliott: then you ask "did you lie" under a polygraph test < 1298341978 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i didn't ask you :p < 1298342001 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: Genius! Then everyone will go to jail, instead of noone. < 1298342043 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :elliott: well, I think evidence factors in somehow < 1298342057 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so basically your legal system is boring and not at all like that line < 1298342061 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Polygraphs are about as reliable as medicine by a witch doctor. < 1298342069 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :But less awesome. < 1298342072 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: THAT'S OFFENSIVE TO OERJAN'S BELIEFS < 1298342085 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I try! < 1298342096 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :elliott: no, it's just based around intention first and evidence later < 1298342122 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: So, estabilishing mens rea, then. < 1298342129 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :mens' rear < 1298342136 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*men's < 1298342151 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Only in Gayland, the state that is always happy. < 1298342161 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that sounds gay. < 1298342171 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Why yes, yes it does. < 1298342189 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: if they admit wrongdoing, you're halfway there < 1298342223 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: considering that most people who have done wrong will not admit so, and plenty of people who have done no wrong will admit so, that seems shaky at best. < 1298342243 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION starts overengineering church
< 1298342263 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: aargh :D < 1298342268 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: as long as it's /vaguely/ efficient... < 1298342278 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :elliott: what? insane world. < 1298342285 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: YOU DON'T SAY. < 1298342317 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :elliott: the first thing will be brainwashing peopel to be rational < 1298342324 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :s/pel/ple/ < 1298342338 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: that would pretty much eliminate wrongdoing. well, assuming you mean rational according to the same system of values. < 1298342357 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :e.g. rational utilitarians, rational self-interest with /some/ concession to not killing everyone else and taking theirs poils, ... < 1298342368 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*their spoils, < 1298342490 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Well, if you're going with perfectly idealness, Cant's moral imperative works. :) < 1298342509 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i don't agree with the moral imperative < 1298342569 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Feh. < 1298342632 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric : IT'LL BE LIKE LYBIA, BUT WITH +B INSTEAD OF GUNS < 1298342638 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Lybia is the country's real name. < 1298342639 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric : IT'LL BE LIKE LYBIA, BUT WITH /b/ INSTEAD OF GUNS *fixt* < 1298342640 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Do not question me. < 1298342666 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :I don't know, though... could the world be better off if everyone was dead? < 1298342681 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: Where "everyone" = ? < 1298342705 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :All life? All hominoids? All Homo sapiens? < 1298342714 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :every living thing currently within the solar system < 1298342721 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :say the sun went nova suddenly < 1298342727 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: no, that would not be better. < 1298342738 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :sentient life is valuable; that would destroy sentient life; Q.E.D. < 1298342749 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :lol why < 1298342756 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :lol why what < 1298342786 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :why is sentient life valuable? < 1298342790 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: The world would certainly not be better off if all life on it stopped. < 1298342804 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It would instead just be a giant chunk of rock in orbit. < 1298342808 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: if x and y are sets, why does there exist a set which contains x and y as elements? < 1298342812 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :OH RIGHT: because that's an axiom. < 1298342822 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And who gives a fuck about that? There's trillions of those. < 1298342824 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :More generically, _intelligence_ is valuable. < 1298342834 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :And sentient life is what can be intelligent. < 1298342867 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :"Better off" really is only in relation to something < 1298342870 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Heck, life in and of itself seems to be valuable. It certainly doesn't seem to be all that common. < 1298342876 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Intelligent life seems to be the best thing to put there. < 1298342890 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Certainly, but it is only valuable /because/ of sentient life. < 1298342904 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Because we like it, basically. < 1298342914 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Well, without sentient life there is no such thing as "valuable". < 1298342921 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Same way that causing the Earth to disintegrate would be a bad idea, even though the Earth is not inherently valuable: it is valuable because we consider it valuable, and intelligence is intrinsically valuable. < 1298342927 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I don't think there is an inherent "valuable" except what we consideer ... ok, basically what everyone else is saying < 1298342936 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: There is in our models. < 1298342986 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what models? < 1298343020 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: HOW'S IT GOIN' < 1298343024 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :WRITTEN A LINE YET < 1298343053 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :When will EgoBot be lance-enabled? < 1298343163 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Ooh < 1298343169 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :List of preloaded HSTS sites < 1298343328 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298343341 0 :pikhq!~pikhq@174-22-153-183.clsp.qwest.net JOIN :#esoteric < 1298343431 0 :elliott!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298343468 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298343588 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: :| < 1298343611 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: never; it's the buggy gearlance now. :p < 1298343623 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott, hmm? Why? < 1298343636 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Well, if Gregor wanted me to I can integrate it after the fixed-point scoring stuff is in, I suppose. < 1298343831 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Erm, what do you mean why> < 1298343833 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*why? < 1298343846 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Is gearlance based on lance? < 1298343858 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :18:52:49 List of preloaded HSTS sites < 1298343858 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Err... http://en.wikipedia.org/wiki/HTTP_Strict_Transport_Security? < 1298343869 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Yes < 1298343901 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :How on earth is that "ooh". < 1298343912 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :There's a list of websites < 1298343918 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Not on that page what I was looking at < 1298343929 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://dev.chromium.org/sts < 1298343941 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :^^Wow I can be incoherent sometimes < 1298344004 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I just don't see how on earth that's interesting. < 1298344064 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: :| < 1298344071 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sheesh < 1298344077 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :;D < 1298344345 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: is it bad if your turing machine gets progressively slower each step? < 1298344368 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :um the 3 thousand something characters one? < 1298344373 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: no < 1298344373 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(( )S)(^!!)(((~:^~(~)S(^!!)~(^)~:^^)(!~(:^!^)~^^^)(!!~(:^!!^)~^^!^))( < 1298344374 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :)!(!(~:^~(^!!)~:^^)(!~(:^!^)~^^!^)(!!~(:^!^)~^^^))(!!(~(:^!!^)~^^!!^)( < 1298344374 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :)!(!(:)S(^!)~:^^)(!!(~)S(^)~:^^))):^^!^!!^ < 1298344374 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that one < 1298344387 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :$ ./relief '(:^):^' < 1298344388 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Stack space overflow: current size 8388608 bytes. < 1298344388 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Use `+RTS -Ksize -RTS' to increase it. < 1298344389 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :wat. < 1298344397 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ok time to restructure this evaluation result mechanism :D < 1298344398 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well it _does_ get a longer number ... < 1298344399 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :<3 TOMT < 1298344435 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: but it shouldn't be approximately constant with respect to the no. of characters printed, i think < 1298344438 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er < 1298344438 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*should < 1298344485 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the gap between printing one number and the next should increase proportionally with length < 1298344494 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: that's what i mean < 1298344500 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: but if church numeral arithmetic is O(1) < 1298344503 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :should it not be constant? < 1298344518 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: er my turing machine uses absolutely no church numerals < 1298344528 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ah. < 1298344534 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well i'm sure I can optimise it SOMEHOW ;D < 1298344545 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(note the hideous lack of * and ()) < 1298344598 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: hey i just found a function where < 1298344602 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :f (C x) _ = C x < 1298344602 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :works < 1298344603 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but < 1298344607 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :f o@(C _) _ = o < 1298344608 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :doesn't < 1298344647 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that seems impossible < 1298344659 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :anything to do with your unsafe equality? :D < 1298344664 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: nope < 1298344667 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :data Result a e = End e < 1298344668 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Failure String < 1298344668 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Chunk a (Result a e) < 1298344668 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : deriving (Show) < 1298344668 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :instance Monad (Result a) where < 1298344668 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : return = End < 1298344670 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : End xs >>= f = f xs < 1298344672 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Failure s >>= _ = Failure s < 1298344674 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Chunk s r >>= f = Chunk s (r >>= f) < 1298344676 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : fail = Failure < 1298344679 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: this works < 1298344682 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :with @, it doesn't < 1298344684 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: it doesn't work because you have to return (m b) from >>= < 1298344686 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :whereas the input is (m a) < 1298344690 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's just that Failure is polymorphic in the a < 1298344694 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but the individual _value_ isn't < 1298344702 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :this is vaguely screwy. < 1298344716 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1298344745 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ok that's understandable < 1298344756 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i thought you meant a runtime difference < 1298344760 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1298344760 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1298344789 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: arguably it should be "Failure :: String -> (forall a e. Result a e)", but I'm not sure that would even help < 1298344794 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :doubt it would < 1298344824 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : let (xs',o1) = call p xs < 1298344825 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : (xs'',o2) = call q xs' < 1298344825 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : in (xs'', o1 ++ o2) < 1298344825 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :---> < 1298344831 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :call p xs >>= call q < 1298344834 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no, that wouldn't pass the >>= < 1298344835 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Monads solve every problem. < 1298344837 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: right < 1298344845 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: if that passed, newIORef would be type unsafe < 1298344855 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: arguably it should be :P < 1298344868 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :huh? < 1298344874 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: ok for a very vague definition of arguably < 1298344886 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: because the unsafeperformio -> coerce trick relies on newIORef's polymorphism < 1298344914 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hm i hope this is as strict as the previous version... < 1298344977 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: yes that is precisely because unsafePerformIO bypasses the >>= restriction against forall types < 1298345083 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: yes yes :D < 1298345110 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :@hoogle (a -> m b) -> Int -> a -> m b < 1298345110 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :No results found < 1298345116 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1298345128 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :> iterate (g . f) x < 1298345129 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Ambiguous type variable `a' in the constraints: < 1298345129 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : `SimpleReflect.FromExpr ... < 1298345132 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :> iterate (g . f) x :: [Expr] < 1298345133 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Ambiguous type variable `a' in the constraints: < 1298345133 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : `SimpleReflect.FromExpr ... < 1298345136 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :>_< < 1298345142 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :what would you want that to do... < 1298345158 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: f x >>= f >>= f >>= ... < 1298345159 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :n times < 1298345160 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that @hoogle thing < 1298345166 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :threadN, basically < 1298345175 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :call (Rept n p) xs = sequence $ genericReplicate n (call p) < 1298345176 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1298345177 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :which is blatantly wrong < 1298345201 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :iterate (>>= f) < 1298345210 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :right < 1298345251 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :call (Rept n p) xs = iterate (>>= call p) (return xs) `genericIndex` n < 1298345253 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ugly, but whatever < 1298345265 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :gah, and it _still_ blows the stack < 1298345296 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :at least Thue-Morse still seems fast < 1298345357 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :putResult :: Result String a -> IO () < 1298345357 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :putResult (End _) = return () < 1298345357 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :putResult (Chunk s x) = putStr s >> putResult x < 1298345357 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :putResult (Failure s) = hPutStrLn stderr s >> exitFailure < 1298345366 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i _think_ this should be unwinding the stack as fast as >>= can fill it up < 1298345502 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: any progress >:D < 1298345512 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :iterate (>>= f) might build a large chunk, btw < 1298345544 0 :elliott!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298345548 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*thunk < 1298345562 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :maybe you have large unevaluated ones < 1298345564 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298345567 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: laziness is the best thing ever that makes me want to claw my eyeballs out. < 1298345573 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and my internet connection is definitely lazy. < 1298345606 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: not sure how to avoid building a large thunk there, anyway < 1298345613 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh i see what you mean < 1298345615 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i could write my own threader < 1298345661 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : where thread 0 f x = return x < 1298345661 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : thread n f x = thread (n-1) f x >>= f < 1298345666 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ok _that_ strikes me as an unwise way to write the function < 1298345699 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :call (Rept n p) xs = return xs >>= thread n (call p) < 1298345700 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : where thread 1 f = f < 1298345700 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : thread n f = f >>= thread (n-1) f < 1298345700 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :better. < 1298345707 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :argh < 1298345712 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :infinite type bullcrap < 1298345728 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hey oerjan write my trivial function for me, i'm too retarded to :D < 1298345767 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"Watson, bomb that Libyan city! < 1298345767 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :[Bombs Toronto]" --reddit < 1298346086 0 :elliott!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298346107 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298346110 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I thought of idea of a shogi variant called "Copper, Silver, Gold: An Indestructible Metallic Alloy" where if the copper, silver, gold generals are next to each other, then they cannot be captured? < 1298346196 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: thread 0 f x = return x; thread n f x = f x >>= thread (n-1) f < 1298346219 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :OKAY THAT MAKES SENSE < 1298346242 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Still my /main/ problem is a stack overflow on (:^):^, because it's calling "call" recursively. < 1298346245 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Except it's a tail call. < 1298346249 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Then it calls run recursively, which does < 1298346253 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :run [] xs = return xs < 1298346254 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :run (i:p) xs = one i xs >>= run p < 1298346257 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so I think the >>= run p is killing it. < 1298346266 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Because it never reaches it, because it calls call again, etc. < 1298346275 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :No? < 1298346306 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: if i is call then that run is not tail recursive is it? < 1298346318 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: well, precisely < 1298346321 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but i don't see how it could be, really < 1298346326 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :without some continuation-passing style rubbish < 1298346347 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: more importantly, even if I fixed that, (:^x):^ would fail < 1298346351 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :because it wouldn't be a tail-call < 1298346352 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :WTF? < 1298346356 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :run (Call:p) (x:xs) = run (x++p) xs < 1298346358 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :"wget is depreciated" < 1298346362 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :--from a Reddit comment < 1298346376 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: lol, my call model isn't that simple < 1298346378 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I have a whole function for calling < 1298346386 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that wouldn't really work at all < 1298346393 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :x can be a Church, for instance < 1298346398 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but I suppose I could condition on it < 1298346408 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and have call say "no, you handle it" for Quotes and Catns and Repts... < 1298346415 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :actually for Repts that'd be ugly. argh. < 1298346427 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: indeed (:^x):^ _should_ build call stack afaict unless you're very clever < 1298346461 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: hm right < 1298346476 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :run [] xs = return xs < 1298346476 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :run [i] xs = one i xs < 1298346476 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :run (i:p) xs = one i xs >>= run p < 1298346480 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :there's the cheap-skate version < 1298346491 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I'd still like to optimise Call in general not to eat stack, though, but I doubt it'll be easy < 1298346495 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Why is wget is depreciated? < 1298346495 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :maybe if i do... < 1298346499 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: what < 1298346500 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :? < 1298346528 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :run (Call:p) (Quote p':xs) = run (cat p' p) xs < 1298346532 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i suppose that special case should be enough < 1298346542 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :even if it is upsettingly specialcasey. < 1298346547 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :e.g. doesn't handle Catn, Rept < 1298346551 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm I could handle Catn/Rept actually. < 1298346555 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :wait. issue here is that run only does [Op]. < 1298346556 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :argh. < 1298346556 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo posted a quotation so that is why I ask question. < 1298346564 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :run (Call:p) (p':xs) = call (cat p' p) xs < 1298346566 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ok this should work. < 1298346568 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :probably. < 1298346587 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :even though it's stupid < 1298346594 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :no, that won't work. well maybe < 1298346598 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: i suspect he was pointing out the stupidity of the comment < 1298346622 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well it appears to work. < 1298346626 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's hideous but it seems to work. < 1298346636 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://www.reddit.com/r/netsec/comments/fo6zs/this_link_will_most_likely_crash_any_browser_and/c1hehj8 < 1298346646 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I shouldn't take =) comments so literally < 1298346655 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: it just froze my computer. < 1298346658 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so maybe it's eating heap instead :D < 1298346662 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well obviously < 1298346678 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i have a vague feeling of this project going down in flames < 1298346678 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :thue-morse still runs. < 1298346682 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fast, too. < 1298346713 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: how's church coming along AHEM < 1298346727 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :!help < 1298346727 0 :augur!unknown@unknown.invalid QUIT :Remote host closed the connection < 1298346732 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :!info < 1298346745 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . < 1298346745 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :EgoBot is a bot for running programs in esoteric programming languages. If you'd like to add support for your language to EgoBot, check out the source via mercurial at https://codu.org/projects/egobot/hg/ . Cheers and patches (preferably hg bundles) can be sent to Richards@codu.org , PayPal donations can be sent to AKAQuinn@hotmail.com , complaints can be sent to /dev/null < 1298346761 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hm seems like there's no space leak... yes there is < 1298346761 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i keep wavering on whether to use a stack of quotes seen in order to get things like (:*):*:*^ < 1298346767 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's approx. doubling its memory every now and then < 1298346771 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :does the thue-morse program leak memory? < 1298346796 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i can't think of any algo that would produce _that_ < 1298346802 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: remember that this is a heuristic :P < 1298346810 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hm not even gcs seem to stop thue-morse leaking memory < 1298346833 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well it's a reasonable way to write 2^4 < 1298346847 0 :mr_mojo_risin!~bilios@77.49.205.78 JOIN :#esoteric < 1298346859 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: handle it then :P < 1298346860 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hi mr_mojo_risin < 1298346864 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Can you make c command from Unlambda in the variant of Underload that has continutations? < 1298346865 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :argh < 1298346866 0 :mr_mojo_risin!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1298346878 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: that's exactly what oerjan/mine/ais' (he came up with it too) C is < 1298346883 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :mr_mojo_risin: this channel is about esoteric programming languages < 1298346890 0 :mr_mojo_risin!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1298346927 0 :mr_mojo_risin!unknown@unknown.invalid PART #esoteric :? < 1298346927 0 :elliott!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298346947 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298346950 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :mr_mojo_risin: see http://esolangs.org/ for more info :p < 1298346976 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I mean in "Unlambda to Underload" section of the article, they have s,k,i,v (I added v) then can you add c and d as well, and what would it be, exactly? < 1298346986 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: oh. ais and oerjan did that too < 1298346987 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :separately < 1298346999 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: i think he means directly, if we have C < 1298347017 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh right < 1298347018 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well it probably won't help with d < 1298347021 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it'd just be C, basically :-P < 1298347043 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh that mojo guy left? < 1298347045 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i am SO SURPRISED < 1298347068 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well assuming the Unlambda to Underload section preserves strict evaluation order, i think c should be buildable from C < 1298347106 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: another of the desperate masses looking for an occult irc channel < 1298347126 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but none with the skills to actually make one < 1298347149 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :They should know to look on other IRC network, then? < 1298347156 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or maybe they are prevented by demons. yeah that's the ticket. < 1298347195 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: i looked on an irc channel directory once, couldn't find any remotely big ones < 1298347199 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I have also my own IRC server, which I can add channels if requested and not intended for large amount of clients all connecting at once. < 1298347214 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(just to see if there was any place to refer the next guy coming to) < 1298347230 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: At least it is not bad thing to check. < 1298347235 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i doubt they'd have the capability of logical thought required to figure out how to make a channel. < 1298347244 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: THAT WAS THE JOKE < 1298347244 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and OUCH that lagged my computer, wonder why < 1298347252 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: ;D < 1298347258 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i was making a SUBTLE JAB at YOUR BELIEFS < 1298347260 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-rw-r--r-- 1 elliott elliott 129M 2011-02-22 04:29 foo < 1298347263 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :NOT BAD FOR 50 SECONDS < 1298347272 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: AND NOT NOTICING I ALREADY JABBED MYSELF < 1298347273 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :To make channel just use JOIN command, it is not difficult? < 1298347290 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Wait < 1298347295 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hey that lines up weirdly (thue-morse wrapped to 80 chars) < 1298347298 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott was not being weird, and the person left anyway? < 1298347304 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :It's an #esoteric miracle! < 1298347310 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: you failed to mention SYNCHRONICITY < 1298347314 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :like < 1298347323 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"clearly it is synchronicity that they cannot make a channel because of logic" < 1298347355 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: DEMONS, I SAID < 1298347356 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Try converting some Unlambda program with c to Underload and see if it works. < 1298347362 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: no < 1298347369 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan:any porgress :DDDDDDDD < 1298347619 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: overengineering more < 1298347629 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: how many catamorphisms < 1298347637 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : TWENTY < 1298348136 0 :elliott!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298348154 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298348158 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : oh no, oerjan died in a catamorphism accident < 1298348162 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :discuss catamorphism conspiracy < 1298348433 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :rotten bananas? < 1298348443 0 :copumpkin!unknown@unknown.invalid PRIVMSG #esoteric :http://comonad.com/reader/2008/rotten-bananas/ < 1298348448 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :rotten spacenanas < 1298348513 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm, i should really formulate these thoughts down sometime < 1298348518 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(a purely-functional, strongly-typed concatenative language) < 1298348538 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: you are familiar with Cat? < 1298348570 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: yes. not only is it seemingly dead or at least dormant, but WP says that the official implementation does no actual typechecking or inference, and it's definitely not pure. < 1298348572 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but it is an inspiration. < 1298348594 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i figured out that at least a subset of do notation can be done without any special syntax, which is promising for actually using it < 1298348600 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :let do = () return < 1298348604 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and let ; be >> < 1298348606 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :then you can just say < 1298348610 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :... do < 1298348612 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : "hello" print ; < 1298348615 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : "goodbye" print ; < 1298348622 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it gets a bit harder with <- < 1298348628 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :my current thought is to use continuations somehow to write < 1298348629 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :... do < 1298348633 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : getLine ->; < 1298348638 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : "You typed: %s\n" printf ; < 1298348643 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but I'm not sure the types will check out < 1298348648 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :or if that will behave sanely < 1298348672 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I might just bite the bullet and add real do-notation, but that would compromise concatenativeness < 1298348673 0 :augur!~augur@208.58.6.161 JOIN :#esoteric < 1298348740 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :anyway, bedtime < 1298348741 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :goodnight! < 1298348753 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :goodnight < 1298348912 0 :pikhq!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298348992 0 :pikhq!~pikhq@174-22-153-183.clsp.qwest.net JOIN :#esoteric < 1298348995 0 :elliott!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298349036 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :WTF is the point of unique local addresses? < 1298349472 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :gregor: i cannot disclose any info about bfjml until it is complete < 1298349983 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :There is an IPv6 address :: ? < 1298350212 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :GREGOR: I WOULD PLAY THE CHILDMAULING BEAR GAME < 1298350262 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :"Again, the concept of scope is important in a multicast of this type because we don't want to try to send a message to “all nodes” on the global Internet, for example. " < 1298350268 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :LIES. I WANT TO TRY IT. < 1298350280 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Oh, ""Valid Scope Values" < 1298351245 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :They went and deprecated site-local addresses because nobody can be bothered to handle the scope ID stuff correctly in code. < 1298351292 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :And also because nobody knew what a "site" was. < 1298351330 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :And replaced that with the unique local addresses, which at least are more or less unique. < 1298351384 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :So that if you have address X stored in a file somewhere, you don't need to separately keep track to which site it refers to, if it's in a box which visits multiple "sites". < 1298352593 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298352601 0 :pikhq!~pikhq@174-22-171-74.clsp.qwest.net JOIN :#esoteric < 1298352803 0 :zzo38!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds < 1298353196 0 :sftp!unknown@unknown.invalid QUIT :Remote host closed the connection < 1298356050 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :holy crap I'm up early < 1298356064 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*MWAHAHA* < 1298356229 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :this meeans I can be at work before 9 if I don't end up spending a few hours here < 1298356419 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Heh: Conference registration for non-IEEE-member students: $300. Conference registration for IEEE + signal processing society member students: $175. One year's graduate student membership in IEEE and SPS: $42. Sum of last two: $217. Finally, $217 < $300. < 1298356430 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Must be their clever ploy to get more members. < 1298356481 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :they should have registration with 1 year membership instead < 1298356503 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :that's not as much money though, so they're probably trying to get more members *and* make more money, at the same time < 1298356539 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :interesting that Signal Processing Society and Society of Physics Students share an acronym < 1298356594 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I'd appreciate the main SPS membership benefits -- access to IEEE Trans. on {Audio, Speech and Language Processing; Image Processing; Information Forensics and Security; Signal Processing} -- more if I didn't already get close to everything in the IEEE library for free simply by tagging the university proxy suffix to the domain name. < 1298356631 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :At least they'll send a print copy of their glossy magazine, if I understood correctly. After the inevitable collapse, I can use it to keep warm, I guess. < 1298356692 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Even better: the inevitable collapse will probably have hyperinflation. < 1298356695 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And you know what that means! < 1298356713 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Billion dollar toilet paper! < 1298356882 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I think I have a 50 million mark stamp from Germany (circa 1923) somewhere at home. < 1298356895 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :(They did make a 50 billion mark stamp too.) < 1298357260 0 :Zwaarddijk!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298357337 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott: http://oerjan.nvg.org/esoteric/underload/Numerals.hs < 1298357338 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: are you a troll? < 1298357407 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :"For each new member you recruit, you earn an award which can be used toward IEEE dues, IEEE Society fees or the purchase of IEEE products and services -- Student Members can earn: US$2 for each Student or Graduate Student member recruited; ..." < 1298357411 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :It's like a pyramid scheme. < 1298357423 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :a very cheap one :| < 1298357443 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1298357443 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Yes, and only one level deep. < 1298357459 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :Amwieeey < 1298357489 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :You do get $15 instead of $2 if you manage to recruit a real person instead of a student. < 1298357499 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1298357503 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: so it's like a simplex scheme, without being a simplicial complex scheme? < 1298357648 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :After recruiting 12 students I could turn my prize into three IEEE-logo-equipped golf balls: http://www.ieee.corpmerchandise.com/ProductDetail.aspx?did=6180&pid=50132 < 1298357651 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :The amazing. < 1298357684 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Not just any golf balls: these have "high lift design for greater distance". < 1298357711 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :do they use any IEEE published papers in their production? < 1298357723 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :and if so, would the papers be available for the same cost or less? < 1298357781 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :The "gifts" section has a "golf umbrella" and those golf balls. I'm getting the impression that a lot of IEEE members play golf. < 1298357843 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :or, someone *wants* you to be under this impression < 1298357859 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :in fact it's an international crime ring. the golf is only a cover. < 1298357873 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :ieee is a cover for the golf is a cover for the crime organization. < 1298357882 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :is a cover for a pianist club. < 1298357950 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Nefarious. < 1298357984 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :they are the most evil pianists in the world < 1298358003 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :they are so evil, ALL the keys are black < 1298358013 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And electric pianists, no less. < 1298358025 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :"I feel a disturbance in the black to white key ratio." < 1298358099 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :they are so evil, they play prepared piano pieces exclusively < 1298358115 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :and they use chains and brass knuckles to prepare it < 1298358136 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :oh i thought that's just for bling < 1298358155 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :they are so evil, they commission pieces from John Cage < 1298358284 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Yet another membership benefit: the IEEE Spectrum magazine, the magazine with headlines like "Snakebot Worms Its Way Into Your Heart, Literally: CardioARM, a snake robot from CMU, is designed to navigate around your heart, since what we all definitely need are more robot snakes in our chests" < 1298358349 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :(Somehow they've managed to make that sound like Annals of Improbable Research.) < 1298358398 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Ah, it's a blog: well, that explains the tone. < 1298358452 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :wtf < 1298358679 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: does ieee have any fight club like rules? < 1298358729 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :well < 1298358734 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :you can talk about it < 1298358737 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :so the first two are out < 1298358753 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :i think they keep the one about "if this is your first night, you must fight" < 1298358770 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :They're still just processing my order, so I don't know yet. < 1298358798 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :There is the Code of Ethics the form asks you to accept, with a delightful drop-down menu that has only "Yes" as an option. < 1298358808 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Won't take no for an answer, you see. < 1298358814 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :if what quintopia says is right, they're about to process your ribcage, too < 1298358818 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :http://www.ieee.org/about/corporate/governance/p7-8.html < 1298359070 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :it is ten degrees in my room < 1298359072 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :what do < 1298359107 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :first, don't use fahrenheit < 1298359120 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :it's celsius < 1298359130 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :YOU DON'T SAY < 1298359136 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :JUST DID < 1298359138 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i left out kelvin as then you would be dead < 1298359139 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :WHAT U GONNA DO HUH < 1298359143 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :how many servers do you have turned off that could be turned on :P < 1298359153 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :well, who knows, maybe i'm a crystalline being < 1298359193 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: haha, so true, well, this 450W psu is only lukewarm if that puts it in perspective for you < 1298359202 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :and the huge CRT monitor is just plain ol cold. < 1298359215 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Start a for(;;); on every box. < 1298359220 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1298359225 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :i feel like ted kaczynski in his hut < 1298359227 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :or run LINPACK < 1298359233 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :i'm already a mathematician < 1298359243 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :NO RELATION < 1298359244 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :there's only one thing missing < 1298359261 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :The monkey? < 1298359262 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION sends elliott a package
< 1298359332 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :IS IT A PARTY HAT? < 1298359335 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :A CAKE? < 1298359351 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :THIS PARTY IS THE BOMB < 1298359389 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :in polish there's this word < 1298359397 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :or perhaps phrase, "rozerwac sie" < 1298359402 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :which means to enjoy yourself. < 1298359402 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that no one can pronounce < 1298359415 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :it also means to literally tear yourself apart < 1298359430 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :so suicide bombers greatly enjoy themselves < 1298359431 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :got it < 1298359435 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :not in the "you're tearing me apart lisa" way, more in the "party cake" way < 1298359437 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1298359443 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1298359450 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :"to treat fairly all persons regardless of such factors as race, religion, gender, disability, age, or national origin;" < 1298359453 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :aha < 1298359464 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :but NOT according to text editor!! < 1298359482 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :there must be _some_ limits < 1298359513 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :sadly no good hits: http://www.google.com/search?sourceid=chrome&ie=UTF-8&q=vi+4+lyfe+tattoo < 1298359518 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :they are going to shun vi users. because of the close ties between emacs and lisp. and the elitism of lispers < 1298359525 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :but i'm sure soemone has that < 1298359539 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: lies, emacs is just a TECO script. < 1298359550 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :VI 4 CHOICE! < 1298359556 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is pro-choice
< 1298359577 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: notice how oerian is very quiet < 1298359585 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: i think oerjan might be non-modal < 1298359614 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :no, he's definitely modal. he can't talk to us until he is finished engaging in the work of the moment < 1298359624 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :"oh nooo i use viper mode" yeah whatever oerjan! we know all about your wrongdoings < 1298359629 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: hmm < 1298359655 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: i remember telling him in the past to work on something! so that might be true < 1298359678 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: on the other hand he might just be making a diversion to win time. < 1298359689 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :he's going to defeat us all < 1298359700 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :by reducing ul to ():^ < 1298359704 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric ::O < 1298359704 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :no. < 1298359711 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :he will not defeat.. < 1298359714 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :the pianist club. < 1298359734 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :although i would be somewhat reluctant to call them "us" < 1298359741 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :they are already packing up a gift for him < 1298359744 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :it's a grand piano < 1298359759 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :like the one that yosemite sam designed < 1298359788 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :got a pic? < 1298359814 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Ballot_Box_Bunny < 1298360049 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :heh look what i found < 1298360050 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:1674_liten.jpg < 1298360059 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :yes, the file name has the creation date < 1298360605 0 :quintopia!unknown@unknown.invalid TOPIC #esoteric :A bottle of Moxie for everyone; Bugs Bunny hath spoken. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1298361107 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:Basic_interpreter_on_the_DVK_computer.JPG < 1298361125 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :is there an esoteric language in cyrillic? < 1298361235 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Heh, they write the "BASIC" part as "BEJSIK", basically. < 1298361256 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1298361284 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :GOST 27975-88 Programming language ALGOL 68 extended - Язык программировани� �ЛГОЛ 68 ра�ширенный < 1298361342 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :ohhhh http://en.wikipedia.org/wiki/Chinese_BASIC < 1298361355 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :Chinese BASIC < 1298361355 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :commands are printed in blue Applesoft BASIC < 1298361355 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :10 �=0 10 Y=0 < 1298361355 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :20 入 水, � 20 INPUT E, F < 1298361355 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :30 從 日 = 水 到 � 30 FOR A = E TO F < 1298361355 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :40 � = �+�數(日) 40 Y = Y + LOG (A) < 1298361357 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :50 下一 日 50 NEXT A < 1298361359 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :60 � � 60 PRINT Y < 1298361447 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Rapira < 1298361463 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :ПРОЦ СТ�РТ() < 1298361463 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric : ВЫВОД: 'Привет, мир!!!' < 1298361463 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :КО� ПРОЦ < 1298361511 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :/kick cheater- < 1298361530 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :wat < 1298361532 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :why now < 1298361599 0 :clog!unknown@unknown.invalid QUIT :ended < 1298361600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1298362261 0 :Mathnerd314!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298362421 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :i have really underestimated ftp://publications.ai.mit.edu/ - it is 20 gigabytes < 1298362799 0 :cheater-!unknown@unknown.invalid PRIVMSG #esoteric :capital at sign: http://scienceblogs.com/pharyngula/2008/08/atheism_symbol.php < 1298363937 0 :MigoMipo!~John@84-217-10-227.tn.glocalnet.net JOIN :#esoteric < 1298365283 0 :cheater-!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298365314 0 :cheater00!~cheater@g231048229.adsl.alicedsl.de JOIN :#esoteric < 1298365995 0 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1298367290 0 :MigoMipo!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298368348 0 :oerjan!unknown@unknown.invalid QUIT :Quit: leaving < 1298369193 0 :cheater00!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298369998 0 :cheater00!~cheater@g231048229.adsl.alicedsl.de JOIN :#esoteric < 1298370786 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1298371106 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1298372462 0 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1298372465 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote host closed the connection < 1298372732 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1298372736 0 :pikhq_!~pikhq@71-219-227-10.clsp.qwest.net JOIN :#esoteric < 1298373639 0 :qweqwe!~Admin@177-156-132-95.pool.ukrtel.net JOIN :#esoteric < 1298373644 0 :qweqwe!unknown@unknown.invalid PRIVMSG #esoteric :eee < 1298373654 0 :qweqwe!unknown@unknown.invalid PRIVMSG #esoteric :nobody here? < 1298373713 0 :qweqwe!unknown@unknown.invalid PART #esoteric :? < 1298374124 0 :FireFly!unknown@unknown.invalid QUIT :Quit: swatted to death < 1298374635 0 :Mannerisky!unknown@unknown.invalid QUIT :Ping timeout: 250 seconds < 1298376949 0 :miekko!miekko@infa.abo.fi JOIN :#esoteric < 1298377562 0 :myndzi!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1298378392 0 :augur!unknown@unknown.invalid QUIT :Remote host closed the connection < 1298379336 0 :pikhq!~pikhq@174-22-179-212.clsp.qwest.net JOIN :#esoteric < 1298379352 0 :pikhq_!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds < 1298379602 0 :sftp!~sftp@79.174.49.11 JOIN :#esoteric < 1298379635 0 :myndzi!myndzi@c-76-28-158-10.hsd1.wa.comcast.net JOIN :#esoteric < 1298379761 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm, I just put a new language, http://esolangs.org/wiki/Checkout, onto the wiki < 1298379769 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :its aim is to be faster than machine code, by being lower-level than machine code < 1298379781 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :(that's doable nowadays, because processors have evolved and yet machine codes haven't) < 1298379807 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :a side effect of this is that it can only really be run on a GPU without an abstraction inversion, as there's no way to instruct CPUs to deal with things at the right level < 1298379984 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders if Clojure has stuff similar to Racket's send* and with-method
< 1298379991 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :It would be pretty stupid not to, but < 1298380013 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I know that Clojure calls send . < 1298380031 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :No, I'm not learning Clojure right now. I'm re-picking-up Racket < 1298380678 0 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1298380794 0 :augur!~augur@129.2.129.32 JOIN :#esoteric < 1298382786 0 :cheater00!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1298382881 0 :augur!unknown@unknown.invalid QUIT :Remote host closed the connection < 1298382908 0 :cheater00!~cheater@e181128126.adsl.alicedsl.de JOIN :#esoteric < 1298383558 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1298384145 0 :ais523!unknown@unknown.invalid QUIT :Remote host closed the connection < 1298384221 0 :augur!~augur@129.2.129.32 JOIN :#esoteric < 1298385030 0 :iconmaster[1]!~iconmaste@cci-209150237034.clarityconnect.net JOIN :#esoteric < 1298385119 0 :iconmaster[1]!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298385862 0 :iconmaster[1]!~iconmaste@cci-209150237034.clarityconnect.net JOIN :#esoteric < 1298386110 0 :copumpkin!unknown@unknown.invalid QUIT :Quit: Computer has gone to sleep. < 1298386791 0 :pikhq_!~pikhq@71-219-221-151.clsp.qwest.net JOIN :#esoteric < 1298386795 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1298387016 0 :Sgeo!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298387718 0 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1298388028 0 :pikhq!~pikhq@71-219-226-76.clsp.qwest.net JOIN :#esoteric < 1298388049 0 :pikhq_!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds < 1298388471 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1298388580 0 :pumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1298388726 0 :copumpkin!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1298388886 0 :pumpkin!unknown@unknown.invalid QUIT :Ping timeout: 250 seconds < 1298388912 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :http://www.freedom2measure.org/ < 1298388933 0 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1298388960 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I can't think of something worth saying on that. < 1298389004 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Apparently metric units are sexist. < 1298389060 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :And undemocratic. < 1298390686 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298390746 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :laaaaaaaaaaawl < 1298390748 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :"The metric system has been almost wholly created and standardized by male scientists and bureaucrats. At the time, during which women were considerably less liberated than today, woman had virtually no say in the creation and, in many countries, the imposition of these units. Perhaps, if they had, the value of the practical units used in those tasks undertaken by woman at the time would have been recognized." < 1298390757 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :That is the most sexist way you could possibly claim that metric units are sexist. < 1298390758 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: what < 1298390771 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"Perhaps, if they had, the value of the practical units used in those tasks undertaken by woman at the time would have been recognized." < 1298390772 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :like what < 1298390774 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cooking units? < 1298390775 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::> < 1298390781 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Apparently :P < 1298390823 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :22:48:57 elliott: http://oerjan.nvg.org/esoteric/underload/Numerals.hs < 1298390832 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :today i discovered the meaning of overengineering < 1298390838 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : - Detect initial numeral by partial emulation. < 1298390839 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : - church' < 1298390839 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : - < 1298390839 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : - = < 1298391032 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :05:02:41 hmm, I just put a new language, http://esolangs.org/wiki/Checkout, onto the wiki < 1298391032 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :05:02:49 its aim is to be faster than machine code, by being lower-level than machine code < 1298391032 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :05:03:01 (that's doable nowadays, because processors have evolved and yet machine codes haven't) < 1298391032 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :05:03:27 a side effect of this is that it can only really be run on a GPU without an abstraction inversion, as there's no way to instruct CPUs to deal with things at the right level < 1298391032 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :<3 < 1298391104 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: "You should not have to defend your right to keep your heritage" < 1298391109 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: That's why interracial marriage is illegal. < 1298391116 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I nose, rite < 1298391134 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :[[As for evidence of this, consider the fact that man was put on the Moon, a task requiring almost unimaginable accuracy and precision, using American units. If you think that that is out of date ... the Space Shuttle Program runs with American units ... as does every Boeing coming off the assembly line today.]] < 1298391142 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I seem to recall an accident with a Mars rover... < 1298391151 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"Metricators will sometimes say that decimals are more accurate than fractions." < 1298391152 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :What? < 1298391175 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :This whole site is so hilariously retarded, but I can't read it because of that obnoxious waving flag X-P < 1298391208 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"This is because we do not convert between different scales of units of temperature (i.e. we do not speak in millidegrees of Petadegrees etc.)" < 1298391211 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Maybe you don't. < 1298391232 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"Furthermore, since the size of a degree Fahrenheit is smaller that that of a degree Centigrade, when describing the temperature around us Fahrenheit is more accurate!" < 1298391238 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Apparently we do speak in "millimeters of petameters" though? < 1298391249 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I love how they dismiss things as useless and then say that Fahrenheit is INFINITESIMALLY MORE ACCURATE < 1298391261 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"Another factor is that our customary units are simply more human because they are developed in reference to the scale of the human body." < 1298391264 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :This guy must have gigantic feet. < 1298391274 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"The naming system of the metric system is systematic but repetitive. Humans find words that are distinct easier to store." < 1298391278 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Now you're just fucking with me. < 1298391707 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: "Strictly speaking, the international bureaucrats who try to impose measurements on people, do not promote the metric system but the Système International (or "SI"). The difference is that SI excludes many metric units. For example, centimeters are not part of SI. For measurement of distance, millimeters are ok, meters too and also kilometers but not centimeters." < 1298391708 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: ^ < 1298391710 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :... < 1298391715 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Prefixes. wut are dey? < 1298391742 0 :azaq23!unknown@unknown.invalid QUIT :Ping timeout: 264 seconds < 1298391768 0 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1298391868 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :argh < 1298391871 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it won't work < 1298391923 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: "Also write to companies. Companies listen to consumers for commercial reasons. If they realize that a law is making their customers unhappy they will lobby against that law." < 1298391935 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: It takes a special kind of person to look corporatism straight in the face and say, "I like it." < 1298391944 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(From that metric page.) < 1298392521 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: http://www.mail-archive.com/usma@colostate.edu/msg26369.html SECRET METRICATORS PLOTTING AGAINST AMERICAN WEBSITES < 1298392631 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :elliott: You're such a METRICATOR. < 1298392650 0 :elliott!unknown@unknown.invalid TOPIC #esoteric :Metricator's Association of Anti-America | http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1298392664 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Also I wrote that as a response to the "metricators will sometimes" comment, not the latest. < 1298392767 0 :Gregor!unknown@unknown.invalid TOPIC #esoteric :Metricators' Association of Anti-America | Togethre we can destroy American heritage with metric units | http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1298392913 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Togethre :D < 1298392922 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*Metricatre's < 1298392928 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*Metricatres' < 1298393096 0 :iconmaster[1]!unknown@unknown.invalid PRIVMSG #esoteric :Lol, Down with the American measurment system! < 1298393102 0 :MigoMipo!~John@84-217-8-224.tn.glocalnet.net JOIN :#esoteric < 1298393150 0 :iconmaster[1]!unknown@unknown.invalid NICK :iconmaster < 1298393164 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :I like Metric better btw < 1298393520 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Down with uppity reptiles. < 1298393604 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION posts a longcat-is-long comment on http://esolangs.org/wiki/Talk:Chalcraft-Greene_train_track_automaton
< 1298394591 0 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1298394976 0 :Behold!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1298395125 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1298395155 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :elliott: You're an "elitist leftie academic"? < 1298395161 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ABSOLUTELY. < 1298395173 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: I support the metric system so how could I not be? < 1298395179 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Well, there's that. < 1298395185 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I should insert "metricator" in there. < 1298395543 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1298395713 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Is the IRC logs searchable? < 1298395723 0 :cheater00!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298395763 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: If you grep them. < 1298395779 0 :Behold!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1298395809 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :elliott: So that means I would need to download all of them? Is it possible to telnet to there to avoid downloading all of them? < 1298395829 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: No. You can get them from hg, Gregor has a repository. < 1298395834 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :You can keep it updated with "hg pull; hg update". < 1298395837 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Ask him for the link. < 1298395850 0 :cheater00!~cheater@e181136204.adsl.alicedsl.de JOIN :#esoteric < 1298396069 0 :Sgeo!~Sgeo@137.125.181.62 JOIN :#esoteric < 1298396189 0 :Behold!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1298396234 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Or "hg pull -u". Still involves a local copy, tho. < 1298396249 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :good afternoon < 1298396256 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :how is the life of everyone here? < 1298396256 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Google does index some of the logs, I think I've hit them in searches. < 1298396364 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Something like "url:tunes.org/~nef/logs/esoteric site:tunes.org " can work. < 1298396366 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1298396393 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :It's not very good, though. < 1298396429 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I tried Google, it doesn't work very wekk < 1298396488 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :Did you mean: I tried Google, it doesn't work very wekk? < 1298396492 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :Did you mean: I tried Google, it doesn't work very well? < 1298396587 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :!info < 1298396591 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :EgoBot is a bot for running programs in esoteric programming languages. If you'd like to add support for your language to EgoBot, check out the source via mercurial at https://codu.org/projects/egobot/hg/ . Cheers and patches (preferably hg bundles) can be sent to Richards@codu.org , PayPal donations can be sent to AKAQuinn@hotmail.com , complaints can be sent to /dev/null < 1298396632 0 :elliott!unknown@unknown.invalid TOPIC #esoteric :hmm < 1298396636 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Cool, EgoBot is broken < 1298396640 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*broken. < 1298396641 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(https://codu.org/projects/egobot/hg/index.cgi/rev/c6a7fee953ca) < 1298396665 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :s/wekk/well/ < 1298396691 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :!gforth_quit < 1298396728 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : 308 /* Tailcat optimisation: if nothing else is using the stack < 1298396728 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : 309 element we're catting to, just change its next pointer to do < 1298396728 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : 310 the catting directly. */ < 1298396729 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :tailcat :3 < 1298396732 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan still isn't here, gah < 1298396752 0 :jix!unknown@unknown.invalid QUIT :Quit: leaving < 1298396763 0 :jix!jix@tomakin.h-ix.net JOIN :#esoteric < 1298396804 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1298396826 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :http://9gag.com/gag/80950 < 1298396830 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :NOOOOOOOOOOOOOOOOOoooooooooooooooooooooooooooooooooooooooooooooooooooooooo < 1298396893 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :WHERE IS OERJAN < 1298396897 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: summon him with your op powers. < 1298396939 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :/cast summon bigger fi.. I mean, oerjan < 1298396939 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :* CAST :Unknown command < 1298396947 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :How do you summon him with op powers? < 1298396993 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298397004 0 :pikhq!~pikhq@71-219-212-129.clsp.qwest.net JOIN :#esoteric < 1298397007 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :What's this about oerjan, anyway? < 1298397016 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Maybe if you just speak his name thrice. < 1298397030 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Mine in the only one with SUMMON and even in that case you can only call the users on the computer which is the server computer. < 1298397035 0 :Behold!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1298397057 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Three is not enough. You need pi at least. < 1298397074 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan oerjan oerjan (oerjan) < 1298397080 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: His function is inadequate :P < 1298397189 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Even the latest ircnet ircd (2.10.3p3) still supports SUMMON if you just define ENABLE_SUMMON in config.h, but people generally don't. < 1298397203 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :It's not like there's usually really people logged on the servers. < 1298397341 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I am the only one then, that has enabled SUMMON < 1298397371 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :https://blogs.msdn.com/b/ericlippert/archive/2011/02/14/what-would-feynman-do.aspx -> semi funny (very) semi serious < 1298397382 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :irc.netsplit.de lists 753 known networks, I'm sure at least *one* has some sort of a summon, if only by accident. :p < 1298397405 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh, hey, it might work. < 1298397418 0 :Xawu!~latif@dslb-094-220-085-056.pools.arcor-ip.net JOIN :#esoteric < 1298397457 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Then, see if there are some < 1298397462 0 :Xawu!unknown@unknown.invalid PRIVMSG #esoteric :Helli < 1298397462 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :"The site's security certificate is not trusted!" < 1298397464 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :XD < 1298397476 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: hrm? doesn't do that for me < 1298397478 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Xawu: Yes? < 1298397492 0 :Xawu!unknown@unknown.invalid PRIVMSG #esoteric :Yes < 1298397509 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, same < 1298397514 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :[Church 18446744073709551616 (Quote [Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,C < 1298397514 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :at,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat,Dup,Cat]),Quote [Swap,Dup,Cat,Swap,Dup,Call]] < 1298397517 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Now I just need "deduplication". < 1298397566 0 :Xawu!unknown@unknown.invalid PART #esoteric :? < 1298397569 0 :zzo38!unknown@unknown.invalid QUIT :Remote host closed the connection < 1298397648 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Now it's niiice and slow. < 1298397734 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :What an odd infinite loop. < 1298397747 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Oh, hah. < 1298397772 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Huh? That didn't fix it? < 1298397843 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what was the name of that differentiation thing you were fiddling with a while back? < 1298397849 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Automatic differentiation? < 1298397853 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(= Dual numbers) < 1298397960 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1298397992 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, hm what are you doing. < 1298397994 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Did you actually link to a proof that f(x+d) = df'(x) + f(x)? < 1298398003 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: You mean the debug output? < 1298398006 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I suspect something related to underload < 1298398008 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, yes < 1298398016 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Yes, I'm writing an advanced Underload interpreter (more advanced than derlo). < 1298398025 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, advance as in optimising? < 1298398027 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I think I trivially proved it; it's a simple algebraic derivation, ISTR. < 1298398040 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :elliott: you're calling it nderl, right? < 1298398046 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: As in structure sharing (not string-based), recognises Church numerals. < 1298398081 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Actually my compiler was going to be called unad because it's Underload with the derlo taken out, but no, this one's called relief (overload -> ... -> opposite -> relief) < 1298398084 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, right < 1298398122 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :overload -> opposite -> boredom? < 1298398135 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I think it was like overload -> burdened -> stress -> relief. < 1298398143 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Because of course underload is the opposite of overload. < 1298398147 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(being a tarpit of overload) < 1298398147 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :(about a haskell-based Coq-alike) "i'd love for it to become more mainstream" < 1298398155 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric : Did you actually link to a proof that f(x+d) = df'(x) + f(x)? <-- err... Are there any special assumptions for that statement? < 1298398184 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :d^2 = 0. < 1298398226 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, is this in R? If so yes f(x+0) = 0*anything + f(x) :P < 1298398237 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Obviously, it's not in R. < 1298398244 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, then what is the domain. < 1298398252 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Read. < 1298398257 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : (= Dual numbers) < 1298398259 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, how far back? < 1298398263 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :That far back. < 1298398265 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Whole lines. < 1298398271 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Three, in fact, before his message. < 1298398292 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah. < 1298398297 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :[[One application of dual numbers is automatic differentiation. Consider the real dual numbers above. Given any real polynomial P(x) = p0+p1x+p2x2+...+pnxn, it is straightforward to extend the domain of this polynomial from the reals to the dual numbers. Then we have this result: P(a+bε) = P(a)+bP ′(a)ε, where P′ is the derivative of P. By computing over the dual numbers, rather than over the reals, we can use this to compute derivatives of < 1298398297 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : polynomials. More generally we may define division of dual numbers and then go on to define transcendental functions of dual numbers by defining f(a+bε) = f(a)+bf ′(a)ε. By computing compositions of these functions over the dual numbers and examining the coefficient of ε in the result we find we have automatically computed the derivative of the composition.]] < 1298398302 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Mrf, doesn't prove it. < 1298398313 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Perhaps I copied the proof from elsewhere; I recall it was quite elegant < 1298398324 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*elegant. < 1298398328 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Although I suspect a proof would likely depend on the operator definitions. < 1298398333 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Since those are the things that do the "real" differentiation. < 1298398349 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Also: "There's not really a need to explicitly write out the expressions for operations such as exponentiation. For any binary function on the reals, f, the natural extension to dual numbers is given by f(a+be,c+de) = f(a,c)+(b f1(a,c)+d f2(a,c))e, where f1 and f2 are the two partial derivatives of f with respect to its arguments. Sigfpe 01:02, 14 December 2006 (UTC)" < 1298398386 0 :Sgeo!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298398406 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Oh, of course, it's just expanding the polynomial. < 1298398410 0 :cheater00!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298398502 0 :cheater00!~cheater@e181052228.adsl.alicedsl.de JOIN :#esoteric < 1298399466 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298399496 0 :Sgeo!~Sgeo@137.125.187.237 JOIN :#esoteric < 1298400018 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :So what's a decent Nintendo 64 emulator. < 1298400595 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :p == q = toQ p == toQ q < 1298400597 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Where toQ is Obj -> Obj. < 1298400600 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :HURF DURF < 1298400788 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :$ time ./relief '(:*)(~:*:S(/)S~:^):^' >foo < 1298400788 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :real 0m10.685s < 1298400788 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :$ ls -lh foo < 1298400788 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :-rw-r--r-- 1 elliott elliott 156M 2011-02-22 19:22 foo < 1298400790 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I think that's a record. < 1298401312 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :str Main 57.8 66.4 < 1298401312 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :putResult Main 18.2 1.0 < 1298401312 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cat Main 18.2 32.5 < 1298401312 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :strOp Main 5.9 0.0 < 1298401314 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :str: SO EXPENSIVE. < 1298401835 0 :pikhq_!~pikhq@71-219-206-37.clsp.qwest.net JOIN :#esoteric < 1298401839 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1298402000 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :OK, running with oerjan's insane disclaimed Turing machine gives a better profile. < 1298402024 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Unsurprisingly the interpreter itself is taking most of the time; cat is second and == is fourth. < 1298402029 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cat's time is probably mostly taken up by ==. < 1298402035 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : cat Main 742 49504232 27.3 43.1 43.5 49.7 < 1298402035 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : ==_a1ie Main 743 30527845 10.1 6.6 16.1 6.6 < 1298402035 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : ==_a1hS Main 745 30056779 4.3 0.0 4.3 0.0 < 1298402036 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Indeed. < 1298402047 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :So if I can optimise == somehow... < 1298402055 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Maybe deduplicate slightly less. < 1298402256 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :implement == using an unsafe pointer comparison? :D < 1298402279 0 :Wamanuz5!unknown@unknown.invalid QUIT :Remote host closed the connection < 1298402295 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :look at the core, make stuff more strict, add some inline pragmas < 1298402295 0 :miekko!unknown@unknown.invalid QUIT :Ping timeout: 250 seconds < 1298402308 0 :Wamanuz5!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1298402335 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: I tried that pointer comparison thing in fact < 1298402342 0 :miekko!miekko@infa.abo.fi JOIN :#esoteric < 1298402345 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but it didn't work, and besides, i think I need to deduplicate slightly smarter than that < 1298402349 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :although I'm not sure about that < 1298402369 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: I dunno why it didn't work though, in (x:x:xs) I'd expect the two xs to be pointerdentical. is that a word? < 1298402400 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I've added some strictness annotations to the stack that seem to help but that was a while ago. inlining might help. < 1298402403 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :you can never be sure about pointerdenticality < 1298402408 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: yes yes :) < 1298402411 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :what is it again, just {-# INLINE #-} above the function? < 1298402420 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Possibly I could reimplement it as pointerdentical || slow. < 1298402443 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :exactly, use pointerdentity as a fast-and-ugly comparison that sometimes works < 1298402451 0 :ineiros_!unknown@unknown.invalid QUIT :Ping timeout: 250 seconds < 1298402460 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: yeah but afaict it _never_ works :) < 1298402469 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :as in, the only time cat would ever call it, it never seems to trigger < 1298402475 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :hmm, that sucks < 1298402484 0 :ineiros!~itniemin@james.ics.hut.fi JOIN :#esoteric < 1298402511 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :but you should probably start by looking at the core to see what's being done lazily that doesn't have to < 1298402516 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :two finns in several minutes returning, INTERESTING < 1298402522 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: yeah, I guess I had better learn Core sometime ... < 1298402530 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :at least thanks to oerjan i can reasonably claim the title of "smartest" underload interpreter, if perhaps not the fastest < 1298402546 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: I have this sneaking feeling that this project will end up being converted to C once I figure out how it should work :) < 1298402581 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :one trick, if those x's are something small like bytes, is to make your own list that is only lazy in the spine, but stores them unboxed < 1298402602 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: They are *so* not something small. < 1298402605 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Big complex structures. < 1298402615 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :data Obj = Church Integer Obj -- Obj is for printing < 1298402615 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Quote [Op] < 1298402615 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Catn Obj Obj < 1298402616 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : | Rept Integer Obj -- FIXME: Use for more things < 1298402618 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :oh noes < 1298402618 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : deriving (Show) < 1298402620 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :That's an x :P < 1298402632 0 :iconmaster!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298402649 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: I never access more than one element down, too, so an array probably wouldn't help < 1298402887 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :hmm, how boring < 1298402895 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm, I forgot to use -O2 when profiling < 1298402900 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :let's try that again < 1298402902 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :uh oh < 1298402908 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: i doubt it'll change much :P < 1298402950 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :probably not that much no :) < 1298402987 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :heh, well it did a bit actually < 1298402991 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cat is now only 2.1%, somehow < 1298402997 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :elliott: cabal install ghc-core now, then ghc-core foo.hs < 1298403002 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but, indeed, looks like == is still a major cost centre. < 1298403008 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and... >>= ... is apparently taking 5.1% of the time < 1298403009 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :X-D < 1298403016 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: oh i was gonna use -fext-core < 1298403018 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but that sounds nice < 1298403026 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :you forgot -O2 though :) < 1298403030 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :it's super convenient < 1298403037 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :and I think it adds -O2 by default < 1298403040 0 :Sgeo!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298403040 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1298403075 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :[1 of 6] Compiling Language.Haskell.Lexer.Tokens ( Language/Haskell/Lexer/Tokens.hs, dist/build/Language/Haskell/Lexer/Tokens.o ) < 1298403075 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Language/Haskell/Lexer/Tokens.hs:1:0: < 1298403075 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Warning: Module `Prelude' is deprecated: < 1298403076 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::-D < 1298403121 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I think that's the base-3 prelude getting imported < 1298403150 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: I carefully redacted that to make it more amusing < 1298403181 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Oh gosh, it's all colourised and fancy. < 1298403185 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :it's a bit annoying the whole base-3/4 thing and the weird stuff that cabal does with it < 1298403191 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :yes, super convenient! < 1298403197 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I have to question the readability of medium purple on dark purple, though. Thanks Ubuntu! < 1298403214 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :main11 = < 1298403214 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : unpackCString# < 1298403214 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : "Pattern match failure in do expression at relief.hs:217:2-7" < 1298403218 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1298403221 0 :Slereah!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298403223 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(I do [foo] <- getArgs.) < 1298403252 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :a1_r2Yc :: ChElem < 1298403252 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :GblId < 1298403252 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :a1_r2Yc = ChStr a_r2Ya < 1298403252 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :a2_r2Ye :: (ChElem, Int) < 1298403252 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :GblId < 1298403253 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :a2_r2Ye = (a1_r2Yc, $fShowResult1) < 1298403254 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: super convenient. < 1298403275 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I think Parsec does insane things to core X-D < 1298403283 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :you can read that as "omg why is it doing all this crap" < 1298403285 0 :Slereah!x@ANantes-259-1-126-186.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1298403292 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :and then you remove it and it goes faster :P < 1298403298 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: that's just from church'. which is only called during parsing. < 1298403304 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ok i plan to call it in cat, but don't yet < 1298403325 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :a6_r2Yu = < 1298403326 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : __inline_me (\ (@ b_X2eh) < 1298403328 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :best primitive name evar < 1298403341 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :__inline_me? < 1298403351 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :GHC put it there, it seems :P < 1298403399 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :not quite sure what it means though - obviously it wasn't inlined < 1298403411 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Probably it gets inlined after Core. < 1298403415 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I hear there are multiple stages of inlining. < 1298403436 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :main3 :: forall a_aUA. < 1298403437 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Result String a_aUA < 1298403437 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : -> State# RealWorld < 1298403437 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : -> (# State# RealWorld, () #) < 1298403439 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gotta love IO's real type. < 1298403452 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I guess you can check the assembly to see what actually happened to it in the end < 1298403468 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, reading GHC-generated assembly is not on my todo list. < 1298403479 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :So wait, what do I grep for laziness :-) < 1298403484 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I haven't seen any explicit laziness yet. < 1298403508 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :you see it as pattern matching < 1298403525 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Just "case" then? < 1298403536 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : case elem < 1298403536 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : @ Char $fEqChar c_a2bL lvl2_r2Yo < 1298403536 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : of _ { < 1298403536 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : False -> True; True -> False < 1298403536 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : } < 1298403537 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :lol, parsec < 1298403570 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :and I think you can see when thunks get allocated instead of plain values getting returned < 1298403594 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :This would probably be readable if I put my Parsec shit into another module. < 1298403632 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :for something simple like Int, you can see if it gets unboxed by checking if it's pattern matched to I# < 1298403682 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : case ds_d1pK of wild_B1 { < 1298403682 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : __DEFAULT -> < 1298403682 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : case dataToTag# @ Op wild_B1 of a#_aQ5 { __DEFAULT -> < 1298403682 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : case dataToTag# @ Op ds1_d1pL < 1298403682 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : of b#_aQ6 { __DEFAULT -> < 1298403683 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : ==# a#_aQ5 b#_aQ6 < 1298403685 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : } < 1298403687 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : }; < 1298403689 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"What the hell is going on here." < 1298403701 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: No results for I#, hooray :P ... but I don't really have ints in my program < 1298403708 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Mostly Integers. < 1298403713 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :hmm, dataToTag#, does that imply you're using Data and stuff? < 1298403728 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I'm not. < 1298403747 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I've absolutely no idea what that is about; it looks to be the automatically-generated ... yeah. < 1298403751 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: it's the auto-derived Eq instance < 1298403757 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :seems like it handles all zero-argument constructors < 1298403762 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :with the recursive ones and ones with strings handled < 1298403767 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I guess it's doing some kind of direct comparison < 1298403779 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*handled separately < 1298403801 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :aha, I see, it's checking if it's the same constructor in both arguments < 1298403811 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :by extracting the magic < 1298403847 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Glad _you_ can read it. < 1298403881 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :the "case ds_d1pK of foo" might imply that it's being lazy (do you need laziness here?) < 1298403956 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :is there some way for me to test this? the source? < 1298404035 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: I could give you the source if you really want to de-lazify my program :-P ... although it does rely on laziness for the Result structure... anyway < 1298404037 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It's pretty ugly though < 1298404052 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :But hey, it contains the code of oerjan, writer of half the Haskell-98 report, how bad can it be? < 1298404067 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: http://sprunge.us/EXjf < 1298404071 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :what, oerjan wrote the report? < 1298404165 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: he wrote, er, several typo corrections! < 1298404170 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :By which I mean: several MILLION < 1298404231 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :bork bork, which parsec does that need? < 1298404263 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: 3. it's shiny < 1298404267 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: (You can tell because 3 = Text.Parsec) < 1298404277 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :And Text.ParserCombinators.Parsec = 2 or 3's back-compat :P < 1298404303 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: I half plan to port it over to bytestring/attoparsec but I don't see that as a huge bottleneck right now < 1298404314 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :crap, I have 2 < 1298404401 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Just cabal install 'parsec>=3', works fine < 1298404402 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1298404414 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It's only a problem if you have dependencies which end up depending on both IME < 1298404778 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :http://andrewvos.com/2011/02/21/amount-of-profanity-in-git-commit-messages-per-programming-language/ < 1298404843 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :So basically, PHP devs are really carefree. < 1298404844 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Or just stuck-up. < 1298404854 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Pythonerifiers... definitely stuck-up. < 1298405042 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I bet olsner's made my code SO FAST < 1298405194 0 :augur!unknown@unknown.invalid QUIT :Remote host closed the connection < 1298405278 0 :TLUL!~TLUL@wikia/The-last-username-left JOIN :#esoteric < 1298405364 0 :augur!~augur@129.2.129.32 JOIN :#esoteric < 1298405495 0 :cheater00!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1298405508 0 :ineiros!unknown@unknown.invalid QUIT :*.net *.split < 1298405509 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :*.net *.split < 1298405509 0 :EgoBot!unknown@unknown.invalid QUIT :*.net *.split < 1298405509 0 :Zuu!unknown@unknown.invalid QUIT :*.net *.split < 1298405509 0 :quintopia!unknown@unknown.invalid QUIT :*.net *.split < 1298405509 0 :Ilari!unknown@unknown.invalid QUIT :*.net *.split < 1298405509 0 :Ilari_antrcomp!unknown@unknown.invalid QUIT :*.net *.split < 1298405577 0 :cheater00!~cheater@e181138120.adsl.alicedsl.de JOIN :#esoteric < 1298405695 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :elliott: when you have "one Swap !(x:y:xs)", the pattern matching itself makes sure the second argument is forced - and it will stay forced for the remaining patterns as well :) < 1298405705 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :(so most of the !'s are redundant) < 1298405715 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: right, those were added as a really quick-hack attempt to see if it went faster < 1298405719 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :when it did, i didn't bother cleaning it up :) < 1298405727 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's nice to have behaviour that doesn't depend on the pattern order < 1298405904 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :lawl @ the JS chunk :P < 1298405905 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :JSers curse like sailors. < 1298406015 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: It's because their language is just so, so bad. < 1298406018 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :They can barely cope. < 1298406039 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1298406149 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Frankly I think it's because most of them have been /forced/ to use it, rather than coming to it like any other language *shrugs* < 1298406161 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Uhhh, this is a bad /topic < 1298406179 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: Yeah, I was trying to see if your evil EgoBot force-"esoteric programming languages"-to-be-in-topic thing worked. < 1298406181 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It doesn't. < 1298406186 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(Thank god.) < 1298406217 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :I removed it after everybody complained. < 1298406230 0 :Gregor!unknown@unknown.invalid TOPIC #esoteric :It sure is boring around here, I just wonder what Gannon's up to! | http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1298406270 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Apparently it's "Ganon" :P < 1298406275 0 :Gregor!unknown@unknown.invalid TOPIC #esoteric :It sure is boring around here, I just wonder what Ganon's up to! | http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1298406379 0 :Sgeo!~Sgeo@137.125.181.62 JOIN :#esoteric < 1298406614 0 :iconmaster!~iconmaste@cci-209150237034.clarityconnect.net JOIN :#esoteric < 1298406614 0 :ineiros!~itniemin@james.ics.hut.fi JOIN :#esoteric < 1298406614 0 :EgoBot!~EgoBot@codu.org JOIN :#esoteric < 1298406614 0 :Zuu!zuu@unaffiliated/zuu JOIN :#esoteric < 1298406614 0 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1298406614 0 :Ilari!~user@2002:5870:3714::1 JOIN :#esoteric < 1298406614 0 :Ilari_antrcomp!~user@2002:5870:3714:0:20e:a6ff:fe6f:2288 JOIN :#esoteric < 1298406614 0 :zelazny.freenode.net!unknown@unknown.invalid TOPIC #esoteric :hmm < 1298406616 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :... < 1298406616 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :OK, im seriouly freaked out now. < 1298406616 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :SAY SOMETHING GUYS!!!!!! < 1298406616 0 :iconmaster!unknown@unknown.invalid PART #esoteric :? < 1298406616 0 :iconmaster!~iconmaste@cci-209150237034.clarityconnect.net JOIN :#esoteric < 1298406624 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :... wtf < 1298406626 0 :Gregor!unknown@unknown.invalid TOPIC #esoteric :It sure is boring around here, I just wonder what Ganon's up to! | http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1298406631 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :That was crazy. < 1298406643 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: That was a netsplit :P < 1298406653 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :You guys kept coming and leaving and not saying anything. < 1298406657 0 :pumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1298406682 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric : I'm afeared o' the big bad netsplit waaaaah < 1298406693 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1298406695 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :That wan't a netsplit. < 1298406708 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Well, might have been. < 1298406711 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :Exept Ilari. He managed to say something to me. Is that normal? < 1298406712 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It looks like one of those strange desyncs. < 1298406721 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: Well that sounds like a netsplit. < 1298406723 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :But Ilari is just a ghost. < 1298406741 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION nutrientizes iconmaster
< 1298406745 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :Lol, ok, im fine now. < 1298406759 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: superoptimised my program yet ;D < 1298406813 0 :copumpkin!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds < 1298406907 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :elliott: no, still rewriting it :P < 1298406912 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: X_X < 1298406917 0 :dbc!unknown@unknown.invalid QUIT :*.net *.split < 1298406917 0 :augur!unknown@unknown.invalid QUIT :*.net *.split < 1298406917 0 :variable!unknown@unknown.invalid QUIT :*.net *.split < 1298406917 0 :aloril!unknown@unknown.invalid QUIT :*.net *.split < 1298406917 0 :rodgort!unknown@unknown.invalid QUIT :*.net *.split < 1298406917 0 :Deewiant!unknown@unknown.invalid QUIT :*.net *.split < 1298406918 0 :lambdabot!unknown@unknown.invalid QUIT :*.net *.split < 1298406918 0 :comex_!unknown@unknown.invalid QUIT :*.net *.split < 1298406918 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :*.net *.split < 1298406918 0 :miekko!unknown@unknown.invalid QUIT :*.net *.split < 1298406919 0 :yorick!unknown@unknown.invalid QUIT :*.net *.split < 1298406919 0 :fungot!unknown@unknown.invalid QUIT :*.net *.split < 1298406919 0 :tswett!unknown@unknown.invalid QUIT :*.net *.split < 1298406919 0 :iconmaster!unknown@unknown.invalid QUIT :*.net *.split < 1298406919 0 :ineiros!unknown@unknown.invalid QUIT :*.net *.split < 1298406919 0 :EgoBot!unknown@unknown.invalid QUIT :*.net *.split < 1298406919 0 :Zuu!unknown@unknown.invalid QUIT :*.net *.split < 1298406919 0 :quintopia!unknown@unknown.invalid QUIT :*.net *.split < 1298406919 0 :Ilari!unknown@unknown.invalid QUIT :*.net *.split < 1298406920 0 :Ilari_antrcomp!unknown@unknown.invalid QUIT :*.net *.split < 1298406920 0 :cheater00!unknown@unknown.invalid QUIT :*.net *.split < 1298406920 0 :jix!unknown@unknown.invalid QUIT :*.net *.split < 1298406921 0 :HackEgo!unknown@unknown.invalid QUIT :*.net *.split < 1298406921 0 :shachaf!unknown@unknown.invalid QUIT :*.net *.split < 1298406921 0 :Vorpal!unknown@unknown.invalid QUIT :*.net *.split < 1298406921 0 :lifthrasiir!unknown@unknown.invalid QUIT :*.net *.split < 1298406921 0 :pumpkin!unknown@unknown.invalid QUIT :*.net *.split < 1298406922 0 :FireFly!unknown@unknown.invalid QUIT :*.net *.split < 1298406922 0 :pingveno!unknown@unknown.invalid QUIT :*.net *.split < 1298406922 0 :mycroftiv!unknown@unknown.invalid QUIT :*.net *.split < 1298406922 0 :TLUL!unknown@unknown.invalid QUIT :*.net *.split < 1298406922 0 :MigoMipo!unknown@unknown.invalid QUIT :*.net *.split < 1298406923 0 :jcp!unknown@unknown.invalid QUIT :*.net *.split < 1298406923 0 :olsner!unknown@unknown.invalid QUIT :*.net *.split < 1298406924 0 :myndzi!unknown@unknown.invalid QUIT :*.net *.split < 1298406924 0 :cal153!unknown@unknown.invalid QUIT :*.net *.split < 1298406924 0 :azaq23!unknown@unknown.invalid QUIT :*.net *.split < 1298406925 0 :Leonidas!unknown@unknown.invalid QUIT :*.net *.split < 1298406925 0 :fizzie!unknown@unknown.invalid QUIT :*.net *.split < 1298406925 0 :yiyus!unknown@unknown.invalid QUIT :*.net *.split < 1298406926 0 :Lymia!unknown@unknown.invalid QUIT :*.net *.split < 1298406926 0 :Gregor!unknown@unknown.invalid QUIT :*.net *.split < 1298406926 0 :Sgeo!unknown@unknown.invalid QUIT :*.net *.split < 1298406926 0 :Wamanuz5!unknown@unknown.invalid QUIT :*.net *.split < 1298406927 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: There is nothing wrong with the code structure :P < 1298406933 0 :elliott!unknown@unknown.invalid QUIT :Quit: Leaving < 1298407010 0 :lambdabot!~lambdabot@li85-105.members.linode.com JOIN :#esoteric < 1298407010 0 :comex_!~comex@67.188.10.190 JOIN :#esoteric < 1298407025 0 :dbc!~daniel@130-94-161-238-dsl.hevanet.com JOIN :#esoteric < 1298407025 0 :pumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1298407025 0 :iconmaster!~iconmaste@cci-209150237034.clarityconnect.net JOIN :#esoteric < 1298407025 0 :Ilari_antrcomp!~user@2002:5870:3714:0:20e:a6ff:fe6f:2288 JOIN :#esoteric < 1298407025 0 :Ilari!~user@2002:5870:3714::1 JOIN :#esoteric < 1298407025 0 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1298407025 0 :Zuu!zuu@unaffiliated/zuu JOIN :#esoteric < 1298407025 0 :EgoBot!~EgoBot@codu.org JOIN :#esoteric < 1298407025 0 :ineiros!~itniemin@james.ics.hut.fi JOIN :#esoteric < 1298407025 0 :Sgeo!~Sgeo@137.125.181.62 JOIN :#esoteric < 1298407025 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1298407025 0 :cheater00!~cheater@e181138120.adsl.alicedsl.de JOIN :#esoteric < 1298407025 0 :TLUL!~TLUL@wikia/The-last-username-left JOIN :#esoteric < 1298407025 0 :miekko!miekko@infa.abo.fi JOIN :#esoteric < 1298407025 0 :Wamanuz5!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1298407025 0 :jix!jix@tomakin.h-ix.net JOIN :#esoteric < 1298407025 0 :MigoMipo!~John@84-217-8-224.tn.glocalnet.net JOIN :#esoteric < 1298407025 0 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1298407025 0 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1298407025 0 :myndzi!myndzi@c-76-28-158-10.hsd1.wa.comcast.net JOIN :#esoteric < 1298407025 0 :pingveno!~pingveno@c-98-246-133-8.hsd1.or.comcast.net JOIN :#esoteric < 1298407025 0 :yorick!yorick@gateway/shell/shellium.org/x-tulwebeyysgnjges JOIN :#esoteric < 1298407025 0 :Lymia!~moe@unaffiliated/cirno-chan JOIN :#esoteric < 1298407025 0 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1298407025 0 :HackEgo!~HackEgo@codu.org JOIN :#esoteric < 1298407025 0 :tswett!~Warrigal@thay.Stanford.EDU JOIN :#esoteric < 1298407025 0 :cal153!~cal@c-24-4-207-72.hsd1.ca.comcast.net JOIN :#esoteric < 1298407025 0 :Gregor!~Gregor@codu.org JOIN :#esoteric < 1298407025 0 :jcp!alex@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1298407025 0 :shachaf!~shachaf@208.69.183.87 JOIN :#esoteric < 1298407025 0 :Leonidas!~Leonidas@unaffiliated/leonidas JOIN :#esoteric < 1298407025 0 :fizzie!fis@iris.zem.fi JOIN :#esoteric < 1298407025 0 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1298407025 0 :olsner!~salparot@c83-252-161-133.bredband.comhem.se JOIN :#esoteric < 1298407025 0 :yiyus!1242712427@je.je.je JOIN :#esoteric < 1298407025 0 :lifthrasiir!~lifthrasi@61.251.165.38 JOIN :#esoteric < 1298407025 0 :mycroftiv!~ircguy@h69-128-47-242.mdsnwi.dedicated.static.tds.net JOIN :#esoteric < 1298407033 0 :elliott!~elliott@91.105.78.253 JOIN :#esoteric < 1298407033 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :dbc, I don't think clog can se... darn < 1298407033 0 :elliott!unknown@unknown.invalid QUIT :Changing host < 1298407033 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298407035 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Why does it need rewritin' < 1298407037 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I thought the netsplit managed to have dbc on both halves or somethng < 1298407037 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Some sort of quantum superposition dbc? < 1298407046 0 :augur!~augur@129.2.129.32 JOIN :#esoteric < 1298407046 0 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1298407046 0 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi JOIN :#esoteric < 1298407046 0 :rodgort!~rodgort@li125-242.members.linode.com JOIN :#esoteric < 1298407046 0 :Deewiant!~deewiant@cs186230.pp.htv.fi JOIN :#esoteric < 1298407047 0 :elliott!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298407066 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298407075 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :elliott: HALLO 91.105.78.253 HOW ARE U < 1298407085 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I'm only rewriting a small part of it, dunno if this will work out at all though, the Chunk thing is confusing me < 1298407093 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: The Chunk thing is necessary. < 1298407096 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: The old system reaally sucked. < 1298407105 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Basically it's just a stream of output that can end in an error. < 1298407109 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :So (hello)S(world)Sx will be < 1298407118 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Chunk "hello" (Chunk "world" (Failure "LOL NO X INSTRUCTION")) < 1298407127 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Or if the function e.g. returns the stack after the computation, it will end with (End stack). < 1298407164 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: The structure is essentially ([a],Either e String) < 1298407298 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :right, starting to see how it fits together < 1298407363 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Result I copied from an earlier project, which is why it's not hideous :P < 1298407397 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :I'm here :) < 1298407405 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Basically it lets me thread computations without explicit concatenation of output. < 1298407476 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :The accusation that I only show up to announce that I'm here and never say anything else is accurate enough. < 1298407506 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :PROVED < 1298407513 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :dbc: You're ABUSING your ESOLANG TENURE. < 1298407526 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :I've been busy having lots of sex with a ton of people. Actually more like three metric tons in literal terms. < 1298407564 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :So, dbc has been having sex with someone who weighs three metric tons. < 1298407565 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :I haven't written a brainfuck program since factorial in probably two years. < 1298407584 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Itself not an unimpressive feat, unless you consider fat-flap-sex as sex. < 1298407628 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :I said "people", not "person". Nobody much over 200 kilos. < 1298407752 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :Also I'm doing a master's in computer science. That's mostly been easy and fun, but it does eat some more time. < 1298407752 0 :elliott!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298407812 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1298407816 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I welcome this new age of precisely weighing people before engaging in intercourse. Also, do not welcome my internet connection to anything because it sucks. < 1298407850 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That's not necessarily a disadvantage during intercourse. < 1298407957 0 :elliott_!~elliott@91.104.239.229 JOIN :#esoteric < 1298407963 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Eurgh. < 1298407978 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :Again, this is an estimate. :P < 1298407983 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :dbc: I'm doing a PhD in CS, and yet HERE I AM :P < 1298408002 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: Yeah, but what's the sum total of the weight of the this sentence is getting out of hand, structurally? < 1298408010 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :dbc is juggling, like, TWO responsibilities here. < 1298408028 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Right, I'm not having sex with a behemoth >_> < 1298408050 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Someone has to do it. < 1298408109 0 :elliott!unknown@unknown.invalid QUIT :Ping timeout: 264 seconds < 1298408120 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: Are you at least trying to integrate your PhD and the channel somehow? (E.g. I used our department's variable-length n-gram language model toolkit to build fungot's babble models, which I can sort-of count, since I learned (hypothetically in theory, anyway) more about the thing.) < 1298408121 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: godel is fnord fnord. mies fnord fnord fnord fnord koko < 1298408134 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :As you can see, a job well done. < 1298408153 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :fungot: Can't you not embarrass me *once*? < 1298408153 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: if your drscheme is correctly installed, just typing: ( require ( lib " 1.ss" " srfi" < 1298408154 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: My "real" language design stuff is all an amalgam of #esoteric and my PhD. < 1298408162 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :What's a godel? < 1298408172 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :It's a fnord fnord. < 1298408173 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :dbc: Idonno, whats a godel with you HAW HAW HAW < 1298408183 0 :Sgeo!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1298408201 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Also fi:mies = man, fi:koko = size, and having those two words in the same sentence is awfully suggestive. < 1298408245 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Not happy with your mieskoko? Just send $49.95 in an unmarked envelope to ... < 1298408251 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, and fi:fnord = ! < 1298408256 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :(There's a tiny bit of Finnish text mangled in fungot's "irc" model, courtesy of one channel that has been sporadically bilingual.) < 1298408257 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: ( 3 4.0 7.0) to ( iterate ( :list var list) body)) val...) < 1298408270 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: I can't wait until fungot starts quoting your PMs. < 1298408270 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :elliott_: well amusing as it might be a good space optimization for the common case, shadowing is the only gui framework, although unlike emacs it can only have one < 1298408271 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :`translate fnord < 1298408275 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :CAN'T WAIT < 1298408285 0 :pumpkin!unknown@unknown.invalid NICK :copumpkin < 1298408299 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Ha, I can hear fizzie's shock as he realises that that might happen. < 1298408308 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :It... shouldn't happen. < 1298408321 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Is that "it would be bad if that happened", or "it can't happen"? < 1298408328 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Both, I guess. < 1298408340 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Are you SURE? < 1298408348 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I'm a bit suspicious of irssi's logging, so I can't completely rule it out. < 1298408372 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :No output. < 1298408393 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: I think if you did /msg foo bar in-channel it shows in the channel screen and therefore gets logged there. < 1298408410 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Let's just hope all your DCC requests for donkey porn were in /query. < 1298408446 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :It shouldn't happen for autolog logs with a target-based file name, just for window-logging logs. But again, I'm not entirely sure. < 1298408465 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :I can hear you hyperventilating over IRC, you know. < 1298408486 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :To satisfy your curiosity, however, I picked a random private message, and here it is (!): [2006-12-08 02:28:09] There's a whole pile of code that just disappears somewhere. < 1298408511 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That was, perhaps, a bit anticliquematic. < 1298408569 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Aw man, so boring. < 1298408574 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :PICK AGAIN. < 1298408588 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Set up an IRC bot that picks one at random. It'll be like five minutes before we discover all your secrets. < 1298408592 0 :Phantom_Hooveer!5ead0b15@gateway/web/freenode/ip.94.173.11.21 JOIN :#esoteric < 1298408599 0 :Phantom_Hooveer!unknown@unknown.invalid PRIVMSG #esoteric :Back. < 1298408604 0 :Phantom_Hooveer!unknown@unknown.invalid PRIVMSG #esoteric :Argh. < 1298408612 0 :Phantom_Hooveer!unknown@unknown.invalid NICK :Phantom_Hoover < 1298408616 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Nnnah, sooner or later I'd get unlucky. (Also picking ineiros as the recipient rather non-randomly, and selecting only the message itself randomly, might have helped my chances of hitting an innocuous one.) < 1298408630 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Does... does qwebirc not have /nick? < 1298408636 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :FFs. < 1298408644 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Client Quit < 1298408671 0 :relic930!~relic93@p4FDFD1EA.dip.t-dialin.net JOIN :#esoteric < 1298408679 0 :Phantom_Hoover!5ead0b15@gateway/web/freenode/ip.94.173.11.21 JOIN :#esoteric < 1298408694 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Your latest comment, coming as it did immediately after a nick change, was a bit curious. < 1298408720 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Oh, it just musn't actually *tell* you your nick changed. < 1298408723 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :Anyway! Leaving again. Bye. :) < 1298409000 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds < 1298409016 0 :Phantom_Hoover!5ead0b15@gateway/web/freenode/ip.94.173.11.21 JOIN :#esoteric < 1298409236 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric : Nnnah, sooner or later I'd get unlucky. (Also picking ineiros as the recipient rather non-randomly, and selecting only the message itself randomly, might have helped my chances of hitting an innocuous one.) < 1298409244 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :We know all about your SECRET MESSAGES to dbc and, uh... < 1298409250 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant. Yes. Him. < 1298409254 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1298409265 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: What a demented man is fizzie, eh. < 1298409269 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1298409398 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :We can't exactly trust Deewiant on such matters. < 1298409404 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1298409489 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :He's probably one of those crazy Finns who tricks gullible foreigners to roll around naked in the snow with them. < 1298409512 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1298409538 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Quit: Page closed < 1298409541 0 :dbc!unknown@unknown.invalid QUIT :*.net *.split < 1298409541 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :*.net *.split < 1298409541 0 :miekko!unknown@unknown.invalid QUIT :*.net *.split < 1298409541 0 :yorick!unknown@unknown.invalid QUIT :*.net *.split < 1298409541 0 :fungot!unknown@unknown.invalid QUIT :*.net *.split < 1298409541 0 :tswett!unknown@unknown.invalid QUIT :*.net *.split < 1298409541 0 :iconmaster!unknown@unknown.invalid QUIT :*.net *.split < 1298409541 0 :ineiros!unknown@unknown.invalid QUIT :*.net *.split < 1298409541 0 :EgoBot!unknown@unknown.invalid QUIT :*.net *.split < 1298409541 0 :Zuu!unknown@unknown.invalid QUIT :*.net *.split < 1298409542 0 :quintopia!unknown@unknown.invalid QUIT :*.net *.split < 1298409542 0 :Ilari!unknown@unknown.invalid QUIT :*.net *.split < 1298409542 0 :Ilari_antrcomp!unknown@unknown.invalid QUIT :*.net *.split < 1298409593 0 :calamari!~calamari@ip70-162-184-205.ph.ph.cox.net JOIN :#esoteric < 1298409603 0 :pumpkin!~pumpkin@17.101.89.204 JOIN :#esoteric < 1298409603 0 :dbc!~daniel@130-94-161-238-dsl.hevanet.com JOIN :#esoteric < 1298409603 0 :iconmaster!~iconmaste@cci-209150237034.clarityconnect.net JOIN :#esoteric < 1298409603 0 :Ilari_antrcomp!~user@2002:5870:3714:0:20e:a6ff:fe6f:2288 JOIN :#esoteric < 1298409603 0 :Ilari!~user@2002:5870:3714::1 JOIN :#esoteric < 1298409603 0 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1298409603 0 :Zuu!zuu@unaffiliated/zuu JOIN :#esoteric < 1298409603 0 :EgoBot!~EgoBot@codu.org JOIN :#esoteric < 1298409603 0 :ineiros!~itniemin@james.ics.hut.fi JOIN :#esoteric < 1298409603 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1298409603 0 :miekko!miekko@infa.abo.fi JOIN :#esoteric < 1298409603 0 :yorick!yorick@gateway/shell/shellium.org/x-tulwebeyysgnjges JOIN :#esoteric < 1298409603 0 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1298409603 0 :tswett!~Warrigal@thay.Stanford.EDU JOIN :#esoteric < 1298409628 0 :copumpkin!unknown@unknown.invalid QUIT :Ping timeout: 250 seconds < 1298409643 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :Is it me, or does it fell more crowded in here now? < 1298409645 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :*feel < 1298409646 0 :pumpkin!unknown@unknown.invalid QUIT :Changing host < 1298409646 0 :pumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1298409722 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: who are you < 1298409792 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :iconmaster: Define now. < 1298409807 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: Is the answer to this question no? < 1298409818 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure. < 1298409880 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: ITYM "Mu." < 1298409889 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :ITYM "FILE_NOT_FOUND" < 1298409900 0 :relic930!unknown@unknown.invalid QUIT :Quit: .oO(blubb) < 1298409929 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :i never see iconmaster say anything < 1298409934 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :how come is that! < 1298409975 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I got a segmentation fault :/ < 1298410014 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :cheater00: Umm, idk? CAN YOU HEAR ME NOW? < 1298410027 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :HELLO TRY SPEAKING IN BIGGER LETTERS < 1298410036 0 :iconmaster!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1298410051 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :WE NEED TO TENSE UP THE THREAD BETWEEN OUR CANS < 1298410058 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :I FIND! < 1298410061 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: What. < 1298410063 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: From /GHC/? < 1298410079 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :yes, from a modified version of relief < 1298410087 0 :cheater00!unknown@unknown.invalid PRIVMSG #esoteric :olsner: phew < 1298410089 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Niice. How many unsafes? < 1298410095 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I didn't even add *any* unsafe stuff < 1298410111 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :may have had a buggy ghc version, ghc-6.12.3 didn't segfault < 1298410113 0 :azaq23!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298410126 0 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1298410192 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :it did however use up all my disk space when I tried that small program you pasted above (that seemed to take 10s to produce a 165MB file when you did it) < 1298410248 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I think you gave me a broken version < 1298410263 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Uhh, I did not :P < 1298410274 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: But if it used up all your disk space... cool. < 1298410281 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Does the file look like :*:*:* with /s in there? < 1298410288 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :I'm on an SSD. < 1298410293 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :So you might have much faster sequential writes. < 1298410338 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :yep, and the /'s seem to double their distance for each one < 1298410360 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :so this program just writes infinity of that crud? < 1298410363 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: That's right then. And yes. < 1298410370 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :It starts with :*, and concatenates it with itself forever. < 1298410380 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: I did ^C it to get that 10 second thing. < 1298410384 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Did you just leave it running? X-D < 1298410395 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I thought I was supposed to :P < 1298410415 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: So have you sped it up on 6.12.3? :-P < 1298410422 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :spedified < 1298410446 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :my version seems to have run out of disk space 1.2s faster than yours (which took 30s) < 1298410466 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Wooooo < 1298410472 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: A better benchmark is: < 1298410482 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :./relief '(0)S((0)(1))(~:^:S*a~^~*a*~:^):^' < 1298410484 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Again outputs infinitely. < 1298410494 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Just pipe to a file, run approx. same time, compare sizes. :p < 1298410501 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :(It's Thue-Morse.) < 1298410529 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1298410529 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Also http://oerjan.nvg.org/esoteric/underload/tmcount.disclaimed.ul, which outputs lots and then pauses a while, forever. < 1298410620 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: how small is your disk anyway that it can be filled in 30 seconds? < 1298410634 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :or how full :P < 1298410655 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :this one is both small and full, it has about 500MB free right now < 1298410706 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1298410774 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :There's yet another alexithymia IAmA on Reddit. < 1298410789 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Like the previous one, it misdefines alexithymia. < 1298410844 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Oh it gets better - < 1298410855 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :"Glad you asked.. over the last 15 years or so I have actually worked out how language works from the ground up (from neurons to Shakespeare as I have termed it). This has led me to work out a mechanism to allow a computer to understand language and act upon it as a person does. I have been able to work all of this out because of my condition, it has given me an internal and excellent insight into lan < 1298410855 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :guage at the core." < 1298410860 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :So either troll or egotistical idiot. < 1298410877 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :When called on his bullshit and asked what his credentials are: < 1298410878 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :"Just postgraduate studies in lingustics, which i stopped doing due to not actually learning anything (even though I was getting top scores). < 1298410878 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :As for your contempt for new ideas, that is EXACTLY why I don't have any thesis published. < 1298410878 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :I am $200,000 short on getting the thesis published." < 1298410886 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :tl;dr actually I lied, I have no fucking clue how to do this unless someone gives me a lot of money < 1298410925 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Not even worth reading. Also he apparently has this AMAZINGLY GREAT NOVEL all written in his head with the sole problem that he is TOTALLY PHYSICALLY UNABLE TO WRITE FICTION. < 1298410934 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :tl;dr bunch of horseshit. < 1298411039 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :APNIC down 0.10. v4: 3x8k+2x4k+2x2k+1k to JP, 4x256k+512k to CN, 4k to HK, 256 to NZ. v6: /48 to NZ, /32+2x/48 to AU, 2x/32 to ID, /32 to NC, /32 to NP, /32 to PH. < 1298411403 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Is there any sort of reason what e needs the $200k for? < 1298411411 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I mean, just plain publishing things isn't quite that expensive. < 1298411448 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: It puts him beyond questioning, obviously. < 1298411458 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :I can't imagine he's not a troll. Or if he isn't, then he's just an idiot. < 1298411530 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :This month so far, APNIC has gave out 0.790 blocks (13 257 984 addresses). On v6 front: 4 063 248x/48 (62.0 microblocks, 1 039 178.9 microblocks free). < 1298411638 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :APNIC still has eqiuivalent of 514 891 /32s to allocate before it can even ask for IANA for new allocation (half-block rule). < 1298411885 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :So APNIC IPv6 free pool: 0.991 blocks. < 1298411890 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Lazy concatenative languages are possibly the worst best idea ever. < 1298411899 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :The best thing is that you NEED a type system to do it. < 1298411907 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Because you have to know how many stack elements get eaten up. < 1298411951 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Total APNIC IPv6 pool: 1.018 blocks. < 1298412089 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Heh. Last update date on IANA IPv6 unicast space: 2008-08-27. Hasn't been updated for over 2 years. < 1298412100 0 :Mathnerd314!~mathnerd3@dsl.6.28.53.206.cos.dyn.pcisys.net JOIN :#esoteric < 1298412101 0 :elliott_!unknown@unknown.invalid QUIT :Quit: Leaving < 1298412107 0 :elliott_!~elliott@91.104.239.229 JOIN :#esoteric < 1298412159 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :And the last allocation date marked there is 2006-10-03 (the day 5 blocks were allocated, one to each RIR) < 1298412284 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :elliott_: it didn't end up any faster, so I give up for now < 1298412296 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Care to share your code? < 1298412300 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :nah :) < 1298412318 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :it sucks a lot, and I cheated < 1298412326 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: :( < 1298412328 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: I wanna seeee. < 1298412331 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :I need inspiration. :p < 1298412333 0 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1298412335 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Also I like cheating < 1298412400 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :the cheating was that I baked IO and most of putResult directly into Result < 1298412417 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: ouch. well right. ew. < 1298412424 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :exactly :P < 1298412432 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :changed anything else? < 1298412461 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :changed Result into continuation-passing style < 1298412469 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :hmm, like howso/ < 1298412470 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :*howso? < 1298412481 0 :pumpkin!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1298412481 0 :iconmaster!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1298412566 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :at first it was really complicated due to Chunk, but then I put all the IO stuff directly into it so now it's pretty much type Result a e = (e -> IO ()) -> IO () < 1298412571 0 :pikhq_!unknown@unknown.invalid QUIT :Read error: Operation timed out < 1298412611 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :what was it with Chunk? I don't feel that baking the IO in would be beneficial ever, because it's basically just constructing a value and then immediately destructing it, with putResult < 1298412615 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :so the overhead should be minimal < 1298412642 0 :pikhq!~pikhq@71-219-225-5.clsp.qwest.net JOIN :#esoteric < 1298412661 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :hmm, I just wanted to try rewriting Result and see what fell out < 1298412721 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :I think Result is probably not my bottleneck :) < 1298412739 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :I have a feeling that if I optimised (==) a lot or made cat more loose, it'd be a lot faster. < 1298412829 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :hmm, dunno if it's going faster with reallyUnsafePtrEquality# :P < 1298412943 0 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1298412975 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :$ ./relief "$(cat 99.ul)" < 1298412975 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :IT'S REALLY TRUE < 1298412979 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :ok so ptr equality is doing _something_ < 1298412997 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :but :* doesn't do it < 1298413141 0 :MigoMipo!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1298413207 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :what are you doing? cat in Haskell? < 1298413233 0 :calamari!unknown@unknown.invalid PART #esoteric :? < 1298413258 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: cat? lol, no, underload < 1298413296 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Remote host closed the connection < 1298413299 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION checks esolang wiki
< 1298413305 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :it's rather famous < 1298413309 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :and much worked on recently < 1298413320 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :i'm just writing a very smart interpreter (smarter than the current smartest, derlo) < 1298413326 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: cat in haskell: main = mapM_ (readFile >=> putStr) getArgs :-P < 1298413329 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :er < 1298413331 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :*=<< getArgs < 1298413338 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :that doesn't handle - for stdin though. < 1298413341 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :or an empty arg list for stdin < 1298413446 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :huh... that never calls ==... < 1298413734 0 :TLUL!unknown@unknown.invalid QUIT :Quit: *disappears in a puff of orange smoke* < 1298413871 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :http://9gag.com/gag/38704/ ... I hate people. < 1298413905 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: How much is 9gag.com paying you? < 1298413914 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :elliott_: $3/hr < 1298413954 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: but lmao @ that < 1298414076 0 :augur!unknown@unknown.invalid QUIT :Remote host closed the connection < 1298414096 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :olsner: ha, I don't actually force conatenation in * < 1298414101 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :which is why == never seemed to be called < 1298414106 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :because i didn't bother outputting anything < 1298414235 0 :augur!~augur@129.2.129.32 JOIN :#esoteric < 1298414238 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :aaand after removing a trace call, the two pointers are no longer equal. < 1298414239 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :wait. < 1298414242 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1298414257 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :maybe it's thunked < 1298414262 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott_, is DrRacket ok to use with SICP as long as it's in R5RS mode? < 1298414448 0 :Mathnerd314!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds < 1298414862 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :translating relief to C will be a pain < 1298415202 0 :Mathnerd314!~mathnerd3@128.198.97.135 JOIN :#esoteric < 1298415562 0 :FireFly!unknown@unknown.invalid QUIT :Quit: swatted to death < 1298417385 0 :augur!unknown@unknown.invalid QUIT :Remote host closed the connection < 1298417457 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :/* TODO: figure out memory situation, i.e. refcounts, freeing < 1298417457 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric : * function (because structures are dynamically sized), ... */ < 1298417465 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :now i remember why i love haskell < 1298417636 0 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1298417788 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :hi oerjan < 1298417825 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i integrated your code :) < 1298417827 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :APNIC last 30 days: 20 719 616 addresses (1.235 blocks). < 1298418000 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yay < 1298418026 0 :pikhq_!~pikhq@174-22-174-110.clsp.qwest.net JOIN :#esoteric < 1298418026 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1298418039 0 :pikhq_!unknown@unknown.invalid PRIVMSG #esoteric :Gaaah, today. < 1298418049 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :pikhq_: wat < 1298418071 0 :pikhq_!unknown@unknown.invalid PRIVMSG #esoteric :Egg on car is a bitch. < 1298418072 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i'm tentatively rewriting the whole thing in C now. although that might be a _loss_ for sufficiently pathological programs, as I'm not using bignums and so will have to fall back or whatever < 1298418084 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :That's almost but not quite the rate on January (excluding the first day): 21227264 (which is about 500k more). < 1298418097 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: but anyway, it's hard to tell when the majority of underload programs are unpublished :( < 1298418112 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1298418146 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: (every time something UL-related is mentioned, ais is all "OH YEAH I WROTE THAT") < 1298418155 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :apparently he has a more concise full unlambda translation than you or something :) < 1298418171 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott_: actually i think he said that was accidentally deleted < 1298418185 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: shut up, i'm busy being annoyed :D < 1298418195 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: you have to give me a benchmark then :P < 1298418197 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :maybe that includes some of the other programs as well < 1298418219 0 :pikhq_!unknown@unknown.invalid PRIVMSG #esoteric :What sort of asshat eggs cars, anyways? < 1298418244 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: btw you may (likely not) find my comment on http://esolangs.org/wiki/Talk:Chalcraft-Greene_train_track_automaton worth reading :-P < 1298418250 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :(it's not very interesting, but it is MULTIPLE PARAGRAPHS!) < 1298418373 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :gah < 1298418375 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :why is C so stupid < 1298418412 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott_: i could give you my unlambda conversion, even if it's worse than the one ais523 supposedly made. i haven't made an automatic convert for it though. < 1298418433 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: hmm, can it translate your self-interpreter? given some appropriate input program < 1298418440 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :i mean, if there were a translator program < 1298418449 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no, it cannot do input < 1298418460 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :basically the issue is that there are no (afaik) underload programs that do a lot of computation and take a long but _finite_ time to output something < 1298418468 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1298418496 0 :copumpkin!unknown@unknown.invalid QUIT :Quit: Computer has gone to sleep. < 1298418606 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well it _should_ be possible to adapt something else to use a church numeral for number of iterations < 1298418657 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh and you want there to be a long time _between_ outputs as well? < 1298418660 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1298418679 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: oh, i don't care about that < 1298418685 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :i just want a benchmark, you know < 1298418687 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1298418698 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :a program that does a lot of computation and then stops, preferably outputting the entire result (or laziness could bite me :)) < 1298418722 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: and if it does a lot of arithmetic that wouldn't go amiss either, because i'm the only one to optimise that >:D < 1298418730 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :(but i'm not sure if + would get optimised properly) < 1298418735 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :(so that would be interesting) < 1298418752 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i'm pretty sure those :^):^ at the end of 110.ul must be an ordinary top-level loop < 1298418785 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :elliott_: i'm afraid as i said my programs don't use church numerals very heavily < 1298418833 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also there still is the issue that you always need that final unary application of the church numeral < 1298418840 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :to actually use it < 1298418872 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :unless you have some optimization at a higher level than i thought we were aiming at < 1298418897 0 :pikhq!~pikhq@71-219-217-38.clsp.qwest.net JOIN :#esoteric < 1298418906 0 :pikhq_!unknown@unknown.invalid QUIT :Ping timeout: 250 seconds < 1298418941 0 :augur!~augur@pool-74-96-10-120.washdc.east.verizon.net JOIN :#esoteric < 1298418994 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: well, I optimise * and ^ on them < 1298419002 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :all the way through the program < 1298419014 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :if you do (:*)(::**)*, or replace that last * with a ^, it will simply do the arithmetic < 1298419029 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :(and also, *lazily*, form :*::**, but that will only get formed when it's printed) < 1298419040 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :(or, well, checked for equality but that's an implementation detail right now :)) < 1298419086 0 :cheater-!~cheater@g228061173.adsl.alicedsl.de JOIN :#esoteric < 1298419112 0 :elliott_!unknown@unknown.invalid PRIVMSG #esoteric :83 lines of C already to do about a dozen lines of haskell. yay. < 1298419198 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :^ul (^^:^^^:^^^^^:^^^^^^:::^^^^^^^^:::^^^:^^^^::^)()~((())~:a~*):a~*~^!(~((!())(!:^(^)*)(!!:^(!^)*))~*^!!^):^(~((()())(:a~*:(*(!^)(:)S)~*~(!*(^)(^)S)~*):a~**((!^)~^!^)(!(^)~^^))~*^( )S!!a:(*)*~(~*)**^~*(()()(!)()(!)(:a~*:(!^(!^((!^)*)(!(^)*))(!^((^)*)(!(^)*)))~*~(!^(!^((!^)*)(!(^)*))(!^((^)*)(!(!^)*)))~*):^)~*^!!!!!!~^)(()~^)(::**)^^ < 1298419198 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :^^:^^^:^^^^^:^^^^^^:::^^^^^^^^:::^^^:^^^^::^ ...out of stack!