< 1201132868 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1201133520 0 :uvanta!n=uvanta__@116.45.53.15 JOIN :#esoteric < 1201133570 0 :uvanta!unknown@unknown.invalid PRIVMSG #esoteric :Hi < 1201133860 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1201134465 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :should I mark my program as a cheat? < 1201134476 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :it still rot13s '[', '] and '_' < 1201134489 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :^ and ` too < 1201134543 0 :GreaseMonkey!unknown@unknown.invalid NICK :^_` < 1201134680 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :o_O < 1201134725 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so what does that rot13 to? :) < 1201134741 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :[] becomes 46 < 1201134748 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :_ becomes 8 < 1201134940 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :\ too then, i presume < 1201135012 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :ah yes < 1201135038 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :\[]^`_ => 546798 < 1201135110 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :51 bytes though, not as good as I expected :( < 1201135260 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :={:'a'z..?{'a-13+26%}if} "1 a\n2 b\n3 c\n" < 1201135875 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quite elegant looking actually. < 1201135901 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wait < 1201135903 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that can be done simpler < 1201135907 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :0=~1+.' C~ < 1201135908 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :one less char! < 1201136833 0 :sekhmet!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1201137893 0 :olsner!unknown@unknown.invalid QUIT :"Leaving" < 1201139110 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1201139110 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :printf(x="printf(x=%c%s%c,34,x,34)",34,x,34) < 1201139283 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Nice quine. < 1201139288 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1201139300 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :like the standard c quine, but with an inline assignment thingy < 1201139306 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: It's ruby. Do you still like it now? :D < 1201139343 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I think that statement would also be valid C, actually. < 1201139351 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :God. A ruby-C polyglot. < 1201139352 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION shudders < 1201139362 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION shudders some more at Ruby < 1201139366 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :loads of polyglots support ruby. < 1201139373 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and it's valid c, if you have x defined < 1201139379 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :main(x){printf(x="printf(x=%c%s%c,34,x,34)",34,x,34);} < 1201139390 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :HA! HA! HA! HA! HA! < 1201139421 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :main(){printf(char*x="printf(char*x=%c%s%c,34,x,34",34,x,34);} < 1201139432 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :longer than mine. < 1201139434 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :less hilarious. < 1201139435 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fail. < 1201139453 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Fair enough. < 1201139514 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :m(){p(c="p(x=%c%s%c,a,x,a)",a,x,a);} // if you allow judicious use of compile-time defines < 1201139540 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :m(){p(c="m(){p(x=%c%s%c,a,x,a);}",a,x,a);} // if you want it to also quine. :p < 1201139555 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :bah. < 1201139558 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lame < 1201139571 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :um, it's not a quine unless it includes the judicious defines < 1201139620 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric : puts [join [split "puts \[a{a}]" a] {join [split "puts \[a{a}]" a] }] < 1201139634 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :A Tcl quine. My brain hurts. < 1201139640 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1201139644 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ninjacode quine: < 1201139719 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :{'{C:.'}C}'{C:.'}C < 1201139730 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hm wait < 1201139737 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :format [set a {format [set a %s] $a}] $a < 1201139739 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :{'{C:.'}C.}'{C:.'}C. < 1201139790 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Figure that out. < 1201139816 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION throws a calculus book at you < 1201139826 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :'char -> char ascii code < 1201139833 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :{...} -> block, usable as string < 1201139837 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :C -> print out char < 1201139839 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :: -> dup < 1201139841 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :. -> print out thing < 1201139850 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION throws it *hard* < 1201139931 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: it's easy to figure out :P < 1201140059 0 :ehird!unknown@unknown.invalid QUIT : < 1201140118 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Don't care. < 1201140167 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: Either you're involved in Something Awful, or someone from there reads this channel. < 1201140187 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has stumbled upon a Something Awful thread discussing that scientology video. . . < 1201140195 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And the "how to make a cult" video was also in there. < 1201140238 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And the Steven Fishman deposition. . . < 1201140608 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1201142066 0 :sekhmet!n=pez@76.201.145.254 JOIN :#esoteric < 1201144048 0 :Corun!unknown@unknown.invalid QUIT :"Arr." < 1201144314 0 :immibis!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201148185 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1201149896 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I read something awful when I'm bored < 1201149903 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I often link people to things I find < 1201149931 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I'm not technically a goon, but I've been quite tempted to buy an account < 1201150166 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :hey, calamari- what's up? < 1201150178 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :not much.. you? < 1201150245 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I'm thinking about making an amusing parody game < 1201150288 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :see if you can guess: http://nonlogic.org/dump/images/1201150121-aperTiles.gif < 1201150303 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :not too many clues yet, but one dead giveaway < 1201150417 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1201151187 0 :immibis!n=immibis@125-236-142-87.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1201151286 0 :adu!n=andrew@pool-71-126-134-146.washdc.fios.verizon.net JOIN :#esoteric < 1201151307 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :well < 1201151309 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :I started making my language < 1201151444 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :so far I've parsed the syntax into an AST, but now I don't know what to do < 1201151454 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1201154080 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: Fair 'nough. < 1201154108 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I think I'm going to call my new game "Gateway". < 1201154138 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :because as they say, "there's a hole in the sky, through which things can fly" < 1201154819 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :sliding block puzzle? :) < 1201154878 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1201154888 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :calamari: they're just tiles < 1201154911 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :but one is white so there's an empty space to move into :) < 1201154919 0 :uvanta!unknown@unknown.invalid PRIVMSG #esoteric :Portal? < 1201154921 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :they can be assembled into 2d maps for games like pokemon, zelda, mario and so on < 1201154926 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :uvanta: ding ding ding < 1201154956 0 :uvanta!unknown@unknown.invalid PRIVMSG #esoteric :you're working on 2-dimensional parody of Portal? < 1201155112 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1201155117 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :uvanta: yes < 1201155131 0 :uvanta!unknown@unknown.invalid PRIVMSG #esoteric :that sounds great < 1201155143 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :it's entirely based on a whim I had earlier today < 1201155163 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I already have a 2d engine that can *very nearly* do what I need, so I just started pounding out some graphics < 1201155399 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :graphical assets always feel like half the battle for game development, to me < 1201156228 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :uvanta: what would you want to see in a 2d parody of portal? < 1201156248 0 :uvanta!unknown@unknown.invalid PRIVMSG #esoteric :that talking gun is necessary < 1201156393 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :oh, yes- naturally < 1201156400 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I have some ideas for the turrets < 1201156631 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :more stuff is completed: http://nonlogic.org/dump/images/1201156466-aperTiles.gif < 1201156840 0 :uvanta!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat, you're surely aware of Portal Flash version, right? < 1201156851 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :yeah, the sidescroller < 1201156857 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :a very good implementation < 1201156871 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I'm aiming for more of a puzzle/adventure game < 1201157166 0 :uvanta!unknown@unknown.invalid PRIVMSG #esoteric :I think the best thing of Portal as a game was suspensive/thrilling atmosphere < 1201157174 0 :uvanta!unknown@unknown.invalid PRIVMSG #esoteric :Puzzle genre is good for it < 1201157416 0 :uvanta!unknown@unknown.invalid PRIVMSG #esoteric :that tiles reminds me of Knytt Stories. http://nifflas.ni2.se/index.php?main=02Knytt_Stories < 1201157450 0 :uvanta!unknown@unknown.invalid PRIVMSG #esoteric :Knytt Stories is a nice puzzle/adventure game too < 1201157762 0 :schemacs!n=user@c-76-113-21-166.hsd1.nm.comcast.net JOIN :#esoteric < 1201157787 0 :schemacs!unknown@unknown.invalid PART #esoteric :? < 1201157959 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :interesting. I think I've heard of knytt before < 1201159011 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :'night, guys < 1201159068 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1201159386 0 :uvanta_!n=uvanta__@116.45.53.15 JOIN :#esoteric < 1201160490 0 :uvanta!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201161113 0 :helios24!i=chaos@bytefight.org JOIN :#esoteric < 1201161248 0 :puzzlet_!unknown@unknown.invalid QUIT :Remote closed the connection < 1201161260 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201161599 0 :clog!unknown@unknown.invalid QUIT :ended < 1201161600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1201161717 0 :adu!unknown@unknown.invalid QUIT :Remote closed the connection < 1201161759 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1201161761 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201161780 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :http://hadjin.sourceforge.net/wiki.php/IRC_log/2008/01/24/hadjin lol (ignore the bugged logger) < 1201161917 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1201161941 0 :uvanta_!unknown@unknown.invalid NICK :uvanta < 1201162178 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201162212 0 :puzzlet_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201162461 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201162465 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1201162595 0 :puzzlet_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201163255 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201163304 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201163898 0 :immibis!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201164161 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201164192 0 :sarah87!unknown@unknown.invalid PART #esoteric :? < 1201164856 0 :GreaseMonkey!unknown@unknown.invalid QUIT :Client Quit < 1201165034 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Spam alert! < 1201166471 0 :jix!i=jix@78.47.212.92 JOIN :#esoteric < 1201166600 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201166604 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201166614 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201166937 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201167201 0 :GregorR!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1201167201 0 :Asztal!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1201167203 0 :oklopol!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1201167203 0 :Overand!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1201167204 0 :AnMaster!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1201167204 0 :bsmntbombdood!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1201167248 0 :GregorR!n=gregor@c-24-22-4-68.hsd1.mn.comcast.net JOIN :#esoteric < 1201167248 0 :Asztal!n=asztal@cpc1-stkn2-0-0-cust786.midd.cable.ntl.com JOIN :#esoteric < 1201167248 0 :bsmntbombdood!n=gavin@75-166-178-76.hlrn.qwest.net JOIN :#esoteric < 1201167248 0 :AnMaster!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1201167248 0 :Overand!i=overand@pdpc/supporter/active/Overand JOIN :#esoteric < 1201167257 0 :oklopol!n=ville@194.251.103.33 JOIN :#esoteric < 1201167362 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1201167370 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201167581 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1201167621 0 :Asztal!n=asztal@cpc1-stkn2-0-0-cust786.midd.cable.ntl.com JOIN :#esoteric < 1201167795 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1201168107 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201168140 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201168404 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201169130 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201169379 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201169857 0 :jix!unknown@unknown.invalid PART #esoteric :? < 1201170414 0 :Overand_!i=overand@dissociative.net JOIN :#esoteric < 1201171105 0 :puzzlet_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201171143 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201171334 0 :lifthrasiir!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1201171334 0 :lament!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1201171344 0 :Asztal!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1201171344 0 :sekhmet!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1201171407 0 :Asztal!n=asztal@cpc1-stkn2-0-0-cust786.midd.cable.ntl.com JOIN :#esoteric < 1201171407 0 :sekhmet!n=pez@wilug/madlug/sekhmet JOIN :#esoteric < 1201171412 0 :Overand!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201171413 0 :Overand_!unknown@unknown.invalid NICK :Overand < 1201171450 0 :lifthrasiir!n=lifthras@haje8.kaist.ac.kr JOIN :#esoteric < 1201171450 0 :lament!n=lament@S010600110999ad06.vc.shawcable.net JOIN :#esoteric < 1201171940 0 :tejeez!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1201172218 0 :cmeme!unknown@unknown.invalid QUIT :Connection timed out < 1201172697 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1201172699 0 :tejeez!n=tejeez@dsl-lhtgw2-fea7dc00-42.dhcp.inet.fi JOIN :#esoteric < 1201173307 0 :Tritonio_!n=Tritonio@150.140.226.9 JOIN :#esoteric < 1201175051 0 :helios24!unknown@unknown.invalid QUIT :"Leaving" < 1201181042 0 :MommeMC!n=MommeMC@p548DC1CB.dip.t-dialin.net JOIN :#esoteric < 1201181748 0 :ehird!n=ehird@user-514fb24f.l2.c4.dsl.pol.co.uk JOIN :#esoteric < 1201182245 0 :jix!n=jix@dyndsl-091-096-045-247.ewe-ip-backbone.de JOIN :#esoteric < 1201182441 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :question: < 1201182451 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :{'{C:.'}C.}'{C:.'}C. ; is this a cheat quine? < 1201182463 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it relies on something akin to javascript's ability to print out a funcs source < 1201183077 0 :RodgerTheGreat!n=Rodger@wads-5-233-27.resnet.mtu.edu JOIN :#esoteric < 1201183536 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1201185491 0 :uvanta!unknown@unknown.invalid PRIVMSG #esoteric :bye < 1201185494 0 :uvanta!unknown@unknown.invalid QUIT :"blame!" < 1201185630 0 :salparot!n=salparot@cust.fiber-lan.vnet.lk.85.194.50.194.stunet.se JOIN :#esoteric < 1201185670 0 :salparot!unknown@unknown.invalid NICK :olsnerWk < 1201186472 0 :Tritonio__!n=Tritonio@150.140.225.151 JOIN :#esoteric < 1201186544 0 :Tritonio_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201186747 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1201186754 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201187071 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :hmm... bef pushes the value of an uninitialised stack variable if & fails < 1201187086 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :so not cool :( < 1201187114 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1201187229 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :"bef"? < 1201187266 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :the reference befunge-93 interpreter, and the one anarchy golf uses < 1201187272 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1201188121 0 :MommeMC!unknown@unknown.invalid QUIT : < 1201188204 0 :olsnerWk!unknown@unknown.invalid QUIT :"Changing server" < 1201189285 0 :MommeMC!n=MommeMC@p548DC1CB.dip.t-dialin.net JOIN :#esoteric < 1201189288 0 :MommeMC!unknown@unknown.invalid QUIT :Client Quit < 1201190037 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1201190072 0 :sebbu!n=sebbu@ADijon-152-1-43-150.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1201190534 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1201191467 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1201191472 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1201191820 0 :ehird!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201192145 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1201192555 0 :jix!n=jix@dyndsl-091-096-045-247.ewe-ip-backbone.de JOIN :#esoteric < 1201192759 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1201192767 0 :jix!i=jix@78.47.212.92 JOIN :#esoteric < 1201193709 0 :Slereah!unknown@unknown.invalid QUIT :"Konversation terminated!" < 1201194152 0 :slereah_!n=slereah@ANantes-252-1-60-136.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201196890 0 :ais523!n=ais523@147.188.254.202 JOIN :#esoteric < 1201197195 0 :ais523!unknown@unknown.invalid QUIT :"restarting my window manager" < 1201197540 0 :ais523!n=ais523@147.188.254.202 JOIN :#esoteric < 1201198811 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1201198863 0 :RedDak!n=dak@host54-85-dynamic.10-87-r.retail.telecomitalia.it JOIN :#esoteric < 1201199730 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1201204613 0 :helios24!i=chaos@bytefight.org JOIN :#esoteric < 1201205113 0 :SimonRC_!n=sc@fof.durge.org JOIN :#esoteric < 1201205113 0 :SimonRC!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201205270 0 :faxathisia!n=more@137.195.250.2 JOIN :#esoteric < 1201206324 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's unusually quite here < 1201206329 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :for this time of day < 1201206336 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Let's say stuff. < 1201206509 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I agree < 1201206524 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :i should go to sleep soon < 1201207357 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :stuff < 1201207366 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :STUFF < 1201207397 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's probably quite because it isn't the case that ehird and me are here simultaneously < 1201207413 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that's what caused all the traffic over the previous few days < 1201207443 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Let's make up some awesome project that we'll never do but will talk about to no end. < 1201207486 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wants to write programs to solve combinatory logic problems.. < 1201207529 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what sort of problems? < 1201207534 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :That mockingbird is laughing at you! < 1201207539 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :unabstraction already exists and can be done automatically < 1201207542 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I assume the riddles in "To mock a mockingbird" < 1201207560 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :say you have a set of combinators, Try to produce some new combinator from them < 1201207560 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ACTION doesn't have that one < 1201207567 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Stuff like "prove that with the existance of the mockingbird, there's birds that love such bird" and stuff. < 1201207586 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I don't think you can do that much with just a mockingbird < 1201207590 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :(The vocabulary in to mock a mockingbird isn't very standard) < 1201207594 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because applying it to itself gives an infinite loop < 1201207600 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I cant use typing because it's all in untyped lambda calc < 1201207604 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and if it's the only combinator, you can't do anything else with it... < 1201207607 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1201207613 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It's not the only one. < 1201207620 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, obviously < 1201207622 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :But the first chapter says that it exists. < 1201207630 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :And some other axioms that I forgot < 1201207642 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :With that, you can prove some properties for all combinators < 1201207698 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Like, every combinator has a fixed point\ < 1201207712 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Ah yes, fixed point. < 1201207713 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :given a Mx = xx and Bxyz = x(yz) < 1201207724 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It was "Fond of" in the book IIRC < 1201207727 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Yes < 1201207755 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and from that, you can prove that some things that sound like combinators can't be < 1201207755 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Any ideas for an algorithm for this? :S < 1201207774 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :such as detecting if a function is a particular combinator or not < 1201207803 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :If I knew one, I would have found the solution on my own! < 1201207835 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I got stuck this one, < 1201207836 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you could just brute-force, I suppose < 1201207851 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but even determining whether two combinators are the same is sometimes difficult < 1201207856 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and I suspect it's undecidable in general < 1201207872 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ais523, Yeah I tried this, the problem is that It's undecidable if untyped lambda terms are equal < 1201207895 0 :ehird!n=ehird@user-514fb24f.l2.c4.dsl.pol.co.uk JOIN :#esoteric < 1201207906 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I find that up to a point, Haskell is quite good for identifying combinators, but past that point it's useless < 1201207906 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :'ello < 1201207917 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because you can't fit a mockingbird into the normal type system... < 1201207919 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oh, and hello < 1201207927 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Hi. < 1201207927 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: you kind of can < 1201207927 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :m x = x x < 1201207943 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and m m works < 1201207944 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :You can't type Y in anything < 1201207947 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Maybe you meant the pure Y combinator < 1201207956 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Prelude> let m x = x x < 1201207957 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: we need a typesystem allowing construction of the infinite type < 1201207963 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: t = t -> t1 < 1201207964 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1201207970 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: works for me < 1201207971 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: Have you looked at the solution? < 1201207974 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1201207974 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no < 1201207993 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: I'm using ghci, and it definitely doesn't let me define m x to be x x < 1201207994 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :slereah, No, I'm going to work it out.. It's just taking weeks :P < 1201208002 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because it's type would be t -> t -> t -> t -> t -> ... < 1201208024 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :on the other hand, combinators like s and k are easily identified from their types < 1201208024 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :y f = f (y f) -- types ok < 1201208028 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I'll read it again, and tell you if it gives me an awesome algorithm idea < 1201208030 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: that's not Y < 1201208036 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Yes it is < 1201208038 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no < 1201208041 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Y is the lambda calculus form < 1201208044 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It is :P < 1201208045 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and contains no free names < 1201208046 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that does < 1201208053 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that is 'fix' < 1201208077 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It's equal to the y-combinator then... < 1201208086 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :What riddle is it again? < 1201208101 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: just like every other fixed point combinator < 1201208102 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :doesn't mean it's Y < 1201208124 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :according to Wikipedia, Y is the best known fixed point combinator < 1201208137 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and y f = f (y f) is one way to describe its behaviour < 1201208142 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Is it the "every bird is fond of at least one bird"? < 1201208169 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ok, please don't tell me the answer if you do get it, but given Qxyz = y(xz) and Txy = yx, Can you make Bxyz = x(yz) ? < 1201208200 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :T, the Thrush bird? < 1201208204 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Yes < 1201208211 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :(Working on lazy bird got me the names in mah noggin) < 1201208215 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I wrote a typechecker for STLC, and it can type y < 1201208277 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: lazy version? < 1201208285 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It's useless for solving these problems though, http://rafb.net/p/uFekWO50.txt < 1201208294 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Wikipedia defines Y as S (K (S I I)) (S (S (K S) K) (K (S I I))) in ski form, so that should be enough to be an unambiguous definition < 1201208298 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :assuming it's right, of course < 1201208304 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: Is it question 37? < 1201208323 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ehird, not sure what you mean, It's using herbrands unification algorithm < 1201208342 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :slereah, 45 < 1201208362 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :"The method is a bit tricky!" < 1201208374 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It must be! :S < 1201208414 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Seeing the answer, brute force might work. < 1201208423 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: the lazy Y < 1201208434 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :\f. (\x. f (x x)) (\x. f (x x)) < 1201208435 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :But it doesn't really offer a detailed demonstration < 1201208435 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ah yeah < 1201208436 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :as opposed to < 1201208445 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :y f = f (y f) -- Is useless in scheme < 1201208452 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :\f. (\x. f (\y. (x x) y)) (\x. f (\y. (x x) y)) < 1201208453 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Just proves that the answer produce the same result < 1201208455 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :um < 1201208458 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that is useless in any strict lanug < 1201208466 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ae < 1201208468 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :((lambda (m) ((lambda (x) (x x)) (lambda (y) (m [lambda (n) ((y y) n)])))) <-- the lambda in []'s is like basically a trick < 1201208473 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :DOWN WITH STRICTNESS! < 1201208508 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :((lambda (m) ((lambda (x) (x x)) (lambda (y) (m (y y)))))) ;; Should work in a lazy lisp < 1201208519 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: not standard < 1201208519 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also < 1201208519 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :here is a simple, self-referencing fixpoint < 1201208528 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(define (fix f) (f (lambda (x) ((fix f) x))) < 1201208528 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :not standard? < 1201208535 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: the [..] < 1201208553 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :check r5rs if you don't believe me (r6rs is shit) < 1201208557 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I am using [] to show exactly which lambda I am referring to < 1201208565 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I never use [] in code < 1201208583 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It saves me using two lines, one with ^^^^^ < 1201208622 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :anyway the cool thing is that you can create recursion < 1201208647 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :thats the point of the fixedcombinator < 1201208654 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no pun < 1201208889 0 :slereah__!n=slereah@ANantes-252-1-60-136.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201208927 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: You might want to check how the arguments of combinators affect the arity of the resulting combinator. < 1201208940 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Might shorten the search, since you know B only has 3. < 1201208961 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I've given up trying by hand < 1201208972 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Well, in code form, or something < 1201208974 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has pages of dead ends < 1201209073 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :For instance, Q(something)Q adds two to the arity, T only one. < 1201209100 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :(I tried to do that kind of conversions when trying to shorten some lazy bird programs) < 1201209150 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Not sure if it will help. < 1201209154 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201209171 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Although it was useful to notice when it was useless to try to reduce some combinator < 1201209175 0 :slereah__!unknown@unknown.invalid NICK :Slereah < 1201209402 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I first worte a program that generates every combination of a set of combinators, then checks if they are equal < 1201209443 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :How does it check for equality? < 1201209445 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I checked equality as you would with STLC, so it can only solve the really basic problems < 1201209457 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :STLC? < 1201209471 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :just see if the simple types of the lambda terms unify < 1201209480 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I don't speak that moonspeak. < 1201209505 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But well, since it's just B, you can probably just apply three dummy combinator to it. < 1201209511 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :That's how I do it for most. < 1201209521 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :so (λx.x) has type α → α < 1201209560 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :you can check that unifying the type of SKK works < 1201209617 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :and since it does they must be equal, but yeah.. This is not working in general since lots of valid term in combinatory logic don't type < 1201209639 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Iotat's i for one! < 1201209674 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :so I think I'll try to solve the problem from the other end.. < 1201209678 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :"Few languages ever become sufficiently popular that they are used by more than a few people" -- quote I just came across on Wikipedia < 1201209681 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Problems usually arise when there's lambdas in the lambda expression < 1201209693 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :start mangling the solution until I get a solution < 1201209701 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :er.. :S < 1201209907 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :ACTION adds q to Lazy Bird < 1201209914 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'll give you brute force, you'll see! < 1201209920 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1201209928 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Lazy Bird is your language? < 1201210005 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1201210039 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :cool? < 1201210053 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Is there an implementation < 1201210064 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://membres.lycos.fr/bewulf/Russell/Lazy%20Bird/Lazy%20Bird%204.py < 1201210070 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Although this one lacks q. < 1201210112 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://membres.lycos.fr/bewulf/Russell/Lazy%20Bird%205.py < 1201210114 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :This one has. < 1201210145 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Same syntax as Unlambda. Use a, n, p or x as dummy variables. < 1201210155 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The evolution of the expression is displayed. < 1201210328 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :How come: mm is invalid? < 1201210351 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :`mm < 1201210357 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :`mm works, buut doesn't loop < 1201210382 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The program halts if the previous expression is the same as the current one < 1201210387 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ah ok < 1201210404 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But ```sii``sii won't stop < 1201210419 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :There's i accumulating < 1201210476 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Ooooh < 1201210491 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :```sii``sii optimises into Underload's (:^):^, which doesn't accumulate is anywhere < 1201210527 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, with lazy evaluation, it forgets that part. < 1201210532 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :^a^b^c`a`bc < 1201210533 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :``s``s`ks``s`k`s`ks``s`k`s`kkk`k``s``s`ksk`ki < 1201210537 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :awesome :D < 1201210565 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It is rather a pain to do it by hand! < 1201210586 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :```sii``sii -> ``i``sii`i``sii -> ```sii`i``sii -> ```sii``sii with eager evaluation < 1201210587 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You can check with sum dummy combinators, too! < 1201210593 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and Underload and Unlambda are eager < 1201210601 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :so there's no accumulation of is < 1201210719 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: Use the ABSTRACTOR for that though < 1201210727 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Much shorter formulas < 1201210758 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I've got some "Feather trimming" program in project somewhere, to try to do some minimal length formula < 1201210759 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Is there a description of this ``` syntax? < 1201210768 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's polish notation < 1201210773 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I guess ` means application?? < 1201210776 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1201210789 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1201210796 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :There's a simple trick : take an expression with parenthesis < 1201210802 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Eliminate all ")" < 1201210810 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Turn "(" into "`" < 1201210839 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :That's clever < 1201211373 0 :sebbu2!n=sebbu@ADijon-152-1-33-180.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1201211542 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://membres.lycos.fr/bewulf/Russell/BRUTE%20FORCE.txt < 1201211543 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :There. < 1201211548 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The solution is at the end. < 1201211561 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :All you had to do was to waste half an hour! < 1201211643 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I did it in quite a stupid fashion, since I used expressions without t or q < 1201211666 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And I probably should have checked what kind of formulas would end up on something with three variables < 1201211677 0 :sebbu!unknown@unknown.invalid QUIT :No route to host < 1201211677 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1201211710 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Is this true? < 1201211717 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :``s``s`ks``s`k`s`ks``s`k`s`kkk`k``s``s`ksk`ki = ((s ((s (k s)) (k s))) ((s (k s)) (k s))) < 1201211735 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :actually, It's obviously wrong :S < 1201211769 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :((S((S(KS))(KS)))((S(KS))(KS))) < 1201211769 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :`k``ss`ss < 1201211769 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Expression : `k``ss`ss < 1201211782 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, that's after reduction. < 1201211789 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So I don't know < 1201211804 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :oh wait we got the same answer < 1201211817 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :What does `k``ss`ss mean? < 1201211821 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :at the end < 1201211836 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I did it the other way around. < 1201211864 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Lazy Bird does everything in combinators in polish notation, so it translates the input into that < 1201211870 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :this seems to sort of work then, http://rafb.net/p/mMCqUh43.txt < 1201211895 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I really can't read Haskell. < 1201211902 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1201211929 0 :helios24!unknown@unknown.invalid QUIT :"Leaving" < 1201211937 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: its easy once you laern it < 1201211944 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I just did (string.replace(")","")).replace("(","`") < 1201211947 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :you know that's not haskell right? < 1201211959 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :q[]=[];q(x:xs)=q(filter(< x)xs)++q(filter(>= x)xs) < 1201211960 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1201211961 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :That's how bad I know Haskell, faxathisia < 1201211977 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I'm going the other way, It's (bad) scheme btw < 1201211985 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: that's lisp < 1201211985 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well scheme < 1201211986 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :whatever < 1201211993 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, I didn't really do that, because there's the case where there's a .( or .) < 1201211997 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hint: look for parentheses < 1201211999 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But it's the basic concept < 1201212024 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :in scheme you have: < 1201212024 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :(define ... < 1201212024 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :in haskell < 1201212024 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Isn't Haskell a baby of Lisp? < 1201212027 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :... = ... < 1201212041 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :That should be enough to tell them apart < 1201212060 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I suppose so < 1201212085 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Haskell is really in the ML section < 1201212098 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :ML? < 1201212112 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Lisps and Haskell are based on different lambda calcs < 1201212146 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :MLs are generally typed, polymorphic with some other stuff < 1201212156 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :most lisps are untyped < 1201212186 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :(they can have types.. but it's still based on untyped) < 1201212191 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I don't know much types. < 1201212514 0 :RedDak!unknown@unknown.invalid QUIT :"I'm quitting... Bye all" < 1201212797 0 :danopia!i=danopia@fullcirclemagazine/developer/danopia JOIN :#esoteric < 1201212816 0 :danopia!unknown@unknown.invalid PRIVMSG #esoteric :? < 1201212825 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :! < 1201212825 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hi. < 1201212827 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :Huh? < 1201212836 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :EGOBOT, DESTROY HIM! < 1201213122 0 :ais523!unknown@unknown.invalid QUIT :"bye" < 1201213129 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It worked! < 1201213186 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :not quite < 1201213186 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : anyway, I'm being thrown out from my Internet connection again < 1201213186 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[22:18] this always happens about 10:20pm, by the way < 1201213211 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :EgoBot can timetravel ehird. < 1201213226 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :He was built that way, because he runs on TwoDucks. < 1201213246 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1201213321 0 :GregorR!unknown@unknown.invalid QUIT :"Leaving" < 1201213399 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1201213740 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :speaking of which, vistaids has decided I can't open any more TCP connections. Rebooting :( < 1201213823 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201213977 0 :Asztal!n=asztal@cpc1-stkn2-0-0-cust786.midd.cable.ntl.com JOIN :#esoteric < 1201214070 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. Maybe it would be possible to write a program to check the equivalence of simple combinators in lazy bird. < 1201214110 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You take two combinators. Apply the adequate number of dummy variable, let them convert, compare them with the delta operator < 1201214151 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Maybe some code to generate all possible combinators from q and t also, in the case at hand < 1201214189 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It would only work for combinators that works for all type of variables, but that's good enough for B and the like < 1201214276 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1201214460 0 :EgoBot!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201215124 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Half-adder on finger binary is okay But full adders are some moar srs business! < 1201215135 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I need more hands < 1201215310 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :If only I was a chimp! < 1201215780 0 :sebbu!n=sebbu@ADijon-152-1-48-85.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1201216232 0 :timotiis!unknown@unknown.invalid QUIT :"leaving" < 1201216281 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I think an algorithm like this could work < 1201216282 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :http://pastey.net/81238 < 1201216328 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It is non-deterministic, So in this case (I have no idea for a heuristic) it might make sense to breadth first search < 1201216647 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What does it do exactly? < 1201216689 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :say I wanted to make Idiot, out of Warbler & Lark < 1201216723 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Idiot is such a mean name. < 1201216730 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I can start with the lambda term (λ x x), and unapply Warbler or Lark < 1201216732 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that _does_ sound pretty idiotic already, funny words those... < 1201216735 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You know well that he loves every bird! < 1201216740 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :(or any composition of them) < 1201216766 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :How's the unapplying done? < 1201216981 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :to do, (λ x x) < 1201216998 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I can suppose, (λ x x) = ((λ x (λ y ((x . y) . y))) . ?1) < 1201217026 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :so all I have to do then (after alpha-beta) is solve ((?1 . x) . x) = x < 1201217086 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :so I get the solution (λ x x) = ((λ x (λ y ((x . y) . y))) . (λ x (λ y x))) = (W . K) < 1201217097 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It might work? :S < 1201217105 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I can't say! < 1201217246 0 :RockerMONO!n=Nick@unaffiliated/rockermono JOIN :#esoteric < 1201217255 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1201217273 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Hello < 1201217299 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :``^x^y`````tky.xr``xx``v``t0y```t`sb``tky``t0y^x^y`````tky.xr``xx``v``t0y```t`sb``tky``t0y``v0i < 1201217304 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Fibonacci :D < 1201217311 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Though a very slow one < 1201217324 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :anyone know the most verbose code for outputting 'verbose' in brainfuck? :D < 1201217338 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is just getting into brainfuck and feels like messing around ab it < 1201217343 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Here's a shorter oen : ``m^x^y`````tky.xr``xx``v``t0y```t`sb``tky``t0y``v0i < 1201217357 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :RockerMONO: Define "Most verbose". < 1201217367 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You could theorically use an infinite number of symbols! < 1201217375 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: as in exteremely overly lengthy useless code =P < 1201217384 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Like an absurd quantity of <> that would do nothing < 1201217388 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1201217391 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :well < 1201217406 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :i was thinking maybe going to 0 before doing each character? :) < 1201217430 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :using only + > and . would be pretty verbose < 1201217436 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, that's how you would do it if you printed it on every cell! < 1201217450 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Like ++++....+++ > ++++.... +++ > +++.... < 1201217470 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And then, go back to 0, and print, >, print, until you're on 000 again < 1201217479 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION assumes .... means ellipsis < 1201217488 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: constant folding pwns your pitiful attempts < 1201217497 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :? < 1201217500 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :actually, a good brainfuck compiler should generate programs like printf("hello world\n"); when it can < 1201217500 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1201217547 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I can't think of a verboser way that wouldn't be just adding completely useless characters < 1201217580 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, maybe you could write it in some code on the tape, and use another part of the program to decode it and print it! < 1201217602 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Like you write it in binary, except it's actually a bunch of "0" and "1" char < 1201217653 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :do it as a COBOL program + interpreter. that _surely_ would be verbose. < 1201217691 0 :olsner!n=salparot@cust.fiber-lan.vnet.lk.85.194.50.194.stunet.se JOIN :#esoteric < 1201217721 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :so, I'm working on a sed script that translates thue into mod_rewrite rules... testing it on a brainfuck interpreter written in thue :P < 1201217742 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: do you get a crapload of redirects or something? < 1201217747 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :as if you stepped through it in your url bar < 1201217757 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :http://nonlogic.org/dump/text/1201217590.html <-- guess what that does :D < 1201217784 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :ACTION should strip the newline characters... < 1201217810 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :basically you write http://host/brainfuckProgram:000_001_010_ to execute the brainfuck program on input [0,1,2] < 1201217865 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Idea : Write a program that will input a brainfuck interpreter in brainfuck, which will do the same, and so on. < 1201217879 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :and I rewrite it to print.php?output in the end, and let print.php just print that string < 1201217936 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :have a few bugs in it I think... and the sed script isn't exactly readable (regexps producing regexps ^^) < 1201218081 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I think that's the shortest Fibo in Lazy Bird : ``m^x^y````yk.xr``xx``v`y0```t`sb`yk`y0``v0i < 1201218090 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Unless! < 1201218096 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I get rid of the last t. < 1201218144 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :``m^x^y````yk.xr``xx``v`y0```yk`sb`y0``v0i < 1201218146 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Thar < 1201218155 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :oh noes, mod_rewritwe translates ? into a request with a query string... and only uses the URI part for future matching... more ugly sed hacking :S < 1201218167 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It is painfully slow, but it does output Fibonacci! < 1201218207 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. Or does it? < 1201218212 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'd better check < 1201218213 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :http://nonlogic.org/dump/text/1201218034.html = pure evil :) < 1201218227 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: you can tell it to match whole < 1201218355 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :hmm... the apache manual suggests otherwise: "The Pattern will not be matched against the query string." < 1201218388 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :http://httpd.apache.org/docs/2.0/mod/mod_rewrite.html#rewriterule under "Note: Query String" < 1201218562 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And here it is, in combinators : ``m``s`k`s``s``s`o`kk`k.1`kr``s``s`ks``s``s`kskk`k``s``s`kv`o`k0``s``s`o`kk`k`sb`o`k0``v0i < 1201218595 0 :uvanta!n=uvanta__@116.45.53.15 JOIN :#esoteric < 1201218627 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :seems the workaround they recommend is to match URI and query string separately, with a RewriteCond %{QUERY_STRING} ... before the RewriteRule < 1201218717 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :http://nonlogic.org/dump/text/1201217590.html <-- Microsoft EULA translated into brainfuck *insert evil grin here* < 1201218740 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :that one actually works too >.> < 1201218743 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :ACTION realized his other code died < 1201218761 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :makes about as much sense < 1201218858 0 :RockerMONO!unknown@unknown.invalid PRIVMSG #esoteric :looking at that page in firefox may be worse than waiting for it to compile >.>