< 1184803229 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: what? < 1184803280 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :e^x < 1184803312 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :and what's d(e^x)? < 1184803332 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :might be e^x dx < 1184803396 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :and what's dx? < 1184803429 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :d(e^x)/e^x < 1184803446 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Um, wait... < 1184803462 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :+- < 1184803473 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :d(e^x) = e^x dx, indeed... < 1184803511 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: +-? < 1184803520 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ihope: my keyboard fell. < 1184803548 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :actually, that's not all that likely... < 1184803557 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :those aren't next to each other < 1184803559 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you're so tired that your keyboard knows more math than you? :) < 1184803566 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1184803570 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well it was wrong :) < 1184803591 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it isn't +- e^x dx < 1184803617 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so... i owned my keyboard < 1184803619 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :_bad_ keyboard, no, um, what kind of rewards do keyboards get anyway? < 1184803628 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hah! and you thought i was tired... proved you wrong < 1184803644 0 :lament!unknown@unknown.invalid TOPIC #esoteric :dx = d(e^x)/e^x < 1184803647 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :err... i touch them? < 1184803682 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yeww! < 1184803685 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you pervert! < 1184803698 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well... i kinda have to :| < 1184803713 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hah, that's what they all say. < 1184803715 0 :lament!unknown@unknown.invalid TOPIC #esoteric :dx=d(e^x)/e^x | c=sqrt(e/m) < 1184806219 0 :kwertii!n=kwertii@c-24-5-40-52.hsd1.ca.comcast.net JOIN :#esoteric < 1184806865 0 :Haikz!i=monkee@a88-112-156-80.elisa-laajakaista.fi JOIN :#esoteric < 1184809554 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1184812220 0 :oerjan_!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1184812267 0 :oerjan_!unknown@unknown.invalid QUIT :Client Quit < 1184812276 0 :oerjan!unknown@unknown.invalid QUIT :Remote closed the connection < 1184812283 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1184815345 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric : What we really need is a language where most syntax constructs can be defined easily. < 1184815349 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ihope: lisp < 1184815711 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :What we need is a language without much syntax. (like Lisp) < 1184815766 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION bets pikhq is thinking of a language with 3 letters in its name
< 1184815933 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That's the other nice one. < 1184815978 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1184815988 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION can't help but think that either (+ 2 2) or + 2 2 is much nicer than defining some extra syntax for a *function*.
< 1184816903 0 :revilodraw!n=sexgod@220-253-158-149.VIC.netspace.net.au JOIN :#esoteric < 1184816944 0 :revilodraw!unknown@unknown.invalid PART #esoteric :? < 1184819224 0 :GregorR-L!n=gregor@c-76-27-232-8.hsd1.or.comcast.net JOIN :#esoteric < 1184820768 0 :GreaseMonkey!n=saru@222-154-163-250.jetstream.xtra.co.nz JOIN :#esoteric < 1184822204 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1184822830 0 :nwf!n=nwf@filardo.vdsl.nidhog.net JOIN :#esoteric < 1184822916 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :F=-GMm/WOLVES! < 1184824282 0 :Figs!n=Figs@ip72-220-174-159.sd.sd.cox.net JOIN :#esoteric < 1184824290 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :hey oklopol < 1184824293 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :you around? :P < 1184824353 0 :nwf!unknown@unknown.invalid QUIT :"Lost terminal" < 1184824988 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :now am < 1184824994 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :though back to sleep < 1184824996 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1184825017 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :did you get a chance to play through the rest? < 1184825022 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :after 30 hours awake, 6 hours of sleep just doesn't seem to be enough < 1184825027 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :rofl :P < 1184825030 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1184825055 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I tend to have about 18 hours up, 6 hours down < 1184825078 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i haven't played after that, i was at a friend's :\ i'll try to play once i wake up or something, night now --> < 1184825082 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :of those 18 hours or so up, usually at least 10 are online < 1184825090 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1184825091 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :cya < 1184825092 0 :Figs!unknown@unknown.invalid PART #esoteric :? < 1184825175 0 :Sgeo!unknown@unknown.invalid QUIT :"Ex-Chat" < 1184826429 0 :goban!n=whyso@ip68-107-157-9.hr.hr.cox.net JOIN :#esoteric < 1184826763 0 :goban!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1184826970 0 :GregorR-L!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1184827358 0 :Arrogant!i=Arrogatn@95.orlando-04-05rs.fl.dial-access.att.net JOIN :#esoteric < 1184830859 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :leaving now, cya < 1184830864 0 :GreaseMonkey!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1184831034 0 :Arrogant!unknown@unknown.invalid QUIT :"Leaving" < 1184831999 0 :clog!unknown@unknown.invalid QUIT :ended < 1184832000 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1184835076 0 :Sukoshi!n=Sukoshi@user-11fab8o.dsl.mindspring.com JOIN :#esoteric < 1184835998 0 :jix!n=jix@dyndsl-085-016-236-148.ewe-ip-backbone.de JOIN :#esoteric < 1184836426 0 :kwertii!unknown@unknown.invalid QUIT : < 1184843282 0 :ehird`!n=test@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184843500 0 :ehird`!unknown@unknown.invalid TOPIC #esoteric :fib<-{=0=>0->=1=>1->$(-1)+$(-2)} < 1184843509 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :since, apparently, this is #change_the_topic_to_something_random < 1184844605 0 :Haikz!unknown@unknown.invalid PRIVMSG #esoteric :That's good to know. < 1184844763 0 :Haikz!unknown@unknown.invalid TOPIC #esoteric :fib<-{=0=>0->=1=>1->$(-1)+$(-2)} // Happy birthday, Maria Filatova! Born in 1961, Maria is a retired soviet gymnast of great significance. < 1184845429 0 :ehird`!unknown@unknown.invalid TOPIC #esoteric :hello world < 1184846719 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1184846733 0 :jix!n=jix@dyndsl-091-096-057-058.ewe-ip-backbone.de JOIN :#esoteric < 1184846775 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmmmm .. lots of infinite loops should be easy to detect in the lambda calculus, no? < 1184846793 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :store a list of each stage of reduction, and if any frame repeats, it's an infinite loop so error out < 1184846807 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :doesn't solve the halting problem of course but it should catch lots of things < 1184847100 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i had this dream my friend's mind was stuck in my brain and we took turns controlling my body < 1184847163 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: yes, if same state occurs twice, it's an infinite loop... that's true for any language < 1184847181 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklokok, so why don't more languages error out on it? :) < 1184847197 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :an unconditional infinite loop without any I/O is useless < 1184847207 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and there are plenty of io-less languages. < 1184847213 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :because lambda calculus is the only one where it's hard to make a program that has a complex state < 1184847225 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :not the only one < 1184847233 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :but onyl onish. < 1184847235 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :*only < 1184847282 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :sk-calculus# < 1184847292 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :you can just as well do that in brainfuck, every loop just stores a list of all states it's been in at the beginning of that loop < 1184847315 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :that will most likely be more efficient in finding loops < 1184847339 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i mean infinite loops < 1184847374 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so why don't more languages do it i wonder. < 1184847379 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :because in lambda calculus, if 10 numbers of 5 digits each are passed around, that'd be depending on the representation 50 or something bytes < 1184847382 0 :blahbot`!n=blahbot`@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184847385 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :true < 1184847388 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :whereas in brainfuck that'd be 5, always. < 1184847393 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :well < 1184847396 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well, ram is plentiful < 1184847403 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :maybe the states could be gc'd < 1184847406 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :they don't do it since it sounds so easy to do in ski < 1184847436 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :with ski, even though people know it's tc, they often don't actually think of it as such < 1184847445 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1184847446 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :because < 1184847456 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :you need very complex stuff to actually utilize it's tcness < 1184847466 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :yeah, i'd like to see a turing machine in SKI < 1184847503 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan's done something pretty sick in it... may have been a ski interpreter in ski < 1184847506 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :don't remember < 1184847564 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :http://home.nvg.org/~oerjan/esoteric/interpreter.unl < 1184847706 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :actually, unlambda is most likely actually one of the hardest languages to store state for, since simple rules usually lead to much bigger memory hogging < 1184847725 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :a high-level language would be much better at that < 1184847873 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :it's just if you try whether a language finds infinite loops, in c you do int i=1;while(i){i++;if(i==0)i=1;} or something creative "to bluff the infinite loop detector" < 1184847896 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :in unlambda you'll do siisii and hail at the clever bitch < 1184847905 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :wow it understood that's a loop < 1184847926 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :omg to me that's just a random bunch of letters and the interpreter knew it was an infinite loop < 1184847941 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i'm gonna do one eating now. < 1184848163 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: what's gc'd? < 1184848169 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :garbage collected < 1184848172 0 :ehird`!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1184848174 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :states could be hashed, that's always a possibility < 1184848177 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric ::O < 1184848194 0 :ehird`!n=test@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184848200 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :states could be hashed, that's always a possibility < 1184848210 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :but what do you mean garbage collected? < 1184848267 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i know what the term means of course but what's it gonna help :) < 1184848353 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :it seems my parents implemented me some macaroni or something yesterday < 1184848357 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :parsing lambda calculus by hand isn't easy < 1184848360 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :cool, i can actually eat something < 1184848363 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :stupid "expr expr" grammars < 1184848392 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1184848421 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :it isn't easy because you have to handle large blocks at once as soon as you actually *do* something... but that's true of any tc language, once again :) < 1184848463 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklokok, well, for one thing < 1184848473 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :once you reduce a certain part of an expression you can trash all the hashes for it < 1184848484 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :every time you fully reduce anything you can get rid of the state history < 1184848501 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :yes, that is the exact same thing as having [] < 1184848504 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :... < 1184848511 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and, indeed, hashed states - but if a state isn't used for a certain amount of reductions, you can trash it < 1184848517 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :yes, that is the exact same thing as having []'s in brainfuck have their own state lists < 1184848542 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1184848568 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :you can't really trash anything, *any* sequence might occur again, later < 1184848575 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :since a lambda program has nothing but state < 1184848585 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i mean, it has just one kind of state < 1184848602 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :that is a memory state, and can be completely changed < 1184848626 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :whereas in brainfuck you have two states, one of which actually does some discarding with no return possibility < 1184848631 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :the program state < 1184848644 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :memory state once again can't be gc'd in brainfuck either < 1184848646 0 :puzzlet_!n=puzzlet@122.46.183.20 JOIN :#esoteric < 1184848669 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric : you can't really trash anything, *any* sequence might occur again, later <-- yes but you dont want to keep something that only appeared 10 reductions ago < 1184848682 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :why? < 1184848686 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :memory usage < 1184848706 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :what if the next s-combinator accurately replicates whatever was there 10 reductions ago? < 1184848729 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :then that same state will be discarded again if discarding rules are deterministic < 1184848737 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well, sure < 1184848759 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i only mean ones from previous reductions < 1184849338 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1184849342 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :parsing left-recursive grammars is evil < 1184849472 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :well, math is left-recursive < 1184849486 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :any left-associative operators require left-recursion < 1184849510 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :well okay < 1184849516 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :not really < 1184849542 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :other way around < 1184849567 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :lambda-calculus :) < 1184849583 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :whut about it? < 1184849584 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'm parsing \x.\y.\z.xyz as x(yz) not (xy)z, right now < 1184849589 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1184849591 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :stupid parsing. < 1184849627 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :well... why don't you make your notation tell how to parse it... < 1184849642 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :how'd you do (xy)z in that parsing? < 1184849650 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :(xy)z i guess < 1184849691 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklokok, because i'm hand-coding this. < 1184849699 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :also, < 1184849705 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :\xy.xy is being parsed as (\xy.x)y < 1184849709 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :which is ANNOYING MAXIMUM < 1184849712 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :*MAXIMUS < 1184849783 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :how's the problem left-recursion= < 1184849785 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :? < 1184849833 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :use unlambda notation and you can have my ololobot code :) < 1184849928 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well yeah, that's the thing i don't want to use unlambda notation < 1184849983 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(\nfx.f((nf)x))(\fx.fx) looks nicer than `^n^f^x`$f``$n$f$x^f^x`$f$x < 1184850023 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :anyway, you take the first, and give it as arguments everything until the end. < 1184850035 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and ta-da, both your things will work < 1184850053 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :( will be recursed into, and parsed so that ) is the end < 1184850064 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the upmost level has as ) < 1184850071 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well explained, oklo < 1184850072 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :... < 1184850076 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :now, really, food -> < 1184850934 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :(14:37:53) (ehird`) well, sure < 1184850935 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :(14:38:14) (ehird`) i only mean ones from previous reductions < 1184850941 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :yes? < 1184850941 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :what did you mean by this, actually, i know realize i didn't understand < 1184850959 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :once finishing a reduction, trash its states < 1184850963 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :free their memory < 1184850976 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :every step in the program is a reduction < 1184850990 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :so basically you would just store 10 last states? < 1184850997 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :no < 1184851018 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :once you've done lots of reductions and a particular sub-expression is irreducable, you can forget the states for that subexpression < 1184851137 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :you mean, if a part in the state keeps unchanged, you can stop storing the whole state for that part separately, and instead just have a way to point to where that part was last in the program state? < 1184851169 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :s/ if a part in the state /if a part of the whole program state < 1184851255 0 :Baughn!unknown@unknown.invalid QUIT :anthony.freenode.net irc.freenode.net < 1184851255 0 :tokigun_!unknown@unknown.invalid QUIT :anthony.freenode.net irc.freenode.net < 1184851361 0 :Baughn!n=svein@2002:54ca:ec08:0:0:0:0:1 JOIN :#esoteric < 1184851361 0 :tokigun_!n=tokigun@haje8.kaist.ac.kr JOIN :#esoteric < 1184851477 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders why () don't work
< 1184851488 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(x) -> (apply "x" nil) < 1184851504 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(\x.x) -> Unmatched ( < 1184851600 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ahhhh i seee < 1184851604 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1184851605 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :no i don't < 1184852344 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1184852537 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hi örjan < 1184852554 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hi oklopol < 1184852570 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(i'd actually used your name if i were able to type that letter) < 1184852585 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Ørjan < 1184852591 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :right? < 1184852616 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i actually couldn't see if you were typing my name since i am not UTF8-clean < 1184852641 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you dirty boy. < 1184853783 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders why lambda calculus defies simple parsing
< 1184853882 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :almost every programming language does, then. < 1184853988 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well most languages do defy hand-parsing < 1184853997 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :especially goddamn left-associative languages! < 1184854039 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :actually it _is_ easy. < 1184854105 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :just keep an accumulating parameter < 1184854110 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :he he he < 1184854123 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i've been trying to parse LC that only consists of single-character names, \x(... and more).y and (x) < 1184854126 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and xy < 1184854129 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it's taking ages. < 1184854159 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :not even application? < 1184854227 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: doesn't sound hard to do :| < 1184854238 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, xy is application.. < 1184854243 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: ab == application < 1184854244 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, sure - just tedious < 1184854246 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ueah < 1184854253 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i don't believe it is < 1184854263 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think it's < 15 lines in python < 1184854282 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okay, <20 < 1184854285 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm not sure < 1184854341 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :~320 lines of ruby right now < 1184854349 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :O_O < 1184854364 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :something is very wrong there < 1184854397 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1184854399 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i was about to say < 5 lines in Haskell :) < 1184854405 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ruby is no ordinary language xD < 1184854415 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1184854420 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :~320, i though -320 < 1184854421 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1184854447 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :err, wait < 1184854449 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :not 320 lines < 1184854450 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :20 lines < 1184854452 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :XD < 1184854456 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1184854465 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :haha, 320 lines would be insane! < 1184854471 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :-320 would've been more insane. < 1184854482 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :just make self-modifying code that removes characters < 1184854504 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :have the parser just take code from other bits of the program and remove characters (320 of them) until you get a parser. < 1184854507 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"yes, lambda calculus is so easy to parse it actually shaves lines off your code" < 1184854879 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :OK rewrite time. < 1184854884 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :taking a stack-based approach. < 1184855040 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :blah, i wish all i ever had to parse was s-expressions < 1184855041 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :those are easy < 1184855471 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :parsing is fun :) < 1184855530 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i highly doubt an LC parser could fit into 20 lines of python anyway < 1184855569 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'll try later < 1184855637 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :identifiers being anything but a space, a tab, or a newline, lambdas being \ followed by many identifiers, followed by a period, followed by an expression, and application being implicit and left-associative, but with parens supported (e.g. (\n f x. f ((n f) x))(\f x. f (f x))) < 1184855640 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :honestly looks like more than 20 lines to me < 1184855737 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :we'll see after these two episodes i'm still gonna watch < 1184856061 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1184856317 0 :DaFive!n=vlad_3_2@81.169.147.27 JOIN :#esoteric < 1184856326 0 :DaFive!unknown@unknown.invalid PRIVMSG #esoteric :hi2all < 1184856380 0 :RodgerTheGreat!n=Rodger@wads-5-232-125.resnet.mtu.edu JOIN :#esoteric < 1184856443 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :hi guys < 1184856492 0 :DaFive!unknown@unknown.invalid PRIVMSG #esoteric :ðø < 1184856493 0 :DaFive!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1184856617 0 :DaFive!unknown@unknown.invalid PRIVMSG #esoteric :is there anybody from russia? < 1184856730 0 :DaFive!unknown@unknown.invalid PART #esoteric :? < 1184856867 0 :kwertii!n=kwertii@c-24-5-40-52.hsd1.ca.comcast.net JOIN :#esoteric < 1184857855 0 :kwertii!unknown@unknown.invalid QUIT :No route to host < 1184857894 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :in the lambda calculus, is it possible to create a function (G f) such that (N1 (G f) N2) is (f N1 N2), assuming N1 and N2 are church numerals? < 1184857937 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1184857954 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :how do you represent church numerals? < 1184857968 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :\f\f\f\f\f\fx? < 1184857987 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :err < 1184857989 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean < 1184857996 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :\fx.fffffx < 1184858047 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :no < 1184858066 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Church numeral N is \f x. (f^N)x < 1184858070 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :then how? < 1184858072 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so 3 is \f x. f (f (f x)) < 1184858076 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and 0 is \f x. x < 1184858086 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and 5 is \f x. f (f (f (f (f x)))) < 1184858100 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so exactly what i said < 1184858107 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1184858108 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :no < 1184858120 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :\fx.fffx is \f x. ((f f) f) x < 1184858123 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :you need the parens < 1184858125 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1184858137 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :left-associative and all that < 1184858150 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric : i'm parsing \x.\y.\z.xyz as x(yz) not (xy)z, right now < 1184858156 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i though you still were < 1184858162 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i was describing a bug < 1184858173 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah, indeed you were < 1184858179 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :besides, i'm suspending my parsing efforts until I see yours because my efforts are going overblown and insane < 1184858187 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1184858194 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :then i better do it someday xD < 1184858199 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm, i'll do it now < 1184858270 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1184858306 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :grammar: an identifier is any string but cannot contain a space, tab, newline, (, ), or \. < 1184858333 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1184858333 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :an expression can be \(1 or more identifiers). expr, \x y.z is \x.\y.z < 1184858344 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so \fx.fffx has other problems too., < 1184858346 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :\ x y.z is equal to \x y. z (whitespace doesn't really matter) < 1184858349 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :since fx=fx. < 1184858361 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ws is for tokenizing, that is. < 1184858361 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :a b c d is ((a b) c) d (left-associative) < 1184858367 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, yeah < 1184858371 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it should be \f x. f f f x < 1184858377 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :or \ f x. f f f x < 1184858382 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :or \f x.f f f x < 1184858407 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :or \f x.((f(f))f)x < 1184858411 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :or any sort of combination like that < 1184858496 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :also (expr) is an expr. < 1184858507 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :whitespace, as you can see, is ignored apart from to seperate tokens < 1184859414 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1184859490 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: am i allowed to use regexes? :) < 1184859500 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :possibly ;) < 1184859506 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :sure < 1184859516 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm having a hard time keeping this under 20 when a single identifier match is like 6 lines... < 1184859705 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hehe, i'll give you... hmm... 50 :P < 1184860060 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1184860064 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :gimme something to parse < 1184860084 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think i have it, 21 lines, no densing sone yet < 1184860087 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*done < 1184860103 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(\n f x. f (n f x)) \f x. f (f (f x)) < 1184860107 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and: < 1184860125 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(\ n f x.(f((n f)x))\f x.f (f(f x)) < 1184860128 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :are equivilent. < 1184860142 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :\x y. x y z is (\x y. x y z), not (\x y. x y)z < 1184860153 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(i.e. lambda abstractions stretch as far right as possible) < 1184860169 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :a b c d e is equivilent to (((a b) c) d) e < 1184860189 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :if 21 lines parses all that < 1184860191 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'm impressed. < 1184860247 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :also: < 1184860263 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :\x.x\y.y is (\x. x (\y. y)) < 1184860279 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :not (\x. x)(\y. y) < 1184860284 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(because of the lambda-stretches-right rule) < 1184860411 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and, of course: < 1184860425 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(\x y z. E) is equal to (\x. \y. \z. E) < 1184860500 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :kay, other keyboard stopped working fully < 1184860506 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :*entirely < 1184860507 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1184860510 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :"TOO MUCH PARSING!" < 1184860523 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i love it how pyidle will just crash completely is i do an infinite loop < 1184860564 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :me no likey idle < 1184861170 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i'll restart, i realized at some poing i was actually doing a b c = a (b c)... < 1184861196 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :my memory is pretty selective. < 1184861207 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :=p < 1184861216 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it's not easy to parse left-associative grammars.. < 1184861469 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :especially considering, if you're parsing recursive-descent style, it's impossible < 1184861481 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well you could still try i guess, making a mashup of styles :) < 1184861568 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1184861580 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :every time i close the source and reopen it, i have to remake all tabs < 1184861993 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: this parses right everything except expressions with lambda creation < 1184862003 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklokok, example? < 1184862006 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :function assignation works perfectly < 1184862011 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :your example was one < 1184862021 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :lambdas work if they aren't used < 1184862022 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1184862025 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :example where it fails + works < 1184862033 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :(\ n f x.(f((n f)x))\f x.f (f(f x)) < 1184862037 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :your example was one < 1184862072 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :which example < 1184862077 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :okay, i'm not sure it works... < 1184862082 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :plus what is (\ n f x.(f((n f)x))\f x.f (f(f x)) parsed equivalent to? < 1184862082 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i'll check < 1184862087 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: that example. < 1184862094 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :that was your example < 1184862102 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1184862102 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :(\ n f x.(f((n f)x))\f x.f (f(f x)) < 1184862105 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this one < 1184862107 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so what is (\ n f x.(f((n f)x))\f x.f (f(f x)) parsed as? < 1184862108 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :yeah :) < 1184862119 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i.e. what is an expression that parses to the same thing? < 1184862124 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :just the first lambda, the assignation works < 1184862128 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :*works not < 1184862133 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :right < 1184862139 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :what about ((\ n f x.(f((n f)x))(\f x.f (f(f x)))) < 1184862141 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1184862151 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :wait wait < 1184862158 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :anyway my point is that i have to leave soon < 1184862161 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1184862162 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1184862171 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the problem might be, by the way, that you aren't recognizing an expression after an expression < 1184862178 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i'll finish this, but can't promise it'll happen now < 1184862184 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i.e. after parsing an expression, you're not looking ahead for another < 1184862188 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: i know my problem < 1184862199 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :it's not a bug, it's that i'm trying to be terse :) < 1184862223 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :forget about being terse then :P < 1184862250 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :if you manage to parse it in any sort of 1/4th of kind-of-sanity, i'm impressed < 1184862255 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :"g s (e b f (y h rt) d x) (s w) fwe" < 1184862256 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :becomes < 1184862256 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :[[[['g', 's'], [[[[['e', 'b'], 'f'], [['y', 'h'], 'rt']], 'd'], 'x']], ['s', 'w']], 'fwe'] < 1184862274 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :this is trivial to archieve in ~10 lines < 1184862276 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :you really want :apply and :lambda prefixes < 1184862283 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :it's the lambdas that are a problem < 1184862284 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :"x y" -> ["apply", "x", "y"] < 1184862288 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: huh? < 1184862296 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :"x y z" -> ["apply", ["apply", "x", "y"], "z"] < 1184862303 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :no god 8| < 1184862310 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it's simpler than just arrays < 1184862318 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :no it isn't < 1184862331 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :"\x y. x y" -> ["lambda", "x", ["lambda", "y", ["apply", "x", "y"]]] < 1184862335 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i'll just have '^' be a special macro for lambdas < 1184862341 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ouch. < 1184862345 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's ugly < 1184862350 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i'm not gonna do that, i want a readable output < 1184862354 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i mean, not your thing < 1184862378 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :if you know any lisp, you'll find mine good. < 1184862388 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i know lots of lisp < 1184862397 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :then you do find it good. < 1184862399 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but lisp is not the lambda-calculus < 1184862419 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :anyway, what's wrong with a lisp-like way to do that? < 1184862433 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :macros are not LC < 1184862437 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :why use "apply" and lose the ability to actually look at it? < 1184862468 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i can add the string there in 5 seconds, but it'll only make it ugly, i'm not gonna < 1184862472 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :because parse trees are not for looking at, they're for the easiest machine mangling < 1184862474 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :anyway < 1184862486 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :my form is easy for a machine to parse and allows "^" as an identifier < 1184862489 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :stop complaining about details, choosing a representation isn't programming :) < 1184862503 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :yes it is :) < 1184862519 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :that is as easy to machine-mangle as having "lambda" ther < 1184862520 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :*there < 1184862525 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :except mine is faster, of course < 1184862575 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :not really < 1184862604 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :it isn't, but it's not slower either < 1184862609 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :and just as easy to actually run < 1184862692 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but restricts identifiers < 1184862697 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :my spec didn't disallow ^ < 1184862772 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :that can be made into a typecheck < 1184862780 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :and it won't be disallowed < 1184862801 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :this is growing complex :) < 1184862811 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :really, that's not something you care about when implementing this, if there's any sense in the implementation, you can do it in 5 secs afterwards. < 1184862815 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: no. < 1184862834 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1184862903 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1184862907 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i did what you wanted < 1184862908 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :[['apply', [[[[['\\', 'n'], 'f'], 'x'], '.'], 'f'], [['n', 'f'], 'x']], ['lambda', ['f', 'x'], ['apply', 'f', ['apply', 'f', ['f', 'x']]]]] < 1184862908 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :[['apply', [[[[['\\', 'n'], 'f'], 'x'], '.'], 'f'], [['n', 'f'], 'x']], ['lambda', ['f', 'x'], ['apply', 'f', ['apply', 'f', ['f', 'x']]]]] < 1184862910 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1184862917 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :anyway, is that right? :) < 1184862920 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :errr < 1184862922 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :can't be < 1184862926 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :sorry then < 1184862933 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :the lambda is wrong < 1184862937 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :like terribly wrong < 1184862945 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :oh my god it's wrong < 1184863192 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's... really wrong :P < 1184863225 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i guess i'll parse unlambda-style for now < 1184863245 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :\f x. f x -> ^f^x$fx < 1184863248 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :^ = lambda, $ = apply < 1184863474 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184863476 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184863487 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184863488 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184863492 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^f^x$fx < 1184863493 0 :blahbot`!unknown@unknown.invalid QUIT :Remote closed the connection < 1184863569 0 :blahbot`!n=blahbot`@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184863573 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^f^x$fx < 1184863573 0 :blahbot`!unknown@unknown.invalid QUIT :Remote closed the connection < 1184863574 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :works < 1184863581 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklokok, !! example parsetree? < 1184863586 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :expr="(\\n f x.f(n f x)) \\f x. f (f (f x))" < 1184863586 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :['apply', ['lambda', ['n', 'f', 'x'], ['apply', 'f', ['apply', ['apply', 'n', 'f'], 'x']]], ['lambda', ['f', 'x'], ['apply', 'f', ['apply', 'f', ['apply', 'f', 'x']]]]] < 1184863591 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :is that correct? < 1184863619 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :let me check < 1184863625 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :seems correct to me < 1184863637 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :unless you want currying, which you most likely want :) < 1184863637 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric : ['lambda', ['n', 'f', 'x' is not right < 1184863646 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it should be ["lambda", "n", ["lambda", "f"... < 1184863654 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :unless you want currying, which you most likely want :) < 1184863658 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ah :) < 1184863664 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well apart from currying, yep, it's completely correct < 1184863670 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :what about \x.x\y.y - how does that parse? < 1184863676 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1184863677 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :we'll see < 1184863707 0 :blahbot`!n=blahbot`@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184863709 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :['lambda', ['x'], ['apply', 'x', ['lambda', ['y'], 'y']]] < 1184863716 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :amazing < 1184863718 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :can i see the code? < 1184863724 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^f^x$fx < 1184863728 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^f^x$fx < 1184863733 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :it's long, didn't have the time to smallify it < 1184863740 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :but it can be reduced into 30 or so < 1184863743 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :45 lines now < 1184863745 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1184863753 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :currying isn't too hard really < 1184863756 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :just a few lines < 1184863851 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wants to see the code =)
< 1184863858 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :http://www.vjn.fi/pb/p424155361.txt < 1184863862 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :you also need otools < 1184863893 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :it's not pretty, most would say, but it's pretty good code for the most part < 1184863943 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :otools? < 1184863951 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :http://www.vjn.fi/pb/p144223341.txt < 1184863958 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :it just uses the Itr class < 1184863971 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :you don't need parse_ski there do you? < 1184863971 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :you can use StringIO as well, i've just extended it a bit < 1184863976 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :err < 1184863977 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :huh? < 1184863992 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :you need to the latter file, and make it otools.py < 1184863993 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :parse_ski. unless that has nothing to do with SKI calculus < 1184864003 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :in which case it's badly named =) < 1184864011 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :parse_ski parses ski. < 1184864021 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :otools is used in parse_ski < 1184864054 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but ... you're not parsing ski < 1184864057 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :you're parsing lc < 1184864079 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^xx < 1184864079 0 :blahbot`!unknown@unknown.invalid QUIT :Remote closed the connection < 1184864156 0 :blahbot`!n=blahbot`@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184864157 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^f^x$fx < 1184864157 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[[:lambda, "f", ["x$fx", [:lambda, "", []]]]] < 1184864163 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ehm o_O < 1184864220 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :You call that reduction? < 1184864250 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :no < 1184864253 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce is currently %parse ;P < 1184864254 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :["is currently %parse ;P"] < 1184864257 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :heh. < 1184864263 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I see. < 1184864269 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Is $ apply? < 1184864273 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1184864278 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :^xy = \x.y < 1184864282 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :$xy = xy < 1184864284 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Why isn't ` apply? :-P < 1184864290 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :because ^f^x`fx looks ugly < 1184864299 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Why isn't \ lambda? :-P < 1184864304 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :it is < 1184864310 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Why am I saying :-P so much? :-P < 1184864310 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :because \f\x$fx looks ugly < 1184864315 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hah < 1184864318 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric : Why am I saying :-P so much? :-P < 1184864318 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric : because \f\x$fx looks ugly < 1184864320 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: i'm parcing lc? < 1184864322 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Does \f\x`fx look ugly? < 1184864325 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :that's that mean? < 1184864330 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklokok, you're parsing lambda calculus < 1184864334 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :not ski calculus < 1184864336 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so parse_ski? < 1184864341 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1184864345 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :well, sorry < 1184864351 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i don't care about naming that much. < 1184864364 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Well, I think I've figured out a nice way to allow syntax to be added to a language. < 1184864367 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :anyway, i didn't make that all that usable for people who don't know what it does < 1184864371 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :since i was in a hurry < 1184864383 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ihope, How? < 1184864387 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Take GHC's implicit parameter extension and run away with it. < 1184864404 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION 's solution: tokenize the whole program at load-time, but only parse as needed
< 1184864406 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or something like that, anyway. < 1184864410 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: parse_ski parses lambda calculus, you rename it if you feel like it, i gotta go now < 1184864412 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :add some syntax to define syntax based on tokens, voila < 1184864415 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :e.g. < 1184864439 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: was my code of any help? < 1184864440 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric : < 1184864446 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklokok, yes thanks =) < 1184864450 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i gotta leave, comment it somehow < 1184864450 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1184864451 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Use \ to denote a pattern, and have free variables just be part of the type. < 1184864451 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :good < 1184864458 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :bye all! < 1184864479 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :x :: (x :: a) => a < 1184864500 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i think my APL-alike language counts as esoteric < 1184864511 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :fib<-{=0=>0->=1=>1->$(-1)+$(-2)} < 1184864523 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :\x :: Pat a [x :: a] < 1184864553 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or something close to those. < 1184864581 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION ponders
< 1184864595 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that parses as fib <- { ((= 0) => 0) -> ((((= 1) => 1) -> ($ (- 1) + $ (- 2)lots of closing parens < 1184864610 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :except you can define your own postfix, prefix and binary operators too. < 1184864631 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and = 1, - 1, etc work because binary operators implicitly have _ on the left (_ is the argument - you can also name arguments) < 1184864645 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Make it {x : a} instead of (x :: a) and {x : a} instead of [x :: a]. < 1184864653 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :x <- y is variables < 1184864658 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :{x} is lambdas < 1184864665 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :=> is pairs < 1184864672 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :x=>y is the pair like lispish (x . y) < 1184864678 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :-> is if < 1184864685 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(x => y) -> z < 1184864689 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :"if x, then y, else z" < 1184864698 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it delays the evaluation of x (i.e. the left of the pair passed to it) < 1184864705 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and is right-associative so: < 1184864713 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :x => y -> a => b -> c < 1184864719 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :is "if x, then y, else if a, then b, else c." < 1184864736 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :$ is the current function (used for recursion) < 1184864767 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so, fib<-{=0=>0->=1=>1->$(-1)+$(-2)} is "if argument is 0, then 0, else if argument is 1, then 1, else current function (argument minus one) plus current function (argument minus 2)" < 1184864768 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :aka fib < 1184864776 0 :sebbu!n=sebbu@ADijon-152-1-7-236.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1184864780 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :parse THAT! < 1184864789 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(harder: evaluate THAT!) < 1184864798 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^xx < 1184864799 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[[:lambda, "xx", []]] < 1184864808 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x x < 1184864808 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[[:lambda, "x x", []]] < 1184864826 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184864826 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184864827 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x x < 1184864828 0 :blahbot`!unknown@unknown.invalid QUIT :Remote closed the connection < 1184864864 0 :blahbot`!n=blahbot`@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184864865 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x x < 1184864878 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :(->) :: Pat a s -> (s => b) -> a -> b < 1184864912 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that doesn't allow for definition of my own operator working like that < 1184864920 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i.e. lazily forcing evaluation of a part of a pattern match < 1184864933 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that kind of function/operator-interaction is insane < 1184864946 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :-> tells => not to evaluate its left when => knows nothing about -> < 1184864971 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :This is sort of my own thing, here. < 1184864987 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well don't blame me for seeing -> and => and jumping to conclusions :P < 1184864995 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x x < 1184864996 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1184865006 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :especially (s => b) -> a < 1184865010 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1184865016 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Also, I seem to be using -> for multiple things. < 1184865022 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184865022 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184865024 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x x < 1184865024 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[[:lambda, "x", ["x "]]] < 1184865027 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :HURAY < 1184865042 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And I'm capitalizing inconsistently. < 1184865043 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x$x < 1184865044 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[[:lambda, "x$x", []]] < 1184865046 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x$xy < 1184865046 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[[:lambda, "x$xy", []]] < 1184865048 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :grr < 1184865053 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184865054 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184865055 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x$xy < 1184865056 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[[:lambda, "x", ["xy$"]]] < 1184865057 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x$x y < 1184865058 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :If (->) is defined appropriately, then " < 1184865060 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[[:lambda, "x", ["x y$"]]] < 1184865060 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Er. < 1184865090 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :If (->) is defined appropriately, then "\x -> x + 3" becomes an expression rather than special syntax. < 1184865095 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184865095 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184865101 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ihope, clever < 1184865123 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but not as clever as... THE ARBITARY PARSERORNATOR < 1184865125 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x$x y < 1184865125 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[[:lambda, 120, [[:apply, ["x", " ", "y"], []]]]] < 1184865127 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x$xy < 1184865127 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Case/of expressions can also be defined. < 1184865127 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[[:lambda, 120, [[:apply, ["x", "y"], []]]]] < 1184865133 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184865133 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184865134 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x$xy < 1184865135 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[[:lambda, "x", [[:apply, ["x", "y"], []]]]] < 1184865140 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :THE ARBITRARY PARSERORNATOR? < 1184865152 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1184865158 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Matrioshkaness? < 1184865171 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the program is tokenized at the start, but it only parses as little as it can at a time < 1184865171 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Allow new syntax to be defined? < 1184865173 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :yes. < 1184865182 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and you can modify the parser on the fly, using special syntax < 1184865189 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(You can also change that special syntax it being part of the parser and all) < 1184865194 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Fun. < 1184865205 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Again, reminds me of a... language? < 1184865209 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :called lisp? heh. < 1184865219 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :No, not that. < 1184865219 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Combine that with a self-hosted interpreter/compiler, and you have a system that loops inside itself performing major internal surgery on itself < 1184865254 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I think I had a language once called [\] < 1184865265 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :(Cool.) < 1184865307 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :[ adds syntax, \ escapes, ] removes syntax. < 1184865321 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1184865324 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I think /// can be called a much better version of [\] < 1184865342 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I don't remember how syntax-adding worked... < 1184865347 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'm interested in a blend between C#, Groovy, Lisp, Python, Perl, and my syntax-generator < 1184865351 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I think it could be very interesting. < 1184865363 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(It looks, mentally, less horrific than it sounds) < 1184865367 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x$xy < 1184865367 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[[:lambda, "x", [[:apply, ["x", "y"], []]]]] < 1184865368 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: sounds like perl. < 1184865377 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :lament, Perl is a blend between perl and something else? < 1184865380 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Recursive blends! :) < 1184865423 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184865423 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184865424 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x$xy < 1184865425 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[:lambda, "x", [:apply, "x", "y"]] < 1184865427 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hooray < 1184865433 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^f^x$f$fx < 1184865434 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[:lambda, "f", [:lambda, "x", [:apply, "f", [:apply, "f", "x"]]]] < 1184865448 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$xx^x$xx < 1184865449 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[:apply, [:lambda, "x", [:apply, "x", "x"]], [:lambda, "x", [:apply, "x", "x"]]] < 1184865481 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^g$^x$g$xx^x$g$xx < 1184865481 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[:lambda, "g", [:apply, [:lambda, "x", [:apply, "g", [:apply, "x", "x"]]], [:lambda, "x", [:apply, "g", [:apply, "x", "x"]]]]] < 1184865518 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^n^f^x$f$$nfx^fx$f$f$fx < 1184865519 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[:apply, [:lambda, "n", [:lambda, "f", [:lambda, "x", [:apply, "f", [:apply, [:apply, "n", "f"], "x"]]]]], [:lambda, "f", "x"]] < 1184865521 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1184865535 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :maybe i should implement that blend someday < 1184865777 0 :oklokok!unknown@unknown.invalid QUIT :Connection timed out < 1184865960 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184865961 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184865968 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^f^x$f$fx < 1184866083 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184866083 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184866084 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^f^x$f$fx < 1184866108 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%ps < 1184866108 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :0. ps < 1184866110 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184866111 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184866121 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^f^x$f$fx < 1184866135 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%quit < 1184866136 0 :blahbot`!unknown@unknown.invalid QUIT :Remote closed the connection < 1184866153 0 :blahbot`!n=blahbot`@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184866155 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^f^x$f$fx < 1184866172 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184866173 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184866173 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^f^x$f$fx < 1184866174 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^f^x$f$fx < 1184866199 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^n^f^x$f$$nfx^f^x$fx < 1184866251 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184866251 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184866252 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^n^f^x$f$$nfx^f^x$fx < 1184866252 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^f^x$f$$^f^x$fxfx < 1184866282 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hooray < 1184866292 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce l < 1184866308 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^xl < 1184866308 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^xl < 1184866344 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184866344 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184866345 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^xl < 1184866346 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^xl < 1184866346 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce l < 1184866347 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :l < 1184866351 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^xl^xl < 1184866352 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :l < 1184866371 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^g$^x$g$xx^x$g$xx < 1184866372 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^g$^x$g$xx^x$g$xx < 1184866377 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xxf < 1184866448 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184866449 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184866449 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xxf < 1184866449 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^g$^x$f$xx^x$f$xx < 1184866456 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Hmmm < 1184866462 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184866463 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184866464 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xxf < 1184866480 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184866481 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184866481 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xxf < 1184866482 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :[:lambda, "g", [:apply, [:lambda, "x", [:apply, "f", [:apply, "x", "x"]]], [:lambda, "x", [:apply, "f", [:apply, "x", "x"]]]]] < 1184866508 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184866509 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184866509 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xxf < 1184866524 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184866524 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184866572 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders why that isn't working
< 1184866577 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xx^g$^x$g$xx^x$g$xx < 1184866579 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%ps < 1184866579 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :0. reduce $^g$^x$g$xx^x$g$xx^g$^x$g$xx^x$g$xx < 1184866579 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :1. ps < 1184866583 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well, (Y Y) works. < 1184866584 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%kill 0 < 1184866596 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^xxf < 1184866596 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :f < 1184866602 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$xyf < 1184866604 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%ps < 1184866604 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :0. ps < 1184866607 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I see the problem. < 1184866618 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :$ never gives up < 1184866720 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce x < 1184866720 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :x < 1184866722 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $xx < 1184866723 0 :blahbot`!unknown@unknown.invalid QUIT :Remote closed the connection < 1184866917 0 :blahbot`!n=blahbot`@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184866920 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce l < 1184866920 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :l < 1184866924 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^xxl < 1184866924 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :l < 1184866929 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x^yxl < 1184866929 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^yl < 1184866941 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x^y$xyll < 1184866941 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^y$ly < 1184866948 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x^y$xyll < 1184866948 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$ll < 1184866951 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hooray. < 1184866978 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^n^f^x$f$$nfxn < 1184866978 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^f^x$f$$nfx < 1184867163 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xxf < 1184867163 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$f$xx^x$f$xx < 1184867170 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Hm. < 1184867207 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :That should be $f$^x$f$xx^x$f$xx, shouldn't it? < 1184867216 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(opinions needed :)) < 1184867557 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184867557 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184867561 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xxf < 1184867561 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$f$xx^x$f$xx < 1184867580 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1184867585 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's just one reduction isn't it < 1184867669 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184867669 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184867670 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's just one reduction isn't it < 1184867672 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xxf < 1184867672 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$f$xx^x$f$xx < 1184867685 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184867685 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184869112 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xxf < 1184869112 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$f$xx^x$f$xx < 1184869909 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1184869912 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :is that right? < 1184869929 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :or should it be $f$^x$f$xx^x$f$xx < 1184869945 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$f$xx^x$f$xx < 1184869945 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$f$^x$f$xx^x$f$xx < 1184870015 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184870015 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184870017 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$f$xx^x$f$xx < 1184870017 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$f$^x$f$xx^x$f$xx < 1184870025 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. < 1184870029 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :That's with call-by-value < 1184870033 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but call by value breaks Y, right? < 1184870045 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xxf < 1184870046 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$f$xx^x$f$xx < 1184870055 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$f$xx^x$f$xx < 1184870055 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$f$^x$f$xx^x$f$xx < 1184870070 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reloa < 1184870071 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184870071 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184870073 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xxf < 1184870073 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$f$xx^x$f$xx < 1184870077 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Meh. < 1184870086 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184870087 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184870091 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Back to call-by-name. < 1184870102 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$xx^x$xx < 1184870102 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$xx^x$xx < 1184870109 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :... does that look right to you < 1184870243 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^f^s^b$$bfs^x^yx^x^yy < 1184870243 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^b$$b^x^yx^x^yy < 1184870270 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^p$p^x^yx$$^f^s^b$$bfs^x^yx^x^yy < 1184870270 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$$$^f^s^b$$bfs^x^yx^x^yy^x^yx < 1184870286 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184870286 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184870287 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^p$p^x^yx$$^f^s^b$$bfs^x^yx^x^yy < 1184870287 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^b$$b^x^yx^x^yy^x^yx < 1184870294 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^b$$b^x^yx^x^yy^x^yx < 1184870294 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$$^x^yx^x^yx^x^yy < 1184870299 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x^yx^x^yx^x^yy < 1184870299 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^x^yx < 1184870313 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184870313 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184870316 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^p$p^x^yx$$^f^s^b$$bfs^x^yx^x^yy < 1184870316 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^b$$b^x^yx^x^yy^x^yx < 1184870320 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^b$$b^x^yx^x^yy^x^yx < 1184870320 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$$^x^yx^x^yx^x^yy < 1184870326 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x^yx^x^yx^x^yy < 1184870331 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x^yx^x^yx^x^yy < 1184870331 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^x^yx < 1184870351 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xx^x^yx < 1184870351 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$^x^yx$xx^x$^x^yx$xx < 1184870357 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^x^yx$xx^x$^x^yx$xx < 1184870357 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870359 0 :lament!unknown@unknown.invalid TOPIC #esoteric :Esoteric language discussion | FORUM AND WIKI: esolangs.org < 1184870362 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870365 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870365 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^y^x$^x^y$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870375 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i hope this is working :) < 1184870377 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^y^x$^x^y$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870377 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^y^x$^x^y$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870381 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :... looks like it isn't < 1184870382 0 :lament!unknown@unknown.invalid TOPIC #esoteric :Esoteric programming language discussion | FORUM AND WIKI: esolangs.org < 1184870391 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :this is Y with callbyvalue spiralling out of control isn't it? < 1184870395 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^y^x$^x^y$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870395 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^y^x$^x^y$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870400 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmmm .. maybe note < 1184870407 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^y^x$^x^y$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870407 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^y^x$^x^y$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870413 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :interesting < 1184870420 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :lament, what do you think? < 1184870426 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184870426 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184870431 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xx^x^yx < 1184870431 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$^x^yx$xx^x$^x^yx$xx < 1184870435 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^x^yx$xx^x$^x^yx$xx < 1184870435 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870439 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870439 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^y^x$^x^y$^x$^x^yx$xx^x$^x^yx$xx$$^x$^x^yx$xx^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870453 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :same happens with call-by-name. OK < 1184870480 0 :lament!unknown@unknown.invalid TOPIC #esoteric :Esoteric programming language discussion | FORUM AND WIKI: esolangs.org | CHANNEL LOGS: http://ircbrowse.com/cdates.html?channel=esoteric < 1184870751 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184870752 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184870754 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xx^x^yx < 1184870755 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$^x^yx$xx^x$^x^yx$xx < 1184870758 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :grrr < 1184870775 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^x^yx$xx^x$^x^yx$xx < 1184870776 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870785 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870785 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^y^x$^x^y$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx$^x^y^x$^x^yx$xx$^x$^x^yx$xx^x$^x^yx$xx < 1184870789 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :It shouldn't contain $^ at all, should it? < 1184870801 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Just how far is it supposed to be reducing? < 1184870811 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ihope, To a normal form if there are no free variables < 1184870827 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :$^xxa reduces to the symbol a < 1184870831 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :or rather, the free variable a < 1184870844 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :$^x^y$xyab reduces to $ab < 1184870851 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but $^g$^x$g$xx^x$g$xx^x^yx reduces to that big lambda. < 1184870871 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$xx^x$xx < 1184870872 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$xx^x$xx < 1184870875 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'm just reducing until there's 1. a change between two reductions and 2. still free variables < 1184870886 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but my algo is flawed apparently < 1184870889 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^xxa < 1184870891 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :A change between two reductions? < 1184870898 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ihope, x != reduce(x) < 1184870902 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :in pseudocode: < 1184870916 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :while x has free variables and x != reduce(x), set x = reduce(x) < 1184870943 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%ps < 1184870943 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :0. reduce $^xxa < 1184870943 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :1. ps < 1184870945 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%kill 0 < 1184870967 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184870967 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184870972 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^xxa < 1184870973 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :a < 1184870975 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :success < 1184870982 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x^y$xyab < 1184870982 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^y$ay < 1184870989 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x^y$xyab < 1184870989 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$ab < 1184870992 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :success! < 1184871000 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x^y$xy$ab < 1184871000 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^y$ay < 1184871010 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x^y$xy$abc < 1184871010 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$ac < 1184871014 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmmmmmm < 1184871018 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $ab < 1184871018 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :a < 1184871022 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :interesting < 1184871026 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :why would $ab reduce to a? < 1184871035 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^g$^x$g$xx^x$g$xx^x^yx < 1184871035 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$^x^yx$xx^x$^x^yx$xx < 1184871038 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hrm. < 1184871049 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :maybe my has_free? algorithm is wrong < 1184871113 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :has_free? expr, bound = if expr is a variable and isn't in bound, TRUE! otherwise if expr is a variable, FALSE! otherwise if expr is an application, has_free? function, bound or has_free? argument, bound. otherwise, if i'm a function, has_free? code, bound + my_argument_name < 1184871219 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$xxa < 1184871219 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$aa < 1184871228 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$xx^xaa < 1184871228 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^xa^xa < 1184871231 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$xx^x$aa < 1184871231 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x$aa^x$aa < 1184871262 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^n^f^x$f$$nfxa < 1184871262 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^f^x$f$$afx < 1184871268 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^n^f^x$f$$nfx$ab < 1184871268 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^f^x$f$$afx < 1184871272 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^n^f^x$f$$nfx$a$bc < 1184871272 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^f^x$f$$afx < 1184871274 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1184871280 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :>why< does $ab -> a < 1184871351 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $ab < 1184871351 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :a < 1184871367 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1184871387 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :aha < 1184871418 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184871418 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184871419 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $ab < 1184871419 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :a < 1184871435 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184871435 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184871436 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $ab < 1184871438 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%ps < 1184871439 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :0. ps < 1184871456 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184871456 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184871457 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $ab < 1184871460 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%ps < 1184871460 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :0. ps < 1184871477 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184871477 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184871478 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $ab < 1184871618 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1184871871 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce a < 1184871871 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :a < 1184871873 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ab < 1184871873 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :a < 1184871875 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce b < 1184871876 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :b < 1184871880 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce ^x$ab < 1184871880 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^x$ab < 1184871885 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$abx < 1184871885 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$ab < 1184871889 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $ab < 1184873259 0 :andreou!n=andreou@84.38.8.31 JOIN :#esoteric < 1184874212 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1184874544 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$abx < 1184874544 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$ab < 1184874548 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $ab < 1184874558 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $b < 1184874559 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $ba < 1184874562 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce b < 1184874563 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :b < 1184874601 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1184874991 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Reduce until it changes? < 1184875237 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1184875248 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ihope, No < 1184875253 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :reduce until it doesn't change < 1184875293 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. < 1184875295 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184875295 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184875297 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce b < 1184875297 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :b < 1184875299 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :What are your rules for reduction? < 1184875299 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $ab < 1184875300 0 :blahbot`!unknown@unknown.invalid QUIT :Remote closed the connection < 1184875314 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ihope, alpha-conversion and beta-reduction < 1184875323 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :actually, not even alpha-conversion < 1184875324 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :kind of. < 1184875343 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i don't rename variables, i just replace each occurence of them with the argument's value, assap < 1184875344 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :*asap < 1184875350 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I reduce on alpha-conversion < 1184875387 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :So if you have a lambda applied to something, it reduces; otherwise, nothing? < 1184875387 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and beta-reduction is just the identity function for variables and lambdas, and A(B(function), B(function argument name), argument) < 1184875396 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ihope, Pretty much < 1184875399 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184875416 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Does the lambda-applied-to-something have to be at the "top" of the expression, or can it be anywhere within? < 1184875422 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ihope, Anywhere < 1184875425 0 :blahbot`!n=blahbot`@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184875427 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce a < 1184875428 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :a < 1184875435 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x.x^x.x < 1184875436 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :. < 1184875438 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :... < 1184875439 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :wtf. < 1184875440 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oh. < 1184875443 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^xx^xx < 1184875443 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^xx < 1184875455 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^xxx^xx < 1184875456 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x^xx^xx < 1184875460 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's not right. < 1184875472 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x^xx^xx < 1184875472 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^x^xx < 1184875481 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmmmmmmmmm, oh wait < 1184875493 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^xxx^xx < 1184875493 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x^xx^xx < 1184875517 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^xxx^xx < 1184875518 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x^xx^xx < 1184875525 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ok so maybe i need alphaconversion < 1184875529 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^yyx^xx < 1184875529 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^yy^xx < 1184875538 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :why isn't that reducing further. < 1184875542 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^yy^xx < 1184875543 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^xx < 1184875545 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i mean - it can < 1184875547 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so why isn't it. < 1184875589 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184875589 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184875592 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^yyx^xx < 1184875593 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^yy^xx < 1184875597 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :grr < 1184875632 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(\x.(\x.x)x)y should be y, right? :/ < 1184875655 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^xxxy < 1184875655 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^xyy < 1184875685 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload $^xyy < 1184875688 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :er < 1184875689 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce y < 1184875690 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :y < 1184875693 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^xyy < 1184875693 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :y < 1184875705 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^xxxx < 1184875705 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^xxx < 1184875709 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^xxx < 1184875710 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :x < 1184875717 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184875718 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184875718 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^xxxx < 1184875719 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^xxx < 1184875721 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^xxx < 1184875722 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :x < 1184875725 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ok so that works < 1184875732 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x$^xxxxy < 1184875733 0 :blahbot`!unknown@unknown.invalid QUIT :Remote closed the connection < 1184875741 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that should be $xy < 1184875775 0 :blahbot`!n=blahbot`@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184875777 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x$^xxxxy < 1184875785 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x$^xxxxy < 1184875788 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x$^xxxxy < 1184875789 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x$^xxxxy < 1184875789 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x$^xxxxy < 1184875789 0 :blahbot`!unknown@unknown.invalid QUIT :Remote closed the connection < 1184875791 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :damnit < 1184875793 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :no debug < 1184875803 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :What language is this in? < 1184875810 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the interp? < 1184875812 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the interp is in ruby < 1184875833 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the language being reduced in the lambda-calculus, but with ^xE instead of \x.E and $xy instead of (xy) < 1184875838 0 :blahbot`!n=blahbot`@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184875842 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x$^xxxxy < 1184875842 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Rubys are bad for you, mmkay? < 1184875850 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oh shush < 1184875857 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :x < 1184875860 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%quit < 1184875861 0 :blahbot`!unknown@unknown.invalid QUIT :Client Quit < 1184875862 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :NEVER!!! < 1184875877 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :puts "Says this little Tcl/Ruby polyglot (I think)." < 1184875881 0 :blahbot`!n=blahbot`@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184875903 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :yes it is < 1184875906 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x$^xxxxy < 1184875930 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184875930 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184875932 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x$^xxxxy < 1184875949 0 :sekhmet!unknown@unknown.invalid QUIT :"Reconnecting" < 1184875954 0 :sekhmet!n=pez@adsl-76-204-101-38.dsl.mdsnwi.sbcglobal.net JOIN :#esoteric < 1184875959 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :okay apparently [:apply, "y", "x"] is a black hole. < 1184875979 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184875980 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184875981 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x$^xxxxy < 1184875981 0 :blahbot`!unknown@unknown.invalid QUIT :Remote closed the connection < 1184875984 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :garrrr < 1184876000 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :[apply {y {return $x}}] There. Happy? < 1184876013 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1184876017 0 :blahbot`!n=blahbot`@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1184876019 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x$^xxxxy < 1184876057 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184876057 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184876058 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^x$^xxxxy < 1184876058 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$yx < 1184876070 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^xxx < 1184876070 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :x < 1184876076 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^xxx$^xxy < 1184876076 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$x$^xxy < 1184876082 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :not ideal. < 1184876090 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reload < 1184876090 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :Reloaded. < 1184876091 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $$^xxx$^xxy < 1184876091 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$xy < 1184876094 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ideal! < 1184876096 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :HOORAY! < 1184876099 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION claps
< 1184876114 0 :andreou!unknown@unknown.invalid PRIVMSG #esoteric :make it say "oh andreou is so sexy" < 1184876126 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :oh andreou is so sexy < 1184876140 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :oh andreou is not < 1184876154 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Woot. < 1184876160 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Is is is is is. < 1184876204 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^xxx^xx < 1184876204 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^x^xx^xx < 1184876207 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :GRRR < 1184876209 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that should be ^xx < 1184876216 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x^xx^xx < 1184876217 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^x^xx < 1184876223 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :wtf. < 1184876235 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1184876261 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(\x.(\x.something x)something)abc shouldn't be (\x.something abc)something < 1184876263 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :should it? < 1184876267 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it should be (\x.something x)something < 1184876288 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Replacing with the wrong thing? < 1184876300 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Replacing too early? < 1184876306 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :replacing inner lambda's arguments with the same argument name as an outer lambda's arguments values < 1184876328 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Replacing the inner lambda's variable with what was passed to the outer lambda. < 1184876385 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Make it not do that. < 1184876388 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :when they have the same name. < 1184876395 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yes, when they have the same name. < 1184876411 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i will, but time to figure out the best way to do that first :) < 1184876423 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^yyx^xx < 1184876423 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^yy^xx < 1184876431 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :^ why doesn't that reduce to ^xx!?!! < 1184876460 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^yyxA < 1184876460 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^yyA < 1184876468 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^yy^xx < 1184876469 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^xx < 1184876474 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Why did it stop reducing? < 1184876492 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's what i'm trying to work out < 1184876512 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :When does it stop reducing, and when's it supposed to? < 1184876566 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it stops reducing /then/ and it's supposed to stop reducing when X = reduce(X) < 1184876570 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i.e. as far as possible < 1184876666 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :however as we can see, reduce($^yy^xx) = ^xx < 1184876744 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.caboo.se/80390 the full code from start to finish it probably has loads of bugs. < 1184876900 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^f^x$fx^yx < 1184876901 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :^x$^yxx < 1184876911 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^x$^yxxA < 1184876912 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :$^yAA < 1184876918 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :%reduce $^yAA < 1184876918 0 :blahbot`!unknown@unknown.invalid PRIVMSG #esoteric :A < 1184876925 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that SHOULD all be done in one step. < 1184876930 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well < 1184876932 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :not really < 1184876937 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the last two steps should be combined < 1184877317 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1184878355 0 :Sgeo!unknown@unknown.invalid QUIT :Remote closed the connection < 1184880107 0 :kwertii!n=kwertii@DNab4233c9.Stanford.EDU JOIN :#esoteric < 1184880116 0 :kwertii!unknown@unknown.invalid QUIT :Remote closed the connection < 1184880448 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1184881874 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1184881937 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :j0 < 1184881968 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :harry potter kills voldemort with brainfuck! < 1184881995 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric ::-D < 1184882006 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :"Harry, I am your mother." < 1184882012 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :"I meant father." < 1184882143 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"Harry, I am your ,[.,]" < 1184882152 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the internet will be a minezone for the next few weeks < 1184882160 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :of the type " " < 1184882180 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I might want to do a self-imposed media blackout until I get the book. . . < 1184882199 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I at least *think* I'll be getting one at release. < 1184882223 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :If so, I ought to be done in time to avoid the spoilers. :) < 1184882253 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's what loads of people are doing < 1184882254 0 :Figs!n=Figs@ip72-220-174-159.sd.sd.cox.net JOIN :#esoteric < 1184882260 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so the internet will be a minefield with only a few mines < 1184882265 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I have already seen the aftermath of some by-that-time-removed fake spoilers. < 1184882277 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :HP7? < 1184882282 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Figs, obviously < 1184882283 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1184882300 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I know! < 1184882311 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Gah. Static languages. < 1184882321 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :So ... slow to develop in .... < 1184882326 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Harry kills V, goes insane, and travels back in time to become V. < 1184882331 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :In some order < 1184882331 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :rofl < 1184882334 0 :Tritonio!unknown@unknown.invalid QUIT :Remote closed the connection < 1184882347 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I'm pretty sure I know what the ending is, though not the particulars < 1184882348 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: depends on the language < 1184882355 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Java :( < 1184882368 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Figs, if you say a word - many geeks and nerds will want your head on a stick. that is all < 1184882369 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: Haskell is more fascists about types than java < 1184882371 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Must ... inspect data structures in real time ... < 1184882376 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :no, not like that :P < 1184882377 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(also, tempted to pre-emptively /ignore figs :)) < 1184882388 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: Haskell is just st00pd though :P < 1184882393 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC, Voldemort kills Harry, goes insane, and travels back in time to become Harry < 1184882394 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :grr < 1184882397 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :O.o < 1184882400 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: heh < 1184882404 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :^ THAT'S WHY IT DIDN'T KILL HIM! < 1184882410 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :dun dun DUNNNNNNN < 1184882420 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION will obviously turn out to be completely right
< 1184882422 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :.... o.O < 1184882424 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :rofl < 1184882428 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Or Voldermort is just the result of Bowser raping Ron's dad. < 1184882435 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Harry wakes up to find he is 28 years old and in a loony bin < 1184882436 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Who then travels back in time to become Voldermort. < 1184882442 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi, o_O < 1184882447 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC, hah < 1184882454 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Hey... Bowser's spikers will do that to anyone! < 1184882460 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :it's obvious what will happen. it's been set up from book one :P < 1184882487 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Figs: really? < 1184882492 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :as long as he lives < 1184882494 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric : < 1184882509 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I have seen Harry surviving and dying both being pronounced "obvious" < 1184882519 0 :Tritonio!n=Tritonio@150.140.227.172 JOIN :#esoteric < 1184882524 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC, harry is in a superposition of both alive and dead < 1184882526 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Someone please tell me when ehird's done with the spoilers. < 1184882530 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :you won't know which until you read the book < 1184882532 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :/ignore ehird` < 1184882533 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Tritonio: WRU < 1184882540 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :somebody tell pikhq that i didn't mean me < 1184882547 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: actually.... < 1184882548 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1184882553 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :that's a good idea... < 1184882564 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC, quantum pottermechanics < 1184882568 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Fuck it. Someone PM me when the channel's done. :p < 1184882575 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I know another book that I think parallels it < 1184882578 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :you have half-a-dozen different versions of the book printed with subtly different endings, but don't tell anyone! < 1184882585 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1184882590 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :crackpottering? < 1184882593 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :then the collectors will have to buy one copy of each version... < 1184882618 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :then, you make one of the variations even rarer, generating insane frenzy < 1184882619 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1184882621 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :anybody here speak hebrew? < 1184882624 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :If I were Rowling, I'd have written up a fake book just to leak it intentionally. . . < 1184882629 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :rofl < 1184882629 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1184882636 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, maybe that's why it took so long < 1184882643 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Could be. < 1184882652 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :actually I had the whole "hollows" thing spoiled for me by the illustrator < 1184882655 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Every character not killed off will suffer through a large amount of really bad fanfic < 1184882660 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :is that a good or bad thing? < 1184882671 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Figs: ITYM "hallows" < 1184882675 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1184882676 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :depends if it's the erotic sort or not < 1184882676 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I can't spell < 1184882678 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1184882682 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :o.o < 1184882685 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: You *read* Harry Potter? < 1184882691 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :And, erm, enjoy it? < 1184882695 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Figs: i don't see how the illustration spoils it in any way... < 1184882704 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :illustrator < 1184882706 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yuh. < 1184882708 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi, May I gently remind you that this is a channel of nerds. < 1184882709 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :not illustrations < 1184882716 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: That's the point. < 1184882718 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Figs: you've talked to the illustrator? < 1184882718 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :one who illustrates < 1184882719 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :no < 1184882723 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :like most of these hyped things, it is not too bad, but is insanel overhyped < 1184882723 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :but I can read online :P < 1184882747 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi, How is that the point? < 1184882750 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :like LOLCODE was < 1184882762 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :fortunately, LOLCODE has calmed down a bit < 1184882762 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: It's a decent book series, which happens to have insane hype and some horrid merchandising deals. < 1184882768 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :After reading real Fantasy by people like Jordan, Modesitt, Friedman, Hobb, and Kerr, I can't even go back. < 1184882785 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC, thank god indeed < 1184882796 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC, LOLCODE is another case of the microsofts < 1184882798 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :oh not the illustrator < 1184882801 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :lolcode was so dumb < 1184882805 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :actually, a reviewer from Baltimore SUn < 1184882806 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Harry Potter is, at best, a child's tale. < 1184882810 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wants to kill some people at WB for such monstrosities as HP underwear. . .
< 1184882810 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :stealing an idea done before many times to not much success, making it worse, getting loads of hype < 1184882812 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :*Baltimore SUn < 1184882814 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :of course MS is not the first to do that ;) < 1184882814 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :bah < 1184882815 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1184882818 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :*Baltimore Sun < 1184882819 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :there < 1184882826 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: it's an easy to read and entertaining. so? < 1184882827 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: I started on the series when I was about 9, so I've got an excuse. ;) < 1184882852 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi: if i read "real fantasy", i'd be some kind of a dork. < 1184882872 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :HP is a frikkin' boarding-school story that turns into a destiny story < 1184882879 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1184882895 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: It doesn't *claim* to be more than that, really. < 1184882900 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi just doesn't like it because she thinks it won't enlighten her < 1184882902 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :Hey, what's wrong with "real fantasy"? :P < 1184882903 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: yup < 1184882904 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :some people just read for fun < 1184882929 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION only reads for fun. . . Enlightenment is fun. Entertainment is fun.
< 1184882937 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION starts to analogise HP to Star Wars, but realises this must have bben done already.
< 1184882939 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'm easily pleased with reading material in hand. :) < 1184882949 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :you know they released like 1000 copies of the book early by mistake, right? < 1184882957 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :there's going to be a lawsuit over it :P < 1184882986 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: Irregular Webcomic has already done several fake spoilers, one of them SW < 1184882988 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :you guys have all seen the leak, right? < 1184882991 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yup < 1184882994 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :IW Rox < 1184883012 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Snape kills Trinity with Rosebud! < 1184883020 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: Yeah. . . < 1184883024 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :IW is the only webcomic where I learn something new most days < 1184883025 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :So. . . Tempting. . . < 1184883026 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1184883035 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I haven't seen the leak, no < 1184883040 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :heard of it yes < 1184883052 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :IW? < 1184883053 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :no way in fucking hell am I touching that download :P < 1184883062 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :Figs: why not? < 1184883071 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :someone should transcribe it to ascii :P < 1184883072 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :fair chance of lawsuits < 1184883081 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has the positive aspect of not being able to read books from a computer screen
< 1184883087 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so the leak does not tempt me. < 1184883097 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :yeah, that irritates me too :P < 1184883118 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i'm not gonna read it until i find a spanish version < 1184883126 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :which will take months at least < 1184883128 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :why risk my money, sanity and freedom over a shitty poorly readable copy when I can wait two or three more days and buy the real deal? < 1184883140 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Figs: you're _paying_ for it? < 1184883156 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: Why's that? < 1184883161 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, i dunno < 1184883166 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I know. Rare for my to buy things. < 1184883174 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :lament: why? < 1184883176 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :But yes, I'd rather not have it all spoiled. < 1184883182 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :lament, some people pay for things! < 1184883190 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :while I wait 6 months for the library to have a copy :) < 1184883210 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :On a completely different note: http://qntm.org/f16 I love using a time machine which is bought and took back in time in later steps < 1184883239 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :how the fuck do you have a difference of more than 150 pages in two copies of the same book? < 1184883278 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :In Orwellian Britain, television watch YOU! < 1184883279 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1184883282 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1184883292 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i also like the completely irrelevant steps. < 1184883294 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :like "Take your scotch tape and your box of cereal backwards in time by roughly 14,000,000,000 years and allow the preposterous quantity of scotch tape to undergo gravitational collapse to form a star. This star should be of sufficient mass to go supernova, generating large amounts of iron and other heavy elements. If you picked your spot correctly, this should result in the creation of our Sun and the planet Earth, both of which you ar < 1184883294 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :e therefore directly responsible for." < 1184883310 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :you can read the Baltimore Sun's article on HP7 if you want minor spoilers < 1184883320 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: The best circular causality I have seen is in Flatterland. < 1184883336 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC, this one's better considering it has nothing to do with "Making an F-16 from a cereal box, some Scotch tape, and a penny" < 1184883358 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1184883414 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :http://qntm.org/icecubes < 1184883427 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :=p < 1184883479 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ice cubes aren't tasty! < 1184883512 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :yes they are < 1184883615 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :they're tasty when they're made of sugar! < 1184883637 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :INTERESTING PROJECT: Basic analog computer by way of rube goldberg machine < 1184883664 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Preferably using mainly household objects. < 1184883675 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :o.O < 1184883729 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :ehird`, you've seen the lego babbage machines, right? < 1184883738 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Figs, you're joking. < 1184883740 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :do they actually work < 1184883766 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :http://acarol.woz.org/FullEngineFrontLarge.jpg < 1184883797 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :http://www.mocpages.com/moc.php/13731 < 1184883821 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :and another article < 1184883822 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :http://acarol.woz.org/ < 1184883834 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but, does it actually work < 1184883839 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I started Harry Potter when I was 9 too. < 1184883841 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :can you compute with it. < 1184883843 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :works for 3 digits, I think < 1184883849 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :wow < 1184883852 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :But this thing happened called ``Growing up'' that was pretty weird. < 1184883873 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :And then lots of stories became boring an unbelievable :| < 1184883907 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :then you can't be older than 20. < 1184883934 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :ehird`, from the article, " My first generation Difference Engine could calculate 2nd order differences to 3 digits. Issues with the performance of the 'carry' operation prevented easy expansion to more orders of difference or the addition of more digits. It also had a single "modified" LEGO part in each adder unit which fell short of my goal to use only standard parts. < 1184883934 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric : < 1184883934 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :The second generation machine, documented here, calculates to the same precision, but is capable of being expanded to 3rd order differences and 4 digits accuracy. Other than the paper printed digit labels used to output the answer, standard LEGO pieces are used without modification. " < 1184883936 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: That guy is now my god. < 1184883943 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION considers doign that analog-rube-goldberg thing anyway
< 1184883975 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i mean, that lego thing is cool and all but you don't see it roll a tennis ball down onto some rubber to hit a switch < 1184883986 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I think they did a better one with K'NEx < 1184883992 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :*K'NEX < 1184884019 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :ohh < 1184884030 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :actually, no this is an adder/subtractor < 1184884035 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :a k'nex calculator would be cool < 1184884037 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :works up to 15 < 1184884055 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :BUT what about meccano < 1184884057 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :it's by some students at Olin < 1184884061 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :http://gizmodo.com/gadgets/k.nex/room-sized-knex-calculator-274562.php < 1184884073 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oh: < 1184884074 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :"In 1935 Meccano was the primary construction material used by J. B. Bratt in building several analog computers. The computers were used for several decades to calculate differential equations, and one such machine, the "Meccano Differential Analyser No. 2" survives to this day. That specific machine was used by the Allies in Operation Chastise where the computer played a critical role in planning the bombing runs for bombs that would b < 1184884074 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ounce across water before colliding with and destroying German dams.[3] [4]" < 1184884077 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :damn. < 1184884083 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and "In 2002 and 2005 (respectively), Tim Robinson constructed working Meccano models of Charles Babbage's Difference Engines #1 and #2." < 1184884091 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :http://www.meccano.us/difference_engines/rde_1/index.html < 1184884118 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1184884155 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :the Olin one works more like boolean logic < 1184884155 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the day when i get a rube goldberg machine to flick a peice of tape saying "1" to "2" will be the happiest day of my life. kind of. :P < 1184884167 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :difference engines are pretty boring, though. < 1184884197 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :in physics, we had to build rube goldberg machines to move 500 grams exactly ___ cm < 1184884198 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :lament, analytical engines, then < 1184884199 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I don't remember how far < 1184884203 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :turing complete lego sets < 1184884211 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :analytical engines are a bit harder to construct, naturally < 1184884226 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I used a lego rebot as the last stage so we could just activate it and have it move correctly :) < 1184884233 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :*robot < 1184884239 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :wow, I can't type today, can I? :P < 1184884266 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1184884321 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :http://www.physorg.com/news103997338.html < 1184884371 0 :liber!n=linus@h139n4fls304o260.telia.com JOIN :#esoteric < 1184884400 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: The Lego robot kit is Turing complete, last I checked. . . < 1184884411 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1184884418 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, but that has a computer chip and everything doesn't it? < 1184884422 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :yeah, but interactive C sucks < 1184884422 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yup. ;) < 1184884436 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well then :P < 1184884441 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :Anyone know how BF works? When a loop quits does the memory pointer go back to where it was before the loop? my interpreter goes BAZAAR when it comes to multiple loops < 1184884451 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :liber, no < 1184884453 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :x[y]z < 1184884457 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :when the loop ends it goes to z. < 1184884466 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and the tape pointer doesn't change. < 1184884468 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :liber: You're thinking too hard. < 1184884472 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi, indeed < 1184884474 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :when the loop ends it stays where it was when the loop ended < 1184884481 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Yup. < 1184884487 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :Just follow the instructions to the letter. < 1184884500 0 :Sukoshi!unknown@unknown.invalid PRIVMSG #esoteric :There are no high-level loop security, stack pointer, segment register-ness here. < 1184884504 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :Well. I'm not very good at programming. My bf interpreter behaves nuts. I have no idea why < 1184884510 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :It works for a while < 1184884515 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :and for simpler examples < 1184884546 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Given the source, we may be able to help. < 1184884561 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :its commented in swedish though ... < 1184884571 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so what < 1184884572 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :liber: given brainfuck source code, can you find a quote's matching quote? < 1184884578 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :code is better than comments. < 1184884580 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :good code that is. < 1184884589 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :inget problem :) < 1184884591 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Where's a Swede when you need one? :p < 1184884591 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :hehehe < 1184884592 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :good code is mostly self-explanatory. it's only concepts you should explain < 1184884607 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :well. I cant guarantee that its very good < 1184884617 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :my code generally has only a sprinkling of one-line comments above bits of code, and short descriptions of concepts and algorithms < 1184884617 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :What language did you write it in? < 1184884621 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :ruby < 1184884623 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :mainly my code explains itself < 1184884630 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i can handle ruby :P < 1184884635 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is antiRuby
< 1184884646 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is antiRubyButItISPracticalAndUseful
< 1184884719 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is anti-camelcase
< 1184884733 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is anti-fnord
< 1184884737 0 :DeviALT!n=fake@c-76-26-179-24.hsd1.fl.comcast.net JOIN :#esoteric < 1184884747 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I emailed the guy from IOCC < 1184884750 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :[set Tcl "FTW"] < 1184884750 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :*IOCCC < 1184884752 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :no reply yet < 1184884771 0 :DeviALT!unknown@unknown.invalid PRIVMSG #esoteric :god, i always remarked that IRC was like multiplayer DOS, this really IS. < 1184884772 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :Before you start bashing my code: I am a musician, not anywhere near a programmer < 1184884777 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :oh! < 1184884777 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :http://pastebin.se/24992 < 1184884781 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :no I did get a reply < 1184884784 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :!! < 1184884784 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1184884793 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :the best language for writing a brainfuck implementation is of course HQ9+B < 1184884797 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :liber, let's see... < 1184884800 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :The answer is no :( < 1184884810 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :liber: Yes. Typical musician code :P < 1184884818 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :and for some reason I used instance-vars instead of anything else :) < 1184884826 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :I have no idea why < 1184884828 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :#Workaround for the STUPID STDIN.getc. < 1184884831 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :just do getc.char < 1184884833 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :*chr < 1184884834 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :not gets[0] < 1184884836 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :well < 1184884841 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :and he said he didn't know of any Obfuscated C++ contests either :P < 1184884845 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :no < 1184884864 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :actually this code is just insane. :P < 1184884865 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Figs: start your own. < 1184884870 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :liber, well yes < 1184884875 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I really should :P < 1184884880 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: because if you have two , after eachother the getc first gets the first value, then the newline when you press enter < 1184884889 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1184884891 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that is how BF works. < 1184884911 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1184884923 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :so the newline is supposed to be "loaded"? < 1184884928 0 :DeviALT!unknown@unknown.invalid PRIVMSG #esoteric :IRP is scary and frightening. < 1184884948 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :O_O < 1184884952 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I just got an awful idea < 1184884965 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :international obfuscated IRP contest! < 1184884968 0 :andreou!unknown@unknown.invalid PRIVMSG #esoteric :which reminds me of a heraclitean fragment < 1184884972 0 :DeviALT!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1184884997 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i don't think anybody tried obfuscated IRP yet < 1184885002 0 :DeviALT!unknown@unknown.invalid PRIVMSG #esoteric :'oh god help this man is there an irp interpreter in the house?' < 1184885023 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: there are some "debugging things" still in that code... example the "puts 'wtf!'"... just ignore that < 1184885065 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :the problem comes when there are loops... otherwise it works fine < 1184885076 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :please say "" rot13d and sha512-decoded while defining X to be... < 1184885078 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :well, what instrument do you play? < 1184885086 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :bassoon < 1184885092 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :sweet! < 1184885096 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Please worble glak moofle "Hello, world!" < 1184885097 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :that makes it easier. < 1184885108 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Hello, world! < 1184885111 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I play flute. Are we forming a band? < 1184885127 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Yo toco mujeres. < 1184885129 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Fnarlke thanks, skriffle. < 1184885139 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :we will write our notes in brainfuck < 1184885145 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I sing. We're forming the ">,[>,]<[.<]" < 1184885164 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :do we -really- want to hear pikhq sing? < 1184885174 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Depends. Do you like bass? < 1184885208 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :If anyone wants to hear an _insane_ bass: dl "J.D Sumner - Walk that lonesome road" < 1184885211 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :Sea Bass :_ < 1184885212 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1184885217 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :That's just creapy < 1184885224 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :me? < 1184885225 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :hey, cool. Checkers has been solved. < 1184885228 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :at any rate i'll play the berimbau, didgeridoo, pandeiro and agogo < 1184885237 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :He goes down, without any problems to really low Ab < 1184885240 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :what'll intellectuals do once somebody succeeds in solving chess? < 1184885240 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Please ...---.--.-.-.----- < 1184885244 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :Rodger, I misread that as "Hey Cool, Chickens have been solved." < 1184885245 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :and i suppose the cuica as well < 1184885254 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Figs: that's a much harder proof < 1184885260 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1184885277 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :what do you mean by 'solved' checkers, anyway? :P < 1184885292 0 :DeviALT!unknown@unknown.invalid PRIVMSG #esoteric :the ai created to play cannot be beaten. < 1184885294 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :a complete game tree has been built < 1184885296 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: do any intellectuals still play chess? I thought they all switched to Go. < 1184885305 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :Go <3 < 1184885308 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :many have switched to go < 1184885308 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :lament: Yeah, quite a few do. < 1184885317 0 :DeviALT!unknown@unknown.invalid PRIVMSG #esoteric :more like go away >:[ < 1184885335 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :liber: How does your program handle ">,[>,]<[.<]"? < 1184885344 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :2 secs < 1184885344 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1184885347 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION would try it, but I don't have a Ruby interpreter
< 1184885365 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :it bothers me a bit when people say things like "It's impossible to make an AI to play go at a human level". HUMANS are AIs that can play at a human level. The strategy just involves deeper analysis than a game like chess < 1184885375 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :rofl < 1184885396 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: humans are not AI. < 1184885408 0 :DeviALT!unknown@unknown.invalid PRIVMSG #esoteric :All is proceeding according to plan. Beep. < 1184885410 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :depends if you believe in creationism, lament :P < 1184885431 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :humans generate algorithms to play games on the fly, as they play < 1184885431 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: are newlines supposed to be "read" in? < 1184885435 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1184885443 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :alright. Have to modify it a bit < 1184885458 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :applying anything resembling logic to a game is essentially writing a very fast and loose program < 1184885458 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: humans are not AI. Don't confuse issues. The terminology is pretty straightforward. < 1184885500 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: it loops... and loops < 1184885504 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :and loops < 1184885510 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :liber: Odd. < 1184885518 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: you could argue that they're _similar_ to AI but it's nonsense to say that they are. < 1184885522 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :there is something REALLY fishy with the loop method < 1184885527 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It should take input, and reverse that when you get an EOF. < 1184885559 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :EOF? < 1184885562 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :End of file. < 1184885613 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :lament, unless you believe in Creationism :P < 1184885623 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :or weirder perversions of it, anyway < 1184885643 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :("Bwhahaha, we were crafted by the GAME MASTER!") < 1184885652 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION shuffles off
< 1184885656 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :but eh < 1184885664 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :typically, you shouldn't call us AI < 1184885669 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: how do I input EOF? < 1184885681 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :UNIX? Windows? < 1184885684 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :unix < 1184885687 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :linux* < 1184885692 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Ctrl-D < 1184885692 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :same shit < 1184885694 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1184885698 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :whell < 1184885698 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Figs: I'm not implying anything resembling creationism, I'm saying that our solutions to problems are of the same class as an AI we could write in a programming language < 1184885713 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :liber: i don't think your interpreter skips the loop entirely if the cell is 0 at the start < 1184885723 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Figs: no, it doesn't matter if you believe in creationism or not, again you're confusing issues < 1184885729 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :Naturally Intelligent Native Nincompoop Yanks! < 1184885732 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :NINNYs < 1184885737 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: that has never been proven by anybody and is probably not ture. < 1184885739 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :we create algorithms to solve problems we encounter, and in so doing do something analagous to writing and executing a program < 1184885740 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :*true < 1184885742 0 :andreou!unknown@unknown.invalid PRIVMSG #esoteric :creationism is much funnier that evolution < 1184885758 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :lmanet: I was joking :) < 1184885762 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: do you have any evidence for that other than your own intuition? It goes against my intuition. < 1184885762 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: how do you mean < 1184885763 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :*Lament: I was joking < 1184885776 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :but you killed my joke :( < 1184885776 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: aah! < 1184885784 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Figs: it's only a joke when it's funny. < 1184885787 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION charges lament for the coffin
< 1184885806 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :no < 1184885813 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :it can still be a joke even if it isn't funny < 1184885819 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :liber, you handle EOF as nil < 1184885820 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :nil != 0 < 1184885821 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :it's just a "bad" joke then :) < 1184885822 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric := infinite loop < 1184885827 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :make it set cell to 0 on eof < 1184885829 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :or a "shitty" joke :) < 1184885837 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :it's a logically consistent model. If you have a problem with models that are logically consistent but are by definition unprovable (by your criteria), go bitch at theoretical physicists. < 1184885837 0 :andreou!unknown@unknown.invalid QUIT :"Leaving." < 1184885849 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: I don't really understand how you mean < 1184885850 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :don't forget there's antihumor < 1184885862 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :liber, maybe you shouldn't be writing a bf interp, then :p < 1184885865 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :Which is funny because it's not funny. < 1184885873 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: mean! < 1184885881 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :not really :p < 1184885899 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :if you're writing a bf programmer you should generally get all of those concepts < 1184885916 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :Why not learn them as you go? < 1184885937 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: that aliens are spying on you when you go to the washroom is also a logically consistent model. < 1184885940 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well.. because each affects the other < 1184885966 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: not sure what either scenario has to do with theoretical physics < 1184885993 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :alright, go ahead and explain to me why you think a brain is super-turing. < 1184886127 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i don't think the brain is super-turing. I think turing-completeness is pretty irrelevant in this case. < 1184886153 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :After all, all you need to play Go perfectly is a finite state machine. < 1184886162 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :bingo < 1184886235 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :there's nothing superturing about weather either, yet even the strongest computers can't predict it. < 1184886244 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :(nor humans) < 1184886287 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: btw: it is hard to insert an EOF when that kills the ruby-interpreter... < 1184886291 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :There will be weather tomorrow somewhere. < 1184886296 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :liber, no it does not. < 1184886300 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :Bwahaha. I just predicted the weather :D < 1184886301 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :the problem with weather is possessing perfect information about the system's initial state. Go is a perfect-information game. < 1184886314 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION runs away to avoid being smacked
< 1184886318 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: yes it does < 1184886323 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :Although, I found the problem < 1184886336 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :liber, no it does not. < 1184886342 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ask in #ruby-lang < 1184886346 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :Ctrl + D kills it < 1184886351 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :no it >doesn't< < 1184886355 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :your program may make it that way < 1184886371 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :oops < 1184886377 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :That was the python version :) < 1184886381 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :famous last words :D < 1184886409 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :python doesn't do that either < 1184886414 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but your prog might have < 1184886455 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :these headphones suck. < 1184886518 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :anyways: the problem was that [ does not behave as it should. It does not leap to after ] if the ptr is 0 < 1184886523 0 :liber!unknown@unknown.invalid PRIVMSG #esoteric :thx oerjan. < 1184887214 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :[][][][][][][][][][][][][][][][][][][][][][][] < 1184887233 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :== "" < 1184887291 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :in tcl no doubt? < 1184887299 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1184887311 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Well, after substitution, it does. . . < 1184887388 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION prods oklopok
< 1184887483 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :haha C-- compiler < 1184887485 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it may be wise to use his actual nick < 1184887495 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :oklopol* < 1184887509 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :why just prod? < 1184887520 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION hands Figs an AK-47
< 1184887530 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :got mixed up between kok and pol, and got pok... I guess I could have gotten kol < 1184887552 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :_or_ you could get tab completion. < 1184887573 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't help if you're stupid :) < 1184887592 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I typed it first, then pressed tab complete :P < 1184887594 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :>.< < 1184887613 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :and wrote pok :P < 1184887647 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :could be worse, I could have called him Oktokop < 1184887667 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Oklopus? < 1184887686 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :or that < 1184887702 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I'll keep in mind to try to reduce typoes < 1184887703 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1184887719 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :in big-O notation: OklOpOl < 1184887728 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :-.- < 1184887767 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you mean O(kl)O(p)O(l) < 1184887769 0 :blahbot`!unknown@unknown.invalid QUIT :Remote closed the connection < 1184887775 0 :ehird`!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1184887790 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1184887834 0 :Figs!unknown@unknown.invalid NICK :[x|x < 1184887844 0 :[x|x!unknown@unknown.invalid PRIVMSG #esoteric :S: < 1184887849 0 :[x|x!unknown@unknown.invalid NICK :Figs < 1184887871 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :quantum Figs? < 1184887877 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :no < 1184887885 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :an attempt at making my nick a list comprehension < 1184887902 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :nickserve doesn't like <- apparently < 1184887978 0 :lament!unknown@unknown.invalid NICK :bra|ket < 1184887991 0 :bra|ket!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1184888017 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :too bad my client doesn't use an initial < < 1184888038 0 :bra|ket!unknown@unknown.invalid PRIVMSG #esoteric :well, get a real client < 1184888051 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :o_O < 1184888323 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :OH < 1184888334 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I got an idea for how I could make my parser work easily < 1184888341 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :pass boost.any's around < 1184888349 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :I'll have a tree of boost.any < 1184888388 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I've got an idea for how to make a parser work. . . < 1184888403 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Just use GNU Bison. < 1184888414 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :no. I'm doing this inline in C++ < 1184888428 0 :bra|ket!unknown@unknown.invalid PRIVMSG #esoteric :beautiful < 1184888459 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :what is? < 1184888469 0 :bra|ket!unknown@unknown.invalid PRIVMSG #esoteric :life < 1184888476 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :good? :) < 1184888545 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yes, Conway's Game of Life is perty. < 1184888577 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :In Soviet Russia, VCR program YOU!! < 1184888579 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :hehe, write a calculator in that :P < 1184888639 0 :Figs!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1184888649 0 :Figs!n=Figs@ip72-220-174-159.sd.sd.cox.net JOIN :#esoteric < 1184888689 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :also: < 1184888695 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :In Soviet Russia, TV watch YOU!! < 1184888703 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no, no, in Soviet Russia, VCR doesn't manage to program YOU < 1184888720 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :but "program" sounds properly orwellian < 1184888735 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :that is supposed to be the joke with the Soviet Russial jokes < 1184888769 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :In Soviet Russia, joke tell on YOU < 1184888792 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :one of the originals < 1184888827 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :"In California you can always find a party, but in Soviet Russia the Party can always find YOU!" < 1184888837 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oops, missing colon < 1184888892 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION tries very hard not to make bad jokes about missing colons :P
< 1184888910 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Figs: darn, you beat me to it < 1184888917 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or maybe i tried too hard < 1184888933 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :aww :P < 1184888937 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :In Soviet Russia, colon miss YOU < 1184888947 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :don't _strain_ yourself :) < 1184888971 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ooh: "In Soviet Russia, trains catch YOU! " < 1184889236 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :HAHAHA this guy is so full of shit < 1184889266 0 :Figs!unknown@unknown.invalid PRIVMSG #esoteric :"only a compiler or similar static analysis tool can verify that there are sufficient comments of sufficient semantic applicability to make the written code sufficiently clear to a novice to the language and problem domain." < 1184889324 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Funny, I thought that only a human could do that. < 1184889389 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Figs: A calculator can be written in the Game of Life. . . < 1184889399 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :After all, there is a Turing machine in it.