< 1170980982 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1170981887 0 :SevenInchBread!n=CakeProp@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1170982069 0 :anonfunc!n=dholman@wifi-c-173-130.dhcp.CSUChico.EDU JOIN :#esoteric < 1170982317 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1170982324 0 :death!n=htitan@tb-reh-1f0cf.adsl.wanadoo.nl JOIN :#esoteric < 1170982401 0 :death!unknown@unknown.invalid NICK :nazgjunk < 1170982643 0 :nazgjunk!unknown@unknown.invalid QUIT :"Bi-la Kaifa" < 1170983197 0 :kxspxr!unknown@unknown.invalid QUIT : < 1170983818 0 :EgoBot!n=EgoBot@c-24-22-56-63.hsd1.mn.comcast.net JOIN :#esoteric < 1170984139 0 :GregorR!n=GregorR@c-24-22-56-63.hsd1.mn.comcast.net JOIN :#esoteric < 1170987148 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :heh, fuzzy booleans < 1170989485 0 :anonfunc!unknown@unknown.invalid QUIT : < 1170992871 0 :SevenInchBread!unknown@unknown.invalid QUIT :"haaaaaaaaaa" < 1170992974 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :hmph < 1170992986 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :in a lazy evaluation system, when do things get evaluated < 1170992987 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :? < 1170994017 0 :ShadowHntr!unknown@unknown.invalid QUIT :Client Quit < 1170996822 0 :anonfunc!n=dholman@adsl-69-106-180-88.dsl.chi2ca.sbcglobal.net JOIN :#esoteric < 1170998754 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :when they need to be..? < 1170999168 0 :digital_me_!unknown@unknown.invalid QUIT :"Lost terminal" < 1170999465 0 :Arrogant!n=Arrogatn@113.orlando-06-08rs.fl.dial-access.att.net JOIN :#esoteric < 1170999566 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: yeah... < 1170999569 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :but when < 1171000342 0 :digital_me!unknown@unknown.invalid QUIT :Connection timed out < 1171000864 0 :Sgeo!unknown@unknown.invalid QUIT :"Leaving" < 1171004828 0 :Arrogant!unknown@unknown.invalid QUIT :"Leaving" < 1171007999 0 :clog!unknown@unknown.invalid QUIT :ended < 1171008000 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1171008644 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1171008682 0 :RodgerTheGreat!n=Rodger@wads-5-232-13.resnet.mtu.edu JOIN :#esoteric < 1171010625 0 :anonfunc!unknown@unknown.invalid QUIT : < 1171010631 0 :anonfunc!n=dholman@adsl-69-106-180-88.dsl.chi2ca.sbcglobal.net JOIN :#esoteric < 1171010710 0 :anonfunc!unknown@unknown.invalid QUIT :Client Quit < 1171016278 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1171016407 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: awake? < 1171017830 0 :oerjan!unknown@unknown.invalid QUIT :"Apparently not" < 1171020891 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :My univeresity seems to have comissioned the building of two doors that lead into midair. < 1171020910 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :The look much more like doors than like windows. < 1171020933 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :But they are on the first and second floors, not the ground floor < 1171020974 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Where they are placed makes it impossible to attach a fire escape to them that would reach the ground. < 1171021002 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :as they are on a walkway that goes over a road. < 1171021070 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :and they aren't giong to connect to something else, as there is nothing to connect to except an office that is only 10sec walk away anyway. < 1171021074 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :WTF WTF WTF < 1171024060 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION luncherises.
< 1171025262 0 :sebbu!n=sebbu@ADijon-152-1-3-46.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1171029618 0 :jix__!n=jix@L61de.l.strato-dslnet.de JOIN :#esoteric < 1171030043 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1171032032 0 :RodgerTheGreat!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1171032033 0 :puzzlet!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1171032035 0 :bsmnt_bot!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1171032037 0 :cmeme!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1171032058 0 :RodgerTheGreat!n=Rodger@wads-5-232-13.resnet.mtu.edu JOIN :#esoteric < 1171032058 0 :bsmnt_bot!i=gavin@abacus.kwzs.be JOIN :#esoteric < 1171032058 0 :puzzlet!n=puzzlet@122.46.198.22 JOIN :#esoteric < 1171032058 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1171032926 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :whoa, psychadelic, maan. < 1171032928 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :http://www.albinoblacksheep.com/flash/mario-remix.php < 1171033332 0 :jix__!unknown@unknown.invalid NICK :jix < 1171033338 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1171033838 0 :tgwizard!n=tgwizard@c-9b3ee155.178-1-64736c10.cust.bredbandsbolaget.se JOIN :#esoteric < 1171034873 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1171037000 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric ::) :) < 1171037005 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1171037356 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1171038284 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :jix: ?? http://www.teuton.org/~stranger/code/emoticon/emoticon.html < 1171038302 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :nope... < 1171038313 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric ::) :) because i have a girlfriend now < 1171038331 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric ::| because i won't see her the next 2 days < 1171038374 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :HEREIC! < 1171038380 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :* HERETIC! < 1171038403 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :? < 1171038405 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Bah, I don't seem to want a girlfreind much < 1171038417 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :you're supposed to be a geek < 1171038459 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :well i fell in love so... < 1171038480 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and i prefer spending time with her over programming etc.... < 1171038757 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ah dear < 1171038761 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :we must cure him < 1171038792 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :geeks are supposed to have paraphilias not fall in love. < 1171038795 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1171039072 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I repel women in the most literal sense imaginable. < 1171039227 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I'm just envious of jix. < 1171040937 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 131 (Connection reset by peer) < 1171040967 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1171041073 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :mh < 1171041888 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1171042000 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :hmm start.sh wird also ignoriert < 1171042010 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :wrong channel < 1171042041 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :bah < 1171048601 0 :FabioNET!i=500@217.201.45.179 JOIN :#esoteric < 1171048817 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Mmmm, explosion: http://www.i-am-bored.com/bored_link.cfm?link_id=21881 < 1171048998 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1171049212 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :but fake, I htink < 1171049286 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :possibly an ad < 1171049949 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :well duh < 1171049966 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :It's called "viral advertising". < 1171050023 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Actually, I think all online ads should be released to be redistributed freely as long as they are unmodified. < 1171050056 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I mean, every time the ad is watched the company benefits, and they don't charge for it, so it is quite tough to object. < 1171050506 0 :FabioNET!unknown@unknown.invalid QUIT :Remote closed the connection < 1171051497 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1171052764 0 :oklofok!i=okokokok@194.251.102.88 JOIN :#esoteric < 1171052890 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1171052899 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1171054925 0 :tgwizard!unknown@unknown.invalid QUIT :Remote closed the connection < 1171055820 0 :kxspxr!n=kxspxr@x1-6-00-0c-41-39-32-8e.k302.webspeed.dk JOIN :#esoteric < 1171056281 0 :jix!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1171057000 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1171057498 0 :Arrogant!i=Paragon@111.orlando-04-05rs.fl.dial-access.att.net JOIN :#esoteric < 1171057625 0 :UpTheDownstair!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1171057636 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1171060422 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: am now < 1171060468 0 :Arrogant!unknown@unknown.invalid QUIT :"Leaving" < 1171060574 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC, what's your university? < 1171060663 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: What kind of lazy evaluation is it you want to know about? < 1171060682 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :I'm trying to write a lazy lisp interpreter < 1171060818 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Complete lazyness means evaluating an expression the moment something needs to be known about its actual value. < 1171060843 0 :ihope!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1171060867 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :how do we know when something needs its exact value? < 1171060882 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :However, if the language is pure you can also evaluate an expression earlier as long as it terminates - Haskell compilers do this for efficiency, using what is called strictness analysis. < 1171060921 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*terminates or is guaranteed to be used < 1171060969 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :How do we know when to create a delay, and when to force it? < 1171061067 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Well, basically you can make every expression a delay < 1171061089 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(Avoiding it is just an efficiency matter) < 1171061096 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :to call (foo x y), we give foo two delays, right? < 1171061097 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I hereby nominate myself for the position of Esoteric Operating System Project Leader, accept the nomination, vote for myself, close the vote, and claim the position. < 1171061116 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Yep < 1171061135 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :but then what about ((lambda (x) (foo x) bar) < 1171061141 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :foo gets (delay (delay bar)) < 1171061154 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I then resign and hold an election for the next leader. < 1171061194 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :You don't need to delay variables - assume their contents are already delayed as needed < 1171061246 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so foo just gets bar, which may contain a promise < 1171061298 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :hrm < 1171061334 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or put another way, x is a binding not an expression < 1171061368 0 :crathman!n=chatzill@69.15.198.171 JOIN :#esoteric < 1171061422 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :we do we create a delay then? < 1171061485 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :for ((lambda (x) (foo x)) bar) i would assume (delay ((lambda (x) (delay (foo x))) bar) < 1171061537 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that seems to be the same as delaying everything, then removing delay around variables < 1171061546 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: the one specified in my hostname of course! < 1171061573 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :dur < 1171061579 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1171061591 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hint: go to that domain < 1171061652 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :of course special forms may need special handling < 1171061718 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I would look up graph-reduction < 1171061819 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION lols at a paper abstract:
< 1171061821 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :"To tag or not to tag: that is the question: < 1171061821 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Whether 'tis faster in the cache to suffer < 1171061821 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :The delays of tagless nodes, < 1171061821 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Or break the pipe no more < 1171061823 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :And make a branch that hits the cache. < 1171061826 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :To load, to jump; < 1171061829 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :To jump: perchance to stall; Ay, there's the run." < 1171061834 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hehehe < 1171061865 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i remember in GHC's STG machine, forcing is only done in case statements. < 1171061884 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: Read some papers on implementing lazy functional languages. < 1171061910 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :like? < 1171061911 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: or equivalents, like ifs, guards, or any pattern-matching < 1171061916 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :The paper on STG for example < 1171061918 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: STFW < 1171061930 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :http://portal.acm.org/citation.cfm?id=99385&coll=portal&dl=ACM < 1171061935 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yes, but those are all made into case statements in the STG language < 1171061976 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(spineless tagless G-machine) < 1171061989 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1171062002 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: specifically, see google Scholar < 1171062009 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :there are some freely-available versions < 1171062020 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's probably the most efficient lazy language machine around < 1171062056 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or maybe i just bought its hype :) < 1171062061 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :well... < 1171062091 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :the paper I quoted above is about how the cache-misses tend to negate the benefits of no tag checking < 1171062100 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :seeing as how it is the only lazy language machine i know thoroughly < 1171062295 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1171062297 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1171062306 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACM portal is useless to me < 1171062336 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :there isn't even a free abstract - but I remember reading some free article on it < 1171063830 0 :crathman!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1171064243 0 :UpTheDownstair!unknown@unknown.invalid QUIT :"Bi-la Kaifa"