< 1319501748 871443 :augur!~augur@129.2.129.32 QUIT :Remote host closed the connection < 1319502263 603514 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1319502438 124923 :pikhq!~pikhq@71-219-213-3.clsp.qwest.net JOIN :#esoteric < 1319502563 91529 :pikhq_!~pikhq@71-219-233-157.clsp.qwest.net QUIT :Ping timeout: 260 seconds < 1319502710 243447 :sllide!~jari@ip565eb113.direct-adsl.nl QUIT :Read error: Connection reset by peer < 1319504799 467143 :TeruFSX!~quassel@71-210-153-125.mpls.qwest.net QUIT :Ping timeout: 258 seconds < 1319504994 648805 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1319506476 824031 :TeruFSX!~quassel@71-210-153-125.mpls.qwest.net JOIN :#esoteric < 1319506850 129494 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 JOIN :#esoteric < 1319507281 738265 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1319507372 391920 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :quintopia, seriously < 1319507374 748420 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :... < 1319507375 244443 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :;.; < 1319507659 596168 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Ping timeout: 252 seconds < 1319510052 326247 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1319510417 807222 :augur!~augur@216-164-57-20.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1319511201 871892 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1319512159 848651 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1319512245 850229 :Zuu!~vdsvsd@77.215.149.86 QUIT :Ping timeout: 245 seconds < 1319513332 365792 :JamesTaggart!Sheboonda@cyber.sex0r.com QUIT :K-Lined < 1319514663 56728 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I think I managed to make a BarrierT monad that transforms a comonad. < 1319514702 504433 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh? < 1319514736 225032 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :data BarrierT f b w t = UnitT t | BarrierT f (w b -> BarrierT f b w t); < 1319514762 200838 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :fmap f (UnitT x) = UnitT $ f x; fmap f (BarrierT a c) = BarrierT a $ fmap f . c; return = UnitT; join (UnitT x) = x; join (BarrierT a c) = BarrierT a $ join . extract . extend c; < 1319514776 698282 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I have not checked if it correctly follows the monad laws, assuming w follows the comonad laws. < 1319515287 634763 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Other functions are: wliftT :: (w b -> t) -> a -> BarrierT a b w t; yieldT :: Comonad w => f -> BarrierT f t w t; collectT :: Comonad w => w (BarrierT f () w t) -> [f]; operateT :: (Monad m, Comonad w) => (w f -> m (w b)) -> w (BarrierT f b w t) -> m (w t); < 1319515345 546174 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(But I don't really like the name "wliftT" much and want to know if you can suggest a better name?) < 1319515761 131258 :variable!root@freebsd/developer/variable QUIT :Excess Flood < 1319515940 211778 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1319516359 166805 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1319516381 567611 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Madoka-Kaname: yes it was a sad day < 1319516947 500832 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1319517453 426947 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1319519038 982804 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :elll...dammit < 1319519039 619983 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Sgeo|web: You have 2 new messages. '/msg lambdabot @messages' to read them. < 1319519089 593826 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I'll read them after I watch EoA5. And no one's here < 1319519091 493707 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Dammit < 1319519857 394062 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 260 seconds < 1319520545 155854 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1319520981 89215 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1319520989 287433 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1319521912 693745 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1319521950 866067 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I try to think of, how can I make something like the = in TNT, using the Haskell type system? < 1319522391 309006 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Is there a way? < 1319523277 937845 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Would some of the GHC extensions help? < 1319523354 91207 :MDude!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net NICK :MSleep < 1319524006 411812 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 QUIT :Ping timeout: 265 seconds < 1319526043 890274 :ive!~nn@189.179.245.35 QUIT :Quit: leaving < 1319527811 375350 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 JOIN :#esoteric < 1319527877 870512 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@message elliott If you can find a download, EoA5 is up < 1319527878 550348 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: messages messages? < 1319527885 71890 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@tell elliott If you can find a download, EoA5 is up < 1319527885 734932 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1319527894 291108 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@tell Phantom_Hoover If you can find a download, EoA5 is up < 1319527894 735678 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1319527901 293392 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@tell CakeProphet If you can find a download, EoA5 is up < 1319527901 801833 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1319528535 481218 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :It seem to me, if the terms are types, then equality corresponds to isomorphism, but as far as I know there is no way to express that in the type system. < 1319529004 455098 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1319529153 964079 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds < 1319530600 815250 :derrik!~xix@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1319530991 157038 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net JOIN :#esoteric < 1319532324 324430 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :http://rincebrain.org/Cascade.torrent < 1319532332 658189 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :^^ EoA5 torrent < 1319532342 62979 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :http://www.megaupload.com/?d=CG0O78QW < 1319532347 414463 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :Already watched < 1319532351 83015 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :^^ MegaUpload download < 1319532374 421838 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :This is for the other Homestucker's reference, I wasn't aware that you're a Homestuck person, sorry < 1319532385 506916 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :Nobody ever is... < 1319532391 989881 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :But I get my updates via RSS < 1319532455 626305 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Well, you're lucky that you were able to watch it < 1319532459 365479 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Newgrounds crashed < 1319532466 45547 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :I used the Megaupload < 1319532469 224912 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Ah, ok < 1319532635 41409 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Now that I made classical logic in Haskell, I want to make number theory logic as well, but I cannot figure out how. < 1319532959 718936 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :I just got up to that chapter in Godel, Escher and Bach < 1319533054 383292 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :One idea is to make a new kind of function type that can only hold bijective functions, allowing some reversible computing stuff done in Haskell. < 1319533370 507734 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I don't think that you can verify that two functions reverse each other, but you could store a pair of (a -> b, b -> a) < 1319533377 500510 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Then agian, why am I talking? < 1319533478 145904 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Sgeo|web: I did think of that, but that won't work because they are not necessarily inverses of each other < 1319533478 279274 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1319533562 951086 :nooga!~nooga@c35-253.icpnet.pl JOIN :#esoteric < 1319533776 599237 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Maybe Template Haskell could be used somehow? < 1319534202 886183 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :ais523, wiki spam < 1319534246 318708 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1319534320 395183 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1319534669 198736 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Also, yeah, new pages first < 1319534677 172213 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Before [S] 1 < 1319539653 929407 :atehwa!atehwa@aulis.sange.fi PRIVMSG #esoteric :I'm not totally sure, either, I haven't seen it conclusively disproved < 1319539739 183423 :atehwa!atehwa@aulis.sange.fi PRIVMSG #esoteric :zzo38: as a more precise answer, the title "Historiallisesti tai aiheeltaan trkeit kieli" means "historically or thematically important languages" < 1319539765 627817 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :atehwa: OK. And now you also explained why that is there; thanks for that too. < 1319539842 119115 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@tell elliott There are non-[S] updates before the [S] < 1319539842 553224 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1319539859 172922 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :@tell Phantom_Hoover There are non-[S] updates before the [S] < 1319539859 748344 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1319540130 311355 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net JOIN :#esoteric < 1319540147 997274 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :my programming languages are only good for moving people around the world and destroying ozone layers. < 1319540334 69480 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :If there is a program to check some of the properties of a Haskell program, like I have described, then it could be like a proof checker if the Haskell program is seen as a proof according to Curry-Howard. Another possible use is it might allow certain optimizations to be performed on such a program. < 1319540594 104900 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I had the idea to represent equality of natural numbers as bijective function types. Haskell has no such type that is restricted to bijective functions; but if it did, it would be helpful that you can make reversible computing in Haskell! < 1319540620 541876 :pikhq!~pikhq@71-219-244-202.clsp.qwest.net JOIN :#esoteric < 1319540621 270125 :pikhq_!~pikhq@71-219-201-172.clsp.qwest.net QUIT :Ping timeout: 245 seconds < 1319540890 163262 :nooga!~nooga@c35-253.icpnet.pl QUIT :Quit: Lost terminal < 1319541036 23337 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :For example, (Maybe (Maybe Zero), Maybe (Maybe (Maybe Zero))) is isomorphic to (Maybe (Maybe (Maybe (Maybe (Maybe (Maybe Zero)))))), I think < 1319541096 504248 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Did I do it correctly? < 1319541103 301866 :sllide!~jari@ip565eb113.direct-adsl.nl JOIN :#esoteric < 1319541253 338600 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION submits anagolf problem < 1319541289 472018 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :OK < 1319541300 224662 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net QUIT :Ping timeout: 240 seconds < 1319541313 99141 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Do you know what I am meaning by this stuff? < 1319541351 167573 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, but I'm not sure of the answer < 1319541738 546367 :GreaseMonkey!~gm@unaffiliated/greasemonkey QUIT :Quit: The Other Game < 1319541817 92994 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^ul ()(~(*)*:S:(\n)S~:^):^ < 1319541817 219900 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :*\n < 1319541825 772706 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^ul ()(~(*)*:S(\n)S~:^):^ < 1319541825 951312 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :*\n**\n***\n****\n*****\n******\n*******\n********\n*********\n**********\n***********\n************\n*************\n**************\n***************\n****************\n*****************\n******************\n*******************\n********************\n*********************\n**********************\n***********************\n** ...too much output! < 1319541828 758394 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there we go < 1319541838 945276 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :'twas right second time < 1319541865 615966 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and one possible answer to question 2, is that it does have two stacks: the data stack, and the program stack < 1319541889 159580 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(another is that you store entire stacks in a stack element, and get more stacks that way) < 1319542353 305314 :derdon!~derdon@p5DE89ED9.dip.t-dialin.net QUIT :Remote host closed the connection < 1319542778 387327 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I think I just noticed community self-parody on Slashdot < 1319542793 743185 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :where someone linked to the page where a future xkcd comic will eventually appear, in the hope that it would be at least loosely relevant < 1319545137 866723 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net JOIN :#esoteric < 1319545620 397625 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1319546017 861234 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net QUIT :Ping timeout: 276 seconds < 1319546455 397740 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net JOIN :#esoteric < 1319546687 862200 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1319546706 726067 :PH!5ead0b16@gateway/web/freenode/ip.94.173.11.22 JOIN :#esoteric < 1319546717 114472 :PH!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :What are the haps my friends? < 1319547005 157590 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net QUIT :Ping timeout: 258 seconds < 1319547215 485410 :hagb4rd!~perdito@koln-4d0b7c01.pool.mediaWays.net QUIT :Ping timeout: 240 seconds < 1319547564 657958 :hagb4rd!~perdito@koln-4db40b06.pool.mediaWays.net JOIN :#esoteric < 1319547582 58476 :MSleep!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net NICK :MDude < 1319547609 672731 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net JOIN :#esoteric < 1319547741 575526 :Ngevd!~Taneb@host-84-13-70-136.opaltelecom.net NICK :Taneb|Hovercraft < 1319548247 507183 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net QUIT :Ping timeout: 240 seconds < 1319548317 922803 :PH!5ead0b16@gateway/web/freenode/ip.94.173.11.22 QUIT :Quit: Page closed < 1319548667 779067 :PH!5ead0b16@gateway/web/freenode/ip.94.173.11.22 JOIN :#esoteric < 1319549935 663967 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net JOIN :#esoteric < 1319550180 119417 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :Hello! < 1319551761 226103 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What is the fixity for -> and can I set fixity for type operators < 1319552107 670894 :PH!5ead0b16@gateway/web/freenode/ip.94.173.11.22 QUIT :Quit: Page closed < 1319552462 214693 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1319552531 109082 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1319553869 878201 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 JOIN :#esoteric < 1319553887 332197 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :It just occurred to me to check if lambdabot has any messages.; < 1319553888 35076 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Phantom_Hoover: You have 2 new messages. '/msg lambdabot @messages' to read them. < 1319553904 936692 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :I guess that's a yes, then < 1319553943 483532 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :I miss the old days when elliott would read the Homestuck blogs on tumblr and then send me about ten messages bitching about them.\ < 1319553958 565501 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1319554041 73086 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :OK I suppose it would be prudent to actually get some work done at some point. < 1319554042 564106 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 QUIT :Client Quit < 1319554094 854182 :PH_!5ead0b16@gateway/web/freenode/ip.94.173.11.22 JOIN :#esoteric < 1319554125 565872 :PH_!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :Taneb|Hovercraft: wait what the hell were you doing online at half eight. < 1319554137 887330 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :I was online at half eight? < 1319554170 754219 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :Woah, I was < 1319554175 759722 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :Huh < 1319554183 708928 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :I'm a morning person? < 1319554226 397717 :augur!~augur@129.2.129.32 JOIN :#esoteric < 1319554449 884162 :PH_!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :Taneb|Hovercraft: don't... don't you have school. < 1319554458 107446 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :Half term < 1319554489 646530 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :England's a couple of weeks out of sync with Scotland, if memory serves < 1319554580 698461 :PH_!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :ACTION eyes elliott's chair suspiciously. < 1319554602 899058 :PH_!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :OK I'm going back to pretending I'm just about to do some work bye. < 1319554603 982178 :PH_!5ead0b16@gateway/web/freenode/ip.94.173.11.22 QUIT :Quit: Page closed < 1319555071 605191 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net QUIT :Ping timeout: 245 seconds < 1319557639 493406 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net JOIN :#esoteric < 1319557657 577952 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :I've got a confession to make < 1319557663 774830 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :I'm not actually on a hovercraft < 1319557719 463263 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :9/me cries < 1319557728 862119 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :without the 9 that works better < 1319557750 540225 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :in any case, i am so brokenhearted at the lack of hovercraft < 1319558306 914644 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 JOIN :#esoteric < 1319558310 612124 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 258 seconds < 1319559256 244251 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :Computing while standing on one leg is surprisingly comfortable. < 1319559978 130459 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :Where's elliott when you need him < 1319560003 580751 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :I need a restaurant recommendation near Hexham < 1319560098 674096 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :Pick a random restaurant. < 1319560452 346373 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :Wait, no, I have a better idea. < 1319560596 468098 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :Use http://random.irb.hr/ to select a restaurant, and rest assured that some parallel Taneb went to the right restaurant. < 1319560624 56356 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :But it's for my birthday meal! < 1319560724 146873 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :Quantum birthday! < 1319560727 211115 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 PRIVMSG #esoteric :Best birthday. < 1319560745 90312 :Phantom_Hoover!5ead0b16@gateway/web/freenode/ip.94.173.11.22 QUIT :Quit: Page closed < 1319560753 79400 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :I know someone who experienced a combination of a near death experience and quantum immortality < 1319560901 735955 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1319560916 63964 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :EPL? < 1319560950 651405 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :He got hit by a car, went home, had pizza, and woke up in hospital three weeks later, having not actually had pizza < 1319561008 937366 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Did he have his stomach pumped? < 1319561030 888142 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :No, he had imagined eating pizza < 1319561044 597074 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :Or ate pizza in a universe which had its waveform collapsed < 1319561170 636559 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh FFS, Prequel had an [S] update as well? < 1319561184 455784 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :That's an FA, right? < 1319561190 534310 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :The best FA. < 1319561245 357751 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh my god this is the best update < 1319561329 608155 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net QUIT :Quit: Leaving < 1319561571 142248 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1319563343 520165 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net JOIN :#esoteric < 1319563841 472935 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net JOIN :#esoteric < 1319564664 431502 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :Comment on the EPL evening school assignments: < 1319564695 829286 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :The answer to weekly assignment two question two can be found within one link from that page < 1319564721 419929 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :EPL? < 1319564727 506323 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :Look at the topic < 1319564735 894202 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh, that's what that was all about. < 1319565275 402297 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :...How does one do line breaks in underload < 1319565276 375535 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net PRIVMSG #esoteric :? < 1319565844 687638 :Vonlebio!~vonlebio@cpc1-sgyl29-2-0-cust789.sgyl.cable.virginmedia.com JOIN :#esoteric < 1319565957 568364 :Vonlebio!~vonlebio@cpc1-sgyl29-2-0-cust789.sgyl.cable.virginmedia.com QUIT :Client Quit < 1319566509 482836 :Taneb|Hovercraft!~Taneb@host-84-13-70-136.opaltelecom.net QUIT :Ping timeout: 258 seconds < 1319566672 266044 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1319567522 97062 :Zuu!~vdsvsd@77.215.149.86 JOIN :#esoteric < 1319567527 845122 :Zuu!~vdsvsd@77.215.149.86 QUIT :Changing host < 1319567527 917768 :Zuu!~vdsvsd@unaffiliated/zuu JOIN :#esoteric < 1319567705 890400 :Ngevd!~Taneb@host-78-146-171-118.as13285.net JOIN :#esoteric < 1319568306 528947 :Ngevd!~Taneb@host-78-146-171-118.as13285.net PRIVMSG #esoteric :@pl \x -> \y -> x && (not y) < 1319568306 725611 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(. not) . (&&) < 1319569691 478365 :copumpkin!~pumpkin@unaffiliated/pumpkingod NICK :amphitheater < 1319569776 936546 :amphitheater!~pumpkin@unaffiliated/pumpkingod NICK :copumpkin < 1319570794 736214 :GreaseMonkey!~gm@unaffiliated/greasemonkey JOIN :#esoteric < 1319570896 866427 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Aargh < 1319570923 342713 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :The left channel on these headphones is broken, and I can't work out how to force everything into mono so I can listen to stereo stuff. < 1319571117 947271 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :get working headphones < 1319571149 5293 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :This is not a practical short-term solution. < 1319571159 623660 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :yes it is < 1319571199 443203 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1319571218 986608 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Short-term as in right now. < 1319571223 275747 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1319571353 103074 :Vonlebio!~vonlebio@cpc1-sgyl29-2-0-cust789.sgyl.cable.virginmedia.com JOIN :#esoteric < 1319571365 348983 :Vonlebio!~vonlebio@cpc1-sgyl29-2-0-cust789.sgyl.cable.virginmedia.com QUIT :Client Quit < 1319571457 837607 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1319571549 689612 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@tell zzo38 Now that I made classical logic in Haskell, I want to make number theory logic as well, but I cannot figure out how. <-- i think perhaps the problem is that your classical logic is purely propositional, but number theory requires quantifiers, so may essentially need dependent types which haskell doesn't have < 1319571549 968074 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1319571630 794484 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :`quote < 1319571633 990009 :HackEgo!foobar@codu.org PRIVMSG #esoteric :465) drinks should come in long long pipes that drip liquid at varying speeds, and you shouldn't just casually taste to them, you should really try to understand what the artist (the canposer?) was trying to convey when making the drink olsner: well you know i'm a genius. anyway i like how food works tho, < 1319571723 784369 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@tell zzo38 Although the type system (with UndecidableInstances) _is_ TC, so there should be _some_ way to encode it, but perhaps not in a way using the curry-howard isomorphism directly < 1319571723 967680 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1319571925 384322 :tiffany!~AndChat@fl-76-3-17-113.dhcp.embarqhsd.net JOIN :#esoteric < 1319572254 979227 :tiffany!~AndChat@fl-76-3-17-113.dhcp.embarqhsd.net QUIT :Quit: Bye < 1319572262 911832 :tiffany!~kawaii@fl-76-3-17-113.dhcp.embarqhsd.net JOIN :#esoteric < 1319572410 890172 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :`addquote it's not a list of /all/ interesting esolangs, btw; otherwise you can take the first command from the first esolang, the second from the second, the third from the third, etc, then add 1 to all of them and you get a new interesting esolang diagonal principle… < 1319572412 643526 :HackEgo!foobar@codu.org PRIVMSG #esoteric :694) it's not a list of /all/ interesting esolangs, btw; otherwise you can take the first command from the first esolang, the second from the second, the third from the third, etc, then add 1 to all of them and you get a new interesting esolang diagonal principle… < 1319572443 101729 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :But must the result be interesting? < 1319572449 108098 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :... < 1319572461 339601 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Most interesting esolangs wouldn't even be partitionable into commands that way. < 1319572470 846750 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: does it feel drafty in here? < 1319572491 203360 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :No, it's quite warm in fact. < 1319572497 322360 :augur!~augur@129.2.129.32 QUIT :Remote host closed the connection < 1319572535 372072 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i guess the draft is _way_ above your head, then < 1319572574 513975 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think the resulting esolang would be interesting just based on the method of construction < 1319572583 705508 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :good point < 1319572635 104479 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ais523, perhaps, but extending it infinitely would not necessarily result in an infinite series of interesting esolangs. < 1319572682 292724 :tiffany!~kawaii@fl-76-3-17-113.dhcp.embarqhsd.net QUIT :Read error: Connection reset by peer < 1319572703 662500 :tiffany!~kawaii@fl-76-3-17-113.dhcp.embarqhsd.net JOIN :#esoteric < 1319572709 53411 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : the issue is, I'm also not convinced that you can build a transistor with hFE > 1 <-- does noit o'mnain worb have some analogy to the second law of thermodynamics, perhaps? < 1319572743 80334 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I don't know, but it wouldn't surprise me < 1319573095 314783 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@tell zzo38 What is the fixity for -> and can I set fixity for type operators <-- infixr 0 and yes, says http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#infix-tycons < 1319573095 490111 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1319573172 901392 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hm why isn't it `T` in the example, might be a typo < 1319573211 463419 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> let infixl 0 `t`; t = (+) in 2 `t` 3 * 5 < 1319573212 308254 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 17 < 1319573221 828995 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :> let infixl 0 t; t = (+) in 2 `t` 3 * 5 < 1319573222 696866 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `t' < 1319573271 709418 :tiffany!~kawaii@fl-76-3-17-113.dhcp.embarqhsd.net QUIT :Remote host closed the connection < 1319573276 536740 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@tell zzo38 I suspect there's a typo and the example should be infixl 7 `T`, :*: < 1319573276 648530 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1319573361 356943 :tiffany!~kawaii@fl-76-3-17-113.dhcp.embarqhsd.net JOIN :#esoteric < 1319573521 169305 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : Or ate pizza in a universe which had its waveform collapsed < 1319573549 293487 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i wish my waveforms would collapse in a direction more consistent with my wishes < 1319573598 808372 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : ...How does one do line breaks in underload < 1319573612 672170 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Ngevd: just put them in the program. doesn't work on irc, of course. < 1319573639 831122 :Ngevd!~Taneb@host-78-146-171-118.as13285.net PRIVMSG #esoteric :Ooh, sneaky < 1319573655 358988 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :also, (...)! is a comment, which you can put line breaks in (i've used that for several of the programs on the wiki) < 1319573765 910867 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :they need to be put inside strings, not as executed commands (which will usually error out) < 1319573796 66684 :derrik!~xix@143.122.191.90.dyn.estpak.ee QUIT :Quit: take carezz < 1319574280 832295 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1319574530 625348 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1319574642 749193 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: WeeChat 0.3.6 < 1319574654 778308 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :elliott: it's up < 1319574665 368901 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's watched. < 1319574666 146222 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott: You have 2 new messages. '/msg lambdabot @messages' to read them. < 1319574720 514230 :tiffany!~kawaii@fl-76-3-17-113.dhcp.embarqhsd.net QUIT :Remote host closed the connection < 1319574773 443320 :tiffany!~kawaii@fl-76-3-17-113.dhcp.embarqhsd.net JOIN :#esoteric < 1319574865 301247 :tiffany!~kawaii@fl-76-3-17-113.dhcp.embarqhsd.net QUIT :Remote host closed the connection < 1319574882 336883 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: Wait, it /crashed Newgrounds/? < 1319574888 983721 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :This has to be some kind of record. < 1319574901 754756 :tiffany!~kawaii@fl-76-3-17-113.dhcp.embarqhsd.net JOIN :#esoteric < 1319574956 534048 :Ngevd!~Taneb@host-78-146-171-118.as13285.net PRIVMSG #esoteric :Also, elliott, recommend a restaurant, dammit! < 1319574966 511168 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :#esoteric < 1319575018 991086 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :elliott: in a manner of minutes, iirc < 1319575038 354900 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ACTION is going to believe elliott never goes to restaurants < 1319575056 500019 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan believes many a thing < 1319575075 141420 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric : < 1319575088 220036 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats Sgeo|web -----### < 1319575109 518028 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Which past beliefs < 1319575241 459725 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :Astrology < 1319575280 889179 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : Sgeo|web: Wait, it /crashed Newgrounds/? < 1319575288 363995 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :In about two minutes, at that. < 1319575349 841452 :Sgeo|web!ad034d00@gateway/web/freenode/ip.173.3.77.0 PRIVMSG #esoteric :I saw someone on Twitter joke that Hussie posted it on the CIA website, and crashed the government < 1319575351 208928 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: I think you're confusing past and current beliefs < 1319575383 383285 :tiffany!~kawaii@fl-76-3-17-113.dhcp.embarqhsd.net QUIT :Remote host closed the connection < 1319575415 619223 :tiffany!~kawaii@fl-76-3-17-113.dhcp.embarqhsd.net JOIN :#esoteric < 1319576022 266484 :derdon!~derdon@pD9E1D174.dip.t-dialin.net JOIN :#esoteric < 1319576373 656007 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo|web: Looks like it just slowed down Newgrounds, not crashed it, and then Hussie took it off < 1319576380 378513 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Since it wasn't working < 1319576428 271665 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Newgrounds was showing maintenance pages for at least some time. < 1319576466 399990 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(Citation: hearsay from the SA thread.) < 1319576479 392089 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, that thing will be back now. < 1319576482 52463 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :How many pages is it already? < 1319576492 750249 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :They started a new thread. < 1319576498 837468 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It's on ~10, IIRC. < 1319576530 526709 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Twenty-two; < 1319576532 317915 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s/;/./ < 1319576664 916212 :copumpki_!~pumpkin@17.45.135.26 JOIN :#esoteric < 1319576760 538215 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : If this had been some esoteric language where && had meant "subtract by three, but only if it's a full moon and Elvis is playing on the radio" I'd have agreed the OP should have explained it. < 1319576764 346522 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyone want to implement that? < 1319576827 667436 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :bf derivative except that < 1319576829 652812 :copumpki_!~pumpkin@17.45.135.26 NICK :copumpkin_ < 1319576830 81201 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Ping timeout: 244 seconds < 1319576831 28294 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :someone else implement it < 1319576832 672249 :copumpkin_!~pumpkin@17.45.135.26 NICK :copumpkin < 1319576833 448534 :copumpkin!~pumpkin@17.45.135.26 QUIT :Changing host < 1319576833 520418 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1319576885 721713 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, "bf derivative except that" should be listed somewhere as a method of easily creating vast numbers of stupid esolangs < 1319576894 917804 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1319577359 996008 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1319577575 888064 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1319578573 88441 :copumpki_!~pumpkin@17.45.135.26 JOIN :#esoteric < 1319578596 758232 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ais523: wiki spam < 1319578690 953899 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :deleted < 1319578704 62793 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Ping timeout: 240 seconds < 1319578705 169790 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :there's been a lot lately < 1319578706 850568 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So my MacBook Air broke. < 1319578725 142241 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ran out of air, presumably < 1319578735 178851 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I was just about to watch the EOA Homestuck Flash today -- literally just about to -- and it just turned itself off and won't go back on again. < 1319578737 608697 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It KNOWS. < 1319578806 705426 :pikhq!~pikhq@71-219-244-202.clsp.qwest.net PRIVMSG #esoteric :Map +-.,><[] to 足引出入右左初終 BAM ESOLANG < 1319578807 452445 :pikhq!~pikhq@71-219-244-202.clsp.qwest.net PRIVMSG #esoteric ::P < 1319578830 593019 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's just a good thing I have 5 computers to hand at all times like a sane person. < 1319578837 61114 :pikhq!~pikhq@71-219-244-202.clsp.qwest.net PRIVMSG #esoteric :elliott: :) < 1319578863 445341 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or was it s/sane/reasonable/ I am Bad at References. < 1319578870 923330 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :This one has shitty speakers though. < 1319578968 198244 :Madoka-Kaname!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :pikhq, is that Chinese or Japanese? < 1319578976 526530 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :elliott@dinky:~$ cat /etc/debian_version < 1319578976 695594 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :squeeze/sid < 1319578979 343094 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh no, why am I on sid. < 1319578992 586701 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No wait. < 1319578995 261915 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm on squeeze. < 1319578997 154274 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :This thing lies. < 1319579027 263750 :pikhq!~pikhq@71-219-244-202.clsp.qwest.net PRIVMSG #esoteric :Madoka-Kaname: Based on Japanese words, but I'd *imagine* it works just fine for Chinese as well. < 1319579053 227131 :pikhq!~pikhq@71-219-244-202.clsp.qwest.net PRIVMSG #esoteric :Well. 足し算・引き算 might not carry over that well to Chinese? < 1319579083 143561 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :"Left foot leads into the right beginning of the end" < 1319579098 716635 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :very poignant < 1319579106 507068 :pikhq!~pikhq@71-219-244-202.clsp.qwest.net PRIVMSG #esoteric :oerjan: It's just "add subtract out in right left begin end". < 1319579136 842784 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :"And from right to left end of the first leg pull" when done from japanese < 1319579148 18196 :copumpki_!~pumpkin@17.45.135.26 NICK :copumpkin < 1319579153 581129 :pikhq!~pikhq@71-219-244-202.clsp.qwest.net PRIVMSG #esoteric :Well, yes, it's not even vaguely valid Japanese. :P < 1319579154 885050 :copumpkin!~pumpkin@17.45.135.26 QUIT :Changing host < 1319579154 957295 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1319579166 613391 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :also poignant < 1319579401 196067 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1319579520 2224 :MDude!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net QUIT :Ping timeout: 240 seconds < 1319580238 23480 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1319580252 201095 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :[s] cascade completely surpassed my expectations < 1319580268 564933 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1319580310 463058 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :I didn't catch how dave and rose got god tier though < 1319580320 162847 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Dude shut up. < 1319580320 862730 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :spoilers or whatever < 1319580329 40532 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :my bad < 1319580373 271509 :Ngevd!~Taneb@host-78-146-171-118.as13285.net PRIVMSG #esoteric :Goodnight, all < 1319580380 880242 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bye. < 1319580381 836871 :Ngevd!~Taneb@host-78-146-171-118.as13285.net QUIT :Quit: Leaving < 1319580756 483 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1319581481 289675 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Patashu: See /msg. < 1319581698 753719 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :is it just me or is "left foot leads into the right beginning of the end" the smartest thing anyone has ever said ever < 1319581717 655682 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1319581722 332250 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :which one < 1319581741 8496 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Both. < 1319581805 373423 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1319581812 442024 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric ::o < 1319581948 570257 :GreaseMonkey!~gm@unaffiliated/greasemonkey QUIT :Quit: The Other Game < 1319581957 213244 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i have to talk about noetherian modules on thursday and i just realized i'm too stupid to understand these theorems < 1319581979 155479 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Isn't Noether all, like, stuff < 1319581982 850506 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Which doesn't change. < 1319581988 121752 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Pretty simple, really. < 1319582019 275159 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :it means the module has the ascending chain condition, that is, an ascending chain is finite < 1319582035 329274 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :(a chain of submodules ordered by inclusion) < 1319582076 962603 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Are you sure it's the same Noether? < 1319582078 764697 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :you can use that as a kind of zorn's lemma to find finite chains with funny properties, since if you just take a maximal chain, it's finite < 1319582096 480132 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i have no idea who noether is, i just know what a noetherian module is < 1319582228 905938 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :it's just that when you have a ring and then you take the ring of polynomials and then that operates on a module and then you take the dual of that module and then you have an operation on the module and get a dual operation on the dual of the module and then write a whole number of sentences starting with "obviously,", i get a bit frustrated < 1319582238 744199 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :*polynomials over it < 1319582320 420090 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :well put like that it sounds pretty simple but keeping track of indexing and types gets a bit complicated when you have multiple levels < 1319582327 903829 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :and paper is for pussies afaik < 1319582493 80001 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: yes it's the same noether, the physics stuff was a little different from what she worked the most on, i think < 1319582505 414434 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :she? < 1319582508 608190 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :wow < 1319582538 700045 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol, it was a joke. < 1319582540 192893 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yes, emmy noether is probably the most famous female mathematician in history < 1319582542 565954 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I mean oerjan. < 1319582558 937293 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Also she was basically a physicist, and we all know what they say about physicists. < 1319582572 21199 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i should probably try to keep that in mind < 1319582572 508053 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Is it worse than what they say about fisheries research biologists? < 1319582584 355161 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory NICK :Testing < 1319582588 235438 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :still joking i see < 1319582602 410645 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :what do they say about physicists < 1319582603 175756 :Testing!~behold@unaffiliated/beholdmyglory NICK :BeholdMyGlory < 1319582618 929726 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :they are retards? < 1319582619 237279 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, no, obviously. < 1319582639 568097 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol, oh god, I don't know, I was just pretending so that I could be in the in crowd aaaaaaaaaaaa < 1319582666 58288 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Well right, it'd hard to get worse than that. < 1319582711 916085 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, the thought scares me. < 1319582719 927529 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s/hard/be hard/ < 1319582735 128687 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: I'd like to take this opportunity to laugh at fisheries research biologists: hahahahahaha. < 1319582767 594715 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :You'd *laugh* at that? < 1319582831 791106 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :At what. < 1319582849 376430 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hey i'll have you know fisheries research biologists are a respected profession in norway < 1319582878 323695 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i did applied fisheries research when i was little < 1319582885 185206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :xD < 1319582907 199642 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :got some results too but i ate them before i could publish them < 1319582936 446710 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote i did applied fisheries research when i was little got some results too but i ate them before i could publish them < 1319582939 52872 :HackEgo!foobar@codu.org PRIVMSG #esoteric :695) i did applied fisheries research when i was little got some results too but i ate them before i could publish them < 1319582992 612168 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :almost certainly lying, but still hilarious < 1319583011 682905 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i would never lie about my research < 1319583027 287903 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ais523: i am pretty sure he is entirely truthful < 1319583044 149487 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: but if it /isn't/ your research, that doesn't matter < 1319583057 746044 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you claim that you researched tractor tyres but didn't, that's not lying about your research < 1319583064 259311 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Anything happened in BlogNomic yet? < 1319583070 170035 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: sixth meta started < 1319583078 549745 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :people are currently fighting over the theme < 1319583080 116908 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I was busy repeatedly watching a thirteen minute Flash. < 1319583084 694095 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess I'll get on IRC. < 1319583141 745567 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: ##electronics is full of knowledgeable unhelpful people. where can i get both? < 1319583164 454231 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :in ##electronics, apparently < 1319583166 1563 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :#esoteric is full of unknowledgable unhelpful people < 1319583169 853176 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :lucky you < 1319583171 625576 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so you're in the right place < 1319583173 377156 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: ragepart < 1319583182 822150 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's not a ragepart < 1319583185 106031 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :wat < 1319583185 802326 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you're terrible at this, ais < 1319583198 674482 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ais are usually terrible at rageparts < 1319583206 140200 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :lol < 1319583208 488157 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :until they invent death rays, anyhow < 1319583254 157215 :CakeProphet!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 260 seconds < 1319583296 69903 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oerjan: are you an expert on noetherian modules < 1319583310 426801 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :no. < 1319583337 312931 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :ACTION decides to begin writing Jath. Again. < 1319583337 725242 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :my question is on notation so you're probably pretty useless then < 1319583352 391462 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :I think for now, it's simply going to be a loose collection of features. < 1319583408 500789 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :whats jath < 1319583423 708526 :tswett!~Warrigal@171.64.42.221 PRIVMSG #esoteric :A parser. LLVM. A B+-tree. That's going to be it for now. < 1319583437 831049 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok < 1319583497 711133 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i never took the proper ring theory course, although i do think something noetherian was mentioned in the homological algebra one < 1319583640 191435 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i'm slowly starting to realize (once again) that i don't actually know any math < 1319583646 271410 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :nothing at all < 1319583663 464249 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i should just become a gardener or a truck < 1319583694 795113 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Garden on a truck. < 1319583714 532175 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ACTION → sleep < 1319583715 583710 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1319583720 193874 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i think you mean trucker, unless you're in for some major body modifications < 1319583854 99963 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you know enough to be a math tutor < 1319583864 463087 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and then be a gardener on the side < 1319583873 394819 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and a fisheries researcher < 1319583876 642026 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i'm sure they are smaller modifications than the ones i'd need to do math < 1319583908 81087 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Yeah, nothing seemed to descend into chaos and cannibalism" -- oh, phew. < 1319583940 569976 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :also i'm getting closer to proving sofic shifts are simplicial complexes and all simplicial complexes can be embedded in any nontrivial mixing sofic shift as a sofic subshift, up to homotopy equivalence, in the besicovitch topology < 1319583970 934029 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: how boring < 1319584061 224964 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :no one does algebraic topology here, so i have no idea if i'm proving something well-known < 1319584077 109310 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :here as in in turku < 1319584141 178460 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :besicovitch topology is when you take the limsup of difference densities of n-blocks around the origin as n goes to infinity as the distance < 1319584330 735847 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :homotopy equivalence is really annoying to show, you first have to find two continuous functions equating them, then prove both the compositions homotopy equivalent to id, so it's four times the work of proving something with just one step like 1 + 1 = 2 < 1319584376 43034 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why two different ones? < 1319584380 426952 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :two directions? < 1319584385 444399 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :well back and forth < 1319584394 434287 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yer < 1319584451 768506 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :if those are just inverses, you have a homeomorphism, and those spaces are so far from homeomorphic that i can't even find a simile < 1319584472 687372 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :wait < 1319584478 424944 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yeah < 1319584568 320249 :pikhq_!~pikhq@71-219-243-131.clsp.qwest.net JOIN :#esoteric < 1319584577 214559 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :a besicovitch space is not locally very R^n-like, since it's infinitedimensional < 1319584582 329177 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :*infinite dimensional < 1319584588 965943 :pikhq!~pikhq@71-219-244-202.clsp.qwest.net QUIT :Ping timeout: 260 seconds < 1319584648 972605 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :play four in a row on it < 1319584730 808912 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i'm actually playing continuous path on it all day long, which is uncountably infinite times cooler. < 1319584747 416469 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is that where you have to make a straight path of arbitrary length to win < 1319584836 19502 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :it's a solitaire. you find paths and then you show they are actually homotopic to other paths and be really happy for some reason. < 1319584905 756634 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :quintopia: for example, [0,1] and a single point are homotopy equivalent < 1319584923 575471 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :for instance a mixing sofic shift is contractible, that is, homotopy equivalent to a single point, so all paths are homotopic < 1319584933 840485 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :synchronicity < 1319584964 445967 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :contractible spaces _are_ the simplest ones to think of < 1319584990 915473 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :an empty space is way simpler < 1319584995 23700 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :amirite < 1319585003 94473 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :er. < 1319585011 70393 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :possibly < 1319585018 618726 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i didn't say that because contractible spaces are simple, but because i like listing my results < 1319585040 285831 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i suppose i proved that because they are simple though < 1319585047 574777 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i think you will be hard pressed to find a different non-homeomorphic space it's homotopy equivalent with, though < 1319585059 392527 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :? < 1319585068 749690 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :...the empty space < 1319585070 919701 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oh < 1319585074 710059 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :right < 1319585109 820304 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i have an idea for one, but i'm having a hard time choosing the function to the empty space < 1319585141 880346 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :you don't say < 1319585142 794256 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i came up with the other function in like a second though so i'm sure i'm on the right track < 1319585159 618818 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :a track paved with good intensions, i'm sure < 1319585214 288127 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Intension i'm trying to find out if that was a pun but i don't get any of this < 1319585224 373086 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :maybe i'm just too stupid to do anything right now < 1319585235 752098 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :did i mention all sofic shifts are closed but not all shift spaces are < 1319585292 844409 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :and also that toeplitz sequences are dense while no countable set can be < 1319585307 34028 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :(maybe infinite-dimensionality implies the latter?) < 1319585319 22423 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :http://en.wikipedia.org/wiki/The_road_to_hell_is_paved_with_good_intentions < 1319585322 207142 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :hmm no i don't think so < 1319585338 995780 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yes i was wondering about the typo < 1319585356 213342 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :there was a typo? hm. < 1319585407 489707 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :it's a bit subtle < 1319585461 303332 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :wow i never knew those were different words < 1319585573 983310 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :kind of like the result that a noetherian module has a unique finite characteristic set of prime ideals such that there exists a set of submodules, one for each of those ideals, such that the intersection of them is empty but no intersection not containing all of those is, such that the annihilator of each of those submodules is the associated prime ideal and also all those submodules are primary < 1319585581 280272 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :they're both spelled intensjon in norwegian < 1319585682 616457 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :oklopol: no, infinite-dimensional spaces can have countable dense subsets < 1319585695 625419 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :separable hilbert space, for example < 1319585698 826702 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yeah i realized < 1319585715 789717 :MDude!~fyrc@or-67-238-31-252.dhcp.embarqhsd.net JOIN :#esoteric < 1319585929 860080 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i want to be sleepy :( < 1319585985 998481 :derdon!~derdon@pD9E1D174.dip.t-dialin.net QUIT :Remote host closed the connection < 1319586290 500435 :evincar!~chatzilla@daffa.student.rit.edu JOIN :#esoteric < 1319586538 500581 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :In Haskell, is there a more general way to compose functions than (.)? < 1319586561 144936 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :see Control.Category I guses < 1319586562 145072 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :guess < 1319586563 847997 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :Like (a->b->c)->(d->a)->(e->a)->(d->e->c) for replacing two arguments with two functions. < 1319586576 608233 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :Er, e->b. < 1319586605 542285 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :For the third argument. < 1319586615 315311 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :(a->b->c)->(d->a)->(e->b)->(d->e->c) < 1319586656 940204 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :make yourself a mess of compositions < 1319586679 274861 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what name would you give that one? < 1319586700 155091 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :evincar: http://conal.net/blog/posts/semantic-editor-combinators < 1319586822 661776 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :monqy: It could be the type resulting from a more general scheme, so I dunno. < 1319586842 845764 :sllide!~jari@ip565eb113.direct-adsl.nl QUIT :Read error: Connection reset by peer < 1319586888 902818 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@pl \f g h x y -> f (g x) (h y) < 1319586889 230170 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :((flip . ((.) .)) .) . (.) < 1319586913 559073 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :It takes a binary function and composes two unary functions in place of its arguments, so compose2nd (compose1st b u1) u2 ? Or something? < 1319586946 320841 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i think ((flip . ((.) .)) .) . (.) is as clear as it gets < 1319586948 846152 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :@pl \f g h -> curry (uncurry f . (g *** h)) < 1319586949 180398 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :((curry .) .) . (. (***)) . (.) . (.) . uncurry < 1319586951 324086 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :Hrm. < 1319586954 614328 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :eek < 1319586958 363697 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i admit, the "flip" makes it a bit hard to read < 1319586965 332818 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :I'm trying to implement something like the function composition/application setup I had in Even. < 1319586972 607822 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :Because I still think that's a good idea. < 1319586977 569903 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :who is even < 1319586978 374667 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats even < 1319586980 951477 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :is she hot < 1319586986 373808 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :Oh, I never mentioned that name here. < 1319587000 313024 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :It was the message-passing language we had an argument about composition versus application about. < 1319587007 311320 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :argument? < 1319587014 719379 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :Everyone was telling me I was wrong. < 1319587018 364487 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you were < 1319587019 351898 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yeah "argument" < 1319587027 901261 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :So that kind of argument. < 1319587037 676506 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :The kind where I say something false and people object. < 1319587044 920732 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :the best kind < 1319587047 504165 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :when the i is not me < 1319587048 148358 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :Indeed. < 1319587050 512433 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I typically consider that distinct from proper arguments < 1319587056 734794 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but whatever < 1319587065 160670 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :so how did composition work there? < 1319587077 980205 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :semantically, I mean < 1319587100 830306 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :even is such an odd language. < 1319587113 976752 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :Well, for binary f and unary g and h, [[f [g ?] [h ?]] x y] would yield [f [g x] [h y]] < 1319587149 205855 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :Where [] groups application and ? is a sort of placeholder. < 1319587173 27422 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh I remember that. you were wrong about it too weren't you < 1319587185 401462 :evincar!~chatzilla@daffa.student.rit.edu PRIVMSG #esoteric :That is, [g ?] x and [g x] are the same, but [h [g ?]] x is [h [g x]]. < 1319587195 69140 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ah so you resolved that