< 1330473828 324236 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1330474043 259093 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :hmm, so the tricky part appears to have been making defined functions have bindings for their name in their own environments < 1330474067 397962 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :so I have a purely functional lisp now, I think < 1330474113 295886 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :next step: implement enough stuff to write a different lisp in that lisp < 1330474805 906303 :augur!~augur@129.2.129.159 JOIN :#esoteric < 1330474806 254089 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1330474845 674007 :augur!~augur@129.2.129.159 QUIT :Remote host closed the connection < 1330476013 102897 :derdon!~derdon@pD9E1DE79.dip.t-dialin.net QUIT :Remote host closed the connection < 1330477614 207422 :cheater_!~cheater@dslb-084-057-029-066.pools.arcor-ip.net QUIT :Ping timeout: 244 seconds < 1330478449 230520 :cheater_!~cheater@dslb-084-057-006-094.pools.arcor-ip.net JOIN :#esoteric < 1330481837 533019 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1330482542 986787 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :olsner, well, first thought, is something like the State monad >.> < 1330483555 144051 :cswords!~cswords@c-98-223-234-80.hsd1.in.comcast.net QUIT :Ping timeout: 260 seconds < 1330486710 128093 :NihilistDandy!~NihilistD@65.183.136.231 JOIN :#esoteric < 1330488714 777069 :mmorning!~mmorning@209-6-254-59.c3-0.wrx-ubr1.sbo-wrx.ma.cable.rcn.com JOIN :#esoteric < 1330488793 465776 :PiRSquared!~area@wikipedia/PiRSquared17 JOIN :#esoteric < 1330488841 246863 :mmorning!~mmorning@209-6-254-59.c3-0.wrx-ubr1.sbo-wrx.ma.cable.rcn.com PART :#esoteric < 1330489123 498109 :PiRSquared!~area@wikipedia/PiRSquared17 PRIVMSG #esoteric :http://www.cs.bham.ac.uk/~ais523/ this page seems to have tags which are not being processed on it < 1330489333 400977 :pikhq_!~pikhq@71-219-229-225.clsp.qwest.net JOIN :#esoteric < 1330489498 707845 :pikhq!~pikhq@174-22-155-124.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1330490975 249367 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Is what kind State monad? < 1330490975 437717 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :zzo38: You have 2 new messages. '/msg lambdabot @messages' to read them. < 1330490980 854063 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :?messages < 1330490981 42801 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott said 15h 46m 15s ago: yes, by the way: http://creativecommons.org/publicdomain/zero/1.0/legalcode.txt < 1330490981 230165 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott said 15h 46m 3s ago: and see http://wiki.creativecommons.org/CC0_FAQ#May_I_apply_CC0_to_computer_software.3F_If_so.2C_is_there_a_recommended_implementation.3F < 1330491263 177143 :MDude!~fyrc@pa-67-234-114-13.dhcp.embarqhsd.net NICK :MSleep < 1330491913 976249 :MSleep!~fyrc@pa-67-234-114-13.dhcp.embarqhsd.net QUIT :Ping timeout: 248 seconds < 1330492048 702178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 259*6 < 1330492049 478788 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1554 < 1330494481 752555 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1330494529 492028 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :..cpan tests are insane. < 1330494536 536756 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm sitting and waiting < 1330494541 677504 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for like hundreds of tests to finish. < 1330494547 265525 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :thousands? < 1330494644 834192 :const!root@freebsd/developer/variable QUIT :Excess Flood < 1330494796 799747 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1330494856 414539 :NihilistDandy!~NihilistD@65.183.136.231 QUIT : < 1330495263 501402 :PiRSquared!~area@wikipedia/PiRSquared17 NICK :PiRSquaredAway < 1330495311 244983 :graue!~sf@c-75-72-201-81.hsd1.mn.comcast.net QUIT :Quit: Leaving < 1330495827 743943 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1330496132 777362 :Goosey!~Goose@cpe-72-178-49-126.elp.res.rr.com QUIT :Ping timeout: 252 seconds < 1330497232 489456 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1330497245 680985 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1330497269 440068 :Goosey!~Goose@cpe-72-178-49-126.elp.res.rr.com JOIN :#esoteric < 1330497383 99882 :itidus21!~itidus21@120.148.51.249 JOIN :#esoteric < 1330497598 984996 :pikhq!~pikhq@71-219-252-139.clsp.qwest.net JOIN :#esoteric < 1330497609 579846 :pikhq_!~pikhq@71-219-229-225.clsp.qwest.net QUIT :Ping timeout: 244 seconds < 1330498365 778751 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :olsner: Hu @Lisp < 1330499192 41221 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :? < 1330499686 40183 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :He has a purely functional lisp in some lisp. < 1330499695 803105 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :Sgeo: yes, the state monad, done manually, with something like a Map and a counter for fresh IDs as the state < 1330499961 111055 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net QUIT :Quit: Leaving < 1330500909 529350 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Read error: Connection reset by peer < 1330500989 971150 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What is this stuff about a state monad? < 1330502664 394321 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Hm. < 1330502673 323050 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Finding optimal constants is really not that easy < 1330502928 564198 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Either pick size or speed. < 1330502976 129363 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@brainfuck like constants < 1330502976 320104 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unknown command, try @list < 1330502982 806198 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@list < 1330502982 994491 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://code.haskell.org/lambdabot/COMMANDS < 1330507245 947932 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1330508920 711220 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :My irssi stopped logging stuff since 29. Feb 2012 o_O < 1330509181 741993 :MoALTz!~no@host-92-8-237-9.as43234.net JOIN :#esoteric < 1330509220 21687 :PiRSquaredAway!~area@wikipedia/PiRSquared17 QUIT :Ping timeout: 276 seconds < 1330509348 449872 :MoALTz_!~no@host-92-2-120-213.as43234.net QUIT :Ping timeout: 245 seconds < 1330509356 621729 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that's today, isn't it < 1330509476 628726 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It no longer logs the future, like it used to. < 1330509643 394551 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yes. < 1330509652 565818 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :since today midnight. < 1330509783 896043 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's taking the leap day off. < 1330509824 969777 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1330510597 836138 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1330510627 110269 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :No < 1330510637 788987 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :My permissions are corrupted somehow < 1330510644 923132 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ls -lah tells me 664 < 1330510656 91219 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi everyone < 1330510662 167118 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :except elliott because he isn't here < 1330510663 811933 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but no access to it < 1330510712 343274 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: I think there's quite a lot of other people who are not here either. < 1330510797 804356 :mroman_!~roman2@fmnssun.ibone.ch PART :#esoteric < 1330510800 590639 :mroman_!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1330510907 448906 :mroman_!~roman2@fmnssun.ibone.ch PART :#esoteric < 1330510910 22796 :mroman_!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1330511188 595918 :derdon!~derdon@pD9E1C7DA.dip.t-dialin.net JOIN :#esoteric < 1330511414 560452 :derdon!~derdon@pD9E1C7DA.dip.t-dialin.net QUIT :Remote host closed the connection < 1330511777 925767 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1330512024 810507 :MoALTz!~no@host-92-8-237-9.as43234.net QUIT :Ping timeout: 244 seconds < 1330512036 270444 :MoALTz_!~no@host-92-2-121-201.as43234.net JOIN :#esoteric < 1330513791 988301 :pikhq!~pikhq@71-219-252-139.clsp.qwest.net QUIT :Ping timeout: 246 seconds < 1330515736 647322 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : It no longer logs the future, like it used to. <-- what? < 1330517056 40436 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, this polymorphic variants thing in OCaml is about halfway between standard type systems and Anarchy < 1330517067 864896 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it'd be a lot more of the way if you could have polymorphic temporary bindings < 1330517106 374881 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : # q(4) // q(4) ;; < 1330517107 744792 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : - : '_a -> [> `E of [> `E of '_a * int ] * int ] = < 1330517109 370598 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : # let x = q(4) in x // x ;; < 1330517110 846710 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : - : (_[> `E of 'a * int ] as 'a) -> [> `E of 'a * int ] = < 1330517117 645001 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :see the problem? < 1330517140 772952 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in Anarchy, you'd expect the two (translated appropriately for syntax) to do the same thing < 1330517217 563140 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one thing that's definitely nice is that OCaml's syntax for types is expressive enough to describe all the types in Anarchy (or would be, if a couple of arbitrary restrictions were removed) < 1330517257 950929 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Vorpal: Just, you know, horsing around. (Isn't that the expression?) < 1330517266 51243 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(No actual horses were involved.) < 1330517271 830971 :oklopol!~oklopol@dyn58-57.yok.fi JOIN :#esoteric < 1330517371 143133 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, this is the fundamental reason that oerjanswap doesn't type in OCaml (and Haskell does even worse) < 1330517390 186073 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's because if you copy something with :, both languages expect both copies to be applied to the same sort of stack < 1330517394 216166 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :who's oerjanswap < 1330517470 26856 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oklopol: it's an Underload program, aa((!((aa)(!))))*:*^!**^a*^a*aa*(*:*^!**^)*^ < 1330517477 599709 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it does the same thing as ~ but without using ~ < 1330517508 957365 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've actually been having fun trying to create it, the *:*^ bit is IMO the most important bit < 1330517514 341847 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*to recreate it < 1330517528 860375 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oerjan is made of magic < 1330517534 466314 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, Chrome... http://users.ics.tkk.fi/htkallas/bitmap.txt "This page is in [Galician]. Would you like to translate it? [Translate] [Nope]" < 1330517539 195112 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I... really don't think it is. < 1330517546 316308 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though admittedly I don't speak Galician. < 1330517568 216425 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :does it translate to anything intelligible? < 1330517572 508582 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yes < 1330517586 243170 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: Some of the "XXXXXX"s turn into "Xxxxxx"s, and some spaces disappear. < 1330517588 205285 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :from Galician, I mean < 1330517591 736780 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, OK < 1330517625 103607 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :that doesn't sound like a lot but it's readable after that < 1330517689 142207 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oklopol: what are you referring to? the Xxxxxx thing, or something else? < 1330517701 66954 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :the xxx thing < 1330517745 580567 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(The rows are students, and the columns are exercises they've answered; I was trying to check if it looks like the columns are getting sparser as they go from left to right.) < 1330517769 940864 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It does kind of look like they are.) < 1330517790 499660 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :no it's obviously an ironic take on social darwinism and its effect on post-modern agricultural education. < 1330517799 450310 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That, too. < 1330517884 898688 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :ais523: so what does oerjanswap do? < 1330517891 611600 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :like, exactly < 1330517892 809678 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oklopol: the same thing as ~ < 1330517903 534859 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :is there an example run somewhere so i don't have to do it myself < 1330517910 437582 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :on the wiki talk page < 1330517912 195458 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let me find it < 1330517921 351115 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :okay thanku < 1330517934 888457 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :http://esolangs.org/wiki/Talk:Underload#Tracing_the_.7E_replacement_code < 1330517935 595764 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ThankU, the most grateful university. < 1330517952 348060 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I find it more useful to step through it in the online interp, though < 1330518052 868856 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :huh new mediawiki? When did that happen? Haven't really been paying attention < 1330518099 328636 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was a "coup". (Is that the right word?) < 1330518113 472195 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :heh, ehird behind it too hm < 1330518123 139910 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :well, I just hope it stays up then < 1330518137 686460 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Apparently it needs to be "illegally" or "by force" to qualify as a coup, according to WordNet. < 1330518166 269956 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :"I've given myself and User:ais523 bureaucrat rights" <-- right, sounds like a coup < 1330518190 870220 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Vorpal: Graue set up a redirect from esoteric.voxelperfect.net (which he still owns) to esolangs.org (which ehird now owns) < 1330518199 316850 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :right < 1330518211 6382 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it's with his blessing, at least < 1330518237 791518 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I'm just worried that it will suddenly go down. Previously ehird's server haven't been the most stable in the long term. < 1330518237 978449 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Clarity in Expression 2012 campaign message again: esolangs.org is pointing at elliott's thing, he doesn't "own" the domain, which is what a reasonable person would assume you're referring to if you just say it like that. < 1330518318 346473 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oh so who owns the domain then? < 1330518349 667288 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :THE ALAN DIPERT is I think the accepted spelling. < 1330518374 342488 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(There's been no change there. Well, except maybe in the spelling.) < 1330518378 349994 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :fizzie, also "Clarity in Expression 2012 campaign"? < 1330518417 650251 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I did one such inane detail-oriented correction few days (weeks?) back under the same title. < 1330518425 166699 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :ah < 1330518429 620451 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Anything done twice is a tradition. < 1330518435 702265 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :indeed < 1330518458 773665 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though it might've been in another channel, actually. < 1330518476 996306 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :may be Power of the Continuum inspire us to create a new esolang. < 1330518497 902844 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :2012-02-23 10:27:52 Also is it a PRNG instead of a RNG? (This message sponsored by the "Exactness in Expression 2012" campaign.) < 1330518506 339644 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh no, I misrekolibred. < 1330518518 351930 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Let's just say they changed the name. < 1330518533 938544 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :perhaps it's a competing campaing < 1330518540 114459 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :campaign < 1330519040 430247 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also I think the oerjanswap trace might look more readable if someone aligned the show-the-command, and maybe added the remaining program at the end, something like http://sprunge.us/XJSC even though it's quite a bit wider. < 1330519055 922591 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :okay i get oerjanswap < 1330519085 51690 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :An oerjanswap is where aliens swap an oerjan with a fakerjan and fool us all. < 1330519089 371315 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It might have already happened. < 1330519153 399130 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :well i get that he has a pattern which puts something under the topmost thing in stack which is of the form X(pattern)Y, he then puts X under B, pushes Y, and concatenates, then running finishes the job < 1330519175 982197 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :how the pattern works i don't completely get yet, and i suppose that's the main idea < 1330519182 34447 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :erm < 1330519188 999409 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :that should've been X(something)Y < 1330519219 783038 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, you're thinking about it from the opposite end that I was < 1330519258 946581 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :well mine is how oerjan wanted it to be solved < 1330519279 228618 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :at least that's how i understood the comment < 1330519293 717414 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :or did you mean you're trying to understand The Pattern first? < 1330519446 927385 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :okay so the pattern is not very complicated < 1330519511 65714 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I mean, I think we both thought "hey, it's implementing dip" < 1330519529 881638 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I didn't think of it in terms of constructing a string to put one element under the other element < 1330519556 407980 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but rather, using it to escape the bottom element so that you could concat the escaped top one to it safely < 1330519564 261653 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :with some extra stuff in between to pop out the unwanted elements < 1330519572 124731 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1330519575 893414 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :what it does is it forward-creates a program which has put B, remove it, then put something. it duplicates this and removes the last "remove it then put something", and runs. now, B will be put, then removed, then something is put, then B is put again but not removed. < 1330519589 573170 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :the rest is complicated paren putting and removal by running < 1330519595 252538 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :but kind of obvious < 1330519658 772024 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :ais523: MY WAY IS CORRECT < 1330519685 395421 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :(that's tired for "i'm too lazy to understand what you mean".) < 1330519754 963004 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i don't see where in your interpretation the actual swapping happens < 1330519793 867222 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it constructs (a)(b)(a)(b), then gets rid of the outside ones < 1330519812 538486 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :getting rid of the top one is easy, getting rid of the bottom one you do by sneaking an ! in while you're constructing it < 1330519823 545158 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :ah cool < 1330519833 877453 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :but i still prefer my interpretation < 1330519938 351311 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :because it's putting arbitrary constants under stuff => being able to wrap topmost element in pretty much any piece of code => putting even B under stuff < 1330519948 180494 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :awesome use of concatenativeness < 1330519950 369409 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep, it's a neat one < 1330520727 713885 :sebbu2!~sebbu@ADijon-152-1-42-234.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1330520727 937420 :sebbu2!~sebbu@ADijon-152-1-42-234.w83-194.abo.wanadoo.fr QUIT :Changing host < 1330520727 937560 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1330520906 717023 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1330520954 188079 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1330520959 167234 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 276 seconds < 1330521005 727780 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1330521364 655360 :pikhq!~pikhq@174-22-151-186.clsp.qwest.net JOIN :#esoteric < 1330521424 592010 :Frooxius!~chatzilla@cust-101.ktknet.cz QUIT :Ping timeout: 265 seconds < 1330521564 357835 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :btw, is it weird that I've been reading the wiki offline from the dumps? < 1330521867 771819 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes < 1330521877 259813 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I imagine you are the only person to ever do it, < 1330521880 158734 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Q.E.D. < 1330522454 740890 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1330522526 306 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1330523158 72631 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I'm trying to compile Oolite, but it keeps erroring out because it doesn't have jsapi.h, in spite of jsapi.h existing. < 1330524132 770670 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 272 seconds < 1330524584 748857 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1330524843 897220 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, maybe in the wrong directory? < 1330524856 832626 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Probably, but how am I meant to handle that? < 1330524868 99202 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :There's no configure or anything; just a makefile. < 1330524872 747375 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, check the include path used when compiling then? < 1330524878 939215 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :and patch it if it needs it < 1330524893 942622 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, check the place where it is included too < 1330524921 115619 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, and if all else fail check if debian applied any patches to their package of it (if they have one) < 1330524934 857950 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :well, any relevant patches < 1330525080 183446 :Goosey!~Goose@cpe-72-178-49-126.elp.res.rr.com QUIT :Read error: Operation timed out < 1330525311 160091 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"src/Core/Debug/OODebugMonitor.m:176:4: error: ‘-fobjc-exceptions’ is required to enable Objective-C exception syntax" < 1330525316 59989 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :FOR CHRIST'S SAKE < 1330525339 775066 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Phantom_Hoover, well, turn that flag on then? < 1330525370 121930 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Wait, Arch already /has/ an Oolite package. < 1330525377 325950 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :An up-to-date one, at that. < 1330525396 278511 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :arch packages are usually pretty up-to-date < 1330526417 660843 :Frooxius!~chatzilla@cust-101.ktknet.cz JOIN :#esoteric < 1330527179 399329 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1330527280 288931 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1330527679 820975 :pikhq_!~pikhq@71-219-224-36.clsp.qwest.net JOIN :#esoteric < 1330527705 764702 :pikhq!~pikhq@174-22-151-186.clsp.qwest.net QUIT :Ping timeout: 255 seconds < 1330528237 383297 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1330528241 503226 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://esolangs.org/wiki/Talk:Basic_Input/Output_Commander oh dear < 1330528674 50762 :ion!ion@heh.fi PRIVMSG #esoteric :Btw, what’s the significance of the logo in the top left corner? < 1330528689 94755 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It has sub-lime significance, has it not? < 1330528817 730804 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I suppose the pun in the welcome message has not yet "went".) < 1330528885 396072 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you search the log, you can find that it symbolizes the matrix of solidity. < 1330528954 875376 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric : I think the official answer is "it's just an image Graue chose as a placeholder, and people decided they liked it" < 1330528973 792396 :ion!ion@heh.fi PRIVMSG #esoteric ::-) < 1330528976 629849 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It's also called the "trilime".) < 1330528994 555395 :ion!ion@heh.fi PRIVMSG #esoteric :trime < 1330529532 113006 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: It's the logo of the matrix of solidity. < 1330529641 110272 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ohno, skyrim stop work < 1330529643 491173 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :@ping < 1330529643 679607 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :pong < 1330529661 494011 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1330529672 623956 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what if im oolite < 1330529889 627617 :MoALTz__!~no@host-92-2-121-201.as43234.net JOIN :#esoteric < 1330530027 848799 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1330530067 5741 :MoALTz_!~no@host-92-2-121-201.as43234.net QUIT :Ping timeout: 244 seconds < 1330530076 991219 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://fpaste.org/rU0t/ <- is this a correct implementation of tag systems? < 1330530081 411020 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ie. < 1330530105 815633 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it takes m-characters < 1330530110 222306 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1330530121 116137 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :are production rules with more than one character allowed? < 1330530180 781937 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(at least, the code produces the correct output for this example) < 1330530200 560992 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION wonders what mroman_ means by "misregistered" < 1330530205 960112 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the nick mroman isn't even registered at all :) < 1330530228 96312 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well < 1330530229 825945 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it is < 1330530235 874550 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but not verified. < 1330530247 480671 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-NickServ- mroman is not registered. < 1330530248 716126 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are you sure? < 1330530260 532766 :mroman_!~roman2@fmnssun.ibone.ch NICK :mroman < 1330530261 588825 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you should be able to re-register it, I think < 1330530270 739080 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1330530271 316055 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :cool < 1330530279 6412 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :actually just < 1330530287 400767 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :n/m < 1330530302 430344 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION should think through what he's about to say before saying it :p < 1330530322 111977 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i grouped it know. < 1330530363 622950 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I can re-register with the same e-mail address. < 1330530366 548470 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*can't < 1330530372 426861 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh, so mroman_ owns mroman :D < 1330530385 207852 :MDude!~fyrc@pa-67-234-114-13.dhcp.embarqhsd.net JOIN :#esoteric < 1330530385 519003 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ACTION im owned :( < 1330530401 420480 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :whoa, you can set your account name < 1330530402 640393 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I never realised < 1330530422 527081 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(/ns set accountname ) < 1330530430 502545 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if I knew that I wouldn't have had to make new accounts every time I change primary nick :p < 1330531146 647084 :itidus21!~itidus21@120.148.51.249 QUIT :Ping timeout: 248 seconds < 1330531313 1430 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"There is a 94% chance your computer has registry problems. Fix them now and increase your PC speed!" This stupid ad banner could do with a [citation needed] for the 94%. < 1330531511 534074 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :My computer has no registry. < 1330531644 937136 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman: Sounds like a registry problem to me. < 1330531651 111501 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, I do have both Wine on this thing. < 1330531696 714473 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Both wine, yes. < 1330531724 979551 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also quite a lot of people seem to be calling the gconf thing a "registry", but no authoritative sources. < 1330531760 130044 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose it's officially a "configuration database" instead. < 1330531764 148886 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Whoops, bus to catch. -> < 1330531840 135416 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie needs to keep a closer eye on his buses. < 1330531972 9422 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Although folds and maps are preferable in most cases I still miss the generality of the for loop from time to time. There is no good way that I know of to get the functionality of break and continue without having to define a function. So if anyone has a good solution for that, please let me know." < 1330533534 834118 :sampero!~solinas.o@host188-82-dynamic.16-87-r.retail.telecomitalia.it JOIN :#esoteric < 1330533565 578427 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`welcome sampero < 1330533574 823312 :HackEgo!codu@codu.org PRIVMSG #esoteric :sampero: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page < 1330533820 281272 :sampero!~solinas.o@host188-82-dynamic.16-87-r.retail.telecomitalia.it QUIT : < 1330533831 919229 :Friendship!codu@codu.org PRIVMSG #esoteric :That worked. < 1330533924 817464 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You even made em quit, not just part, so it double-worked. < 1330534223 198882 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://esolangs.org/wiki/Collatz_function The wiki really wants , doesn't it. < 1330534316 626375 :Friendship!codu@codu.org PRIVMSG #esoteric :elliott: If only it had zzo's TeX renderer *sigh* < 1330534412 279219 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I should add a whimp instruction to Beam < 1330534450 159072 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Unless someone has an idea how to detect if the flow was reversed and escape it < 1330534458 369229 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I don't think that is possible. < 1330534525 13415 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What would "whimp" do? < 1330534551 611521 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Whimper. < 1330534558 670830 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well < 1330534561 410679 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Quietly, in a corner. < 1330534566 292131 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'd call it the 'x' construction. < 1330534579 210538 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if the beam is coming from left change direction to down < 1330534587 316126 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if the beam is cominf from right, change direction to up < 1330534594 693714 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if the beam is coming from up/down don't do anything. < 1330534598 792017 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Sort of like speech recognition researchers do every night. < 1330534607 765156 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Fully aware of the futility of their life. < 1330534621 336346 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Which would enable it to detect if the control flow was reversed < 1330534626 936511 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and make things a lot easier. < 1330534643 171318 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Currently the only real practical way to write programs is to write them in brainfuck and transate it. < 1330534644 378400 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You could instead just have the "turn left/right 90 degrees" instructions. Though of course "whatever". < 1330534661 927791 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1330534662 114458 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's going to make the brainfuck translation real boring, though. < 1330534663 336879 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah < 1330534664 775498 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: YOU CAN'T DENY THE TRUTH < 1330534694 564748 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: I'm not going to even bother with the recursive "I'm not going to dignify that" stuff. < 1330534701 513065 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1330534726 241530 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Why? Because your speech recognition software's stack would overflow? < 1330534762 74164 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :*LAA LAA LAA NOT DIGNIFYING LAA LAA* < 1330534784 348274 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Because then you can check for beam==0 < 1330534790 69193 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :without having to bother about the store < 1330534794 598345 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric : @boring < 1330534810 499219 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Which would make the translation rather boring, indeed. < 1330534896 448277 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Friendship: Hey how do you get a minimal LaTeX on Debian < 1330534907 425132 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The smallest thing I could get apt to consider was about 150 megs :( < 1330534922 236634 :Friendship!codu@codu.org PRIVMSG #esoteric :elliott: "Minimal" and "LaTeX" don't belong in the same sentence. < 1330534924 518566 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1330534970 830361 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Friendship: it was absolutely useless. Thanks < 1330535094 31925 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :friendship is not useless, friendship is magic < 1330535169 860296 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Need to get 32.7 MB of archives. < 1330535170 46802 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :After this operation, 73.8 MB of additional disk space will be used. < 1330535170 233628 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Do you want to continue [Y/n]? < 1330535177 294416 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, that's not so bad, once I --no-install-recommends. < 1330535187 746439 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I like how it depends on ed. < 1330535209 50189 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh wait, I also need OCaml. < 1330535810 935128 :MoALTz!~no@host-92-2-121-201.as43234.net JOIN :#esoteric < 1330535957 567736 :MoALTz__!~no@host-92-2-121-201.as43234.net QUIT :Ping timeout: 244 seconds < 1330536406 980477 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://fpaste.org/7hec/ <- whimp mode would allow this. < 1330536412 876210 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(which reverses stdin) < 1330536451 654424 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :-h < 1330536465 659631 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wimp like imp < 1330536870 75465 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but that's to wimpy < 1330536880 888837 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so I don't add that as a documented instruction :D < 1330536883 577165 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*too < 1330537049 191676 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The example looks codeflowistically awfully overcomplicated; I mean, why not just http://p.zem.fi/pehr or something. < 1330537075 985599 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://p.zem.fi/pehr.beam < 1330537080 354231 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :WHAT NOW < 1330537091 66859 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I must fix that at time T. < 1330537096 943634 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Shouldn't have dictated your code with Dragon NaturallySpeaking. < 1330537110 77926 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I was experimenting so I did not really care about codeflow < 1330537120 22394 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and yours loops forever < 1330537133 440287 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION thinks this whimp thing sounds boring. (Also is it meant to be "whimp" rather than "wimp"?) < 1330537151 23154 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :is whimp a real word? < 1330537183 398407 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mroman: Where does it loop forever? < 1330537221 214654 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :My code sets memory[0] to zero < 1330537222 385618 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Not... really: http://public.wsu.edu/~brians/errors/whimp.html < 1330537231 738141 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :since >`pn is basically looking for a zero cell < 1330537241 115664 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if it finds a zero cell, it terminates < 1330537252 306483 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you set memory[0] to whatever stdin[0] is. < 1330537260 995778 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which leads to an endless loop < 1330537293 296724 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, well, reorder the P and '; anyway. Also isn't >`pn looking for just cell where memory[i] == i? < 1330537304 887810 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yes < 1330537307 22531 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :my mistake < 1330537442 346073 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :testing for store == 0 is not really practical < 1330537463 124309 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :as ( ) both reverse the control flow which is not that useful because you can't escape that < 1330537505 380771 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :although with x that is possible < 1330537598 787791 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Beam sucks :( < 1330537616 291409 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It does? < 1330537630 92927 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It looks fun to me. < 1330537633 299916 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So it's some sort of a tractor beam then. < 1330537639 463427 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::) < 1330537649 42533 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :By the way, / and \ could do with some... word-based descriptions. < 1330537657 516095 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1330537658 208031 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1330537667 805651 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :entry angle = exit angle? < 1330537673 728381 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they work like mirrors < 1330537696 857693 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Couldn't you just say "rotates the beam n degrees"? < 1330537706 642042 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Uh, s/the beam/the control flow/. < 1330537719 866703 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yes. < 1330537732 142628 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :But I think those instructions are of no use anyway :) < 1330537758 195213 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's the spirit! Remove instructions instead of adding them :p < 1330537796 902657 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :The only working way to program is like the bf2beam.pl mechanism works < 1330537801 892632 :tzxn3!~tzxn3@cpc5-mapp3-0-0-cust464.12-4.cable.virginmedia.com JOIN :#esoteric < 1330537833 905495 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :as soon as you have to check beam == 0, store == 0 you're screwed ;) < 1330537842 245667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, you don't necessarily know it's the *only* way. :p < 1330537965 853800 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, and you can certainly *do* things with ? and !, just as long as the thing you're doing is doable in a ping-pong-loopy way. < 1330537988 295666 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :? and ! are useful instructions yes. < 1330538041 434055 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@ask oerjan Is ():^ TC when limited to a certain depth of textual nesting of ()s? < 1330538041 622435 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1330538282 143106 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oho < 1330538284 632984 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's looking good. < 1330538512 736814 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok. no. < 1330538743 473909 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Ping timeout: 276 seconds < 1330538774 771833 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1330538785 132857 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I can store stdin in every odd cell. < 1330538855 436897 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :elliott: in addition to being my baby nephew, you are now an alien. < 1330538943 184733 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Ah. < 1330538975 498520 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@ask oerjan What about when the total number of ()s is limited? < 1330538975 687310 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1330538976 639340 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hoho < 1330539316 821698 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://fpaste.org/V9nx/raw/ < 1330539320 834013 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- reverses stdin < 1330539323 850739 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but never terminates :D < 1330539331 183463 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pretty < 1330539759 449239 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Dammit, prgmr want my money. < 1330539769 620516 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://fpaste.org/qpxo/raw/ <- and there it is < 1330539774 698747 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :terminating! < 1330539840 520741 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the ? maybe useless there < 1330539865 494659 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is that with whimp or without? < 1330539872 501713 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :without of course. < 1330539907 976580 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah. < 1330539910 869111 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the ? is a nop there < 1330540056 811034 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://fpaste.org/8xu0/raw/ <- cleaned up < 1330540081 926263 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :So. It is totally possible to write beam programs without bf2beam but sucks like hell :D < 1330540096 984432 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1330540102 781765 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :happy australian mailman mailing list reminders day! < 1330540110 688948 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that << is redundant maybe < 1330540155 641205 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yes < 1330540171 998851 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :My version was http://p.zem.fi/u8ld < 1330540261 750248 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Nice. < 1330540308 251514 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(`) < 1330540331 571517 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's the same as >`) if you prepare the store to be even/odd < 1330540336 623099 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :right? < 1330540379 83267 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, it could be >`) there. I just used (`) since it's what I had in that bf2beam, and it looks sort-of more symmetric. < 1330540406 169756 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's never going to go left anyway. < 1330540423 443858 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's still quite a lot of rolling the store around. < 1330540465 309032 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1330540481 620672 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yours runs in 4068 cycle with my test stdin < 1330540548 347696 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :mine runs in 4319 cycles. < 1330540561 580198 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Nice job. < 1330540588 333687 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Fastarr. < 1330540610 489538 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :May I add your version also to the wikipage? < 1330540635 657675 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sure, sure. Though it's not really very different. < 1330540667 947375 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :your output loop runs faster. < 1330540690 105093 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :H(`p@p`)H is probably faster than my circular loop < 1330540969 2669 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://p.zem.fi/roto <- this version might be even faster, since it doesn't need to roll the store to 0 and back. < 1330541015 167401 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wow < 1330541018 660050 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :316 Cycles. < 1330541069 542745 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :0 CYCLES < 1330541097 714244 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Hey, are you [[User:fizzie]] or [[User:Fizzie]]? < 1330541183 793324 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mroman: You can also write it a bit more compactly if you "bend" the vertical bit, as in http://p.zem.fi/lggf -- though that's probably a tiny bit slower since it has the \. < 1330541196 889147 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: I don't really know. I think I might have an "F" there for some reason. < 1330541223 888028 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Well, yes, MW enforces that. But I can link to you as the lowercase version, if you want. < 1330541230 118447 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: 342. It's a little bit slower, yes. < 1330541285 181335 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: Oh. Well, I don't know, if the uppercased is the "official"-by-MW one, that one's fine too. (After all, I was in fact "Fizzie" once in IRC too.) < 1330541333 708266 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that is pretty darn clever. < 1330541346 937760 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Well, it's not really official, in that [[User:fizzie]] works just fine and you can put {{lowercase}} on a page to make it show that way. But I'll go for the capital F then. < 1330541381 691751 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Would you prefer to be written in Beam? (No, I'm not planning a rewrite.) < 1330541382 15388 :fungot!~fungot@a91-152-37-146.elisa-laajakaista.fi PRIVMSG #esoteric :fizzie: so you want to do is press the keys, relaxed. apart from that < 1330541452 273034 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1330541486 818268 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Oh, I see you linked yourself as F on the page itself. < 1330541591 354288 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Mmmaybe. I probably didn't think the lowercase would work. But I don't hold that firm onions on the spelling. < 1330541630 598703 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Graue linked to me as [[User:Ehird]] and it hurt. :( < 1330541745 254338 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm going to change unknown computional class to turing-complete for Beam. < 1330541769 432396 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*computational < 1330541778 155855 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That seems reasonabible, given fizzie's conversator. < 1330541786 217502 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Aaargh, his typos are infecting me again. < 1330541843 936909 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm not a native speaker, I have an excuse! < 1330541910 988263 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No, I mean fizzie's. < 1330541922 738219 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Whenever he talks I start talking like him. < 1330541967 369417 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I speak the king's standomatic English, don't be all flubflub about it. < 1330541974 560022 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :hmm, I fixed functions recursing to themselves using an ugly hack, but that hack does nothing to allow two mutually recursive functions (eval and apply, say) < 1330541991 749623 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: sounds like you have TRE but want TCO? < 1330541992 170481 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: sounds like you have TRE but want TCO? < 1330541994 543095 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oops. < 1330541998 541163 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh well, a few more times, then. < 1330541999 498475 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: sounds like you have TRE but want TCO? < 1330541999 948808 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: sounds like you have TRE but want TCO? < 1330542000 309546 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: sounds like you have TRE but want TCO? < 1330542003 596193 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :it's retardolisp < 1330542042 265488 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :standomatic? < 1330542051 435046 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's like standard, except more so. < 1330542056 128232 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :elliott: no, none of those, I'm talking about the basic ability to even call the function < 1330542067 120383 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman: (It's also not a word, to clarify.) < 1330542169 787388 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Hey fizzie, can I delegate the making of this esolang to you, now that I've thought of it? < 1330542253 524044 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 276 seconds < 1330542272 467526 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :I think I'll just go ahead and build a heap-like thing that I can pass around and mutate stuff inside < 1330542275 533516 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Probably not. I don't get things done. < 1330542309 107111 :Taneb!~Taneb@host-84-13-68-217.opaltelecom.net JOIN :#esoteric < 1330542314 765758 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: LIKE EDITING THE GRASP PAGE, EH < 1330542321 889950 :Taneb!~Taneb@host-84-13-68-217.opaltelecom.net PRIVMSG #esoteric :Hello! < 1330542416 191927 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Creys" -- fizzie < 1330542566 769583 :sebbu!~sebbu@ADijon-152-1-52-77.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1330542567 137611 :sebbu!~sebbu@ADijon-152-1-52-77.w83-194.abo.wanadoo.fr QUIT :Changing host < 1330542567 324113 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1330543210 281221 :augur!~augur@129.2.129.33 JOIN :#esoteric < 1330544178 15101 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mroman: Incidentally, if you wanted to wimp-mode things up without adding any instructions, you could just modify u/n to test "beam != mod(store,256)" instead of "beam != store". That would make the brainfuck aaa[bbb]ccc translation pretty trivial: < 1330544182 86272 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :aaa >Ln+Lp! bbb v> ccc < 1330544184 531040 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric : > ^ < 1330544187 24949 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric : ^ < < 1330544195 556096 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But it's of course a cheat as much as the x. < 1330544224 174846 :sebbu2!~sebbu@ADijon-152-1-52-77.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1330544224 493168 :sebbu2!~sebbu@ADijon-152-1-52-77.w83-194.abo.wanadoo.fr QUIT :Changing host < 1330544224 679702 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1330544425 251242 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 256 seconds < 1330544425 598743 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1330544508 423695 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :4jkgjior < 1330544684 254244 :Ngevd!~Taneb@host-84-13-91-172.opaltelecom.net JOIN :#esoteric < 1330544729 54838 :Taneb!~Taneb@host-84-13-68-217.opaltelecom.net QUIT :Ping timeout: 272 seconds < 1330544817 297622 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: Why @trivial < 1330544830 209292 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :to test for zero you have to set store to 256*n? < 1330544849 285707 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you'd use every 256th cell? < 1330544995 435557 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No, you can just do it like above. < 1330545030 607493 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Use Ln+Lp to do "come from left, go down if beam is zero, continue right if nonzero". < 1330545079 55025 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(After L, beam == mod(store,256) always so it won't go down when hitting the n from the left; after L+, beam != mod(store,256) always, so it will go down when hitting the n from the right.) < 1330545096 270185 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sorry, I mean Ln+Lp!, of course. < 1330545104 533327 :sebbu3!~sebbu@ADijon-152-1-52-77.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1330545104 720127 :sebbu3!~sebbu@ADijon-152-1-52-77.w83-194.abo.wanadoo.fr QUIT :Changing host < 1330545104 720304 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1330545156 231117 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :People argue about time paradixes and that stuff in [[Talk:TwoDucks]] esolang wiki article < 1330545162 985885 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :s/paradixes/paradoxes/ < 1330545168 492990 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yes @L < 1330545169 983749 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but < 1330545176 139895 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you wan't to test for beam == zero < 1330545222 133829 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1330545226 498382 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :interesting :) < 1330545295 662336 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :beam = (store % 256); if (beam != (store % 256)) { go down } < 1330545311 196346 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds < 1330545329 682392 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :beam++; beam = memory[store]; if(beam != 0) { reverse } < 1330545350 824233 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You missed the second L. < 1330545357 984397 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :After beam++. < 1330545375 427349 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :why do you increment beam if you just reload it an instruction later? < 1330545385 807920 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's for when we're going backwards. < 1330545412 155750 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The n+L bit, when hit from the right, will always go down on the n. < 1330545446 79711 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Since ((store % 256) + 1) != (store % 256). < 1330545451 128352 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Oh. < 1330545454 942061 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Now I see it. < 1330545498 355292 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That would enable one to detect reversing? < 1330545509 798105 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. < 1330545510 623378 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :In general. < 1330545517 174842 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Too cheaty ;) < 1330545612 489412 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :BeaWImP :D < 1330545860 755003 :Ngevd!~Taneb@host-84-13-91-172.opaltelecom.net NICK :Taneb < 1330545939 244208 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net PRIVMSG #esoteric :Salomé is weird < 1330545944 66504 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net PRIVMSG #esoteric :The play, that is < 1330545975 537522 :Friendship!codu@codu.org PRIVMSG #esoteric :Salami is weird. < 1330545980 13445 :Friendship!codu@codu.org PRIVMSG #esoteric :The sausage, that is. < 1330546216 403530 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Salade is weird. < 1330546221 289688 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The helmet, that is. < 1330546293 7294 :ion!ion@heh.fi PRIVMSG #esoteric :Salad Fingers is great. < 1330546481 55613 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net QUIT :Ping timeout: 265 seconds < 1330546667 341220 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1330546752 989142 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi oerjan < 1330546790 693910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages < 1330546790 917090 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott asked 2h 25m 47s ago: Is ():^ TC when limited to a certain depth of textual nesting of ()s? < 1330546791 103707 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott asked 2h 10m 13s ago: What about when the total number of ()s is limited? < 1330546793 347299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi < 1330546829 683578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to the first, i should think so since any given TM has a limit and there are universal TMs < 1330546835 240581 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :oerjan and elliott, synchronized at last < 1330546852 573406 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :well, temporarily at least < 1330546873 223131 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: approaching fancy-L, there < 1330546883 565006 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: Have you, or have you not, been swapped with an alien changeling thing? < 1330546895 292288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to the second, well you can do an arbitrary large unary with only :'s, so i think so < 1330546914 463057 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um s/TM/minsky machine/g < 1330546921 263507 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but i suppose you just need to prefix the program with (interp of another TM)*... < 1330546937 294881 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: if i have they did in a very amnesiac fashion < 1330546945 805699 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: O kay. It's just that I've heard rumours of an "oerjanswap". < 1330546971 927379 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*did it < 1330546986 43453 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: yes. i think ais523 invented that name. < 1330546999 289231 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in other news, i've been lately looking at Qdeql. < 1330547040 392415 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you think it's TC? :P < 1330547049 169223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YOU KNOW ME TOO WELL < 1330547186 765978 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(that's a yes.) < 1330547273 544470 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I gathered. < 1330547371 434606 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i was going for finite length tape brainfuck but i've suddenly seen that a tape of bytes may not be much harder... < 1330547466 254812 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: my idea about :()^ was that, you could fix the structure < 1330547477 293857 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in that, if a certain fixed structure of ()s suffices for TCness, you don't actually need the ()s < 1330547485 803502 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so it could be "tarpitted" in a way < 1330547497 332983 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(and the result might be useful for proving languages TC, since it's so simple) < 1330547539 852874 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1330547549 296702 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1330547717 353721 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no seriously, what < 1330547718 804250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure if what you're saying is trivial or not :P < 1330547824 224315 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't know what you mean < 1330547938 299580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i mean that you have not actually described your idea < 1330547963 332327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or maybe i should read the logs < 1330547977 804220 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well the idea wasn't complete, obviously... < 1330547987 857393 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I just meant that if :()^ with a fixed structure of ()s < 1330547988 469131 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. < 1330547994 440996 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(hole(hole)hole)hole or whatever < 1330547998 408539 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :was TC, then you could omit the structure entirely < 1330548000 659988 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hole/hole/hole/hole < 1330548014 577982 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and maybe it could be simple enough to end up as a tarpit (so you could have a much simpler structure than fully-nested parens and the like) < 1330548020 860310 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which would make it useful for proving ultra-simple languages TC < 1330548022 596364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how could you do that. < 1330548064 650505 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...excuse me for thinking about an idea before i have every single concrete detail down. < 1330548072 652696 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1330548077 222379 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i'll make sure to have a full program skeleton next time < 1330548078 368623 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sheesh < 1330548109 309326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just that it seems to me that such a thing would be very hard to do without a and * < 1330548130 865666 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what, why? < 1330548190 931385 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because one of the properties of :()^ is that you cannot really get below the upper element without destroying it. in particular, you cannot copy more than one element on the stack. < 1330548196 681069 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net JOIN :#esoteric < 1330548207 400816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*top element < 1330548233 880539 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't think you understand my idea < 1330548241 807627 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well naturally not. < 1330548248 248510 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's simply to fix the nesting structure of the ()s < 1330548259 893237 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :say you can translate every TM to something of the form < 1330548267 61924 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(anything)(anything(anything))anything < 1330548271 82278 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :where anything isn't allowed to contain ()s < 1330548274 852307 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(and is a different anything each time, obviously) < 1330548278 500006 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :then you don't actually need to include the ()s < 1330548284 82040 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can encode it as [anything,anything,anything,anything] < 1330548288 642053 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh, so it's just a different syntax? < 1330548289 221967 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which removes nesting from the program structure < 1330548303 861999 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well yes, but the idea would be to make it so that you can implement it without actually caring about the nesting... < 1330548320 802690 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the point is that :()^ is very close to something like BCT in terms of how simple its operations are < 1330548330 86325 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :except for requiring the juggling of nesting < 1330548331 117257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well fine, you're welcome to try. < 1330548562 795045 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :chickenz: How are you coming along with the python interpreter? < 1330548619 320796 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1330548683 938051 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1330548702 827162 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi people < 1330548706 171359 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hey persons < 1330548715 640913 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1330548741 771215 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've been learning OCaml polymorphic variants < 1330548760 883276 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which are about halfway to Anarchy, and thus cut out about half the boilerplate in compilers < 1330548763 957266 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :while improving type safety < 1330548766 500789 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's nice < 1330548801 52343 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, I've been trying them out on typed Underload, it really demonstrates exactly what OCaml's type system's deficiencies are < 1330548846 415524 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :happy australian mailman mailing list reminders day! < 1330548857 694014 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :beat you to it < 1330548860 5376 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What are those deficiencies? < 1330548913 549470 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: let x = q(4) in x // x doesn't do the same thing as q(4) // q(4) < 1330548950 543557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(q(4) does the same thing as (4) in Underload, it's just in a different syntax) < 1330548955 260745 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: because of strictness? < 1330548965 457339 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: because the first requires both 4s to be pushed onto the same type of stack < 1330548966 956770 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can't expect that property in a strict languae < 1330548970 78536 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*language < 1330548973 595390 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net JOIN :#esoteric < 1330548976 832112 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: oh, that's not really a deficiency < 1330548981 195700 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which thus constrains the stack to be made entirely out of ints < 1330548984 741199 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net PRIVMSG #esoteric :Hello < 1330548986 225245 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: realise that the same applies to lambda parameters < 1330548991 440086 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(\x -> x // x) (q(4)) < 1330548993 379419 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: that's a deficiency too! < 1330549008 466473 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: i believe you will find fixing that makes the whole thing undecidable. < 1330549014 656872 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan wrote something about that once iirc. < 1330549020 720186 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, interesting < 1330549118 469235 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: that is your cue to link to it. < 1330549203 885150 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net PRIVMSG #esoteric :The people designing Windows must have thought: "Who has customers that we don't!? Oooh, some people use Ubuntu! Why are they successful... hmm, they just changed there default GUI and made it weird! We can do that /even better/" < 1330549212 558561 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: I thought you might be able to make it decidable by, rather than working out the types in the abstract, working them out on demand < 1330549239 517798 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: I consider the whole Gnome 3 / Unity / Windows 8 fiasco as proof that Windows not only copies Linux distributions' good ideas, but also their bad ideas < 1330549254 127577 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: yes, that is called dynamic typing < 1330549266 465810 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: but calculated at compile time < 1330549278 963114 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this clearly works with dynamic typing, the challenge is to make it work with static typing too < 1330549280 826514 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :true, it probably works if you make it a contradiction < 1330549350 970831 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Minix 3.2 released? people are still working on that? < 1330549358 656708 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(main change: they replaced their userland with BSD's) < 1330549374 602471 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i don't think i wrote anything major, but it did come up regarding Chris Diggins's Cat language. iirc it's undecidable to determine whether a set of word concatenation equations are solvable, which is what you need to type a stack language flexibly. < 1330549454 599117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think cdiggins decided to make Cat less polymorphic to avoid that quagmire. < 1330549471 834404 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i was referring to your SO answer < 1330549476 523485 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i believe < 1330549537 853409 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh that was for lambda calculus. and the undecidability is just an obvious detail (because getting that kind of type for a term proves it halts.) < 1330549591 939762 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, but ais523 is talking about ML. < 1330549595 27857 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so lambda calculus is relevant < 1330549623 513375 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well yes. but the word problem is much more directly relevant to why stacks mess things up. < 1330549629 88820 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :he is complaining that "let x = y in e" is not the same as e[x := y] < 1330549631 467721 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, Anarchy isn't ML, I've just been using OCaml and Haskell to try it out < 1330549636 352496 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because x is forced to have the same type for all uses in e < 1330549646 298601 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so he's not really talking about stacks. < 1330549653 672745 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :except that he's using some stack combinators he made to complain about it < 1330549654 151880 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, indeed < 1330549659 431996 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :stacks are just one possible application < 1330549664 738698 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they're not even the main one < 1330549672 743299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: actually let x = y in e _is_ the same as e[x := y]. it's not the same as (\x -> e) y, though. < 1330549698 467303 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc < 1330549703 632779 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well not in OCaml. < 1330549707 510790 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: oh, I was referring to the usual desugaring of let in terms of lambdas < 1330549715 9980 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I think that's true for Haskell, though < 1330549719 181522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: hm doesn't ocaml let give polymorphism? < 1330549720 938946 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I think OCaml does that too, either explicitly or effectively < 1330549730 955593 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: note that recent GHC don't generalise let by default nowadays < 1330549732 276602 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*GHCs < 1330549737 638586 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: it gives the '_a types that collapse when you use them once < 1330549745 95346 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you don't specify an argument < 1330549757 621528 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think let x eta = y eta in e gives you a polymorphic let < 1330549770 572920 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've been adding etas all over the place for that reason < 1330549788 262398 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :so any ppl here from spain? < 1330549802 709576 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i'm having this conference next week there < 1330549812 356888 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's sort of a point of hindley-milner, and my "iirc" is that its let polymorphism gives precisely the same typing as substituting the definition at every use. i vaguely think recursion may mess that up though. < 1330549821 691755 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+damas- < 1330549836 27359 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i will buy a beer to anyone who shows up and gives sufficient proof of #eso regularity < 1330549864 115538 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oerjan: oerjanswap is awesome < 1330549881 987085 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net PRIVMSG #esoteric :oklopol, what's the conference on? < 1330549884 142385 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: IIRC damas-milner is the inference algo, hindley-milner is the type system, right? < 1330549894 826819 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: hm not sure. < 1330549897 352814 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :"iirc it's undecidable to determine whether a set of word concatenation equations are solvable, which is what you need to type a stack language flexibly." actually that's solvable < 1330549908 727653 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :but we can't actually give the solutions < 1330549923 537787 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :Taneb: http://grammars.grlmc.com/lata2012/Program.php < 1330549927 751002 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I thought it was just NP-hard, rather than unsolvable < 1330549930 561372 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :it's on stuff < 1330549965 42041 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: "The origin of this algorithm is the type inference algorithm for the simply typed lambda calculus, which was devised by Haskell Curry and Robert Feys in 1958. In 1969 J. Roger Hindley extended this work and proved that their algorithm always inferred the most general type. In 1978 Robin Milner,[2] independently of Hindley's work, provided an equivalent algorithm, Algorithm W. In 1982 Luis Damas[1] finally proved that Milner's algorithm i < 1330549965 254680 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s complete and extended it to support systems with polymorphic references." < 1330549971 505195 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner)" < 1330549980 87720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: anyway i think your idea of solving types on demand corresponds to keeping around such word equations as a (possibly undecidable) constraint problem. < 1330550001 753951 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: hmm, seems about right < 1330550015 374618 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, I'd be very surprised if Anarchy's type system /were/ generally decidable, you'd expect it to be TC < 1330550027 629582 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what's more important is being decidable when it's actually used in practice < 1330550047 955518 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I love it when I use the compiler in a way ais523 doesn't expect me to, and the compiler loops forever. < 1330550069 148655 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: can you or can't you do infinite loops in the type system in Haskell or C++? < 1330550078 520548 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Anarchy's type system is /more/ powerful than those, so you'd expect it to have the same property < 1330550091 786193 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : stacks are just one possible application <-- hm ok < 1330550130 446974 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: No, and I don't know. < 1330550148 197752 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: note that recent GHC don't generalise let by default nowadays <-- only when certain extensions are in effect iirc < 1330550152 929956 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can embed lambda calculus in Haskell's type system, can't you? < 1330550164 239578 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: no < 1330550168 971249 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :by default < 1330550173 765522 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: No. < 1330550186 697487 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :http://books.google.fi/books?id=x3P0fb8GMyYC&pg=PA44&lpg=PA44&dq=makanin+1976&source=bl&ots=8FLRGaXetI&sig=2jHBYF_uDGrtdsBY0TuLZ52mdl8&hl=fi&sa=X&ei=hZVOT-bLENOK4gTPyNjuAg&ved=0CB4Q6AEwAA#v=onepage&q=makanin%201976&f=false < 1330550191 417541 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oerjan: ^ < 1330550192 972297 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1330550201 7387 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I thought lc has no type system. < 1330550217 194882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: it gives the '_a types that collapse when you use them once <-- oh right, the value restriction (only slightly similar to haskell's monomorphism restriction) < 1330550219 34592 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: right, untyped LC doesn't, but that doesn't mean you can't use a type system to implement it < 1330550237 283897 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Ah. That way. Ok. < 1330550268 34462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: oerjanswap is awesome <-- thanks < 1330550280 289318 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I should see if I can work out exactly why :> exists in OCaml < 1330550285 101199 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :something to do with soundness of the type system < 1330550331 630525 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net PRIVMSG #esoteric :oerjanswap? < 1330550340 212260 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: click oklopol's link btw < 1330550342 627126 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : but we can't actually give the solutions <-- oh. well i guess you don't need the solutions just to prove it's safe to run a program. < 1330550345 994163 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :and apparently the problem is known to be in PSPACE as of 2004, this i was not familiar with < 1330550363 639206 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :elliott: why would he not see my link_ < 1330550364 741960 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :? < 1330550367 130732 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh you're up in the backlog < 1330550404 850143 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: < 1330550415 575733 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :we did the case where each variable occurs at most twice on a course, but i think makanin's result is considered rather deep < 1330550417 910093 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aa((!((aa)(!))))*:*^!**^a*^a*aa*(*:*^!**^)*^ < 1330550418 288093 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i haven't read it < 1330550473 634931 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :lol i just noticed the guy who wrote that chapter also gave the course i was on :D < 1330550497 302171 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :(he's a famous word equationist) < 1330550538 608119 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : by default <-- erm http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#mono-local-binds disagrees. < 1330550556 614850 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or is that _very_ recent. < 1330550624 205762 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :huh. < 1330550627 953678 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Here's the rule. With -XMonoLocalBinds (the default), a binding without a type signature is generalised only if all its free variables are closed." < 1330550629 585001 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-- http://hackage.haskell.org/trac/ghc/blog/LetGeneralisationInGhc7 < 1330550648 127223 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so what exactly is the monomorphism restriction in Haskell? < 1330550656 585262 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :so will no one come to spain with me? < 1330550659 872159 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric ::( < 1330550669 652863 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: top-level bindings with no arguments are forced to have a monomorphic type < 1330550675 748915 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :to? < 1330550689 122984 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: see http://www.haskell.org/onlinereport/decls.html#sect4.5.5 < 1330550693 892952 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: hmm, OK, that's pretty much exactly the same as OCaml < 1330550700 396387 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :"to?"? < 1330550700 664054 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can work around it simply via eta expansion, right? < 1330550715 206744 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and unlike in OCaml, eta-expansion doesn't even change the meaning of a program in Haskell) < 1330550715 736505 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: click oklopol's link btw <-- the abstract looks speculative. (also i don't feel like reading the rest.) < 1330550724 345987 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: I have a reasonably strong belief that there's LC (as well as direct Turing machine simulators) done in C++ templates. Of course most compilers tend to run into some template recursion depth limits in practice. < 1330550734 341399 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: you can work around it just by specifying a type signature < 1330550735 945215 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oerjan: just the specific place i link < 1330550741 754629 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: and no, eta-expansion changes meaning in haskell < 1330550753 78580 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, even on things with function types? < 1330550757 578296 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: yes < 1330550758 183512 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(obviously you can't eta-expand arbitrary types) < 1330550760 3994 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :seq undefined () < 1330550762 855531 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, because of _|_ < 1330550763 831019 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :seq (\() -> undefined) () < 1330550775 468388 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oklopol: To spain to what? < 1330550778 389600 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I am having an increasing urge to make Anarchy total < 1330550787 534125 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :mroman: to have a beer with me < 1330550793 141362 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: you don't need totality to fix that. < 1330550794 174634 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oerjan: also what abstract? :D < 1330550797 952742 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it really doesn't need to be able to do infinite loops, and totality makes things so much simpler < 1330550802 273470 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: right, it'd be to fix other things too < 1330550819 814495 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've just sat through several weeks of seminars on when exactly eta-expansion works and when it doesn't < 1330550824 77970 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What is this Anarchy? < 1330550833 895074 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: note that haskell 1.4 did not have this issue. < 1330550868 949714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oklopol: oh wait i read the abstract for the first article. that thing is too long to even _find_ what article you really wanted me to see. < 1330550877 39079 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, it's because seq combined with _|_ together expose the concept of how far something's been forced < 1330550895 247781 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: what < 1330550899 87952 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's nonsense < 1330550905 297903 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also please stop trying to make me use my brain, i have a headache and i need to eat WAAAAAAAAAAAAAAA < 1330550910 461506 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oerjan: doesn't it directly give you the line that states the relevant result? < 1330550914 717865 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: it does for me. < 1330550919 391344 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net PRIVMSG #esoteric : What is this Anarchy? <-- I want to know too, ais523 < 1330550921 257038 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan uses a shitty browser though so maybe it's broken for him < 1330550925 119482 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :also see Problem 4, what the fuck >D < 1330550933 600113 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: basically, WIP language, arguably esolang, arguably serious < 1330550935 826607 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i will so solve that tomorrow < 1330550936 881296 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is designed for writing compilers < 1330550945 420292 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net PRIVMSG #esoteric :Link? < 1330550949 70424 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and has a static type system that's designed to allow you to do as much as possible < 1330550952 915499 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and no link, it's a WIP < 1330550962 113753 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oerjan: page 44 < 1330550963 60144 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net PRIVMSG #esoteric :Ah < 1330550964 40484 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's half sugar, half crazy typing < 1330550967 777448 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the fix is simply < 1330550972 8301 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I have an Anarchy program open atm, I'll paste it < 1330550975 410289 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :class Eval a where seq :: a -> b -> b < 1330551013 982184 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :http://sprunge.us/iQMG < 1330551091 431539 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :note: I am far from certain that "let compose a = | _ -> (compose_lambda a)" is correct < 1330551095 405204 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I need to think about it more < 1330551107 561539 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that program is unreadable < 1330551140 507701 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : elliott: hmm, OK, that's pretty much exactly the same as OCaml <-- um the haskell version only applies when there are _type class_ constraints. this is because such constraints are essentially passed as hidden dictionary parameters, and the report people decided they didn't want to let that happen stealthily because it makes values potentially unshared without a syntactic clue. < 1330551147 549784 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think it possibly actually should be "let compose a = | _ -> _ = (compose_lambda a _)", which would require a syntax extension < 1330551193 495041 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(the current code is equivalent to "let compose a = | _ -> _ = (compose_lambda a) _", which looks the same to people who are used to the existence of currying, but Anarchy doesn't do currying) < 1330551195 101583 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (and unlike in OCaml, eta-expansion doesn't even change the meaning of a program in Haskell) <-- except if you use seq. < 1330551210 194846 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: right, elliott corrected me on that already < 1330551228 928022 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: what don't you like about it? I already changed the parser to allow = | to be sugared into just = < 1330551301 799853 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: just the specific place i link <-- oh hm. this _might_ be hitting a bug i've sometimes seen where IE doesn't find link anchors in large documents. < 1330551333 110021 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just unfamiliarity? < 1330551348 19319 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so far, wrt implementing Anarchy, I have just a parser < 1330551354 134599 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I've been compiling it to OCaml and Haskell by hand < 1330551402 281551 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one nice thing I discovered is that it's possible to retrofit polymorphic variants onto statically-typed languages that don't have them, so long as they have first-class functions and tuples < 1330551416 580846 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: google docs overrides the anchor-handling with js anyway i would assume < 1330551418 233825 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: page 44 <-- ok, found it < 1330551426 853762 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I have written some idea too, about some programming language codenamed "Ibtlfmm", where the type system includes implementation of mathematical laws of classes < 1330551433 304714 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : elliott: hmm, OK, that's pretty much exactly the same as OCaml <-- um the haskell version only applies when there are _type class_ constraints. this is because such constraints are essentially passed as hidden dictionary parameters, and the report people decided they didn't want to let that happen stealthily because it makes values potentially unshared without a syntactic clue. < 1330551436 514304 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: untrue. < 1330551440 914208 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :foo = undefined < 1330551443 955514 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :will be defaulted to () < 1330551444 750526 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i believe < 1330551451 879253 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : elliott: what don't you like about it? I already changed the parser to allow = | to be sugared into just = < 1330551454 114324 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's impossible to scan < 1330551463 618686 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's easier than Haskell! < 1330551469 217360 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, it's not < 1330551473 508055 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also, "(f a) b" is hideous < 1330551478 168230 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1330551483 761989 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: it's for clarity < 1330551487 28306 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's ugly < 1330551491 143085 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1330551500 195641 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :What's ais523 doing? < 1330551502 599619 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :let compose a = | _ -> (compose_lambda a) < 1330551502 786479 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that can't be for clarity, that's just nonsense < 1330551515 33028 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: that's already the line I said I thought was wrong < 1330551521 686802 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net PRIVMSG #esoteric :Phantom_Hoover, making a semi-esoteric language for constructing compilers < 1330551526 964583 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ignore that one < 1330551531 868042 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it parses, but I think it means the wrong thing < 1330551536 744406 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1330551545 690137 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1330551556 643785 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, I'm considering allowing "| _ ->" to be sugared out entirely if it's the only term, but I think that might be more confusing than useful < 1330551575 97079 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it would be a lot more readable if you put the multi-clause definitions on to multiple lines < 1330551586 670642 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1330551586 995132 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep, nothing stopping you putting newlines there if you like < 1330551600 289967 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's only one multiple-clause definition there, though < 1330551601 930783 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, but you didn't < 1330551605 919000 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(emptycheck) < 1330551616 175572 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: how is this a criticism of the language? < 1330551659 452493 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net PRIVMSG #esoteric :Well, goodnight < 1330551660 813773 :Taneb!~Taneb@host-84-13-91-172.opaltelecom.net QUIT :Quit: Goodbye < 1330551687 308546 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: i don't recall saying "this language is unreadable" < 1330551699 293153 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, OK < 1330551710 936556 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shall I put some newlines in logical places and see if you think it looks any better? < 1330551738 366655 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :perhaps. by multiple clause I actually meant "containing a semicolon" < 1330551814 154974 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm newlining those too < 1330551854 831315 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you know what? I'm going to add new syntax for closure creation, it's too confusing without it < 1330551904 592852 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :http://sprunge.us/diPZ < 1330551953 743112 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :needs blank lines between definitions < 1330551955 892322 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but it's a lot better < 1330551959 337165 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : "Here's the rule. With -XMonoLocalBinds (the default), [...]" <-- i see that, but everything else on that page seems to disagree with the "(the default)". < 1330551968 163136 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yes, indeed < 1330552218 787150 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: anyway, I find the newlined version less readable because of the need for more vertical scrolling < 1330552269 84467 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: untrue. foo = undefined will be defaulted to () <-- no, i'm pretty sure that is wrong. < 1330552277 382252 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm < 1330552279 101671 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok < 1330552297 10655 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::t foo = undefined < 1330552297 258979 :derdon!~derdon@pD9E1C7DA.dip.t-dialin.net JOIN :#esoteric < 1330552297 732592 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :parse error on input `=' < 1330552301 692836 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1330552306 346527 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::define foo = undefined < 1330552313 376186 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@define foo = undefined < 1330552321 511450 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :inb4 haskell is unusable! < 1330552329 725455 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: nah, this is just a lambdabot thing < 1330552352 8802 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Prelude> let foo = undefined < 1330552352 983311 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hint: it uses the same syntax as haskell < 1330552353 378107 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Prelude> :t foo < 1330552354 674005 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :foo :: a < 1330552363 214039 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :GHCi is unreliable < 1330552367 867326 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in that it uses different defaulting rules < 1330552405 39093 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@let foo = undefined < 1330552406 47604 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Defined. < 1330552409 305126 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::t foo < 1330552410 20513 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. a < 1330552413 486047 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lambdabot is unreliable too. < 1330552418 121017 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it uses several extensions < 1330552422 39579 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :indeed < 1330552442 815424 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Prelude> foo foo < 1330552443 959780 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*** Exception: Prelude.undefined < 1330552445 595423 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :interesting < 1330552481 516545 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::t \x -> x x < 1330552482 265983 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: t = t -> t1 < 1330552482 453790 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Probable cause: `x' is applied to too many arguments < 1330552482 640387 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In the expression: x x < 1330552487 447184 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::t let x = undefined in x x < 1330552488 184303 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall t. t < 1330552507 866090 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm getting the same result in ghci < 1330552514 95639 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed foo foo cannot possibly type in haskell unless foo is polymorphic < 1330552518 439940 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although I can agree that neither might be reliable < 1330552528 657875 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: that's why I'm using it as a test of polymorphism < 1330552530 95145 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, let x = undefined in x x works < 1330552532 747136 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: i think to satisfy elliott you need to put foo = undefined in a module. < 1330552631 470550 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm not sure you remember the part where i conceded. < 1330552634 954280 :ion!ion@heh.fi PRIVMSG #esoteric :Hmm, how *does* the “x x” work? What’s the inferred type of x in that case? < 1330552642 337064 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: forall a. a < 1330552649 547698 :ion!ion@heh.fi PRIVMSG #esoteric :@type let x = undefined in x `asTypeIn` \y -> y y < 1330552650 312413 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: a = a -> b < 1330552650 686108 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Probable cause: `y' is applied to too many arguments < 1330552650 686212 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : In the expression: y y < 1330552659 307126 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ion: a -> a for the first x and a for the second < 1330552684 145339 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::t asTypeIn < 1330552684 884998 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b. a -> (a -> b) -> a < 1330552704 631418 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I can't tell what that does from the type signature < 1330552723 247008 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t asTypeOf -- i think you mean this one < 1330552723 897211 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :asTypeIn = const < 1330552724 84149 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. a -> a -> a < 1330552727 523238 :ion!ion@heh.fi PRIVMSG #esoteric :> let f = show in f f < 1330552728 429067 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show (a -> GHC.Base.String) < 1330552728 617067 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising f... < 1330552795 739172 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so astypein asserts that its first argument is a valid argument to its second argument? < 1330552796 972916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> f (f :: Expr) :: Expr < 1330552797 851423 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : f f < 1330552801 777741 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then returns it? < 1330552807 450484 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there is no "assert" < 1330552818 539694 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :asTypeIn takes parameters as per its type signature. < 1330552822 452305 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it returns the first and ignores the second < 1330552830 703621 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle asTypeIn < 1330552831 139978 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1330552837 845872 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: I'm thinking along the lines of "static assertion" < 1330552839 909703 :ion!ion@heh.fi PRIVMSG #esoteric :@src asTypeIn < 1330552840 97990 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :a `asTypeIn` f = a where _ = f a < 1330552840 286832 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :infixl 0 `asTypeIn` < 1330552843 989785 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :i.e. forcing something to be true at compile time < 1330552850 919790 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :all type annotations are those, but it's a more general term < 1330552851 148909 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: it is not used as an assertion, it is used for unification < 1330552879 690145 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, err, right < 1330552885 846869 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I keep forgetting that compilers aren't sufficiently smart yet < 1330552906 404852 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1330552946 54287 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gah, seriously, you consider this newlined Anarchy program more readable than the original? < 1330552961 170482 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can hardly read it, not dense enough, and it moves too much vertically < 1330552963 436526 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let me try something else < 1330552972 13472 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: it's not readable, no < 1330552977 464369 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it still needs the newlines between definitions which you did not add < 1330553115 586562 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that'd be even worse! < 1330553118 57656 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OK, here we go: http://sprunge.us/MdUD < 1330553127 589576 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :using horizontal rather than vertical whitespace < 1330553256 672054 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's no way that program's more readable if it takes up an entire two vertical screenfuls < 1330553258 592433 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :less readable than the original < 1330553260 790818 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's not a spreadsheet. < 1330553263 201315 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as you have to keep scrolling to see it at all < 1330553285 211845 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :probably needs more space around the -> < 1330553290 16182 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but apart from that, I like this syntax < 1330553294 562424 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, this spacing < 1330553318 40967 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION is coming to think that elliott's and eir own spacing preferences, for things in general not just programming languages, are fundamentally incompatible < 1330553344 819715 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the problem is that you're wrong about everything and I'm right about everything < 1330553361 659124 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :EVERYTHING < 1330553409 505416 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oklopol: so what's your opinion on this formatting question? < 1330553467 284828 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :my opinion on everything atm is that i wonder whether finite nontrivial posets can be the language poset of a 2D SFT < 1330553529 974415 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i think it applies well enough here < 1330553562 52573 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :also i think both look nice < 1330553579 352038 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think that given that Anarchy doesn't do currying, I like explicitly doing "f ?" to mean "fun x -> f x" < 1330553703 648685 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how is that distinct from f? < 1330553766 894406 :Goosey!~Goose@cpe-72-178-49-126.elp.res.rr.com JOIN :#esoteric < 1330553835 511746 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: it isn't, but f might be an expression, that can't be directly returned without the ? < 1330553849 709592 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as in, the ? is explicitly marking that we're returning a closure < 1330553915 184039 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :normally if you mention a function in Anarchy, it gets applied to something < 1330553919 319573 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :normally _ < 1330554001 872703 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :back < 1330554014 874272 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, f differs from (fun x -> f x) because f can have side-effects < 1330554027 412573 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yet another dumb thing about impure languages < 1330554030 712327 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, I haven't thought about that yet < 1330554047 241603 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not even sure if Anarchy is pure or not; I have some impurities in the spec currently, but am thinking about changing it < 1330554077 873063 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION considers installing HTTPS Everywhere < 1330554084 27615 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: you have assignment < 1330554091 144162 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no I don't < 1330554099 474141 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric := in Anarchy is more like a let-binding < 1330554105 744627 :ion!ion@heh.fi PRIVMSG #esoteric :It’s liberating when *everything* is in unsafePerformIO! < 1330554107 964804 :tzxn3!~tzxn3@cpc5-mapp3-0-0-cust464.12-4.cable.virginmedia.com QUIT :Read error: Connection reset by peer < 1330554117 501895 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you see "b = x", read it as "let b = x in" < 1330554127 848777 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then put a copy of the original pattern at the end of the line < 1330554185 813201 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you can read replace_head as "replace_head x u = match u with E _ b -> let b2 = x in E _ b2" < 1330554202 511164 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I renamed one of the bs to show that they're different variables) < 1330554271 308117 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why do people look at an = in a language and assume it's assignment? < 1330554279 949209 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :arguably it's SSA, but that ofc isn't impure < 1330554283 524252 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Because it is in most languages? < 1330554336 936146 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not most Haskellish/OCamllish languages < 1330554342 85885 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in OCaml, = is binding, := is assignment < 1330554351 915426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and you'd expect Anarchy to be much the same, given the syntax resemblences < 1330554385 463442 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :In a basic, intuitive understanding, binding is pretty similar to assignment. < 1330554437 37514 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1330554440 77291 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but one's pure and the other isn't < 1330554470 931253 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: because it's not in the context of an obvious expression in your code < 1330554476 67898 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and you use imperative structures like ; < 1330554487 975931 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, OK < 1330554512 350367 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, there are a couple of effects I'm considering for Anarchy, name generation and constraining < 1330554520 965081 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but not assignment, it's too ugly < 1330554549 184026 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if name generation means a symbol u such that u never equals u, then that's gross :( < 1330554569 127555 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: it's more or less that, but that by itself is indeed gross < 1330554597 75369 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'd only add it if I could find a more controlled way to do it < 1330554644 665656 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what's constraining? < 1330554664 343009 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically, adding constraints to a constraint solver < 1330554669 793704 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and getting an exception if they're no longer satisfied < 1330554682 60403 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that doesn't sound impure to me, as long as the exception is at a high enough layer < 1330554687 449338 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. more like "no solutions" in Prolog than an error < 1330554689 283248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : well mine is how oerjan wanted it to be solved <-- my impression is that ais523 is concentrating on how i build my subroutine but oklopol on how i'm using it? < 1330554704 970338 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(re oerjanswap understanding discussion) < 1330554705 157073 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: it's no more impure than _|_ is < 1330554718 979010 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think, at least < 1330554720 719739 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i don't think so based on the discussion that followed < 1330554721 888478 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: well, it's impure if it can cause other code outside its scope to be _|_ when they wouldn't otherwise be < 1330554724 321821 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :since that breaks RT < 1330554733 10891 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :erm < 1330554737 56751 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right < 1330554738 198355 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: but if it's "constrain C in E" then it should be fine < 1330554748 85435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and not, IMO, an effect < 1330554756 261124 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :actually now that i recall the reverse-engineering of the subroutine, that does sound very similar to what ais said < 1330554762 516874 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :so yeah maybe < 1330554792 136498 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I was originally planning a C that worked outbound as well as inbound < 1330554795 337242 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it'd just be "constrain C" < 1330554804 33311 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which might or might not throw an exception < 1330554806 195788 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: outbound howso < 1330554815 824487 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the problem with that is that if you evaluate an expression before constrain C, it might be OK < 1330554819 285736 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but it might be an error afterwards < 1330554822 193548 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, indeed < 1330554826 726218 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which breaks RT, albeit in a way I think undetectable from the outside < 1330554827 688925 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and outbound in that it affects its callers too < 1330554830 708473 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :making it gross < 1330554834 973533 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what does RT stand for? < 1330554838 476797 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :referential transparency < 1330554841 362559 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right < 1330554848 52928 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :aka things not changing randomly from behind your back < 1330554875 18702 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, constrain C in E is obviously fine, you can convert it into an extra function parameter < 1330554911 127889 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it's just sugar around the ordinary LCish way of doing things < 1330554920 129186 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: that's OK if you add do-notation; then you can use Cont to recover nice syntax < 1330554923 616127 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(if you deeply nest them) < 1330554924 159633 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm just not convinced it's useful < 1330554940 398032 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :however < 1330554944 266995 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I am not sure "constrain C in E" is fine < 1330554952 4231 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it sounds like it breaks parametricity to me < 1330554953 877586 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because you can have < 1330554956 437586 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :foo :: forall a. a -> a < 1330554957 166589 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which does < 1330554961 423925 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :foo x = constrain C in x < 1330554964 766766 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :now, < 1330554967 5701 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@free id < 1330554967 800301 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :f . id = id . f < 1330554976 872206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :bleh, how useless < 1330554985 638080 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway point is < 1330554986 927869 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :foo =/= id < 1330554994 313380 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because foo x could = exception instead < 1330554997 708718 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which is not OK < 1330555006 699270 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've thought of a different way to do it, anyway, that's obviously fine; simply stick the constraints on the data structure you're operating on using metadata, then grab them all at once with '', then have a constraint-solving library function < 1330555010 21772 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ie you can observe things about values by wrapping them in constrain < 1330555014 603576 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1330555079 270019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote elliott: I'm not going to even bother with the recursive "I'm not going to dignify that" stuff. *LAA LAA LAA NOT DIGNIFYING LAA LAA* < 1330555083 75408 :HackEgo!codu@codu.org PRIVMSG #esoteric :812) elliott: I'm not going to even bother with the recursive "I'm not going to dignify that" stuff. *LAA LAA LAA NOT DIGNIFYING LAA LAA* < 1330555115 108684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1330555123 152424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`delquote 812 < 1330555127 213039 :HackEgo!codu@codu.org PRIVMSG #esoteric :​*poof* elliott: I'm not going to even bother with the recursive "I'm not going to dignify that" stuff. *LAA LAA LAA NOT DIGNIFYING LAA LAA* < 1330555138 868106 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote elliott: I'm not going to even bother with the recursive "I'm not going to dignify that" stuff. [...] *LAA LAA LAA NOT DIGNIFYING LAA LAA* < 1330555142 628401 :HackEgo!codu@codu.org PRIVMSG #esoteric :812) elliott: I'm not going to even bother with the recursive "I'm not going to dignify that" stuff. [...] *LAA LAA LAA NOT DIGNIFYING LAA LAA* < 1330555150 902162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote ... < 1330555154 607558 :HackEgo!codu@codu.org PRIVMSG #esoteric :1) I used computational linguistics to kill her. \ 2) EgoBot just opened a chat session with me to say "bork bork bork" \ 3) Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ 4) that's where I got it rocket launch facility gift shop \ 5) GKennethR: he should be told < 1330555165 340677 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote [[]... < 1330555168 661783 :HackEgo!codu@codu.org PRIVMSG #esoteric :39) [...] sometimes i cant get out of bed becasue the geometry of the sheet tangle is too fascinating from a topological perspective \ 81) [Warrigal] `addquote hahaha, Lawlabee is running windows 'cuz it's pretty awesome. [Lawlabee] Warrigal: :( \ 112) * augur rubs alise's bum [...] what? she said square ped :| \ 121) pikhq: from csh type ' exit', is a < 1330555198 379668 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :topology! < 1330555212 856426 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not entirely sure of the perfectly elliotic spacing of [...] < 1330555219 277198 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is < 1330555220 913183 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :have you heard the story about the set that was both open and closed < 1330555230 517072 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the [...] goes in-between the two spaces < 1330555236 870619 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :well he walked into a bar < 1330555248 74009 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oklopol: SORRY I CANTOR YA < 1330555258 385447 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I can think of quite a few punchlines to this, none of them good. < 1330555259 119447 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric ::DD < 1330555282 143123 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :Phantom_Hoover: working on it < 1330555288 233324 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :having similar results < 1330555298 101073 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Procedurally generated jokes? < 1330555311 150522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: yay i got it right then < 1330555399 152126 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :Phantom_Hoover: can you think of one that isn't a pun? < 1330555406 632146 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :puns are retarded < 1330555437 968482 :PiRSquared!~area@wikipedia/PiRSquared17 JOIN :#esoteric < 1330555467 951242 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I'm trying to remember that property that's equivalent to no sets but the empty set and the... full set(?) being clopen. < 1330555472 436125 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Maybe there's something in that? < 1330555483 7713 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(Hausdorff comes to mind, but I'm not sure it's it.) < 1330555499 515094 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :that's true in the reals < 1330555507 173172 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :hausdorff is not it < 1330555520 894189 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Hmm. < 1330555556 800814 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :you could probably state it using the term "zero-dimensional", but perhaps not directly, i'm still unsure what the usual definition is. < 1330555582 738968 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I recall it being something I understood pretty well, but since that basically restricts it to {Hausdorff, compact} I'm not sure I'm remembering reliably. < 1330555601 345435 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :hausdorff and compact doesn't imply that property < 1330555612 129429 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote < 1330555613 692017 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote < 1330555615 203831 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote < 1330555615 455838 :HackEgo!codu@codu.org PRIVMSG #esoteric :140) ais523: elf corpses are not considered expensive health food. but the most expensive. < 1330555616 541915 :HackEgo!codu@codu.org PRIVMSG #esoteric :111) use "grep --crazy" < 1330555616 755962 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote < 1330555617 928992 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Ohhhhh, it's connectedness. < 1330555618 115218 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote < 1330555619 391814 :HackEgo!codu@codu.org PRIVMSG #esoteric :353) Grr. Why does it exist? Why can't I kill it? < 1330555620 752950 :HackEgo!codu@codu.org PRIVMSG #esoteric :254) Deewiant: Did you take the course at some point and/or were you taking it now and/or did you actually already graduate and/or are you still in Otaniemi anyway? < 1330555623 340825 :sebbu3!~sebbu@unaffiliated/sebbu NICK :sebbu < 1330555626 594889 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :erm right >D < 1330555633 788726 :HackEgo!codu@codu.org PRIVMSG #esoteric :131) Gregor-P: I don't think lambda calculus is powerful enough < 1330555639 114348 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :well still, zero-dimensionality is relevant too < 1330555649 414441 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol, then the barman says "I'm not giving you a drink, you're in pieces!". < 1330555659 893106 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Wait that might be a pun. < 1330555661 117571 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think 111 is the worst there, possibly 131 < 1330555662 655523 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :other opinions? < 1330555665 159539 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Also terrible. < 1330555665 561337 :PiRSquared!~area@wikipedia/PiRSquared17 PRIVMSG #esoteric :`quote \bpun\b < 1330555669 13477 :HackEgo!codu@codu.org PRIVMSG #esoteric :790) elliott: to be honest, it doesn't exist in a state of almost perpetual stalemate, and expands to a larger board and more exotic collection of what he refers to as a thermal hull, instead of some kind of clock pun. no, dammit, will this breakfast injure his shrill, bearded, scraggly old men in space. jade's radioactive, omnipotent, space-warping dog named... < 1330555685 959574 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`delquote 111 < 1330555689 512167 :HackEgo!codu@codu.org PRIVMSG #esoteric :​*poof* use "grep --crazy" < 1330555739 226382 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Faster Javascript Through Category Theory (johnbender.us) < 1330555740 675494 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :FINALLY. < 1330555776 96711 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :Phantom_Hoover: i would prefer "i'm not giving you a drink, all sequences completely within you or outside you will have their limit points within you or outside you as well, respectively!". < 1330555799 89911 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol, it's snappier, I'll give you that. < 1330555801 675525 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yes < 1330555848 470692 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i should write a book called "funny math jokes hehe" < 1330556032 375812 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i guess i can safely give you a drink, since you're currently given continuous dynamics by R as you're in a three-dimensional bar, and thus the throw-up could never leave your body if it was too much for you < 1330556052 631267 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :now there's a punchline. < 1330556082 643096 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :well < 1330556146 445431 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :"i cannot give you a drink since, given that this bar is, like all the cool bars, a proper subset of R^3, you cannot have any points, so technically you're underage" < 1330556179 201814 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I'm trying to remember [...] <-- connected < 1330556183 935074 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :well dunno how old the empty set is < 1330556198 592805 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :IN MY DEFENSE, I PROBABLY HAVE A FEVER < 1330556313 682043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh no, the dreaded irc virus! < 1330556324 297172 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i knew my headache had to be something fatal. < 1330556333 794000 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i have been working home all week so i wouldn't kill everyone at the uni < 1330556784 644665 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So, about the alternating group on 4 elements. < 1330556807 577302 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Specifically, its presentation by two generators of order 3. < 1330556809 810401 :Goosey!~Goose@cpe-72-178-49-126.elp.res.rr.com QUIT :Ping timeout: 252 seconds < 1330556814 381568 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Good group, that. < 1330556849 988378 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nah it's not simple enough. < 1330556851 202968 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :How easily can you write a Thue program that takes an expression written using these generators and reduces it to a canonical form? < 1330556896 230308 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The substitution rules I want to use are these: aaa::= bbb::= ba::=aabb < 1330556900 961085 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Unfortunately, those rules don't actually work. < 1330556980 863393 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just include the whole multiplication table on canonical forms? < 1330557005 532529 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except for those that are equal before and after < 1330557006 817156 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Hm... that sounds like it should work. < 1330557013 726270 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :is that group generated by any two elements of order 3 that aren't powers of each other? < 1330557023 285510 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :erm < 1330557041 944032 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :oklopol: um... well, A_4 has order 12. What you're talking about sounds like it would be infinite. < 1330557054 550676 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :any two of its elements < 1330557074 856197 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol, the symmetric group? < 1330557089 589805 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i don't think a group of order 6 can be generated, but i don't directly see why < 1330557098 703960 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :Phantom_Hoover: ? < 1330557110 977268 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Or are you talking about tswett's thing? < 1330557111 366480 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A_4 has no subgroup of order 6. < 1330557115 211908 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oh < 1330557130 35197 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :in that case, any two elements of order three will generate it < 1330557144 84329 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :unless they generate the same subgroup < 1330557146 36939 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Right. That's why I mentioned its presentation by two generators of order 3. < 1330557154 440783 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm yes all pairs of such 3-order elements must have 2 common elements in their cycle. < 1330557163 430991 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :you didn't say it doesn't matter which two you choose < 1330557169 507219 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :True. < 1330557174 645747 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So, does anyone have a presentation of A_4 on hand? < 1330557194 874713 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oerjan: i was hoping for a higher-level argument < 1330557198 134330 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so all pairs must generate the same thing up to isomorphism < 1330557203 515868 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :hmm < 1330557205 706043 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oh < 1330557210 818692 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Ooh, the von Dyck group is apparently A_4. < 1330557226 728997 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Er, one specific von Dyck group is A_4. < 1330557242 494572 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Namely, the group generated by a, b, and c such that a^3 = b^3 = c^2 = abc = e. < 1330557253 21827 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ACTION remembers that he doesn't know as much group theory as he'd like, wishes he'd just hurry up and get to university. < 1330557254 942606 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :tswett: what you doing these days? < 1330557266 955101 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :oklopol: oh, I'm studying math at university. < 1330557273 739214 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :how old are you? < 1330557277 160064 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :19 now. < 1330557292 850053 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :any papers yet? < 1330557298 961693 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Nope. < 1330557312 59041 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :have you chosen your path? < 1330557327 81396 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I wrote an MO question that netted me 260 reputation, though. ^_^ < 1330557328 252084 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :will you do CA theory with me?!? < 1330557336 379071 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :what's that < 1330557346 734028 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I guess not. I'm planning to go into actuarial, or, if I find something that makes more money, that. < 1330557359 753450 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Mathoverflow? < 1330557361 604380 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oh i was assuming research < 1330557365 641908 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :link < 1330557371 461731 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :s/?/.net/ < 1330557374 4985 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tswett, you are, bad < 1330557392 274148 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I don't *think* research would make as much money as actuarial. < 1330557399 897250 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Phantom_Hoover: quiet, you, or I'll double your insurance premiums. < 1330557405 959547 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(My dad once saw Good Will Hunting and then he was like PH, you should totally work for the CIA.) < 1330557428 216861 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :actuarial will make make more money, but you would be useless < 1330557437 798689 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :|would < 1330557443 424558 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :*would < 1330557465 348231 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So, um, what does the corrected message look like? < 1330557470 934106 :augur!~augur@129.2.129.33 QUIT :Remote host closed the connection < 1330557483 660938 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :will to would < 1330557489 674623 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :ACTION nods. < 1330557505 376930 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I won't be useless if I donate a bunch of money to some awesome charity. < 1330557505 630798 :augur!~augur@129.2.129.33 JOIN :#esoteric < 1330557522 645050 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :the math charity perhaps? < 1330557550 507915 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :"sorry i couldn't come, but you all have fun up there, here take my money" < 1330557566 310443 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Suppose I make $300,000 and donate half of it to the Against Malaria Foundation. Boom: 75 lives saved every year. < 1330557582 151666 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yeah we need more people staying alive < 1330557593 534451 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Staying alive is nice. < 1330557610 537641 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :in the long run, yes < 1330557631 287397 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :right now, it would make more sense to kill some jews < 1330557653 973714 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Would it? < 1330557657 2038 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :figuratively speaking < 1330557662 419153 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Ah. < 1330557665 47768 :Friendship!codu@codu.org PRIVMSG #esoteric :`addquote right now, it would make more sense to kill some jews < 1330557668 126290 :HackEgo!codu@codu.org PRIVMSG #esoteric :812) right now, it would make more sense to kill some jews < 1330557751 516786 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`delquote 812 < 1330557754 649779 :HackEgo!codu@codu.org PRIVMSG #esoteric :​*poof* right now, it would make more sense to kill some jews < 1330557766 758093 :augur!~augur@129.2.129.33 QUIT :Ping timeout: 246 seconds < 1330557795 751855 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i don't know if i've even met a jew < 1330557796 571685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :censorship is magic < 1330557803 750719 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :elliott: why did you remove that? :D < 1330557817 2778 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oklopol: BECAUSE HOLOCAUST < 1330557821 226827 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it definitely wasn't funny without context < 1330557823 461713 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :really i would prefer the whole exchange < 1330557824 893082 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yeah < 1330557836 846798 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :"figuratively speaking" "ah." < 1330557842 922435 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: killing the juice! < 1330557848 321928 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Friendship: hey, are you Gregor? < 1330557855 497089 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Never mind, I figured it out instantly. < 1330557887 524287 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :(I love arrogant Homestuck quotes.) < 1330557893 832541 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :(But I only know of the one.) < 1330557910 453678 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :is it "Friendship: hey, are you Gregor?" < 1330557913 705770 :elliott!~elliott@unaffiliated/elliott PART #esoteric :"Leaving" < 1330557946 578617 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Nope. < 1330557962 243334 :Friendship!codu@codu.org PRIVMSG #esoteric :.......... < 1330557964 11509 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :seriously though, i'm worried about people destroying the earth, i'm a total hippie < 1330557964 197971 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Add one to that sentence, and you'll get what it is. < 1330557998 128138 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :Friendship: you're a jew, no? < 1330558005 788590 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I'm worried about people destroying Earth. But only where "destroying Earth" is interpreted loosely. < 1330558014 479404 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I'm not worried about people destroying, in a strict sense, Earth. < 1330558017 752796 :Friendship!codu@codu.org PRIVMSG #esoteric :oklopol: Depends on your definition. < 1330558026 341299 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1330558028 835436 :Friendship!codu@codu.org PRIVMSG #esoteric :Mostly "no" X-D < 1330558030 473 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i don't have a definition < 1330558034 100457 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :but i thought there was one < 1330558046 772294 :Friendship!codu@codu.org PRIVMSG #esoteric :It's a religion, a culture, and several races. < 1330558069 700617 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i just know the hitler story and the stereotype in american tv shows < 1330558071 530108 :Friendship!codu@codu.org PRIVMSG #esoteric :I am not a member of the religion, and am only a member of the culture insofar as American Jews are near-universally atheists :) < 1330558072 519946 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Friendship: do you *look* like a Jew? < 1330558075 62055 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :we don't have the concept in finland < 1330558084 895451 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :oklopol: the concept of Judaism? < 1330558086 788776 :Friendship!codu@codu.org PRIVMSG #esoteric :tswett: My nose sure does. But I have blond hair and bluegreensomething eyes, so no, not really. < 1330558105 716832 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :tswett: the concept of "jew" < 1330558127 272687 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :ACTION nods. < 1330558154 617357 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :or at least i only learned about them in history class and then later tv. < 1330558242 118122 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Wait, wait. The finite fields have algebraic closures? < 1330558245 984934 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :sure < 1330558254 182424 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Are their algebraic closures also finite fields? < 1330558254 368940 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :everything does < 1330558256 159425 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :no < 1330558268 334404 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Oh yeah. It seems more obvious that everything does than that those specific ones do. }:P < 1330558268 824070 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :they are inverse limits of p^k fields < 1330558282 974364 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Inverse... limits. < 1330558288 976841 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yeah it means < 1330558301 747601 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Is this "limit" in the, um... category theory sense, I think it is? < 1330558343 20709 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :the inverse limit means you take all the F_{p^k} and morphisms from bigger to smaller ones < 1330558362 100669 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :and points are that you take a point in each of the finite fields so that the morphism form a nice chain < 1330558364 704231 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :(afaiu) < 1330558374 305923 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yeah in the category theory sense < 1330558383 661756 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Are all of those morphisms epi? < 1330558388 862386 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yeah < 1330558420 12009 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Intuitively, this sounds a lot like taking the limit of F_{p^k} as k approaches infinity. < 1330558432 376511 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oooooops < 1330558435 519299 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :actually < 1330558461 989049 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i think it's the limit instead: just the union of F_{p^k} fields < 1330558467 665662 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Except my intuition says *that* would involve monomorphisms from smaller to bigger ones. < 1330558475 206626 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Which... < 1330558480 154444 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :(where you have some nice equivalence relation) < 1330558482 917627 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Is what you jsut said. < 1330558539 295684 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So, is the algebraic closure of F_{p^k} unique given p? < 1330558556 556791 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :the algebraic closure is always unique afaiu < 1330558579 444589 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :And the algebraic closure of F_{p^k} must be the same as F_{p^h}, aye? < 1330558603 231352 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :that i'm not as sure about < 1330558648 79782 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i don't really know anything about this, but i'll investigate this further once i'm less sick. now i have to go to work to get my fever up. < 1330558673 756281 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :ACTION nods. < 1330558717 632717 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :erm first what have you taken at the university sofar/ < 1330558719 99251 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :? < 1330558735 125807 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Holy crap, at noon on the winter solstice the sun in Edinburgh is *14 degrees* from the horizon. < 1330558742 811999 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I never realised I'm *that* far north. < 1330558764 387645 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :And we _still_ didn't see a single flake of snow this winter. < 1330558772 8456 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :oklopol: well, I'm taking Advanced Calculus II and Modern Algebra II. < 1330558781 981822 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :modern algebra? < 1330558792 898664 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I.e. analysis and group theory. < 1330558794 978166 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :advanced calculus? < 1330558810 319377 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tswett, so a century and a bit old, then? < 1330558830 484995 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Strangely enough, I think Advanced Calculus I went farther than Advanced Calculus II is going. < 1330558867 227848 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :SO WHAT ABOUT SUBSHIFTS, HAVE THEY TOLD YOU ABOUT SUBSHIFTS < 1330558887 68025 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :No, that's what Wikipedia is for. < 1330558900 260606 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :no wikipedia is for group theory and analysis < 1330558905 695182 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Oh. < 1330558910 103024 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :university should be all about subshifts < 1330558914 138675 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :and cellular automata < 1330558916 545931 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :and ergodic theory < 1330558927 778364 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Let me guess. You did your PhD on subshifts and cellular automata and ergodic theory. < 1330558940 301137 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Master's, actually. < 1330558941 662678 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :my phd is not really done yet :D < 1330558951 407721 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :and my master's thesis was on picture languages! < 1330558975 380722 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :on subshifts and CA i just have two accepted articles and about 10 in the making < 1330558976 914171 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Awwww, painting pretty pictures in foreign languages. < 1330558983 811441 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol, the humanitarian. < 1330559008 994192 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i solved like all the open problems in picture language theory < 1330559013 36025 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Who was it that did his PhD on sets of biinfinite words such that every factor appears finitely far apart? < 1330559022 29966 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :and then i realized it was only because all the researchers were stupid < 1330559026 130085 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Me. < 1330559034 430986 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :tswett: oerjan < 1330559038 653635 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Ah, right. < 1330559047 520487 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol, obviously it was clever of you to pick a field only idiots specialise in. < 1330559047 832716 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :minimal systems < 1330559087 396379 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :well i like to think i revolutionized the whole theory and developed all the interesting techniques and am a god. < 1330559089 27824 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ACTION -> sleep < 1330559091 532346 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1330559110 48213 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i know, my modesty knows no limits. < 1330559162 203871 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :tswett: i study the opposite kind of biinfinite word sets than what oerjan studied < 1330559216 702128 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I'm still trying to figure out what the product topology of a finite discrete space is. < 1330559222 289327 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :where words usually do not, and often CANNOT appear finitely far apart (if by that you mean "every factor of length m appears in every factor of length n for large enough n") < 1330559245 197347 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Rather, the topology of the product of infinitely many finite discrete spaces. < 1330559257 427032 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :an open set specifies a finite amount of coordinates in some open sets, and the rest can be anything < 1330559263 594734 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :or that's a basis at least < 1330559292 840530 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Mm, I think I'd rather figure out what a closed set is. And I think that means figuring out what a limit is. < 1330559297 468299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : And the algebraic closure of F_{p^k} must be the same as F_{p^h}, aye? <-- i vaguely think they're both contained in F_{p^(kh)}, which means their limit diagrams have a common tail so to speak and so have the same limit. < 1330559297 654759 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :(that's the general definition of product topology) < 1330559308 101584 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I guess it's reasonably obvious what a limit of biinfinite words is, don't you think? < 1330559317 414017 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :tswett: a limit means eventually, every coordinate becomes constant < 1330559322 907255 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So yeah. < 1330559336 969578 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :well obvious and obvious, there are other topologies you can use < 1330559347 356789 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :awesome topologies. < 1330559349 24272 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1330559369 445624 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Okay. So, given an oerjan word (for lack of a better name, 'cause that name sucks), we can break it up into the set of all its finite factors. < 1330559378 78381 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oerjan: but i don't think it's inverse limit, i think it's just limit < 1330559392 519049 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :so it's just a union of F_{p^k} < 1330559398 589130 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :for different k < 1330559408 143648 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1330559414 30782 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :And then given that slurry, we can form the set of all oerjan words (for lack of a . . .) with the same finite factors. < 1330559429 61331 :elliott!~elliott@unaffiliated/elliott PART #esoteric :"Leaving" < 1330559431 34056 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :a uniformly recurrent word i suppose < 1330559465 677148 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :This set certainly satisfies the shift criterion. Is it also closed? < 1330559470 423477 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :tswett: yeah, and that's exactly the closure of the set of words you obtain by moving it left and right < 1330559482 53808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Rather, the topology of the product of infinitely many finite discrete spaces. <-- for countably many, that's homeomorphic to a/the Cantor set. < 1330559484 377132 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :it's closed < 1330559502 688557 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I think the set of all Sturmian words given a single constant is a shift space. < 1330559515 718928 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yes < 1330559523 516082 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1330559523 906249 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :oerjan: for a biinfinite sequence, can you just break it in half, turn one half around so it's pointing the same way as the other half, and interleave them to get the Cantor representation thing? < 1330559536 188596 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Obviously, it's also a slurry-generated set. < 1330559568 791330 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :that sounds dangerous w.r.t. shift-closedness < 1330559588 552626 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :and also you may get weird-ass correlation between patterns < 1330559592 121344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: but i don't think it's inverse limit, i think it's just limit <-- hm right, every element in the closure should be a root of _some_ polynomial of the original field. < 1330559594 899451 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Oh, right. What's the topology of the set of all Sturmian words given a single constant? < 1330559618 340568 :Goosey!~Goose@cpe-72-178-49-126.elp.res.rr.com JOIN :#esoteric < 1330559619 11156 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :the product topology, presumably < 1330559625 967154 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Today I learned: Friendship's definition of "near-universally" is "52%". < 1330559654 571995 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: for a biinfinite sequence, can you [...] <-- yes, since the order of the coordinates don't really play any part in the topology < 1330559657 342787 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Well... yeah. But it's a *subspace* of the Cantor set, isn't it? < 1330559684 634025 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yeah a subshift of it in fact < 1330559701 653007 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yeah. < 1330559712 231031 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :(assuming that the sturmian words are exactly the orbit closure of the characteristic sturmian word, i think so) < 1330559725 834381 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I was going to ask if it was homeomorphic to a circle. But it doesn't seem like the Cantor set would have a circle as a subspace. < 1330559737 972967 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :it doesn't < 1330559743 943708 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :it's totally disconnected < 1330559749 49595 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : a uniformly recurrent word i suppose <-- that was the word. btw only _part_ of my phd considered the points to be infinite words. < 1330559761 862239 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :If a space is totally disconnected, must its subspaces be totally disconnected as well? < 1330559782 321359 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yes < 1330559784 380678 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i think < 1330559797 441896 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :totally disconnected means if you take any two points then they can be separated by open sets < 1330559803 180440 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :in the sense that < 1330559818 573861 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :you can partition the space into two opens each containing one point < 1330559820 550267 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :or something. < 1330559826 521596 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :If you take any two points, you can write the entire... yeah, that. < 1330559832 626400 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :this is certainly a property the cantor set has < 1330559844 807196 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It never stops being a property it has. < 1330559846 283823 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :ACTION coughs. < 1330559859 403562 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: totally disconnected ~ 0-dimensional, and dimension cannot increase in subsets < 1330559881 130799 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Can you quotient S^1 to get S^2? < 1330559910 612030 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :No, of course you can. I think. < 1330559912 836532 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you can map S^1 onto S^2, but i'm not sure if that's a quotient < 1330559922 444413 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(see: peano curve) < 1330559946 229422 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It's surjective, all right, and doesn't every continuous surjective function lead to a quotient, or something? < 1330559970 183542 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :btw every compact metric hausdorff set is the continuous image of a cantor set, iirc < 1330559980 64529 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*space < 1330559999 854009 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Something tells me that has something to do with Haskell.