< 1372636846 689781 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :`run echo hi < 1372636851 450622 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :hi < 1372636856 477586 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :hm < 1372636905 757023 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think that may be somewhat random hth < 1372636906 53512 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :ok < 1372636921 425749 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(also it means that did not help hth) < 1372636934 603013 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or possibly does < 1372636939 895130 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :it's not that there is a full device or sth ..lol? < 1372636949 397793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course there is < 1372636954 403376 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :okay < 1372636965 607035 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo hi < 1372636968 328403 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :hi < 1372636977 206480 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? tdnh < 1372636981 766307 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :tdnh? ¯\(°_o)/¯ < 1372636982 152278 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69           | < 1372636982 369978 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69         o/`¯º < 1372636996 911017 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`learn tdnh does not help < 1372637001 590044 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :I knew that. < 1372637012 570129 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :this*? < 1372637030 749608 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :what's the t for? < 1372637039 294243 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think you don't have the spirit of `? hagb4rd < 1372637049 169738 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :oh < 1372637050 142061 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :ok < 1372637058 798264 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :maybe < 1372637073 870453 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also it means whatever fits the context hth < 1372637141 765634 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :ic < 1372637194 252042 :hagb4rd!~perdito@koln-4db431f0.pool.mediaWays.net NICK :halfb4rd < 1372637364 589667 :halfb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :i'll consider that < 1372637879 36461 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1372638315 37760 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1372639574 313540 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :why does meta-0 cause a list of local hostnames to be printed, and then 's0' input? < 1372639578 540478 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :(at a shell) < 1372639649 202617 :Bike!~Glossina@174-25-58-104.ptld.qwest.net QUIT :Ping timeout: 248 seconds < 1372639964 28703 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1372639981 670461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: I bet you like Adámek's theorem! < 1372640126 149534 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: help how do i get intuition for limits and things that preserve limits and all that < 1372640269 662759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :magic hth < 1372640339 147390 :Bike!~Glossina@174-25-58-104.ptld.qwest.net JOIN :#esoteric < 1372640405 625817 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: I love it. < 1372641626 933613 :Bike!~Glossina@174-25-58-104.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1372641808 194534 :Bike!~Glossina@174-25-58-104.ptld.qwest.net JOIN :#esoteric < 1372642145 226803 :Bike!~Glossina@174-25-58-104.ptld.qwest.net QUIT :Ping timeout: 248 seconds < 1372642634 994004 :Bike!~Glossina@174-25-58-104.ptld.qwest.net JOIN :#esoteric < 1372643014 882296 :Bike!~Glossina@174-25-58-104.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1372643163 204439 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Have some weird combinators: http://pastebin.ca/2413173 < 1372643321 472103 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :What do they mean, what do they do? < 1372643368 385019 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i'm pretty sure cancel's just there to annoy elliott < 1372643593 210527 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Why would that annoy elliott? < 1372643621 378643 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :because he's a constructo-fascist? < 1372643709 150561 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1372643828 734999 :ion!ion@heh.fi PRIVMSG #esoteric :AT&T Archives: The UNIX Operating System http://youtu.be/tc4ROCJYbm0 < 1372643960 97950 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :cancel (\(\x -> y) -> y) = x < 1372643971 250992 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I'm pretty sure that's a legitimate definition. < 1372644025 11256 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Albeit rather silly... < 1372644041 565252 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It... pattern matches on lambdas? < 1372644092 321752 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :o.O < 1372644117 513076 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Well, here's what it does. < 1372644121 362582 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :cancel takes a function, f. < 1372644129 830710 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :supercancel :: (A -o Bottom) -o A < 1372644136 559878 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :supercancel (\x -> y) = x < 1372644141 355318 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :>_> < 1372644150 506883 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What does -o even mean?? < 1372644162 427673 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :That function, f :: (A -o Bottom) -o Bottom, will inevitably be called exactly once, with some argument, g :: A -o Bottom. < 1372644172 962159 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :In turn, g will inevitably be called exactly once, with some argument x :: A. < 1372644176 352021 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :cancel f returns x. < 1372644186 655792 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: it pretty much denotes a function. < 1372644191 648866 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I assume this isn't Haskell. What language is it? < 1372644218 459841 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Linear logic, written like Haskell. < 1372644312 213504 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Wait, I got it wrong. < 1372644322 359105 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Okay, *here's* what cancel does. < 1372644380 698756 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :cancel takes a function, f :: (A -o Bottom) -o Bottom. It makes up a function g :: (A -o Bottom) and calls f with it. f will then call g exactly once, with some argument x :: A. < 1372644383 421746 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :cancel f returns x. < 1372644541 855504 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so basically linear logic with continuations? < 1372644571 772036 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :No, pretty sure this is just plain linear logic. < 1372644594 162841 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um you can actually construct cancel? < 1372644610 898484 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah, I'm pretty sure you can prove ((A -o Bottom) -o Bottom) -o A. < 1372644636 902149 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :is it an axiom? < 1372644641 860641 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :or what axioms do you use to build it? < 1372644662 432950 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Uh, lemme see. ((A -o Bottom) -o Bottom) -o A is defined as... < 1372644665 768437 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm linear logic is not intuitionistic-like < 1372644690 267798 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is A -o Bottom the same as not A again < 1372644697 399788 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :It's the dual of A, yes. < 1372644705 269019 :nooodl_!~nooodl@91.177.94.217 QUIT :Ping timeout: 248 seconds < 1372644718 21142 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 256 seconds < 1372644803 61723 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :That thing is defined as ~(~(~A | Bottom) | Bottom) | A, which is ((~A | Bottom) * One) | A, which, by units, is ~A | A. < 1372644818 47625 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So then you can just do an initial sequence. < 1372644844 388397 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :yeah, but I mean if all you have are axioms and you want to do some natural deduction to get at that < 1372644846 499197 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :what would you do? < 1372644885 705124 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Uh, I guess first you use the initial sequent inference rule to get ~A | A. < 1372644912 970833 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Then, uh... < 1372644935 103285 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi copumpkin < 1372644944 868912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i bet you like fixed points < 1372644946 47023 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :hi < 1372644952 626131 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Something complicated involving the cut rule... < 1372644959 70558 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :shachaf: no, I hate them < 1372644998 867564 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: good < 1372645007 220127 :Bike!~Glossina@174-25-58-104.ptld.qwest.net JOIN :#esoteric < 1372645012 57242 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: can you tell me a haskell type that has more than 2 fixed points but not infinitely many? < 1372645031 65773 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :what's a fixed point of a type < 1372645055 637476 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Nat is a fixed point of Maybe < 1372645073 440395 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I've always wanted the "->" in "\x -> y" to be an infix operator whose arguments are \x and y. < 1372645075 481753 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :shachaf: no, but perhaps that Tree^7=Tree thing might inspire you? < 1372645086 496672 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :or was it 4 < 1372645086 703862 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :And that's because there's a continuous bijection between Nat and Maybe Nat? < 1372645104 107762 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :right, nevermind < 1372645105 862196 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :continuous? < 1372645124 76190 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Continuous. < 1372645131 533525 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :Continuous! < 1372645144 891795 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what does continuous mean :'( < 1372645158 20916 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :The inverse image of every closed set is closed. < 1372645158 792583 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :what are the open sets in Maybe < 1372645196 58478 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I guess all subsets of Nat are open. < 1372645201 223094 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :And all subsets of Maybe Nat are open, too. < 1372645224 903652 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :btw Maybe has more than one fixed point < 1372645227 4757 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :clopen < 1372645238 599506 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :do we have to use the strong topolgy < 1372645254 17219 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :A subset S of Maybe t is open if and only if the set of x such that Just x is in S is open. < 1372645263 935502 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: just clopen your mouth thx < 1372645408 699164 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1372645414 172258 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric ::( < 1372645422 26818 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Here's my latest attempt at defining cancel: < 1372645423 108422 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :cancel f = (f (\x -> )) x < 1372645444 37841 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :hmmm < 1372645448 804485 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :shachaf: but seriously what's a fixed point. < 1372645455 408635 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :also is it type or type constructor or what. < 1372645460 429638 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :i dunno man. i like fixed points . help < 1372645462 924724 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: hey it's not my fault your mouth is a continuous function :'( < 1372645476 683476 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@hug copumpkin < 1372645476 932668 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :http://hackage.haskell.org/trac/ghc/newticket?type=bug < 1372645488 479746 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :til about linear logic < 1372645496 748222 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :linear logic is teh shitznit < 1372645499 518662 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :duh < 1372645507 155414 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: A fixed point of F is an X such that X = F(X) < 1372645515 763884 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :yes < 1372645518 29230 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :now i must sleep < 1372645526 521897 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :♞ < 1372645533 994142 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :but like < 1372645535 266233 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :( ͡° ͜ʖ ͡°) < 1372645537 550651 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :Maybe Nat isn't Nat < 1372645543 850056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: But it's isomorphic. < 1372645544 503130 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :Bike: sure it is < 1372645574 8965 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: A fixed point of F is an X such that X ≅ F(X) # hth < 1372645574 586881 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Okay, suppose that f = \g -> g 5. Then cancel f = (f (\x -> )) x = ((\g -> g 5) (\x -> )) x = ((\x -> ) 5) x = 5. < 1372645576 447317 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Right? < 1372645625 152208 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :This makes perfect sense and is absolutely correct. < 1372645652 142290 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1372645846 762199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: What kind of fixed points do you like? < 1372645875 755616 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :ones that make sense. < 1372645896 71529 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1372645899 133946 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :converse f = (f (\g -> x)) (g, (\x -> )) < 1372645916 18403 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: You can represent natural numbers are follows: Nothing, Just Nothing, Just (Just Nothing), ... < 1372645924 521805 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/are/as/ < 1372645983 655679 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :sure < 1372645990 937596 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :that has even less to do with Nat. < 1372645997 496107 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1372646026 497566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's an obvious isomorphism to natural numbers. < 1372646028 219003 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :You were saying that F was Maybe (: * -> *) and X was Nat (: *) < 1372646034 82296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1372646046 998218 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :Now you're talking about some other isomorphism for some reason. < 1372646059 289181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I am? < 1372646069 105309 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nothing :: Maybe (Maybe (Maybe (Maybe ... < 1372646072 916787 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just Nothing :: Maybe (Maybe (Maybe (Maybe ... < 1372646075 684289 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just (Just Nothing) :: Maybe (Maybe (Maybe (Maybe ... < 1372646086 12741 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That type on the right is a fixed point of Maybe. < 1372646107 630813 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In particular it's the least fixed point of Maybe (let's say). < 1372646117 370542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And it's obviously isomorphic to Nat. < 1372646144 549158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a -o b = (not a) par b = not (a times (not b)) < 1372646216 793682 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so ((a -o bottom) -o bottom) -o a = not (((a -o bottom) -o bottom) times (not a)) < 1372646256 340526 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is (∀r. ((A -> r) -> r) -> r) isomorphic to (A -> Void)? < 1372646258 434417 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :so what's another fixed point of Maybe. < 1372646278 584535 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think the operator in linear logic which corresponds to the bottom of intuitionistic and classical logic, is zero, not bottom, isn't it? < 1372646282 446851 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Conat < 1372646286 523451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: I.e. Nat + infinity < 1372646293 453241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :cancel (f, acont) = f acont < 1372646313 392273 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :Nat + infinity in such a way that you can't tell them apart, of course < 1372646363 392802 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :did anyone see my fancy agda with conats? < 1372646408 308133 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://gist.github.com/copumpkin/4647315 ? < 1372646422 776712 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :yeah < 1372646551 415543 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION should write some Agda.
< 1372646553 674660 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It looks like fun. < 1372646758 142583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: Nu is so great imo < 1372646759 835109 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :best type < 1372646764 444750 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but it has a bad name < 1372646777 4749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe i should call Mu Lfix and Nu Gfix................................................! < 1372646785 923477 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :@let data Metal a = Metal a < 1372646786 535117 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1372646788 802490 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric ::k Nu Metal < 1372646789 394653 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Not in scope: type constructor or class `Nu' < 1372646789 415018 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Perhaps you meant one of these: < 1372646789 415179 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : `Num' (imported from Prelude), < 1372646814 970486 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :foiled again < 1372646823 541242 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let data Nu f = forall x. Nu x (x -> f x) < 1372646823 714462 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Parse failed: Illegal data/newtype declaration < 1372646836 743843 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :curses, foiled again < 1372646859 846500 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey should i read http://bentnib.org/posts/2013-03-29-productive-coprogramming.html y/n < 1372647084 386189 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :yes < 1372647120 738318 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good thing i'm already reading it < 1372647145 427379 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"2 l8" < 1372647202 383425 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tswett: "I'm not sure my syntax doesn't suck." -- that's modal logic hth < 1372647237 458387 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :~Necessary(~Sucks(MySyntax))? < 1372647261 640478 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1372647300 154826 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I wonder if I can express the function (A & B) -o A in my syntax. < 1372647333 12716 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Seems pretty straightforward: fst (x | _) = x < 1372647353 562483 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Except that uses case analysis, which, so far, I haven't actually used at all. < 1372647374 558024 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Which suggests that maybe case analysis just isn't necessary ever. < 1372647470 628948 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Lessee, that's the same as (((A -o Bottom) + (B -o Bottom)) -o Bottom) -o A... brb installing relief valves in my brain so it doesn't explode < 1372647526 392358 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1372647547 680245 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Huh, yes, the + appears in a positive position there. < 1372647563 587981 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :No case analysis necessary. < 1372647569 189878 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :weerd < 1372647582 301240 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: that's not case analysis, it's picking an element from a tuple... < 1372647589 565923 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :There's only one case. < 1372647602 960557 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Unicasal case analysis. < 1372647636 725867 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Except the adjective form of "case" is actually... "capsular"? < 1372647651 718875 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :No, that's the other type of case. < 1372647706 68199 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :And I think that would actually be "capsal". < 1372647714 355985 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :This one would be "casal", yeah. < 1372647896 744723 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fst = Left id ? < 1372647920 635684 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I think that would be (A -o A) + B. < 1372647958 830993 :Nisstyre-laptop!~yours@oftn/member/Nisstyre NICK :Nisstyre < 1372647996 974916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i'm just thinking of + as Either < 1372648065 879390 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so Left is how you construct one < 1372648072 988913 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Now my syntax is a little bit more explicit. Brackets essentially mean "run this calculation in parallel", and then a period means "this calculation is finished". < 1372648087 717907 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Here's my new definition of cancel: cancel f = [f (\x -> .)] x < 1372648154 12469 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh whatever < 1372648165 671042 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :how is that unique to linear logic? it seems like the usual continuationey shit you can do to "prove" LEM? < 1372648180 134128 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I still do not understand it very well. < 1372648181 967091 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :How is what unique to linear logic? < 1372648604 946378 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Woohoo, implementations of everything: http://pastebin.ca/2413195 < 1372648746 618306 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :The dot *usually* occurs inside the corresponding pair of brackets. Like, in the definition of cancel, those brackets are defining x, and the corresponding dot comes after \x. < 1372648767 252129 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :It looks like the only exception is converse, where the brackets are defining g, but the dot comes after \x. < 1372650237 932108 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I keep reading "converse" wrong in my head. I'm reading "cónverse", the noun, but it's supposed to be "convérse", the verb. < 1372650296 49400 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :since when is ´ used to indicate emphasis :'( < 1372650302 641564 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::´( < 1372650314 398401 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Since Spanish. < 1372650333 675258 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :spanish, more like bad use of acute accentish < 1372650343 202583 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :i thought in english you used ` for that. < 1372650356 272848 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah, I know, right? The Spanish language pretty much consists entirely of bad diacritics. < 1372650386 596764 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :The word for "penguin" is "pingüino". What the hell? Why is the diaeresis over the first vowel instead of the second? And "üi" is a diphthong there! < 1372650407 927860 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: I thought that ` merely indicated that the vowel is pronounced. < 1372650414 647785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :p̈ïn̈g̈üïn̈ö < 1372650429 843748 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :As in "learnèd". The stress definitely goes over the "learn", not the "èd". < 1372650474 685033 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :oh i guess you're right. sucks < 1372650485 743828 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help i'm not good at categories proofs :'( < 1372650506 370803 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :i think you mostly just say things commute < 1372650523 683660 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i heard bicycles are good for commuting < 1372650531 179149 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :yes < 1372650567 879165 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I'm not sure this syntax I came up with is equivalent to any existing syntax. < 1372650633 466137 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but ok at least i follow the proof of lambek's lemma now < 1372650636 192664 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Also it's not very good. [(\x -> .) x] is equivalent to "let x = x". But you can't use x afterward, so I guess it's okay. < 1372650647 241218 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :p. good lemma < 1372650668 112374 :tswett!~quassel@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :HTH. < 1372650714 260266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like how nlab has two different proofs of the lemma, one of which is a dual of the other (but written differently). < 1372650715 353739 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :shachaf: have you seen my agda version of that?! < 1372650726 892921 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: You forgot to say that things are just duals of other things. < 1372650732 207789 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Even less work than commutativity. < 1372650740 226942 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nopumpkin < 1372650750 943891 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :i think you'l find that duality is the dual of commutativity. < 1372650766 862100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://github.com/copumpkin/categories/blob/master/Categories/Functor/Algebras.agda#L97 ? < 1372650767 776676 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :https://github.com/copumpkin/categories/blob/2d44e3babb5108ea9b6bd5994c21f4a2278525d1/Categories/Functor/Algebras.agda#L97 < 1372650769 913194 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :yes < 1372650782 748443 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is the commit version better than the master version? < 1372650786 681649 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :no < 1372650794 133003 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :just what the search box took me to < 1372650806 417081 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: have you considered agda + support for commutative diagrams hth < 1372650812 965316 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :nope < 1372650830 482353 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well i'm patenting the idea hth < 1372650835 737271 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :k < 1372650842 253223 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ddarius doesn't like commutative diagrams. < 1372650849 269044 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Except when he does? < 1372650857 225283 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Has he moved to the good coast yet? < 1372650865 802691 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :don't think so < 1372650883 666670 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should do his exercise. < 1372650888 737912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :He gave me an exercise. < 1372650900 315618 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I may have seen spoilers while reading nlab... < 1372650929 897842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: That proof looks reasonably straightforward, except for all the Agda noise. < 1372650956 918319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually that part looks straightforward too. < 1372650980 849532 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In fact this whole lemma is completely obvious. Why did they bother giving it a name? < 1372651015 23479 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :[that formalist quote] < 1372651050 339166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: So now can you get the dual of the lemma for free by telling Agda to, like, dualize the proof and stuff? < 1372651158 382148 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: So an initial algebra is also a coalgebra. Is it a special coalgebra in some way? < 1372651176 151691 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's initial in the category of coalgebras that are also isomorphisms, but that's not saying much. < 1372651794 21599 :TeruFSX!~TeruFSX@75-163-26-8.dlth.qwest.net JOIN :#esoteric < 1372651950 268807 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :don't think it's particularly special, no < 1372651960 477341 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :sorry, trying to do something before I go to sleep, not checking IRC much :) < 1372651972 601171 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I can't get the dual for free right now but it might be possible to define something that lets you < 1372651976 698129 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :haven't thought about it much < 1372651993 762008 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I have various kinds of free duals attached to things < 1372652008 440101 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :you can get an "opposite functor" for free, and obviously an opposite category < 1372652071 894301 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is Smyth and Plotkin's lemma another name for Lambek's lemma? < 1372652078 633782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, no, it's saying something a bit stronger. < 1372652233 178640 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there any Haskell library for defining chess variants? < 1372652438 222108 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1372652599 77558 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: I guess it's sort of special in that it gives you an embedding from Mu to Nu, maybe? < 1372652632 413618 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In Haskell you can do it with Fix without a Functor constraint. It seems to me that Fix is rather fishy, though. < 1372653153 244285 :Bike!~Glossina@174-25-58-104.ptld.qwest.net QUIT :Ping timeout: 248 seconds < 1372653377 78081 :Bike_!~Glossina@174-25-58-104.ptld.qwest.net JOIN :#esoteric < 1372654249 347599 :Bike_!~Glossina@174-25-58-104.ptld.qwest.net NICK :Bike < 1372654539 735800 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1372654783 51349 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: ok i'm getting annoyed by not knowing things about fixed points < 1372654785 900810 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: plz help < 1372654791 439673 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :which things < 1372654802 826603 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like why do they exist < 1372654804 250988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in haskell < 1372654836 207407 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :you realize i know, like, negative amounts of haskellmath. i'll just confuse you worse as i try to figure out what hte fuck you're saying. < 1372654862 374166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good < 1372654865 618911 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :negative haskellmath! < 1372654869 723417 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :is that like virtual species < 1372654872 202248 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :hth < 1372654879 384625 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :fuck, probaby < 1372654881 813333 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :l < 1372654887 876383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: you should do an agda proof that Mu F is an initial F-algebra < 1372654892 394321 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ht < 1372654892 800534 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :h < 1372654899 353927 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :i like how "virtual species" is a combinatoric thing and also a bikeology thing < 1372654951 440713 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: i would do it but i'd have to, like, learn agda and stuff < 1372654979 886542 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :shachaf: I can't define Mu in Agda directly < 1372654996 538093 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why not? < 1372655022 232273 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :oh I guess your form of it might work < 1372655029 4023 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :actually no < 1372655054 337596 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why not? < 1372655074 714940 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :maybe it does, I dunno < 1372655076 355839 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :try it out :P < 1372655188 951816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't even know how to type those fancy characters. < 1372655196 261155 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :then learn! < 1372655199 121250 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :isn't that what you do? < 1372655231 353127 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Me? Do I look like a learnin' person to you? < 1372655324 556672 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo copumpkin should come to san francisco to talk about agda and categories at bahaskell < 1372655345 173890 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric ::) < 1372655391 202931 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe copumpkin isn't cool enough to come to san francisco yet :'( < 1372655412 273659 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :clearly not! < 1372655412 326755 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i heard that's the main requirement < 1372655431 188135 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :why do people come into #language and "'«challenge'”» everybody to explain why they should use language < 1372655490 275152 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :yo people tell me why I should use esoteric languages < 1372655504 307357 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Wait, is it chord? < 1372655509 10452 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :brainfuck is web-ready and has access to java libraries < 1372655517 463299 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :yes < 1372655541 719344 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://tunes.org/~nef/logs/haskell/13.01.29 < 1372655553 965917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have fun with chord < 1372655561 765049 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :oh, fucking great < 1372655592 931509 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :"how does a functional language like Haskell implement a hash table as an array?" omg < 1372655615 708338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It gets way better. < 1372655622 497921 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :More chord fun after you've finished that one: http://tunes.org/~nef/logs/haskell/13.02.23 < 1372655623 850342 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :what the hell < 1372655637 312380 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :what's with this phd crap, what the shit. < 1372655647 347374 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :"tac has always been skeptical of computational complexity" also < 1372655765 283710 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Wait, Zhivago is in ##lisp? < 1372655776 820717 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :yeah that fucker's everywhere < 1372655797 477717 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i thought of Zhivago as a ##c person < 1372655802 854017 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :i know right. < 1372655853 629792 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, y'all in #lisp have a lot of familiar names from various places. < 1372655866 111013 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like zRecursive < 1372655869 119973 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and Bike < 1372655880 714527 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and Quadrescence < 1372655885 48612 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :Whoa Man < 1372655903 211346 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yay that means I know a famous freenode person? < 1372655913 249196 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :i am the famousest. < 1372655918 304985 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: Who? < 1372655922 410515 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :at least three distinct people have heard of me < 1372655942 927819 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :bike, clearly < 1372655948 433644 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, Bike's famous? < 1372655960 885104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi Bike < 1372655962 959588 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :sorry, I was responding to what you said < 1372655963 160100 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :there are rumors that a fourth person has heard of me. < 1372655965 444668 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :hi shachaf < 1372655969 912517 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I said familiar. < 1372655977 765316 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As in I know of them from other places. < 1372655980 218965 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As in #esoteric. < 1372656086 424423 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :also ##bike < 1372656098 45650 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :not bike approved tho < 1372656107 480571 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :22:21 [@ChanServ] [ shachaf] < 1372656113 912265 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :i meant in the past < 1372656116 164364 :Bike!~Glossina@174-25-58-104.ptld.qwest.net PRIVMSG #esoteric :the ##bike past. < 1372657323 426084 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1372659007 455168 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 264 seconds < 1372659391 35558 :Bike!~Glossina@174-25-58-104.ptld.qwest.net QUIT :Ping timeout: 276 seconds < 1372659465 43320 :Bike!~Glossina@174-25-58-104.ptld.qwest.net JOIN :#esoteric < 1372659569 744130 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1372660304 922245 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1372660342 258616 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1372661436 102242 :Bike!~Glossina@174-25-58-104.ptld.qwest.net QUIT :Ping timeout: 252 seconds < 1372661516 39542 :Bike!~Glossina@71-222-51-134.ptld.qwest.net JOIN :#esoteric < 1372661809 41209 :Bike!~Glossina@71-222-51-134.ptld.qwest.net QUIT :Ping timeout: 276 seconds < 1372662175 427172 :Taneb!~nathan@host-92-30-175-110.as13285.net QUIT :Ping timeout: 264 seconds < 1372662332 820520 :Taneb!~nathan@host-92-30-175-110.as13285.net JOIN :#esoteric < 1372663651 7292 :epicmonkey!~epicmonke@188.134.41.113 JOIN :#esoteric < 1372665020 431542 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Here is a chess problem: White pawns on f2 and e7, king on e6. Black pawn on g5 and king on e8. White to play and win. < 1372665047 92233 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you draw it for me? I don't know chess notations. < 1372665287 829275 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :4k3/4P3/4K3/6p1/8/8/5P2/8 w - - 0 1 is the FEN, you can paste it into any decent program < 1372665379 485113 :epicmonkey!~epicmonke@188.134.41.113 QUIT :Read error: Operation timed out < 1372666360 926224 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Okay, I have finally found a replacement for Google Reader < 1372666433 910822 :nortti!nortti@nano.smar.fi QUIT :Ping timeout: 240 seconds < 1372667083 130597 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1372668037 113621 :halfb4rd!~perdito@koln-4db431f0.pool.mediaWays.net PRIVMSG #esoteric :taneb: which one? < 1372668047 926690 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :bazquux < 1372668114 165750 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :www.bazqux.com < 1372668120 820733 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :It's not free, but I like the interface < 1372668262 25993 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :free as in free f-algebra < 1372668483 744595 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :It's written in Haskell and Ur/Web, I believe < 1372668506 983328 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :because RSS feeds are surprisingly computationally expensive, whatwithallthe parsing. < 1372668531 83743 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :at least such that a static compiled language would have some advantage, probably, or something. < 1372668536 553241 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What's the dual of CodensityAsk? < 1372668542 733992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(More commonly known as Free.) < 1372668598 229288 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: I don't know if there is clearly the dual..... < 1372668598 828248 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is a cofree comonad a cofree f-coalgebra? < 1372668613 718140 :ion!ion@heh.fi PRIVMSG #esoteric :
ACTION drinks some ffee
< 1372668620 887068 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think CofreeComonad f a = exists x. (x, x -> (a, f x)) < 1372668709 886775 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So maybe Cofree (Coalgebra F) = CofreeComonad F? < 1372668737 192024 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1372668746 459522 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe CofreeComonad f a = exists x. (a, x, x -> f x) < 1372668749 944674 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That makes more sense! < 1372668771 428123 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, wait. < 1372668775 437693 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, it makes no sense. < 1372668808 255970 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So how do you express CofreeComonad without the ugly functor composition? < 1372668846 259116 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :it is dangerously difficult to distinguish between sense and nonsense in this area < 1372668870 925866 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Actually there are two things known as Free, and CodensityAsk is different anyways because it does not take a class as its parameter. < 1372668887 21915 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But all three of these things are related. < 1372668892 584033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm talking about newtype Free f a = Free { runFree :: forall r. f r -> (a -> r) -> r } < 1372668941 683873 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, that one is basically the same as what I made up, although other things have been called Free, too. < 1372668947 769257 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :That's just data Free f a = Pure a | Free (f (Free f a)) in CPS, right? < 1372668970 241433 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Taneb: No. < 1372668971 445310 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :you can get a lot of things for free < 1372668971 465616 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: No, that's be newtype FreeMonad = FreeMonad { runFreeMonad :: (a -> r) -> (f r -> r) -> r } < 1372668973 482992 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :At least when f is a Functor < 1372668986 374612 :Taneb!~nathan@host-92-30-175-110.as13285.net PRIVMSG #esoteric :Aaah < 1372668992 889466 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Free (Algebra F) = FreeMonad, where Algebra f a = f a -> a < 1372669001 860643 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which corresponds to the notion that a free monad is a free f-algebra. < 1372669027 431750 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Although in mine, I also had that if f is a comonad, then it makes a MonadPlus.) < 1372669112 648702 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :That way even gives you a Maybe monad, Either monad, and "disjunctive state monad". < 1372669125 279936 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The cofree comonad on an endofunctor H on C is given by DA =df νX.A× HX < 1372669127 843876 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(i.e., the carrier of the final A × H(−)-coalgebra, which is the cofree H-coalgebra < 1372669130 982078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :on A). < 1372669242 315956 :ion!ion@heh.fi PRIVMSG #esoteric :final indeed < 1372669263 987091 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So how do you express Cofree? < 1372669647 56787 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1372669747 748299 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :("Disjunctive state monad" = CodensityAsk (Store s). It uses <|> to compose state, and this is achieved for free.) < 1372670287 598199 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1372670607 50581 :olsner!~salparot@c83-252-194-156.bredband.comhem.se QUIT :Ping timeout: 246 seconds < 1372670797 68064 :Halite!~Halite@unaffiliated/octagonfly QUIT :Read error: Connection reset by peer < 1372670991 902424 :atriq!~nathan@80-44-118-69.dynamic.dsl.as9105.com JOIN :#esoteric < 1372671027 649022 :Taneb!~nathan@host-92-30-175-110.as13285.net QUIT :Disconnected by services < 1372671031 457802 :atriq!~nathan@80-44-118-69.dynamic.dsl.as9105.com NICK :Taneb < 1372671310 806995 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1372671579 255272 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1372671906 952447 :augur!~augur@208.58.5.87 QUIT :Read error: Connection reset by peer < 1372671918 46261 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1372672137 345239 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1372672244 516285 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1372672377 438363 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1372672452 14367 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1372672491 27630 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1372672513 713397 :augur!~augur@208.58.5.87 QUIT :Read error: Connection reset by peer < 1372672624 63960 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1372673005 997882 :augur!~augur@208.58.5.87 QUIT :Ping timeout: 256 seconds < 1372673672 618713 :nooodl_!~nooodl@91.177.94.217 JOIN :#esoteric < 1372673935 977998 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 260 seconds < 1372674221 928933 :olsner!~salparot@c83-252-194-156.bredband.comhem.se JOIN :#esoteric < 1372674524 7110 :olsner!~salparot@c83-252-194-156.bredband.comhem.se QUIT :Ping timeout: 260 seconds < 1372674893 6959 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1372674922 225464 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Cofree f a = exists x. (x, x -> a, f x) < 1372674949 921876 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :( Saizan++ ) < 1372675391 656026 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :cofree of what again? f-algebra? < 1372675451 126801 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, a Cofree F-Coalgebra is a cofree comonad. < 1372675540 441319 :olsner!~salparot@c83-252-194-156.bredband.comhem.se JOIN :#esoteric < 1372675836 771959 :Taneb!~nathan@80-44-118-69.dynamic.dsl.as9105.com QUIT :Quit: Leaving < 1372676127 277427 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://dl.dropboxusercontent.com/u/113389132/Misc/20130701-ieeepub.png oh, so that's what it looks like. < 1372676289 901439 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the eic looks very happy about receiving the paper < 1372676450 807210 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you think non-continuous chess variants don't have a number of dimensions? < 1372676500 947023 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mnoqy: It's what gives their life meaning! I think. < 1372676756 322079 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :http://www.chessvariants.org/index/displaycomment.php?commentid=29981 Can you play the Fukumoto variant? < 1372677315 156014 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1372677633 292495 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :"The King's security is more important than the King himself." -- The Hitchhiker's Guide to Chess < 1372677651 626693 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What do you think of Cofree? < 1372677665 348077 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: I don't know. < 1372677679 475266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cofree (Coalgebra F) = CofreeComonad F < 1372677690 786943 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(And of course Free (Algebra F) = FreeMonad F) < 1372677717 8478 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Using your definition, let's see. Yes, that seems correct to me. < 1372678410 763515 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1372679876 466434 :TeruFSX2!~TeruFSX@75-163-26-8.dlth.qwest.net JOIN :#esoteric < 1372680070 19501 :TeruFSX!~TeruFSX@75-163-26-8.dlth.qwest.net QUIT :Ping timeout: 268 seconds < 1372680467 546128 :sacje!~sacre@unaffiliated/klet QUIT :Quit: sacje < 1372682444 105342 :itsy!~digital_w@46.208.115.220 JOIN :#esoteric < 1372682593 428270 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1372682652 696488 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Read error: Connection reset by peer < 1372682655 831774 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1372682685 632357 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1372682691 526514 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hello < 1372682717 388452 :itsy!~digital_w@46.208.115.220 PRIVMSG #esoteric :Hello AnotherTest :-) < 1372682856 784025 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :what have I done http://stackoverflow.com/questions/17378961/elegant-way-to-implement-extensible-factories-in-c/17404774#17404774 < 1372683026 873131 :itsy!~digital_w@46.208.115.220 PRIVMSG #esoteric :This might be fun - http://tnmoc.org/summer-bytes (Summer Bytes Festival in UK) < 1372684597 51640 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1372685025 953301 :halfb4rd!~perdito@koln-4db431f0.pool.mediaWays.net QUIT :Quit: halfb4rd < 1372685498 830147 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :20:33:22: wtf http://www.wekkars.com/ < 1372685499 966050 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :help. < 1372685581 618365 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Signed esolangs.org up for it already, did you? < 1372685625 940937 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :https://twitter.com/wekkars i just... < 1372685628 246523 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is this real < 1372685772 433855 :Gracenotes_!~person@wikipedia/Gracenotes QUIT :Remote host closed the connection