< 1201219227 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :apache doesn't handle the case of looping rewrites very well... I don't know how to abort runaway requests in apache < 1201219284 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :``m``b`s``c``c`tk.1r``c``bbm``s``bv`t0``s``c`tk`sb`t0``v0i < 1201219295 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It is a lot faster for some reason! < 1201219500 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1201219518 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I run through another problem with this algorithm http://pastey.net/81239 < 1201219543 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"! Win" < 1201219545 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1201219553 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I think it can solve any solveable problem < 1201219570 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :But will never terminate for impossible problems < 1201219592 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What, so you can't solve the halting problem? < 1201219596 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You slacker! < 1201219599 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :sorry :P < 1201219763 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I should make a small list of lambda expressions to short combinators. < 1201219767 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Might be useful < 1201219797 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I would really like a BFS prolog < 1201219806 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Like ^a.a, ^a^b.ab, ^a^b.aa, ^a^b.bb, and so on. < 1201219810 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :BFS? < 1201219821 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I shall try to see if I can trick kanren into doing it for me < 1201219829 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :breadth first search < 1201219850 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :My algorithm would be miserable in depth first < 1201220235 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#ninjacode! the only native-code compilation, REPL-based, concatentative esolang! < 1201220421 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Does Ninjacode flips out ALL THE TIME? < 1201220441 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yeah < 1201220446 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Then you have to use the debugger. < 1201220514 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. My ski-bc abstractor doesn't seem to accept stuff like ^a ^b aaaaa... < 1201220526 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :There's an infinite loop apparently < 1201220594 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Let's try by hand < 1201220657 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: dude, the chans declared war on scientology! < 1201220658 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :http://video.google.com/videoplay?docid=-2547253292326096449 < 1201220664 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: old news < 1201220664 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :GO, ANONYMOUS! GO! < 1201220676 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :still frickin' awesome < 1201220681 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :hi RodgerTheGreat < 1201220692 0 :eagle-101!n=eagle@wikimedia/Eagle-101 JOIN :#esoteric < 1201220695 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: When it hits Slashdot, it's officially old news. < 1201220703 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm waiting though. < 1201220713 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Anonymous gets easily sidetracked < 1201220719 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Especially when it's not working too good. < 1201220725 0 :eagle-101!unknown@unknown.invalid PRIVMSG #esoteric :Hi, I'm looking for a version or an extension of brainfuck that can do networking, does any such version exist? < 1201220734 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :yeah, the power of a steaming locomotive and the attention span of a gnat < 1201220740 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Though they stuck to Hal turner for quite a long time < 1201220750 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :eagle-101: Be sure to prod Sgeo into finishing up PSOX. < 1201220758 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :(Does Brainfuck over HTTP count? :P) < 1201220762 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, actually, they're pretty much like a swarm of locust. < 1201220782 0 :eagle-101!unknown@unknown.invalid PRIVMSG #esoteric :olsner, I suppose, if it is able to keep a socket open. (or the brainfuck equivalent) < 1201220790 0 :Corun!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201220794 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Not the locomotive power, but they've got number power < 1201220888 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Not in raids < 1201220895 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :anonymous has never given up on a raid < 1201220999 0 :olsner!unknown@unknown.invalid QUIT :Remote closed the connection < 1201221085 0 :slereah_!n=slereah@ANantes-252-1-60-136.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201221085 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201221111 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :The three transformation rules for ^x.ab assume that a or b is free, but in ^a^b`aa, there's a case where nothing is < 1201221135 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Either I say that neither means ST[]T[], or I use a fourth rule < 1201221190 0 :slereah_!unknown@unknown.invalid NICK :Slereah < 1201221433 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. It would be some combinator Xxy = ^z.xy < 1201221443 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So... ^x^y^z.xy < 1201221476 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, I think at least. < 1201221482 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :why should freeness matter? provided you do transformation innermost first < 1201221511 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it apparently matters for a transformation into skibc < 1201221520 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Says Wikipedia, at least < 1201221555 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's not in Lazy Bird, but I still use that program a lot < 1201221569 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the only thing that matters in ^x.ab is whether a or b contain x < 1201221576 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Shorter programs are important in that turtle that is lazy bird < 1201221579 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Lazy indeed! < 1201221595 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Isn't that freeness? < 1201221598 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Freedom. < 1201221609 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :freeness with respect to other bindings is irrelevant < 1201221631 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, yes < 1201221635 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so in ^a^b`aa, the fact that a contains a only matters after the ^b part < 1201221656 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, at one point, you get this : < 1201221657 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :^a^b`aa -> ^a`K`aa < 1201221678 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :T[^a.S(Ka)(Ka)] < 1201221693 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Wait. < 1201221699 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What am I saying. < 1201221701 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Aaaargh < 1201221705 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :My head is confused < 1201221724 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It is free! < 1201221738 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :That doesn't solve my problem though, why is there an infinite loop? < 1201221804 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :-> ``BK``SII, iirc < 1201221860 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It apparently gets stuck when analysing ^b`aa < 1201221900 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't recognise the K case properly? < 1201221934 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1201221953 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It treats everything longer than one combinator as a product < 1201221973 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1201221992 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I should add that special case to the product rule. < 1201222001 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :For no free variable < 1201222036 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Although wouldn't that some ^x^y^z`xy also work? < 1201222058 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :-> ^x^y`K`xy < 1201222102 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The idea would just be to make the expression shorter. < 1201222116 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Although I'm not sure it would < 1201222121 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. < 1201222134 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :No, I guess not. < 1201222189 0 :sebbu!unknown@unknown.invalid QUIT :"@+" < 1201222198 0 :GregorR!n=gregor@c-24-22-4-68.hsd1.mn.comcast.net JOIN :#esoteric < 1201222318 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I get back k for ^a^b`aa < 1201222321 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm < 1201222353 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh, I forgot a ` < 1201222368 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :``bk``sii < 1201222369 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :There < 1201222486 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. Thinking about it now, I might have some problem if I use .[name of a variable] < 1201222506 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Since I use a hamfisted "variable name in string" to check for freedom < 1201222839 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Apparently it doesn't seem to be a problem! < 1201222862 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I have that "What did that guy write" feeling again. < 1201223321 0 :immibis!n=immibis@125-236-142-87.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1201223745 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1201224105 0 :immibis!unknown@unknown.invalid PART #esoteric :? < 1201224142 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: what exactly are you workin on, by the way? < 1201224185 0 :ehird!unknown@unknown.invalid QUIT :"Leaving" < 1201224247 0 :slereah_!n=slereah@ANantes-252-1-60-136.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201224264 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :hi slereah_ i'm guessing you missed what i just said? =P < 1201224275 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201224341 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders if anyone is here >.>
< 1201224367 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :BRAINS... < 1201224387 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :hi oerjan, a zombie, i see ;) < 1201224454 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hello, my good Zombie. -- From the Desk of Pikhq, Minister Without Portfolio. < 1201224474 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :YAY ANOTHER ZOMBIE! < 1201224480 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION pokes the zombies and wonders what they'll do
< 1201224541 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wields his Rubberstamp on Oerjan
< 1201224549 0 :slereah_!unknown@unknown.invalid QUIT :Remote closed the connection < 1201224563 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :oh noes slereah died again :< < 1201224564 0 :slereah_!n=slereah@ANantes-252-1-60-136.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201224584 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :So, what did you say! < 1201224590 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :hi again lol < 1201224602 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Connexion with a halting problem. < 1201224616 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :and i was asking what it was you've been working on for what appears to be the whole time i've been here =P < 1201224628 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric ::< ow < 1201224640 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric : i just sneezed so hard i fell out of my chair < 1201224642 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :>.> < 1201224663 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :RockerMONO? More like ROCKETSNEEZE < 1201224672 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1201224686 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :>.> < 1201224693 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AGORA BRAINS... < 1201224694 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :(It's Lazy Bird : http://www.esolangs.org/wiki/Lazy_Bird ) < 1201224695 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION gives up on converting this brainfuck parser and starts from scratch
< 1201226309 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Brainfuck parsing is braindead-easy. . . < 1201226331 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :You have 8 tokens. < 1201226336 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Each token is a single char. < 1201226339 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :There's your lexer. < 1201226366 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :BEGINLOOP and ENDLOOP nest. < 1201226369 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :There's your parser. < 1201226482 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: i'm doing it in C++... which i'm like a 100% noob at.... fun =P < 1201226560 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Fine. Let's make this simple. . . < 1201226638 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :switch(input_char){'+':'-':'[':']':'.':',':do_stuff;break;} < 1201226640 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Your lexer. < 1201226659 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Parsing and lexing Brainfuck is the easiest thing in the world. < 1201226674 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(except perhaps dc) < 1201226714 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :a _separate_ lexer? for _brainfuck_? < 1201226728 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Fine, it's stupid. < 1201226755 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :But the point is, Brainfuck is so damned syntactically simple that you don't need to work hard to parse it. < 1201226794 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :When you've got 8 single-char tokens to deal with, there's not all that much to parse. < 1201226924 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: the layout of the parser is simple, the base of it is simple, getting all of the characters handled separately is simple.... knowing how brainfuck is parsed in terms of how the data's manipulated... not so much =\ < 1201228662 0 :immibis!n=immibis@125-236-142-87.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1201233984 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1201234101 0 :uvanta!unknown@unknown.invalid QUIT :"blame!" < 1201234758 0 :eagle-101!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201234781 0 :eagle-101!n=eagle@wikimedia/Eagle-101 JOIN :#esoteric < 1201234974 0 :immibis!unknown@unknown.invalid QUIT :"Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. It's a dud! It's a dud! It's a du.. < 1201235394 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Are you aware of any FRC round which removed all fantasy rules? < 1201235506 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i don't remember that, but i think there was one with a temporary ordinance to allow repeals < 1201235536 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :this is very vague though < 1201235611 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :FRC round 256, former rule 1 (submission 23): Repeal all fantasy rules. This rule repeals itself. < 1201235628 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Netted me 0.5 style points. < 1201235696 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :is this in the last days? < 1201235730 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION hasn't looked at frc for so long he didn't even know if it was still alive
< 1201235740 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That was a few days ago. < 1201235746 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yay! < 1201235771 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It recently got a fairly big kick in participation, when the Fantasy Rules Contest of Agora was created, awarding participation in the Commission. < 1201235797 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"Committee" < 1201235802 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sorry. < 1201235814 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I always think Commission when it's a Committee. < 1201235828 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is also proud of the second submission of FRC 256. . .
< 1201235876 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"Each fantasy rule submitted after this one must consist of rules that are known to have been reasonable in other, long-term, online Nomic games. A source for the rule must be given in the submission of the rule." < 1201239807 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: you know you need to then leverage that to work in a spicerack < 1201240351 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION shall stick a Spicerack on the board
< 1201240356 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(that fantasy rule was repealed) < 1201241282 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1201242496 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1201242791 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1201242810 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oklopol was talking about dimmu borgir, and i was making fun of him for it < 1201242819 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :but then i listened to some and now i really like them :P < 1201245960 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :mwahahaha :) < 1201247999 0 :clog!unknown@unknown.invalid QUIT :ended < 1201248000 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1201250150 0 :eagle-101!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201252023 0 :EgoBot!n=EgoBot@c-24-22-4-68.hsd1.mn.comcast.net JOIN :#esoteric < 1201258726 0 :helios24!i=chaos@bytefight.org JOIN :#esoteric < 1201259061 0 :faxathisia!unknown@unknown.invalid QUIT :"If there are any aliens, time travellers or espers here, come join me!" < 1201259895 0 :[o_O]!i=danopia@fullcirclemagazine/developer/danopia JOIN :#esoteric < 1201260471 0 :danopia!unknown@unknown.invalid QUIT :Read error: 101 (Network is unreachable) < 1201261133 0 :[o_O]!unknown@unknown.invalid NICK :danopia < 1201264206 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201264313 0 :slereah_!n=slereah@ANantes-252-1-60-136.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201266898 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :````s``bb``bs``cc`.0i``s``bs``b`bs``c``bc``b`bc``c``bbbi`.1i``s``bs``b`bs``c``bc``b`bc``c``bbb``sbi`.2i``s``bs``b`bs``c``bc``b`bc``c``bbb``sb``sb``cbi`.3i``s``bs``b`bs``c``bc``b`bc``c``bbb``sb``sb``sbi`.4i``s``bs``b`bs``c``bc``b`bc``c``bbb``sb``sb``sb``sbi`.5i``s``bs``b`bs``c``bc``b`bc``c``bbb``sb``sb``sb``sb``sb``cbi`.6i``s``bs``b`bs``c``bc``b`bc``c``bbb``sb``sb``sb``sb``sb``sbi`.7i``c``bc``b`bc``c``bc``b`bc``c``bbb``sb``s < 1201266898 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :b``sb``sb``sb``sb``sbi`.8i`.9i``c`t`k0k``c``bc``b`bc``c``bc``b`bb``cb``b`bttki < 1201266908 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Finally some Church-to-char! < 1201266912 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Maybe now 99! < 1201268376 0 :slereah_!unknown@unknown.invalid QUIT :Remote closed the connection < 1201268445 0 :MommeMC!n=MommeMC@pc41.vpn-i.uni-kiel.de JOIN :#esoteric < 1201268530 0 :jix!i=jix@78.47.212.92 JOIN :#esoteric < 1201268718 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1201270230 0 :faxathisia!n=more@137.195.250.2 JOIN :#esoteric < 1201270377 0 :Slereah!n=slereah@ANantes-252-1-56-56.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201270393 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Hi Slereah < 1201270444 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I worked so hard to code that idea I had but it doesn't work -_- < 1201270580 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'll try cooking something up < 1201270667 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. The problem would be evaluating the expression before applying it to the delta operator < 1201270683 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Otherwise, I'd have to solve the halting problem < 1201270685 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :...delta :O < 1201270700 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Delta. < 1201270706 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :that makes we realize.. I did alpha and beta < 1201270712 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :not eta :S < 1201270714 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :[delta x] x -> True < 1201270720 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :[delta x] y -> False < 1201270779 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :'t'was used in "System of logic based on ordinals" by Turing and I thought it might come in handy. < 1201270803 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Though Turing's version was 1 and 2 instead of true and false < 1201271847 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :`^v^w^x^y^z``wz``&xy```w`vz``&`xa`ya`.bi``c``bc``b`bc``c``bc``b`bb``cb``b`bttki < 1201271854 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Damn thing won't eliminate correctly < 1201271856 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yarrr < 1201271860 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1201271878 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I'm going to try again tommorow < 1201271905 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :There's x's and y's remaining in the output < 1201271941 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I think I misplaced some ` < 1201272083 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it parses. But doesn't work even for only one operator < 1201272096 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It tries to compare s with `is < 1201272113 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :my solver worked for really easy problems < 1201272117 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And since delta only works to an alpha conversion, no dice < 1201272166 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Got to find a way to evaluate everything first. < 1201272198 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And that & never has more than one ` before it until it is evaluated < 1201272233 0 :Hiato!n=Hiato@dsl-245-32-118.telkomadsl.co.za JOIN :#esoteric < 1201272265 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Hello all, I am back (with a vengeance :P ) < 1201272280 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But do you also DIE HARD with it? < 1201272294 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :heh, lol, hopefully not < 1201272340 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :We're trying to solve the halting problem! < 1201272347 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But, you know, only little ones. < 1201272369 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1201272382 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :The reason that I was away for soooo long was this: I broke and dislocated my fifth finger on my right hand at cricket practise a while ago and thus was unable to type. As a sign that I still existed, I uploaded the ACRONYM spec, which oerjan so kindly fixed. But now, my finger is getting better and the pin should come out in about a month, so I am back :P < 1201272396 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Heh, lol, can I help? < 1201272401 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :oww < 1201272408 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1201272421 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :We're trying to devise a program to check if two lambda expressions (or combinators) can convert to each other < 1201272441 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wrote loads of code, then ran it to discover.. It didn't work
< 1201272442 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :For some class of expressions at least, since the general problem is undecidable < 1201272462 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :hrmm.. I must say: I have no idea how Lambda Calculus/Unlambada/Mocking Bird works.... < 1201272479 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I imagine it's possible to terminate for every one with a solution < 1201272494 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: It's not that hard. < 1201272502 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Though it is unwieldy. < 1201272507 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :but not terminate for all (or at least some) of the unsolveables < 1201272515 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :(It *is* that hard! :P) < 1201272531 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :heh, for my benefit, I'll listen to Slereah < 1201272534 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1201272552 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, when mixing lambda with combinators, I can really just use it as function-calling. < 1201272556 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Should I start at unlambada? Or somewhere else < 1201272581 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I use every variable of a lambda expression as a function, that way it's easier. < 1201272600 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1201272611 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And since the program will translate it into pure combinators, I can then pretend to be awesome by posting it! < 1201272652 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1201272659 0 :ehird!n=ehird@user-514fb24f.l2.c4.dsl.pol.co.uk JOIN :#esoteric < 1201272686 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The biggest problem seems to be evaluation. < 1201272707 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I can see why there's a d in unlambda. < 1201272732 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Only one mode of evaluation can pose problems. < 1201272769 0 :ehird!unknown@unknown.invalid TOPIC #esoteric :TOPIC NOSTALGIA! (topic from 9999/12/31) And AC said, "LET THERE BE LIGHT!" And there was light-- TOPIC NOSTALGIA! (topic from 0001/01/01) < 1201272796 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :^ proof that the universe uses finite, wrap-around integers ^ < 1201272819 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :heh :) < 1201272833 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1201272841 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201272855 0 :eagle-101!n=eagle@wikimedia/Eagle-101 JOIN :#esoteric < 1201272911 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(also, i win for referencing a previous topic, quoting isaac asimov, and applying computational things to the universe -- IN ONE TOPIC) < 1201272959 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is impressed, with all that multi-tasking ability, ehird` might just be a CPU -- or a women
< 1201272964 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :just pulling your leg < 1201272966 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You are false data, and therefor I shall ignore you < 1201272967 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1201272979 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I don't think anybody is a women. It's hard to be more than one thing. < 1201272988 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :lol :D < 1201272992 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Here is a great deal of rubbish http://mishu.eu.org/paste/view.php?id=7012 < 1201273036 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Error from `bin/source-highlight --src-lang cpp --out-format xhtml` < 1201273036 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :bin/source-highlight: error while loading shared libraries: libstdc++.so.5: cannot open shared object file: No such file or directory < 1201273037 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: say wha... < 1201273040 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lol lol lol lol lol lol < 1201273042 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1201273050 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Remidns me that I need to write that pastebin... sometime... < 1201273056 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :After I write my web framework in Haskell, of course! < 1201273069 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Hiato.. that was supposed to solve all my problems :( < 1201273080 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :naturally, is that before or after world domination, ehird < 1201273087 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :before < 1201273095 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :aha, thanks < 1201273100 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :world domination will involve spreading the word through my webmonad-powered site < 1201273118 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes, webmonad. i'm tired of all these m'fn window managers on this m'fn language < 1201273119 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ooh, well tried though faxathisia, but I can say that it is far to short to solve any problems let alone all :P < 1201273144 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :heh, sure, I'm not gonna get in your way :P < 1201273192 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :well, considering that there is a window manager written in *HASKELL*, perhaps it would not do you harm to use it :P < 1201273210 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the wm is called xmonad < 1201273216 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :why do you think i'm calling my WF webmonad :) < 1201273232 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :aha, woops ... erm.. tralalalalala < 1201273255 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :just pretend that I was remote exploited there, and it was actually someone else... < 1201273258 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1201273325 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1201273328 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: You use Haskell don't you? COMMENT ON WEBMONAD'S AWESOMENESS :P < 1201273356 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric : Haskell offers you: Substantially increased programmer productivity (Ericsson measured an improvement factor of between 9 and 25 using Erlang, a functional programming language similar to Haskell, in one set of experiments on telephony software). Shorter, clearer, and more maintainable code. Fewer errors, higher reliability. A smaller "semantic gap" between the programmer and the language. Shorter lead times. < 1201273356 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201273356 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :from http://www.haskell.org/haskellwiki/Introduction < 1201273377 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: yes, that's haskell < 1201273386 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I'm far too depressed to be enthusiastic in even the most monadic web framework < 1201273388 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Great :) < 1201273395 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fact n = product [1..n] -- obligitary factorial example ;) < 1201273398 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: :( < 1201273400 0 :Slereah!n=slereah@ANantes-252-1-56-56.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201273443 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :>:| < 1201273477 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: this produces an *infinite* list of all the fibonacci numbers: < 1201273478 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fibs = 0 : 1 : zipWith (+) fibs (tail fibs) < 1201273502 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and yes -- this actually terminates. You can do (fibs !! 5) to get the 5th fibonacci number (!! is the list index, like list[i] in other languages) < 1201273506 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :wicked :), but seeing as it is functional, that doesn't actually matter right < 1201273521 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: you can actually type 'fibs' into the prompt and see all the fibs go by < 1201273527 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :w00t < 1201273534 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the 0 : 1 : stuff is like Lisp lists, [1,2,3] is actually 1:(2:(3:[])) < 1201273539 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i.e., a linked list < 1201273569 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"zipWith func lst1 lst2" where lst1=[1,2,3] and lst2=[2,3,4] is [3,5,7] < 1201273602 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so: since we take the fibonacci numbers as the first argument, and the fibonacci numbers sans the first < 1201273621 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ehird: I'm having trouble with GHC (...) ie: when I enter either of the fib = declaration, it moans about "parse error on input" < 1201273623 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that gets you the fibonacci numbers, i.e. (fibs !! i) = (fibs !! (i - 1)) + (fibs !! (i - 2)) < 1201273636 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: ghc executes all its input in a "do" statement < 1201273637 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :cool, that is soo simple < 1201273638 0 :MommeMC!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1201273641 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you need: < 1201273643 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :let fibs = 0 : 1 : zipWith (+) fibs (tail fibs) < 1201273651 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :just add 'let' to the start. < 1201273657 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :aha, cool, thanks :) < 1201273690 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :I'm gonna try it with a foldr and see where I can get to :) < 1201273704 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :SPOILER: < 1201273708 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it'll run forever. :) < 1201273713 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :true < 1201273722 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :but I would like to be able to produce that :) < 1201273727 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so will (length fibs), aww ;) < 1201273751 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :haskells laziness takes some getting used to < 1201273759 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i.e. 0-argument functions can just be normal variables, because of laziness < 1201273777 0 :slereah_!n=slereah@ANantes-252-1-56-56.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201273791 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :nice :) < 1201273832 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: now you have to go and figure out monads < 1201273833 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :have fun < 1201273876 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :sure, I will try, but first I want to crack the foldr conundrum (I am correct in using foldr, right?) < 1201273890 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :not with fibs, no < 1201273892 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :use foldl < 1201273897 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foldr goes to the right first < 1201273901 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ergo: it goes to the END of fibs < 1201273902 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :oh yeah < 1201273906 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that will, uh, never work ;) < 1201273907 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :I reember < 1201273912 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :thanks ehird :D < 1201273918 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :HOWEVER < 1201273921 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foldl won't terminate either < 1201273930 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :on account of having to do the operation over, um, every element. < 1201273950 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :There's no way to give a 'partly-evaluated' fold. < 1201273950 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :'map' works though < 1201273950 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :yeah, I get I :P < 1201273950 0 :Slereah!unknown@unknown.invalid QUIT :Success < 1201273976 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Prelude> map (mod 13) (tail fibs) < 1201273976 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[0,0,1,1,3,5,0,13,13,13,13,... < 1201274073 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :let fibs = foldl (+) 0 [0,1,fibs] < 1201274074 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :? < 1201274079 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :I can't actually check :P < 1201274099 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :why would that work? by the way < 1201274101 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the [0,1,fibs] < 1201274106 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the fibs doesnt' refer to the fibonaccis you defined before < 1201274110 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but THE THING YOU ARE DEFINING ITSELF < 1201274120 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so you have: [0,1,foldl (+) 0 [0,1,fold .. < 1201274132 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and, ofc, this makes no sense < 1201274141 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ahh, but surely you get [0,1,0,1,0,1 etc... when you add you get [0,1,1,2 etc] < 1201274149 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :yes, I see < 1201274152 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you want: < 1201274153 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :thanks < 1201274154 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :0 : 1 : fibs < 1201274160 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, foldl doesn't do what you think it does < 1201274169 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :really? < 1201274173 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :think of fold* as something replacing the cons operation < 1201274176 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if you have [1,2,3] < 1201274177 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you have: < 1201274181 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :1 : 2 : 3 : [] < 1201274184 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :oh, I see < 1201274187 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :so you need a map < 1201274188 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foldl replaces [] with its second argument < 1201274191 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and the cons with its first < 1201274192 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so you get < 1201274194 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :1 + 2 + 3 + 0 < 1201274196 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :-> 4 < 1201274200 0 :ais523!n=ais523@147.188.254.202 JOIN :#esoteric < 1201274205 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foldr is the same but it's the other associative < 1201274208 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hey ais523 < 1201274214 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :yes, so you need a map, so map foldl etc < 1201274214 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1201274217 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1201274394 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :let fib = [0,1] < 1201274395 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :map (foldl (+) 0 fib) (tail fib) < 1201274408 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :in a pseudo-code kind of way? < 1201274428 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION prefers, map fst $ iterate () $ (0,1)
< 1201274429 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::1:5: < 1201274430 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : Couldn't match expected type `a -> b' < 1201274430 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : against inferred type `Integer' < 1201274430 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : In the first argument of `map', namely `(foldl (+) 0 fib)' < 1201274430 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : In the expression: map (foldl (+) 0 fib) (tail fib) < 1201274430 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : In the definition of `it': it = map (foldl (+) 0 fib) (tail fib) < 1201274440 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :(5:20:48 PM) Hiato: in a pseudo-code kind of way? :P < 1201274441 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION prefers, map fst $ iterate (\(x,y)->(y,x+y)) $ (0,1)
< 1201274445 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: 0 : 1 : zipWith (+) fibs (tail fibs) < 1201274461 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ehird: but concept wise, is that correct? < 1201274462 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: Well, obviously not. The first argument to map needs to be a function < 1201274470 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ehird, Yes? < 1201274474 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :oh, I see < 1201274476 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1201274478 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: I think your terminology is a bit wrong < 1201274484 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201274485 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :probably < 1201274492 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: Maybe reading a tutorial (or GHC's Prelude docs) would help a bit :) < 1201274499 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :map fst $ iterate (\(x,y)->(y,x+y)) $ (0,1) -- also fibs < 1201274513 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :but for each in fib do fib[current+1]=foldl (+) 0 fib < 1201274518 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :yes, agrred < 1201274520 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :*agreed < 1201274543 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :I will be the first to admit, I know nearly nothing about Haskell < 1201274593 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Actually, Slereah might have said that first :P < 1201274603 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :lol :) < 1201274605 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :(In regards to scheme) < 1201274724 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: You can't code that in haskell. Laziness would trip you up < 1201274743 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fibs always means 'the WHOLE list' < 1201274755 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :yes, understood :) < 1201274816 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :I'll dig around and see what I can do :) Thanks ehird, you have been a big help (believe it or not :P ) < 1201274852 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1201274854 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :np < 1201274861 0 :ehird!unknown@unknown.invalid QUIT :"Leaving" < 1201274904 0 :ehird!n=ehird@user-514fb24f.l2.c4.dsl.pol.co.uk JOIN :#esoteric < 1201274985 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: I'm cooking up something. < 1201275021 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It's a program that will simply generate all possible combinations of combinators and pass them through LB < 1201275041 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :And then try to see if they correspond to the original expression. < 1201275050 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :wicked < 1201275069 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :but slereah: won't that get very big very quickly (Factorial possibilities) < 1201275091 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION knows slereah wasn't talking to me for a reason... :P but felt he had to say something
< 1201275119 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :BRUTE FORCE BITCH < 1201275146 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Also, since it was for faxathisia's riddle-solving for "To mock a mockingbird", the answer can't be that big. < 1201275146 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :heh, I guess I should just then Brute Force my Rijandael encrpyted notes then :P < 1201275202 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I tried that method < 1201275209 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :What was the problem? < 1201275221 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :used the wrong equality check on lambda terms though < 1201275267 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :What you used? < 1201275310 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I was checking terms in STLC intead of untyped for some reason :S < 1201275334 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I just coded it between class to pass time < 1201276277 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia! < 1201276277 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I think I got something! < 1201276300 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1201276352 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :http://membres.lycos.fr/bewulf/Russell/Lazy%20Bird/Compare < 1201276412 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Also work with the b and {q,t}! < 1201276480 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :how did you do that so fast @_@ < 1201276497 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :that's awesome < 1201276537 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Although I should hide the inner workings. < 1201276559 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Give me an expression to compose from soemthing else to check < 1201276609 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :(The program is just take the datas, generate all strings, try them in lazy bird with dummy variables) < 1201276630 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :As such, it can only check combinators that works on all combinators. < 1201276638 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :s, k, b, m and so on are okay. < 1201276656 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Pred won't work, 'cause it doesn't simply rearrange them < 1201276772 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ok, ehird: this might be right, but I have no way of telling, what do you think? < 1201276773 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :let fib = [1,0] < 1201276773 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :let fib = (foldl (+) 0 fib) : fib < 1201276775 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1201276780 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :slereah@Vixem:~/Esolang$ python Generate.py < 1201276780 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Expression to compare :t < 1201276780 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Number of argument :2 < 1201276780 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Set of combinators to compose from (separated by ,) :c,i < 1201276780 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :`ci converts to t < 1201276783 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Yay < 1201276786 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: let fib = (foldl (+) 0 fib) : fib -- nonsensical self reference < 1201276810 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: You CANNOT resassign a variable in Haskell. They are constant. Referring to a variable in a later binding of it completely forgets about that old one. You have no access to [1,0] from your previous fib. < 1201276819 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :There is no state in Haskell. < 1201276849 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :well, running it once functions, sort of: < 1201276849 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Prelude> let fib = [1,0] < 1201276849 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Prelude> (foldl (+) 0 fib) : fib < 1201276849 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :[1,1,0] < 1201276855 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :um, you are perfectly allowed to do circular definitions, though < 1201276870 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but that particular equation won't work < 1201276890 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :hrmm... yes, I see your point ehird < 1201276905 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: yes of course < 1201276908 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :and this won't work anyway as it will add all the numbers, not just the previous too < 1201276936 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :*two < 1201276944 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :actually adding all the previous numbers does work if you do it right - there is a haskell fibonacci golf based on it < 1201276978 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :hrmm... worth considering, oh well, anywho, I will plough on, and hopefulyl come up with a functioning solution - functionally < 1201277000 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm, i think you need to add one extra 1 < 1201277015 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :yes,it appears so < 1201277016 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :1+1+1+2+3+5 = 13 < 1201277019 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :I was just about to say :P < 1201277051 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :add only to the numbers > 2 < 1201277068 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :nevermind < 1201277081 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: http://membres.lycos.fr/bewulf/Russell/Lazy%20Bird/Generate.py < 1201277088 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Beware of infinite loops! < 1201277147 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :which is the best Haskell tutorial (assuming no Functional programming experience)? There are too many... http://www.haskell.org/haskellwiki/Tutorials < 1201277181 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1201277292 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1201277311 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: assuming no functional programming experience is. Kind of hard. < 1201277317 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But you can get by with MINIMAL. < 1201277332 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION advises you to learn a different functional language first
< 1201277333 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://darcs.haskell.org/yaht/yaht.pdf Yet Another Haskell Tutorial is generally considered to be the best < 1201277339 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I've seen http://en.wikibooks.org/wiki/Haskell < 1201277342 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :be reccomended too < 1201277343 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :there is a "best places to start" section, and later a "Haskell Tutorial for C Programmers" < 1201277354 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Some like http://halogen.note.amherst.edu/~jdtang/scheme_in_48/tutorial/overview.html, but I think it skims too many things < 1201277357 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I don't < 1201277368 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Scheme, for example, might give you very incorrect perceptions of haskell < 1201277375 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :good point < 1201277382 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Why would it? < 1201277382 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but it's probably worth getting the concept first < 1201277394 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :They're clearly differeng < 1201277398 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I was going to suggest learning something like functional-style JavaScript just to get into the mood < 1201277502 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :hrmm... well thanks for all of this info, ehird, ais523 < 1201277505 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :and faxathisia < 1201277518 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: and don't forget the #haskell channel < 1201277538 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes!! #haskell < 1201277542 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and /query lambdabot < 1201277544 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1201277569 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :thanks :D, well I'm gonna eat some lunch/supper now < 1201277572 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :and then brb < 1201277573 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1201277588 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :'kay. < 1201277607 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's the friendliest (specific) programming language irc channel in existence! or so they tell me because i haven't tried any others :) < 1201277650 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Aren't we a programming language IRC channel? < 1201277673 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's why i added (specific) at the last lookover ;) < 1201277695 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :What of #IRP! < 1201277741 0 :faxathisia!unknown@unknown.invalid QUIT :"If there are any aliens, time travellers or espers here, come join me!" < 1201277819 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1201277902 0 :Tritonio_!n=Tritonio@150.140.228.36 JOIN :#esoteric < 1201278097 0 :jix!i=jix@78.47.212.92 JOIN :#esoteric < 1201278097 0 :Tritonio__!unknown@unknown.invalid QUIT :No route to host < 1201279107 0 :sebbu!n=sebbu@ADijon-152-1-48-85.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1201279107 0 :Corun!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201279175 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1201279293 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1201279463 0 :ais523!unknown@unknown.invalid QUIT :"moving to a different Internet connection, I'll be back soon" < 1201279640 0 :Hiato!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201279673 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :slereah_: are you aware of the Church-Rosser theorem? basically as a consequence, if a lambda expression is normalizable then its normal form is unique < 1201279734 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so for such expressions simply lazily evaluating them (possibly with eta-reduction too) will show if they are equal < 1201279735 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The Church-Rosser Theorem would be a good name for something < 1201279737 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :an album, maybe < 1201280008 0 :Slereah!n=slereah@ANantes-252-1-11-153.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201280211 0 :ais523!n=ais523@147.188.254.202 JOIN :#esoteric < 1201280217 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hello ais523 < 1201280222 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(I should just add that on auto) < 1201280229 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1201280541 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201282184 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1201285357 0 :Hiato!n=Hiato@dsl-245-32-118.telkomadsl.co.za JOIN :#esoteric < 1201285392 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION curses the "Load Shedding" policy eskom, the national electricity board, has acquired....
< 1201285412 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION askes Hiato for more details
< 1201285469 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Load Shedding, or enforced power cuts as they have come to be known in SA, is the brainchild of the (brainless) national electricity borad < 1201285488 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :they cut off specific areas' power supply to let other areas have some < 1201285502 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :so, essentially what happens is: < 1201285559 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :the schedule on their site is never correct, and they say that you should never have more than two power cuts during one given day. However, most times we have ~3 cuts, lasting about 4 hours each -- well beyond the "official" limit of 2 hours < 1201285564 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :sounds awful < 1201285592 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :then, if you phone them to check what is wrong with the schedule, they tell you to check the website.... trivial, if you had power.... < 1201285595 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :indeed, it is < 1201285615 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :o_O < 1201285624 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :a laptop with a dial-up modem would mitigate that to some extent < 1201285633 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although obviously is nowhere near as good as the perfect situation < 1201285646 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :yes, but then again, we do have the highest telephone rates in the WORLD.... < 1201285673 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :and, only one service provider, who have total market domination and thus charge whatever they feel like < 1201285685 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :but yes, fair enough < 1201285687 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :which country do you live in? < 1201285697 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :South Africa < 1201285717 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :the supposed host of the 2010 games... though we have yet to start construction on a single power plant < 1201285718 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Can't you use SOLAR POWER? < 1201285786 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :yes, that would be fine Slereah, but what happens at night? :P Co-incidentally, in a completely unrelated incident, Eskom bought up thousands of shares in all generator manufacturers and battery re-salers... < 1201285809 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: That's why a solar powered system use batteries. < 1201285819 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :and guess what, Eksom bosses were all recently paid bonuses well in excess of what the GDP of SA is... O_o < 1201285834 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And that the panel's surface is dimensioned especially to such parameters < 1201285882 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :yes, but the fact is that no-matter what you do (oh, and the Rand is about 14 to 1 against the pound, nothing is feasible here) or what you buy, Eskom wins.... :( < 1201285907 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Fucking eskimos < 1201285911 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Always stealing our power! < 1201285938 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :indeed... Oh, and while there is not enough power to power SA alone, we still sell power to Namibia and Botswana.... < 1201285989 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :but hey, that is barely the surface, and this is not "#Tell_the_truth_about_South_Africa" < 1201285994 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :so, I'll stop now ;) < 1201286051 0 :MommeMC!n=MommeMC@p548DFDB5.dip.t-dialin.net JOIN :#esoteric < 1201286527 0 :RedDak!n=dak@87.10.85.54 JOIN :#esoteric < 1201286621 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201286738 0 :ais523!unknown@unknown.invalid QUIT :"bye" < 1201287066 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Either the u combinator is real hard to check, or my combinator-matcher is stuck in a loop < 1201287157 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :http://www.style.org/unladenswallow/ < 1201287167 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :u? < 1201287181 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1201287205 0 :Asztal!n=asztal@cpc1-stkn2-0-0-cust786.midd.cable.ntl.com JOIN :#esoteric < 1201287217 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Turing combinator < 1201287228 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :^x^y`y``xxy < 1201287257 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :did you see my comment on church-rosser? < 1201287276 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I don't think so. < 1201287293 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Typing question < 1201287301 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :and I also think that some random combination of combinators will indeed eventually end up on an infinite loop. < 1201287308 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You know how in lisp lists you can do #1=(THIS LIST: #1# FOO)? < 1201287318 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I should probably have some number of steps limit. < 1201287322 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :A typing system that can do that, could represent the Y combinator as: < 1201287335 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#1=(#1 -> a) -> a < 1201287341 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Or even just < 1201287346 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#1=(#1 -> a) < 1201287354 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Now, is this viable for use or is it halting-problem suffering or something < 1201287432 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think it is useable < 1201287463 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :of course with a nicer syntax < 1201287466 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :in fact ocaml has a flag --rectypes (iirc) that allows it < 1201287476 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Y :: a = a -> b < 1201287477 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(I think) < 1201287498 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Or is it < 1201287514 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No < 1201287516 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think that is it < 1201287581 0 :helios24!unknown@unknown.invalid QUIT :"Leaving" < 1201287604 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Y :: a = a -> b < 1201287604 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : = f -> (x -> f (x x)) (x -> f (x x)) < 1201287611 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :should type correctly < 1201287617 0 :timotiis_!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1201287706 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: what is a = b = a -> b? < 1201287706 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1201287744 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :same as a = a -> a < 1201287754 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1201287755 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh yeah < 1201287769 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a = (b = a -> b) -> b < 1201287772 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WHAT ABOUT THAT :P < 1201287778 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wait < 1201287781 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that's also a = a -> a < 1201287782 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :XD < 1201287799 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er, is it < 1201287803 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i think so < 1201287807 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What is the meaning of all this! < 1201287813 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: types < 1201287829 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Any good source on the subject? < 1201287854 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ghc's error messages < 1201287857 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :mwahahahahahahaha! < 1201287869 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :everyone in #haskell keeps recommending TAPL, which is apparently a fairly expensive paper book < 1201287874 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: I wish I could do: type WTF = WTF -> WTF < 1201287887 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wait no < 1201287888 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :type WTF a = WTF a -> WTF a < 1201287889 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: you can in ocaml with that flag i think < 1201287892 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then you could do < 1201287905 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :omg :: WTF a < 1201287911 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :in haskell you need a newtype instead < 1201287911 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :omg (WTF a) = WTF a < 1201287927 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: can't newtype a function < 1201287927 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :<3 < 1201287948 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :newtype WTF a = WTF (WTF a -> WTF a) < 1201287971 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WTF :: (WTF a -> WTF a) -> WTF a < 1201287973 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that seems wrong < 1201287975 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(:t) < 1201288010 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's right < 1201288024 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Cool, a function of type "WTF anything" cannot be realised. < 1201288029 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :... NOT COOL. < 1201288054 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well < 1201288055 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :omg :: WTF omg < 1201288056 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's not very useful in haskell < 1201288063 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you need at least some monad wrappin < 1201288065 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*g < 1201288076 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if only you could reference your own function inside a type definition, that would work right, oerjan ? < 1201288078 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sorry for the space before punctuation - xchat < 1201288115 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :WTF id is a legal value of that type though < 1201288145 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: You can't do much with it though. < 1201288149 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you can do any combinator that way < 1201288150 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: But: < 1201288155 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foo = WTF foo < 1201288157 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :should be valid < 1201288158 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no? < 1201288160 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well < 1201288161 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no < 1201288167 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foo :: WTF < 1201288175 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dunno what foo's body would be, but hey < 1201288181 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :foo x = WTF foo < 1201288199 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foo :: WTF a -> WTF a < 1201288205 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :which actually is "WTF a" < 1201288210 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but it prints it as "WTF a -> WTF a" < 1201288212 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :for some bizzare reason < 1201288238 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Also, there is no argument you can pass to foo. Fun! < 1201288274 0 :timotiis!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1201288295 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er no < 1201288319 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :WTF a -> WTF a is not the same as WTF a with that newtype < 1201288326 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1201288328 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well that sucks < 1201288329 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1201288347 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it requires a good deal of wrapping < 1201288360 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but all that should disappear during compilation < 1201288365 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :extract (WTF a) = a < 1201288367 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you can do that < 1201288374 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: how do i do it in ocaml? < 1201288398 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(I may have to start my own reli^H^H^H^Hlanguage that's like haskell, BUT CRAZIER) < 1201288429 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :iirc with the --rectypes (or something, see my unlambda implementation in it) you can just do type WTF a = WTF a -> WTF a < 1201288499 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. Apparently, a hundred steps without finding anything is already a lot for lazy bird < 1201288522 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: How easy is ocaml to learn for a haskellfoo? < 1201288573 0 :timotiis_!unknown@unknown.invalid NICK :timotiis < 1201288681 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well ocaml is somewhat more "ordinary" than haskell < 1201288699 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :having ordinary imperative side effects < 1201288707 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1201288707 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's syntax is ugly as sin, though :) < 1201288713 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :aww, i like it's syntax < 1201288714 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wait < 1201288719 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that's a lie, i like SML syntax < 1201288725 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :anyway, afk < 1201289205 0 :slereah_!n=slereah@ANantes-252-1-11-153.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201289266 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201289902 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :type Action = Unlambda -> Action -> Unlambda < 1201289907 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Isn't that a CPS unlambda? < 1201289920 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh well. newtype. < 1201290212 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that was mine? yes it's CPS < 1201290266 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er no < 1201290276 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :thought you were speaking about the ocaml one < 1201290358 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :actually, that's none of mine < 1201290409 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i know < 1201290410 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1201290495 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1201290505 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that esco guy added links to EVERY SINGLE ESOLANG page they claim to support < 1201290505 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1201290684 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I hope it's at least interpreted efficiently! < 1201290820 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :slereah_: can't you remember? it isn't < 1201290830 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it even parses for no reason < 1201290885 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if someone will one day make a real BF processor. < 1201290892 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :You know, a full scale one. < 1201290911 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Not the blueprint or a limited version. < 1201291311 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1201292004 0 :timotiis_!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1201293616 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I have to imagine that [ and ] would be pretty tough to implement in silicon. < 1201293718 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: There was a VHDL for it. < 1201293719 0 :timotiis!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201293727 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But that's Cheating(TM)(C)(R) < 1201293750 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Isn't cheating the mother of all esoteric programming? < 1201294551 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :What's Unlambda's v in lambda form? < 1201294707 0 :Hiato!unknown@unknown.invalid PART #esoteric :? < 1201294934 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Heh. The combinator-matching program is quite useful to reduce program's length! < 1201295044 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :v in lambda form requires the y combinator < 1201295047 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's: < 1201295052 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Y (\f x -> f) < 1201295058 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: you could use some shift registers to implement an address tack for the looping points < 1201295069 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quite simple < 1201295112 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and to make it more esoteric you store the stack in an ccd using dac and adcs to convert the adress from digital to analog and back ^^ < 1201295126 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :hmm you need a pretty good ccd and pretty good dacs and adcs then i guess < 1201295259 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :slereah_: Y didn't yout hink of Y? :P < 1201295288 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I'm not that used to the theory! < 1201295330 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Y is just how you do recursion... < 1201295353 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(Y (\f -> ...)) gets you a recursive function < 1201295368 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :f is the function itself, i.e. (Y (\f -> ...)) < 1201295378 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I know, though I prefer U personaly < 1201295381 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(Y (\f -> (\x -> x))) ;; pointless Y combinator < 1201295402 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Eh, Y is nicer < 1201295408 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You can build Y on top of USK < 1201295426 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Y = S (K (U I)) U < 1201295428 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :But the lambda expression of U can easily be modified. < 1201295440 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :slereah_: Ditto with Y < 1201295443 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Especially nice when I want output or the function to stop at some point. < 1201295447 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :How? < 1201295453 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I wasn't able to do it < 1201295512 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, you need to learn lambda calculus then :-) < 1201295536 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Ammah tryin'! < 1201295562 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I snuck in the computation class monday, but I probably won't be able to do it much longer. < 1201295570 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I've got other classes soon to begin < 1201296093 0 :timotiis_!unknown@unknown.invalid NICK :timotiis < 1201296395 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :"``bv`t0 converts to ``bv`t0" < 1201296401 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Thanks a lot computer. < 1201296770 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Computer just wants a hug. < 1201296781 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It wants something more fuzzie than combinators. :( < 1201296808 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Well, combinators are more like feathery. < 1201296944 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :``m``b`s``c``vk.1r``c``bbm``s``bv`t0``s``vk`sb`t0``v0i < 1201296952 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Well, that's as short as I can make it. < 1201297218 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Problem is, it's hard to use brute force with u, m, o or w. < 1201297228 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Ends up on may kinds of infinite loops. < 1201298914 0 :olsner!n=salparot@cust.fiber-lan.vnet.lk.85.194.50.194.stunet.se JOIN :#esoteric < 1201300615 0 :ttm_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201300890 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1201302184 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1201302634 0 :slereah_!unknown@unknown.invalid NICK :Slereah < 1201303380 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :My brute force seems to be a little too brutal. < 1201303401 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The size of the set increases quadratically. < 1201303433 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :what, it's only polynomial? that's not brutal ;D < 1201303453 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, problem is, it retries things that have already been tried. < 1201303475 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :For instance, if I got ski, it tries {s, k, i} < 1201303506 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And then {s, k, i, `ss, `kk, `ii, `si, `sk, `ks, `ki, `is, `ik} < 1201303529 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Wait, that's not even square. < 1201303544 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :That would be... n² + n at each step < 1201303568 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :... halting problem question < 1201303570 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, still polynomial I guess < 1201303581 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But it still could use improvement < 1201303607 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :isn't this a halting solver for a turing machine: Run the program, saving each state of the program along the way. If you repeat a previous state, say 'yup -- infinite loop' < 1201303615 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :otherwise, you get to the end and say 'nope' < 1201303621 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It obviously doesn't work, but why? < 1201303627 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Works for a finite state machine. < 1201303634 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: We're talking turing machines < 1201303639 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But since the tape is infinite, there's an infinite number of configuration < 1201303653 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So use Hilbert's Hotel-method to store an infinite tape at each point < 1201303670 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It will eventually end up in the same state, but it might be on a different tape < 1201303685 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So... keep track of that? < 1201303694 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What, an infinity of it? < 1201303708 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hilbert's Hotel. < 1201303723 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The nice thing about computation theory is that the theorems are based on practical facts. < 1201303741 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You can't have an infinity of symbols because you couldn't make an infinity of symbols. < 1201303747 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Yes, like machines with an infinitely long tape < 1201303753 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Same thing with an infinite number of state for the machine. < 1201303775 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's unbounded. < 1201303796 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But yes, you could solve the halting problem of a Turing machine if you used moar infinites. < 1201303810 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Infinite time, infinite states, that sort of things. < 1201303831 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Wiki for "Hypercomputation", they've got some good links. < 1201303891 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: a non-halting computation doesn't need to repeat its state ever < 1201303915 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :let f n = f (n+1) in f 0, for example < 1201303940 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i guess < 1201303988 0 :MommeMC!unknown@unknown.invalid QUIT : < 1201304033 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :State, as in machine state or configuration of the tape? < 1201304093 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hi ppl! < 1201304099 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pi hppl < 1201304101 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :is it sex night? < 1201304111 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, since you ask so nicely < 1201304113 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :uhhh i'm so drunk < 1201304179 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: all state < 1201304202 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: how esoteric < 1201304233 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Always confuse me. < 1201304344 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird: how what when who? < 1201304367 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oklosextalk? < 1201304388 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: you are in?#esoteric < 1201304398 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: fkhf abds if not whedfgg < 1201304404 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird: i don't see your point < 1201304425 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopppol: fahe utyo? maybe if you fjav ngk < 1201304440 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: i have yet to unite sex and programming, but i'm sure there is a connection < 1201304454 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :"oklopol: fuck you? maybe if you fuck me..." < 1201304456 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Use trinary. < 1201304462 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Instead of bits, you have tits < 1201304493 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :good idea < 1201304503 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :perhaps that would hewlp. < 1201304504 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: I sdaid tahtht? nnu... < 1201304506 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*help < 1201304515 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :wow, a computer with several billion tits.. now that'd be something < 1201304527 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :omg! < 1201304536 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :>_< < 1201304550 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :All operations should have tit-related names. < 1201304557 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yay! < 1201304557 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: Ogm? Whtat isty ouur prblemo.. < 1201304558 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :boobies! < 1201304572 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird: my problem is i did not get any tonight < 1201304590 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i hate drinking, but it's even worse if you don't get laid! < 1201304596 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you know the feeling < 1201304603 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: Yufhsdhj fdghpsd fjkosduaid sduai fids if iausi... < 1201304606 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::DSADDDDDDDDDDDDDDD < 1201304614 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird: iiiijsijhuhf hwuairhf aweurfhuiah erfs < 1201304621 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :unfortunately, #apache didn't seem to be interested in my report on mod_rewrite's memory problems when running a brainfuck interpreter < 1201304632 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :imagine that. < 1201304633 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Damnit! You saw through my plot to try to get you to believe you were progressively getting unbelievably drunk < 1201304642 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1201304653 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm not that drunk, just a bit < 1201304664 0 :Slereah!unknown@unknown.invalid NICK :slereah_ < 1201304669 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Oh yeah? < 1201304676 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :he's not as think as you drunk he is < 1201304678 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well SHUUUUURE < 1201304678 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Count backward using only prime numbers! < 1201304689 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :fronm WHAT? < 1201304690 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :adf0 < 1201304695 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :INFINITY < 1201304697 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :101 < 1201304710 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :101, 97, 93, 91 < 1201304711 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :umm < 1201304733 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :87, 83, 79, 73, 71, 67, 61 < 1201304734 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :neither 0 or 1 are prime numbers according to the definitions I've been taught < 1201304735 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :umm < 1201304744 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :please fuck me if i'm wrong < 1201304749 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION fucks oklopol
< 1201304755 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION fucks oklopol
< 1201304758 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :59, 57, 53, 51, 47, 43, < 1201304760 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I didn't check, but you know < 1201304761 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :OMh < 1201304767 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: and you said you didn't get any tonight < 1201304770 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :did i fail?= < 1201304773 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1201304779 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#ESOTERIC - PROVING YOU WRONG SINCE SOME TIME < 1201304780 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :87 isn't prime, I think. < 1201304788 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh, did you just irc-fuck me for fun? < 1201304788 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you missed 89 < 1201304791 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :isn't? < 1201304793 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :8+7 = 15. It's divisible by 3. < 1201304795 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh, darn < 1201304813 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh, and 91 isn't either < 1201304815 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It's... 29*3 < 1201304816 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :slereah_: oh, right, i didn't realize that! < 1201304828 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :HEY < 1201304832 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :stop it! :) < 1201304855 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :just say "oklo, you failed." < 1201304861 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :OKLO, YOU FAILED < 1201304872 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes, that's the critique i need < 1201304873 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Remember that Z game? < 1201304881 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :but the digits 8, 1, 6, 4 and 9 are also non-primes < 1201304941 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :olsner: i didn't say them though < 1201304971 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: 89, 83, 79, 71, 67, 61, 59, 51, 47, 43 < 1201305002 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :olsner: well you fixed me pretty bad there < 1201305026 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :51 -> 5+1=6 :o < 1201305030 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: ,[.,] < 1201305032 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :well, the condition was *using only prime numbers* < 1201305037 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201305038 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :17*3 < 1201305040 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i just know the ones on 1..10 * 1..10 < 1201305115 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :gotta go sleep, too tired to think < 1201305122 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :;-----------) < 1201305128 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Bai < 1201305133 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :bie!