< 1421798464 295260 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh i just made that type more specific to avoid ScopedTypeVariables < 1421798478 690798 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(than f) < 1421798515 819887 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: this is my version of your code (based on your code) http://lpaste.net/3703918584196497408 < 1421798515 973230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or something like that, anyway < 1421798539 301197 :Lymia!~fujoshi@inportb/loli/cirno-chan JOIN :#esoteric < 1421798549 909097 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there are no ScopedTypeVariables < 1421798612 351153 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm indeed < 1421798637 790602 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess the need got factored away somehow < 1421798666 832286 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ScopedTypeVariables was needed earlier when you needed to refer to a and b < 1421798701 881933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1421798720 393514 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there ever a program where ScopedTypeVariables is needed? < 1421798784 971479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :beats me < 1421798785 244680 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oleg had an article on it. < 1421798794 867587 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Something that used guards to specify type hints. < 1421798855 548027 :Melvar`!~melvar@dslb-178-012-191-057.178.012.pools.vodafone-ip.de JOIN :#esoteric < 1421798901 238155 :Melvar!~melvar@dslb-088-078-155-151.088.078.pools.vodafone-ip.de QUIT :Ping timeout: 256 seconds < 1421798910 2995 :Melvar`!~melvar@dslb-178-012-191-057.178.012.pools.vodafone-ip.de NICK :Melvar < 1421798928 655444 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I still don't believe Oleg exists < 1421799541 665595 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Am I going to get attacked by Oleg in my sleep now < 1421799601 712138 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I don't think there are reported cases of noleghtmares. you may be the first! < 1421799709 516068 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1421799769 367806 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: ok, you win, RankNTypes are not required: http://lpaste.net/187269619306725376 < 1421799807 656140 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(In case you wonder, the knot-tying is for avoiding ScopedTypeVariables) < 1421799815 751283 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, my attempt was getting bogged down in that :P < 1421799851 144048 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mind if upload that to my lbexploits directory < 1421799855 880750 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*i upload < 1421799867 893987 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1421799902 874257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(your version, that is, no use for me continuing) < 1421799958 717635 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sure, go ahead < 1421799971 615629 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ping me if you ever decide to add authors :P < 1421799976 782468 :tangentstorm!~michal@108-218-151-22.lightspeed.rcsntx.sbcglobal.net PART #esoteric :"WeeChat 0.3.2" < 1421800014 330244 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought i'd just add a {- By int-e with permission -} comment < 1421800027 519995 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :How much do I care about separation logic < 1421800032 175368 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course if you'd prefer your real name in it... < 1421800063 937720 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: nah, there are enough people who'll recognize the nick as is < 1421800082 372061 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is KindSignatures required? < 1421800109 789792 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As opposed to just putting in a constraint or extraneous argument or something that forces the kind. < 1421800110 204252 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :int-e, do what I do and call yourself Nathan "Taneb" van Doorn < 1421800114 589309 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Except with your name and nick < 1421800125 924027 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I don't know, but I think so, since kind inference is very weak. (You can't define type Foo a and later use Foo Maybe, that'll be a kind error0 < 1421800128 876354 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :) < 1421800166 22497 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Taneb: this doesn't really quite work with me :P < 1421800201 740742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Right, but you don't need a type synonym. < 1421800206 947404 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :boily, Alexandre "boily" Boily? < 1421800209 986209 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It can be part of the signature. < 1421800212 13185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://oerjan.nvg.org/lbexploits/ExploitGADT.hs < 1421800252 66016 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Taneb: indeed. < 1421800263 736478 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :boily, I believe oerjan and shachaf have similar issues < 1421800272 63921 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Similar, but not quite the same < 1421800273 460969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you'd think < 1421800306 143035 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I should use Ngevd more often < 1421800327 916944 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan's the other way round. I have no idea what is shachaf's name. < 1421800344 552157 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: I don't understand. < 1421800347 662337 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I know people who call me Taneb offline which scares me a little < 1421800355 237545 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :he he he :D < 1421800398 881120 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Seriously if any of you ever see me AFK please call me Nathan < 1421800401 267834 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Taneb: is it tainib or tahneb? < 1421800408 703586 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :int-e, the latter < 1421800416 556176 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :int-e: it's täneb. < 1421800432 915626 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :int-e, but with the stress on the e? < 1421800445 365920 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: made it work without KindSignatures hth < 1421800457 675895 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: don't brag, show code. < 1421800524 851946 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://slbkbs.org/OerGADT.hs < 1421800587 731265 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: he's not very hard to google hth < 1421800598 204552 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :urkh. < 1421800617 207808 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: I can't believe the compiler goes along with that :P < 1421800628 53293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can pass a "p Maybe" argument instead of the q constraint if you prefer. < 1421800637 83843 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: Catherine Margaret Shachaf? < 1421800669 83184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...are you getting different results from me, that would be so google < 1421800681 794594 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why would you expect google to work the same way everywhere < 1421800695 874081 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: on the other hand it's exactly how Typeable thinks about it: Proxy Proxy is obviously the same as Proxy Proxy. < 1421800702 30842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i shall take the use of half my name as permission to upload hth < 1421800758 796492 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: um that version has the crash bug < 1421800765 800347 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: no, there's this wikipédia result in the middle of the page. < 1421800773 474492 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i didn't actually run it hth < 1421800775 395700 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or rather "weird number printed" bug < 1421800791 611286 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf: fyi, your twitter profile is the first hit here, then your linked in profile. < 1421800794 444179 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but i'm p. sure you could make it work < 1421800799 483550 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: scow scow scow < 1421800811 862867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you following me on twitter btw < 1421800836 821852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :best thing to do in life < 1421801017 920106 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I had a twitter account for a grand total of ten minutes. < 1421801029 988372 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? scow < 1421801030 682019 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :scow? ¯\(°​_o)/¯ < 1421801087 821202 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: are you making it work or did you give up < 1421801105 461753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think you are overestimating my speed < 1421801120 970141 :arjanb!8259a9d1@gateway/web/freenode/ip.130.89.169.209 PRIVMSG #esoteric :oh yet another ghc bug? < 1421801142 929299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :arjanb: no, just finding a different way to exploit the same one < 1421801146 363407 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Same bug, different constraints. < 1421801152 451014 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :using GADTs instead of TypeFamilies < 1421801218 842913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: made it work hth < 1421801241 40019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :excellent < 1421801243 684012 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :just do B :: (p ~ Proxy, q ~ p Maybe) => X a b (a -> b) (Proxy p) < 1421801247 952131 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :So far my hearburn has lasted: almost 3 days < 1421801258 352472 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i was a bit suspicious that that wasn't working in the first place < 1421801293 965403 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Sgeo, seek medical help? < 1421801299 896291 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/wasn't/was/ < 1421801310 885582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1421801313 782460 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Taneb: I'm going to see a doctor on Saturday. Hopefully this isn't so urgent that days matter < 1421801345 794562 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Sgeo, I hope you are OK! < 1421801357 136780 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Thanks. My dad does seem confident that it's not that urgent < 1421801365 884979 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Long-term if it's not resolved that would be bad, afaik < 1421801429 565581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://oerjan.nvg.org/lbexploits/ExploitGADTsOnly.hs < 1421801483 459145 :arjanb!8259a9d1@gateway/web/freenode/ip.130.89.169.209 PRIVMSG #esoteric :
ACTION has given up on the soundness of ghc, the rate of new extensions is just too high
< 1421801586 590708 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: "uc = case yadda uc of" O_O < 1421801600 119747 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh okay, that's just using it as a proxy < 1421801605 370367 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I was really scared there < 1421801613 332599 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: blame int-e for that hth < 1421801623 786530 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you're shadowing again hth < 1421801625 49253 :callforjudgement!~ais523@cpc6-king9-2-0-cust765.perr.cable.virginm.net JOIN :#esoteric < 1421801625 369465 :callforjudgement!~ais523@cpc6-king9-2-0-cust765.perr.cable.virginm.net QUIT :Changing host < 1421801625 522668 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1421801633 30968 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :arjanb: btw, are you like an evil version of oerjan < 1421801639 11160 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's what your name makes me think of < 1421801647 925901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he's very evil, he messes up my logreading < 1421801663 705772 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I should sleep soon < 1421801668 991629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: not my code hth < 1421801687 787410 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fix it anyway twh < 1421801690 527450 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :My trying to learn category theory is confusing me < 1421801696 192774 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Taneb: nonsense. today isn't a prime number. < 1421801720 725738 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :boily, it's semiprime so I need to semisleep < 1421801750 773238 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :right, you live in the future. < 1421801758 349772 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: in your code, B has the same kinds as A. Now if you try to force the B constructor using b :: (p ~ Proxy, q ~ p Maybe) => X a b (a -> a) (Proxy p); b = B, then ghc complains that * and * -> * don't match; it has already decided on the kinds when checking the type declaration. So you run into the problem of weak kind inference that I hinted at. < 1421801782 41974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: fixed hth < 1421801800 207660 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: that's why i updated it hth < 1421801823 71902 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 272 seconds < 1421801847 251341 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1421801855 664058 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1421801863 443483 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: wait what's the complaint there? < 1421801870 212079 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hm? < 1421801882 964262 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"uc = case yadda uc of" < 1421801883 348694 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1421801885 74846 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1421801909 192308 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I was expecting raised eyebrows for "a b u t" but not for that. < 1421801913 130972 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: I was worried it would be terrifying and circular < 1421801919 562108 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like yadda wouldn't just ignore its argument < 1421801927 917060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i was wondering about the u a bit... < 1421801967 684926 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: okay. < 1421801982 892467 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: i fixed it and uploaded the fix to oerjan's server hth < 1421801990 253009 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's why it's a 404 < 1421801998 394040 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: I found it already < 1421802014 791014 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION bets there's some way to do this without any extensions
< 1421802026 353074 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: "(In case you wonder, the knot-tying is for avoiding ScopedTypeVariables)" < 1421802036 837617 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can't match on Refl without GADTs or TypeFamilies. < 1421802040 210678 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't read things. < 1421802041 679271 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i added a comment that it doesn't work in GHCi < 1421802058 996608 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can probably write ecast with just Typeable or something < 1421802068 544464 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :at least a restricted version < 1421802100 609297 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: I'll say it isn't possible and wait for shachaf or oerjan to prove me wrong :P < 1421802119 717378 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it'll be pretty tricky without extensions. < 1421802137 833278 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Since you can't even use the "(:~:) is already defined" trick. < 1421802187 910312 :chaosagent_!~quassel@c-98-210-97-139.hsd1.ca.comcast.net JOIN :#esoteric < 1421802199 915225 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm admittedly kind of confused how you cause the kind confusion without polykinds < 1421802208 280695 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: oh you can drop the NOINLINE on yadda < 1421802209 154993 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, do you rely on (:~:) being polykinded? < 1421802209 419345 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Proxy is PolyKInded < 1421802217 689186 :chaosagent!~quassel@c-98-210-97-139.hsd1.ca.comcast.net QUIT :Ping timeout: 245 seconds < 1421802227 18975 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION sighs at GHC's notion of "not using an extension"
< 1421802239 306711 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :being able to write (C :: T Int, C :: T []) and claim it's not polykinded... < 1421802272 908922 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: it has similar weird ideas about overlapping instances, hth < 1421802276 496726 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this means i'm wondering a bit how much of this works after they introduced the new "only infer types that can be written" rule < 1421802297 373223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which will be in 7.10 iirc < 1421802303 479928 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so what is the trick to get the TypeReps identical, use type variables for the arguments or something? < 1421802310 416192 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1421802311 204764 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I get it < 1421802321 524074 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: it's that typereps contain no kind information < 1421802325 415216 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah I know that much < 1421802363 673210 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, it would be a bit odd for polykinded Proxy not to be usable without turning on polykinds. < 1421802367 719907 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :okay so the main thing is deriving (Proxy :: *) :~: (Proxy :: * -> *) < 1421802374 28831 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as in, that's the core bug < 1421802380 454345 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can do that with just kindsignatures right? < 1421802383 736587 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You need an extra level of Proxy. < 1421802396 244472 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why? < 1421802401 794469 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :To make the kinds match. < 1421802405 408946 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, yeah < 1421802410 418893 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I was assuming a polykinded :~: < 1421802411 412636 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and you can't have Proxy :: * < 1421802412 592313 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :JMeq :/ < 1421802412 745509 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Some package loading things in Javascript -almost- look like Applicatives if you squint < 1421802417 302233 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: ok, ok, shut up :p < 1421802419 533114 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Even polykinded :~: doesn't support two different kinds < 1421802493 262970 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: when was that rule introduced? < 1421802494 497610 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I like how you have to write (:~:) a b < 1421802500 926151 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thanks haskell < 1421802507 604487 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :only to avoid TypeOperators < 1421802567 207378 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: done < 1421802605 321310 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is polykinded "type K a b = b" anywhere < 1421802611 936651 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: can you do that for ExploitGADT too? < 1421802636 866462 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`thanks haskell < 1421802638 777487 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, haskell. Thaskell. < 1421802717 957112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: done < 1421802722 880609 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :thanks < 1421802740 86446 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i've been seeing the rule in "what's up for 7.10" lists < 1421802895 271679 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is there a way to make ghc annotate kinds < 1421802900 146005 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instead of just saying Proxy Proxy when you :t < 1421802909 450125 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Quit: This is me, signing off. Probably rebooting or something. < 1421802992 960563 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: the 'u' type is the 'unsafe' one of course ;) < 1421803001 735026 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway I seem to have something fun < 1421803014 277748 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but I'm not sure I can exploit it yet < 1421803029 961866 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I have Proxy (Proxy :: * -> *) :~: Proxy (Proxy :: (* -> *) -> *) with zero extensions, at least < 1421803132 257028 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1421803147 589068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah only Typeable and cast give you that < 1421803151 400135 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1421803161 374780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right. and the hard part is leveraging that into something exploitable, right? < 1421803168 221827 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :since you need a way to "case" on the kind < 1421803168 375145 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes. < 1421803186 887317 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe instead of using Proxy you could use (:~:) again... < 1421803187 288874 :dianne_!~diannes@unaffiliated/dianne JOIN :#esoteric < 1421803201 337799 :dianne!~diannes@unaffiliated/dianne QUIT :Disconnected by services < 1421803203 966871 :dianne_!~diannes@unaffiliated/dianne NICK :dianne < 1421803240 98152 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there's an open question whether MultiParamTypeClasses is strong enough for that. < 1421803243 490240 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: our exploits so far have needed something non-parametric/non-representational < 1421803268 266910 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: right. < 1421803274 383022 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(with fundeps) < 1421803288 273506 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: it feels like that isn't necessarily true if you can use something more useful than Proxy though... < 1421803333 9188 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Which let you express injectivity, but somehow not exploit it to full extent. (With class Foo a b | a -> b, given Foo a b and Foo a b', the compiler will not deduce that b = b') < 1421803418 102969 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I am wondering if you can just use typeclasses here < 1421803450 877890 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like let's say there is class Convenient (a :: k) b | a -> b where foo :: proxy a -> b in the stdlib < 1421803462 247761 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :then you can instance Convenient OneProxy (Int -> Int) where ... < 1421803468 256014 :bb010g!uid21050@gateway/web/irccloud.com/x-gjliuqwfkwmjjira JOIN :#esoteric < 1421803473 291974 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and instance Convenient TheOtherProxy (Int -> Char) where ... < 1421803490 713990 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and turn something that takes the latter instance into something that takes the former. or something. < 1421803496 135482 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's obviously still a bunch of extensions < 1421803505 470906 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but you probably don't need all that machinery... < 1421803523 302240 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION feels ignored.
< 1421803538 233079 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: I did read, but I'm not sure you need that here? < 1421803567 981637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recall int-e tried to make it work with MPTCs but hit a snag < 1421803569 572268 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I was thinking more ... => (forall ... . Convenient OneProxy b => b -> r) -> ...something... < 1421803572 589697 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or something. < 1421803578 317032 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :given an instance Convenient TheOtherProxy (Int -> c), how do you get c = Char? < 1421803615 904628 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which is what I wrote, with a = TheOtherProxy, b = (Int -> Int) and b' = (Int -> c). < 1421803716 952085 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm not even sure what my idea was at this point < 1421803865 252844 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1421804453 933407 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421804636 927041 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 246 seconds < 1421804890 552587 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1421804982 632725 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: lbexploits/ may be a bad name for something that only works for compiled code hth < 1421805027 895627 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 264 seconds < 1421805055 250478 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm pretty sure i realized that directory was badly named the second after i first pasted a link to it hth < 1421805067 135346 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION endorses https://ghc.haskell.org/trac/ghc/ticket/9858#comment:19
< 1421805101 705954 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :goldfire seems to be reasonable, yes < 1421805387 359324 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: int-e: moved the directory to http://oerjan.nvg.org/haskell/TypeableExploits/ hth < 1421805468 739060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which means i now actually have a haskell/ directory < 1421805499 711522 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nathan van goorn < 1421805531 505633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote society < 1421805533 675610 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1124) kmc, I was trying to go to a sci-fi and fantasy society social, and I went to the wrong bar Wound up at my university's fetish society Didn't realise for an hour and a half \ 1222) ...my university's Scandinavian Society is having a trip to IKEA < 1421805582 908644 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now we ask: which of those quotes is more disturbing hth < 1421805619 10610 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :was adding hth to the end of that sentence really necessary < 1421805630 963987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no. < 1421805635 708889 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :curses < 1421805657 160800 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: ok, sanitized a bit: http://lpaste.net/7665531722934517760 < 1421805670 547304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i promise i didn't read your lambdabot message first hth < 1421805670 736833 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I also tested it on ghc head; it works just like that. < 1421805714 80595 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1421805719 69053 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Why does reflP need that odd signature? < 1421805723 614661 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You're not forcing p's kind there. < 1421805743 113706 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And P, I guess. < 1421805757 142841 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it's just for consistency. < 1421805772 890492 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: I wanted some symmetry between the two proxy, so one is Proxy p throughout and the other one is Proxy q throughout < 1421805785 379289 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :using p Proxy to force p's kind to be (* -> *) -> * is fishy hth < 1421805785 833278 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err two proxies. < 1421806035 84122 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :uploaded as http://oerjan.nvg.org/haskell/TypeableExploits/ExploitGADTsOnly2.hs < 1421806094 50045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why is oerjan getting less credit anyway < 1421806105 321951 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i can fix that hth < 1421806111 37909 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :casting (:~:) is p. clever < 1421806126 188931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also maybe i should sanitize the file names now that it's moved < 1421806143 412983 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The document you were looking for (http://oerjan.nvg.org/lbexploits/) couldn't be found. < 1421806157 388710 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh < 1421806188 605284 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: the shadows are back hth < 1421806192 450100 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(noticed the new URL) < 1421806310 623315 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also ecast makes less sense now that type E = (:~:) is gone < 1421806343 20034 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's still an equality-cast < 1421806348 930657 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :true < 1421806376 733353 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Is sodium good? < 1421806445 992062 :APic!apic@apic.name PRIVMSG #esoteric :No idea. < 1421806621 633614 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sodium is my favourite thing in the universe. it is the only thing I can truly love < 1421806621 965340 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Na is pretty bad, very reactive. From what I'm reading NaHCO_3 can reduce acid in stomach for short periods, but is not good in the long term; the stomach will just produce more acid to compensate. < 1421806638 619598 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh is the question more specific than it seems. ok < 1421806656 961421 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :
ACTION meant the FRP library
< 1421806661 109307 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah! < 1421806663 422543 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :*series of libraries < 1421806674 567521 :APic!apic@apic.name PRIVMSG #esoteric :Whoah. < 1421806685 770720 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you didn't mean libsodium? < 1421806709 257683 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's. I actually feel trolled < 1421806725 222512 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because I was like "is this a programming thing" and I was like "no sgeo was talking about... food and salt and stuff lately... it's probably the actual thing" < 1421806738 405087 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: yes, hence my reply < 1421806739 390835 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because I KNOW the FRP library and that was my first thought but it seemed unlikely to be that on second thought < 1421806744 895575 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :
ACTION did not intend to troll
< 1421806748 802071 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: so that makes two of us :) < 1421806754 599511 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's okay. I'm owned < 1421806759 511446 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Although, now that int-e mentions it, is Tums likely to be similar in being bad long term? < 1421806760 373108 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you have bested me < 1421806784 417090 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Sgeo: I'll go out on a limb and suggest that perhaps you don't have any stomach trouble at all and just set us up for this misunderstanding. Now that would be great trolling. < 1421806788 601695 :APic!apic@apic.name PRIVMSG #esoteric :It is okay. < 1421806797 405365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: fixed. also completely renamed all files hth < 1421806798 910354 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that would be very elaborate < 1421806810 105561 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Sgeo: I don't believe that. But it would be impressive :) < 1421806827 272347 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: how come /haskell isn't linked from the home page hth < 1421806904 784551 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: why isn't there one that just uses TypeFamilies + DeriveDataTypeable and just works < 1421807077 156149 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: because almost nothing in my website is linked properly hth < 1421807105 435577 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a lot of the stuff in esoteric/ can only be reached via the wiki < 1421807118 769763 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :You're better than me, I don't even have a homepage on my server. < 1421807122 859543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and some probably has no external links at all < 1421807144 839988 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: well technically it's not my server < 1421807153 996513 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fortunately you linked to it in the logs so google will find it hth < 1421807165 192796 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep, the logs may be another place < 1421807200 809308 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: see xkcd, hth < 1421807212 205091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :erm which xkcd twh < 1421807222 89172 :boily!~alexandre@96.127.201.149 QUIT :Quit: EQUILATERAL CHICKEN < 1421807226 494328 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the still-current one < 1421807263 804321 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :http://xkcd.com/1475/ for future reference < 1421807281 369722 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :People could read the logs far in the future someday. Some chance. < 1421807293 673906 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fortunately the logs have a timestamp hth < 1421807298 53035 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think some people do < 1421807335 804999 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: hmm. when was https://xkcd.com/1174/ published? < 1421807356 757216 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(somehow, mapping dates to xkcd numbers and back is not exactly trivial) < 1421807369 192440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: see /archive hth < 1421807377 682440 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i was going to comment on that < 1421807380 260031 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :2013-02-15 < 1421807384 144841 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07David Morgan-Mar14]]4 10 02http://esolangs.org/w/index.php?diff=41707&oldid=7984 5* 03SuperJedi224 5* (+150) 10 < 1421807478 53148 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. < 1421807510 70233 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1421807519 430832 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: wow so you first have to find the title from the page, then find the title in the archive (which seems to be mirror imaged) < 1421807549 415900 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok at least the link gives the number too < 1421807555 545837 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Has IWC been discontinued? What's the status of a webcomic that's only doing reruns? < 1421807563 325402 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(but with comments?) < 1421807569 998448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: well he's still doing sunday annotations < 1421807605 580751 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm wondering about our latest wiki edit. < 1421807620 849067 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I also thought that Darth and Droids was a collaboration thing < 1421807637 607527 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :One more typo and I'll go to bed. < 1421807662 808658 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes it is < 1421807723 284195 :Lymia!~fujoshi@inportb/loli/cirno-chan QUIT :Ping timeout: 245 seconds < 1421807742 725062 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh well, whatever. I'll heed the warning of https://xkcd.com/386/ ... good night. < 1421807757 422732 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07David Morgan-Mar14]]4 10 02http://esolangs.org/w/index.php?diff=41708&oldid=41707 5* 03Oerjan 5* (+16) 10truthify < 1421808753 273373 :Lymia!~fujoshi@108-205-143-75.lightspeed.rcsntx.sbcglobal.net JOIN :#esoteric < 1421808753 427148 :Lymia!~fujoshi@108-205-143-75.lightspeed.rcsntx.sbcglobal.net QUIT :Changing host < 1421808753 427290 :Lymia!~fujoshi@inportb/loli/cirno-chan JOIN :#esoteric < 1421810840 161219 :zzo38!~zzo38@24-207-58-35.eastlink.ca JOIN :#esoteric < 1421811017 397116 :blockzombie!~blockzomb@eth59-167-133-100.static.internode.on.net JOIN :#esoteric < 1421811073 213414 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-amptqtiayhhyxvna QUIT :Ping timeout: 245 seconds < 1421811150 138107 :mbrcknl!sid28171@gateway/web/irccloud.com/x-oksszpnopuspsqwa QUIT :Ping timeout: 276 seconds < 1421811894 53127 :mbrcknl!sid28171@gateway/web/irccloud.com/x-yahdatsisnaiewhm JOIN :#esoteric < 1421811917 124140 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-tilxrvcqigsgitgs JOIN :#esoteric < 1421811958 610445 :blockzombie!~blockzomb@eth59-167-133-100.static.internode.on.net QUIT : < 1421812359 128704 :mbrcknl!sid28171@gateway/web/irccloud.com/x-yahdatsisnaiewhm QUIT :Ping timeout: 276 seconds < 1421812437 46513 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-tilxrvcqigsgitgs QUIT :Ping timeout: 276 seconds < 1421813022 34264 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1421813350 77331 :mbrcknl!sid28171@gateway/web/irccloud.com/x-hvsaxovgoexbfzsr JOIN :#esoteric < 1421813527 299028 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-ulzaaxctvxaukcns JOIN :#esoteric < 1421814237 946566 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1421814853 206694 :^v!~^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1421814878 49945 :^v!~^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1421815379 389728 :mbrcknl!sid28171@gateway/web/irccloud.com/x-hvsaxovgoexbfzsr QUIT : < 1421815655 258437 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca JOIN :#esoteric < 1421815683 162676 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :I made an arts < 1421815719 204626 :APic!apic@apic.name PRIVMSG #esoteric :Okay… < 1421815722 721949 :APic!apic@apic.name PRIVMSG #esoteric :What does it look like? < 1421815806 988941 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :http://nuttygod.tumblr.com/post/108699018985/a-collab-with-animestuckneko-we-did-for-an-art < 1421815809 855762 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :^ < 1421815822 745774 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :This is muh tumblr < 1421815833 681246 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :I am anime trash < 1421815947 904333 :contrapumpkin!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1421816043 926944 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :Its for an art final < 1421816061 177857 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :And I think I did good? < 1421816171 612781 :APic!apic@apic.name PRIVMSG #esoteric :No Idea. < 1421816176 360625 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ANIME ANIME EVERYWHERE AAAAAAAAA < 1421816186 483303 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :
ACTION pats your face
< 1421816192 981299 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :To modest < 1421816223 90769 :APic!apic@apic.name PRIVMSG #esoteric :Ⓐ < 1421816224 322151 :APic!apic@apic.name PRIVMSG #esoteric :;-P < 1421816240 286069 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode Ⓐ < 1421816241 180264 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+24B6 CIRCLED LATIN CAPITAL LETTER A] < 1421816253 134151 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :Lol < 1421816307 952801 :APic!apic@apic.name PRIVMSG #esoteric :;-))) < 1421816356 706990 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :Why winks? < 1421816667 272950 :shikhin_!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 244 seconds < 1421816736 932030 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1421817422 499868 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1421817605 702739 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1421817693 377846 :MDude!~fyrc@67.235.2.71 NICK :MDream < 1421819450 712986 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :shachaf: When Prismata raids come out, if they're suitable for mixed skill, I would play in a raid with you < 1421819907 214281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: my skill is not particularly high hth < 1421819912 195497 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1421819950 629748 :mitchs!~canissimi@unaffiliated/canissimia QUIT :Read error: Connection reset by peer < 1421819959 533752 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1421819975 48060 :mitchs!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1421820126 907129 :chaosagent_!~quassel@c-98-210-97-139.hsd1.ca.comcast.net QUIT :Quit: No Ping reply in 180 seconds. < 1421820145 824152 :chaosagent!~quassel@c-98-210-97-139.hsd1.ca.comcast.net JOIN :#esoteric < 1421820223 447007 :mihow!~mihow@108.30.58.169 QUIT :Ping timeout: 255 seconds < 1421821393 297187 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1421822152 202022 :callforjudgement!~ais523@unaffiliated/ais523 QUIT : < 1421822166 983504 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1421822371 937917 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I assume Tums 'don't take maximum dose for more than 2 weeks' is to stop people from not seeing the doctor because Tums covers symptons < 1421822376 69949 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :*symptoms < 1421822412 593660 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I assume BaconJS flatMap() is >>=, most functions called flatMap are probably bind. But what about flatMapLatest, is that a legal monadic bind, or does using it for a monad break monad laws < 1421822552 145284 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Just took 4 Tums. It's like my esophagus is trying to have heartburn but failing < 1421822572 829110 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :this : heartburn :: nausea : vomiting < 1421822673 699994 :APic!apic@apic.name PRIVMSG #esoteric :♥ < 1421822677 469559 :APic!apic@apic.name PRIVMSG #esoteric :Buuuuuuuuuurntime! < 1421822681 231428 :APic!apic@apic.name PRIVMSG #esoteric :Was a nice Game in the Past. < 1421822685 207299 :APic!apic@apic.name PRIVMSG #esoteric :By some Austrians. < 1421822696 272776 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Also, what is it with FRP and food < 1421822709 190962 :APic!apic@apic.name PRIVMSG #esoteric :Who, i believe, are vaguely related to the Australians in Australia, who got sent as Prisonfnord by teh™ American Stuffs. < 1421822712 356954 :APic!apic@apic.name PRIVMSG #esoteric :ppl i mean < 1421822714 223014 :APic!apic@apic.name PRIVMSG #esoteric :Sry. < 1421822714 676773 :APic!apic@apic.name PRIVMSG #esoteric :;-P < 1421822718 363292 :APic!apic@apic.name PRIVMSG #esoteric :WHAT YOU SAY !! < 1421822750 924865 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think your history needs work hth < 1421822752 238820 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Also, if there is ever an Alcohol FRP library, I assume APic uses it < 1421822818 676661 :APic!apic@apic.name PRIVMSG #esoteric :I do not know for sure. < 1421822820 538999 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: perhaps it's derived from that bananas, lenses and barbed wire thing? < 1421822837 807287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION never actually read that
< 1421822864 389216 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :
ACTION mails oerjan an explanation
< 1421822868 499203 :APic!apic@apic.name PRIVMSG #esoteric :Did You mean that Sgeo Chap} < 1421822869 901620 :APic!apic@apic.name PRIVMSG #esoteric :Sorry < 1421822870 691283 :APic!apic@apic.name PRIVMSG #esoteric :;-P < 1421822870 983476 :APic!apic@apic.name PRIVMSG #esoteric :P < 1421822881 936729 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :APic: no i meant you for the history hth < 1421822882 587274 :APic!apic@apic.name PRIVMSG #esoteric :Not my Deb{,t,d,… < 1421822885 546969 :APic!apic@apic.name PRIVMSG #esoteric :kkkk < 1421822898 232725 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :(All I know is that that thing you're referring to also mentions envelopes < 1421822900 419327 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :) < 1421822966 809877 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right < 1421823702 941568 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Do you have any new puzzles for Pokemon card or Magic: the Gathering? < 1421823704 246583 :dianne!~diannes@unaffiliated/dianne QUIT :Ping timeout: 244 seconds < 1421823818 278637 :dianne!~diannes@pool-96-248-225-91.snloca.dsl-w.verizon.net JOIN :#esoteric < 1421823825 921058 :dianne!~diannes@pool-96-248-225-91.snloca.dsl-w.verizon.net QUIT :Changing host < 1421823826 112546 :dianne!~diannes@unaffiliated/dianne JOIN :#esoteric < 1421824073 160586 :aloril_!~aloril@dsl-tkubrasgw2-54f81c-109.dhcp.inet.fi QUIT :Quit: Leaving < 1421824125 526148 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :"Change behavior for selected AST nodes. *All assignments. *This message send" < 1421824131 811558 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Does this mean monad syntax implementable? < 1421824133 627356 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :Gnight < 1421824138 524064 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca PRIVMSG #esoteric :~ < 1421824138 677344 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :http://www.slideshare.net/MarcusDenker/2013-fosdempharo4 < 1421825059 945114 :aloril!~aloril@84.248.28.109 JOIN :#esoteric < 1421825106 90383 :MoALTz_!~no@78-11-152-253.static.ip.netia.com.pl JOIN :#esoteric < 1421825120 901648 :callforjudgement!~ais523@unaffiliated/ais523 QUIT : < 1421825132 45633 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1421825226 65729 :MoALTz__!~no@78.11.152.253 JOIN :#esoteric < 1421825267 650645 :MoALTz!~no@78-11-152-253.static.ip.netia.com.pl QUIT :Ping timeout: 245 seconds < 1421825463 111398 :MoALTz_!~no@78-11-152-253.static.ip.netia.com.pl QUIT :Ping timeout: 276 seconds < 1421825728 27952 :chaosagent!~quassel@c-98-210-97-139.hsd1.ca.comcast.net QUIT :Ping timeout: 264 seconds < 1421825762 654395 :Patashu!~Patashu@27.253.115.204 JOIN :#esoteric < 1421827154 286492 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I don't like the new basic lands with no text. My opinion is it should include the explicit mana ability, but written using italics and parentheses instead of the old way. < 1421827179 671585 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like "shock" lands? < 1421827197 982981 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What are "shock" lands? < 1421827213 928177 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :E.g. Watery Grave < 1421827237 764398 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The lands that enter tapped if you don't pay 2 life. < 1421827279 656937 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes like that, but only one color of mana and no text other than that reminder text. < 1421827303 140540 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there are really only four groups of land that matter in eternal formats (not counting land that is only used as part of a combo) < 1421827330 268576 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :callforjudgement: Which is what? < 1421827353 230975 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Also what are the eternal formats? < 1421827368 338807 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shock lands (CARDNAME comes into play tapped unless you pay 2 life, have two basic land types); fetch lands (T, sacrifice CARDNAME, pay 1 life: search your library for an X or Y land card, where X and Y are basic land types); dual lands (have two basic land types, no drawbacks, only legal in Legacy and Vintage); and Wasteland and Strip Mine < 1421827381 746761 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and basic lands hth < 1421827389 435006 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :an eternal format is a format which doesn't have a rule that all cards older than a certain number of sets are automatically illegal < 1421827398 781022 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: actually those hardly matter right now < 1421827403 463273 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sometimes people run them as wasteland counters < 1421827411 653138 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Really? Hmm. < 1421827415 685663 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it would be unusual to see more than two in a deck < 1421827418 955269 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unless it's monocolored < 1421827423 400129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Even in Modern? < 1421827432 715402 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, wait. < 1421827434 561787 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even if it's monocolored, sometimes < 1421827438 371559 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Well, in puzzle formats any card is potentially useful < 1421827438 564656 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's not eternal. Right. < 1421827441 727302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I haven't seen many eternal format games. < 1421827442 343590 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Modern is eternal < 1421827453 995167 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but you run like 6 shock lands and use fetchlands for the rest < 1421827456 456141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, "number of sets". < 1421827456 863863 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Although I suppose puzzle format isn't an official format anyways. < 1421827471 987878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://mtgsalvation.gamepedia.com/Eternal_(format) says Modern isn't eternal < 1421827485 684822 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway you've clarified what you meant so it doesn't matter. < 1421827509 976870 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Also any Limited format won't need such a rule either, since it is redundant. < 1421827542 996343 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: Wizards consider Modern to be internal, so do most people I've seen discussing Magic < 1421827545 7218 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1421827556 500133 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, this has lead to a huge row recently < 1421827563 113598 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :with Birthing Pod being banned in Modern < 1421827576 672610 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the problem being that it was the cheapest tier 1 Modern deck < 1421827577 732432 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Birthing Pod was banned in Modern? < 1421827591 890922 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It used to be very popular, didn't it? < 1421827595 410448 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and many of the people who bought it can't afford to change to a different deck because all the viable ones are more expensive < 1421827600 434014 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I guess this was just two days ago. < 1421827601 147978 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and yes, like 20-30% of the metagame < 1421827603 431239 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's why it got banned < 1421827605 908980 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and yes, just two days ago < 1421827608 507368 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What formats are you playing anyways? < 1421827610 34819 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :thus "recently" < 1421827612 118058 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :none of them < 1421827618 721331 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I follow Legacy, though, and other formats to a lesser extent < 1421827634 503294 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but Lorwyn was so bad that I stopped playing Magic, and nothing since has tempted me back < 1421827671 375491 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I think I have played a Lorwyn draft once or twice < 1421827742 64908 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :As well as later sets < 1421827760 145342 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Although I rarely play the game at all and am mostly interested in Magic: the Puzzling < 1421827865 855259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it the case that most cards that were good for a Birthing Pod deck are now useless? < 1421827869 151919 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Other than lands, I suppose. < 1421827906 195023 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, the problem is that some of them are now useless (mostly tutor targets), and others are still useful but the only tier 1 deck they fit in requires about $1000 worth of cards that aren't in Pod < 1421827917 680921 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, they banned Treasure Cruise and Dig Through Time < 1421827920 784587 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :those just came out < 1421828003 973976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"tutor" means Birthing Pod's ability, right? < 1421828061 133598 :mbrcknl!sid28171@gateway/web/irccloud.com/x-nvyybjonstktpest JOIN :#esoteric < 1421828089 94681 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: "tutor" is any effect that lets you access specific cards from a deck < 1421828099 546759 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Pod's ability is one of those, it was one of the better ones in Modern < 1421828107 185154 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(it's named after the first several cards to have that ability) < 1421828212 939441 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: also I wonder how much you'd have been laughed like six months ago if you told someone that Modern, Legacy and Vintage would all be broken by an 8-mana common in the next set < 1421828219 719142 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But in a Limited game that uses really old cards, then any land might be used < 1421828239 925525 :bb010g!uid21050@gateway/web/irccloud.com/x-gjliuqwfkwmjjira QUIT :Quit: Connection closed for inactivity < 1421828267 795298 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :ais523: Is there such a card? < 1421828281 285928 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: Treasure Cruise < 1421828292 347704 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 244 seconds < 1421828300 140290 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that was crazy common, the ban is much less controversial than the ban of Birthing Pod < 1421828315 927287 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, it has CMC 8, but so does Scornful Egotist < 1421828320 952231 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because most people thought it would happen (there's widespread disagreement on whether people thought it was necessary, but it was predicted to happen) < 1421828332 42793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It doesn't really reflect on the way the card is used. < 1421828334 875563 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes but Scornful Egotist sucks ;-) < 1421828353 699726 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did it have a big influence on Vintage? < 1421828354 91655 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It still can't be used to force your opponent to draw three cards though like Ancestral Recall which you can use on yourself or opponent. < 1421828400 635197 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: there aren't that many Vintage tournaments, but yes < 1421828419 361547 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also Vintage has a policy of restricting anything that looks even approximately like good blue card draw/filtering < 1421828426 388005 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it's particularly there because Vintage has so many broken cards < 1421828442 208128 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I doubt Ancestral Recall is used that way very often except in Magic: The Puzzling. < 1421828514 318691 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could use it as a response to Enter the Infinite, but I don't think that's widely played in Vintage < 1421828518 458987 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because there are so many other things you could be doing < 1421828524 553832 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and Recall isn't legal anywhere else < 1421828578 355700 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: If you're being controlled by e.g. Mindslaver, Ancestral Recall is worse. < 1421828630 811609 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :shachaf: Yes in that case your opponent can make the choice for you < 1421828646 783591 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most decks which play Mindslaver have some method to play it every turn < 1421828651 173013 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at which point, they've pretty much won < 1421828659 500424 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But if you are being controlled by Mindslaver, Demonic Consultation is *far* worse than Ancestral Recall! < 1421828669 534079 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a card that says you can choose targets for all your opponent's spells? < 1421828684 457074 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Gleemax, but it's silver-bordered < 1421828689 713629 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :In Unhinged there is < 1421828695 722334 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But it costs one million mana < 1421828702 586181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, right, I have seen that before. < 1421828722 420089 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, Worst Fears, not Mindslaver. < 1421828743 753929 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure any deck plays Worst Fears < 1421828772 938798 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think the main reason it's there is for the creature in the same set that gives the opponent the choice of making it bigger or letting the creature's controller cast an instant or sorcery for free < 1421828776 528039 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"what's the worst that could happen" < 1421828815 421339 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(in Draft, not a lot, unless you draft both those specific cards and happen to have them in hand at the same time) < 1421828847 606827 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, that would explain the name. < 1421828912 798797 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What card is the creature in the same set that gives the opponent the choice of making it bigger or letting the creature's controller cast an instant or sorcery for free? < 1421828936 546891 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I forget offhand < 1421828937 275191 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oracle of Bones < 1421828942 53813 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shouldn't be too hard to search for < 1421829037 498395 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :O, OK < 1421829073 902270 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But, why do they always make tribute like that? Can't you make something like: Unleash, Tribute 2 < 1421829097 526796 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do you mean, "like that"? < 1421829118 530779 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I mean things that says "if the tribute cost is not paid" < 1421829128 738562 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(Well, it isn't a cost actually) < 1421829173 300846 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: Wizards don't like to mix abilities belonging to different sets < 1421829197 712866 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Unleash was an RTR block ability, so Wizards would be unlikely to put it into Theros which is the very next block < 1421829204 104907 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most abilities are given a break before returning < 1421829207 628230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If an effect tells you to "distribute so-and-so many jams among creatures", does that let you cancel out tribute jams? < 1421829232 105340 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: it cancels out Unleash ability-to-block, and everything that counts +1/+1 counters specifically, though < 1421829245 974683 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Tribute doesn't count +1/+1 counters, it just remembers whether the opponent paid < 1421829256 164988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It was only a pun. < 1421829286 739497 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :ais523: OK, although I still like to try to make up unofficial cards that can mix up such things < 1421829317 400545 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Huh, only 13 cards have Unleash. < 1421829350 961980 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: this is common for block-specific mechanics < 1421829374 924923 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :often, the designers decide that, while keeping to within their normal limits for mechanical use, they couldn't create much more interestingly distinct cards than that < 1421829454 554511 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I like to try to make entirely different designs, combining keyword abilities that were never combined before, using keyword abilities that are officially only on creatures on non-creature cards too, etc < 1421829491 314854 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :And also "enchant attacking creature" < 1421829543 267825 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :with Flash, presumably? what benefit does that have over making an Instant? < 1421829566 793047 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :No it doesn't have flash, but it does have ninjutsu. < 1421829571 275192 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it has at least one drawback (enhancing toughness doesn't help much) < 1421829633 102036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a card that makes you distribute jams among creatures controlled by opponents? < 1421829670 958128 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :probably not, Wizards doesn't like drawback cards < 1421829677 348700 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because most of their players don't enjoy playing them < 1421829713 778559 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I made up a land with ninjutsu, a Aura with ninjutsu, and a instant with ninjutsu. (I also made up a creature that has both ninjutsu and defender.) < 1421829770 375907 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :ais523: Examples? < 1421829781 826355 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does Ninjutsu mean on those cards? < 1421829809 918244 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: "you can return an attacking creature to your hand and pay CARDNAME's ninjitsu cost to place CARDNAME into play tapped and attacking" < 1421829829 512910 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: an instant with ninjutsu doesn't work < 1421829835 788326 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right, but what does it mean to place an instant on the battlefield tapped and attacking? < 1421829840 5148 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can't place instants into play via any means but Manifest < 1421829847 491290 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and that was added like a few weeks ago < 1421829857 247628 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I believe that an instant will stay in your hand but still return the attacking creature, and that the other non-creatures will be tapped but not attacking because they can't be attacking. < 1421829858 76174 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And what about an aura? < 1421829865 426395 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :before, I could have made the absolute statement that you can't place instants into play at all < 1421829874 424061 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(technically "onto the battlefield" but I dislike that terminology) < 1421829890 660730 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: no, the ninjutsu/defender card is legal within the rules and does attack < 1421829894 22919 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :And for an aura, I think, if it comes into play due to a reason other than resolving, its controller now must choose what it enchants. < 1421829909 688784 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :ais523: Yes, that one does attack, I know that. < 1421829912 341812 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :defender stops a card attacking, it doesn't stop it being created in an attacking sate < 1421829928 450507 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A land can be a creature, but I don't know if zzo38's land is a creature. < 1421829933 111904 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But the one with defender is the only one of these that does attack. < 1421829934 647802 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is why Flash Foliage is so hilarious < 1421829940 378728 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :All the rest aren't creatures. < 1421829941 409308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And I don't think an aura can attack at all (but maybe with zzo38's modified rules it can). < 1421829945 678644 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it can block anything it can target, because it creates a creature in a blocking state < 1421829952 748022 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It seems like an abuse of the Ninjutsu mechanic to do that. < 1421829959 338486 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :thus getting around all protections against creatures becoming blocking < 1421829971 773843 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: an aura that's a creature can attack just fine (but it can't enchant things) < 1421829978 84930 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Even with my modified rules an aura can't attack < 1421829983 876639 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you might need humility or the like to stop it dying due to not being attached < 1421829998 382053 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, I suppose that can work. < 1421830000 663589 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(Unless it is a creature, but like I said none of these cards are creatures except for the one having defender) < 1421830030 844708 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can make basically anything into a creature if you try hard enough < 1421830037 766597 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there an aura that has a tap ability? < 1421830049 311428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, there's one in Future Sight. < 1421830051 821956 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and in cases other than instant/sorcery, you don't even have to cheat with manifest/ixidron) < 1421830084 369531 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: yeah, Wizards are careful to avoid situation where enchantments get tapped, partly to distinguish them from artifacts, partly because people keep tapping them along with things they enchant < 1421830089 615208 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even though the rules say you don't do that < 1421830103 815443 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and future sight tried to break as many rules like that that Wizards could think of < 1421830120 77209 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :They didn't try hard enough. < 1421830132 987135 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they only had limited space in the set < 1421830143 481329 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, Future Sight has two. < 1421830149 914400 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like Second Wind. < 1421830247 404127 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38 would probably like the creature with haste and defender < 1421830253 988553 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, future sight wanted to do combinations of mechanics < 1421830261 958379 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it used mechanics from the previous block (ravnica block) < 1421830273 458369 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :on the basis that most people would already know how they worked < 1421830283 47867 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and that apparently confused enough people that they decided not to do it again < 1421830286 943400 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I did a lot more stuff though < 1421830303 506087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: You should get your cards printed. < 1421830315 542033 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I don't intend to print them. < 1421830342 120757 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :They don't even form a set. But if some are used in a set, then they can be decided rarity within the set and then printed so that you can make up a draft or sealed. < 1421830361 564184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I would play zz38mtg < 1421830368 724648 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(The picture and flavor text would also be decided within the set.) < 1421830385 159656 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: you have to mix it with some of the cards produced by Alex Churchill's random card generator < 1421830417 721196 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(And of course the set may include cards from previous official or unofficial sets too, or if you don't, draft multiple sets at once) < 1421830426 884290 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, these cards actually look sensible < 1421830439 174365 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :maybe the land's a little overpowered < 1421830441 479705 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"If you would gain life, instead that player may search his or her library for a creature card, reveal it, and put it into his or her hand. If that player does, that player shuffles that library afterwards." < 1421830442 946653 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :ais523: I think I also made up a random Magic: the Gathering card generator, but not very good < 1421830446 605875 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which cards look sensible? < 1421830457 709753 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: the ones in my latest random generation < 1421830465 346170 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that I can't link to because the URL gives a new set every time you follow it < 1421830470 831342 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :So Alex Churchill's one might be better < 1421830500 467525 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(the land is ETB tapped; T: add W to mana pool; 1, T: add BB to mana pool; discard two cards: discard target nonblack creature) < 1421830502 300078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can link to the seed. < 1421830508 745581 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :seed isn't listed < 1421830509 725148 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe? < 1421830512 332511 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's in the source. < 1421830519 998836 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Although maybe I should add a random number seed option into FurryScript so that if anyone makes such a thing with FurryScript then it is possible to link in that way. < 1421830522 222406 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aha, it's in view source < 1421830523 750350 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :330275099 < 1421830531 277958 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I'm not sure how to get it to use a particular seed. < 1421830566 370989 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh good, it's not seeding from time < 1421830581 733375 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :was worried that was the actual time for the moment < 1421830590 398267 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because I miscounted the digits < 1421830728 69501 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 276 seconds < 1421831575 749792 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: http://www.toothycat.net/wiki/bnf.pl?page=AlexChurchill/MagicCardGenerator&seed=330275099 < 1421831579 290928 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just guessed the URL syntax < 1421831599 70485 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Reasonable. < 1421831607 476124 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Oh, *destroy* target nonblack creature. < 1421831610 5225 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's much better. < 1421831613 161221 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, yes < 1421831615 938090 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :whoops < 1421832015 48849 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 276 seconds < 1421832916 430147 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :http://zzo38computer.org/textfile/miscellaneous/magic_card/puzzle.3 Is this puzzle correct? Is it busted or cooked? < 1421832919 617107 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :heh, defender+ninjutsu sounds funny < 1421832921 709641 :Lilax!uid52684@gateway/web/irccloud.com/x-tnbdymizylkldvca QUIT :Quit: Connection closed for inactivity < 1421832959 389333 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What does busted or cooked mean? < 1421833044 689455 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Busted means it has no valid solution, and cooked means it has unintended solution(s). < 1421833142 430174 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hehe, "(it's named after the first several cards to have that ability)" -- actually, they still call it "tutor" on new cards like Diabolic Tutor < 1421833209 847240 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And what does correct mean? < 1421833257 583136 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait, it's version 3 now? did you finish version 2? or abanadon it? < 1421833283 473085 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, that's an entirely different puzzle < 1421833309 7423 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and a complicated one with lots of different cards, wow < 1421833313 968034 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421833489 315282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the goal of the puzzle? < 1421833520 989619 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: win the game, I think < 1421833544 820940 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, not "in some number of turns" or anything, just guarantee a victory. < 1421833554 861777 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes. < 1421833562 315437 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: yeah, but unlike chess, in M:tG puzzles you usually have to do that very fast < 1421833613 437713 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :because if you let the opponent have a turn with unknown cards in his library, he usually has a theoretic possibility to win, unless you used some very strong effects such as prevent him to draw a card and empty his hand < 1421833627 752960 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so probably you have to win or at least go off in your turn < 1421833680 666507 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you want to guarantee win, not just make it likely as you'd do in a real game < 1421833741 423413 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Unless it says it is probabilistic, you should assume it is to guarantee win < 1421833789 117237 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(the puzzle could give some other goal of course) < 1421833811 906078 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes it could, although this one doesn't. < 1421834494 246653 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1421834494 399953 :CADD!~CADD@12.227.104.109 QUIT :Client Quit < 1421834517 474773 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1421834584 187549 :CADD!~CADD@12.227.104.109 QUIT :Client Quit < 1421834599 34782 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1421834853 332430 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1421837110 669959 :Froox!~Frooxius@ip-78-102-124-108.net.upcbroadband.cz JOIN :#esoteric < 1421837154 382618 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421837201 316114 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421837241 411339 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421837242 488370 :Froox!~Frooxius@ip-78-102-124-108.net.upcbroadband.cz QUIT :Client Quit < 1421837308 734667 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Did you study this puzzle? < 1421837319 897060 :Frooxius!~Frooxius@ip-78-102-124-108.net.upcbroadband.cz QUIT :Ping timeout: 264 seconds < 1421837528 425693 :Patashu!~Patashu@27.253.115.204 QUIT :Remote host closed the connection < 1421837542 254685 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1421837881 307157 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1421837904 269619 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1421838136 361863 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no < 1421839413 236467 :TieSleep!~quassel@86.89.119.147 NICK :TieSoul < 1421839582 28930 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1421840875 30475 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: well, the magic "turn" is a fleshed out two-player game. < 1421841106 5051 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :Read error: Connection reset by peer < 1421841274 385764 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1421841492 86929 :fungot!fis@selene.zem.fi QUIT :Ping timeout: 276 seconds < 1421841562 978494 :aloril!~aloril@84.248.28.109 QUIT :Ping timeout: 240 seconds < 1421841772 273365 :aloril!~aloril@dsl-tkubrasgw2-54f81c-109.dhcp.inet.fi JOIN :#esoteric < 1421841872 922087 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Google adword: "Haskell Fasttrack course \ www.skillsmatter.com/ \ Learn Haskell, its Type System, IO Polymorphism & testing, Jan 29-30th" < 1421841935 269635 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :IO Polymorphism? < 1421841954 615520 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Must be the latest paradigm < 1421841993 567557 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Is that when you create an forall a. IORef a to implement unsafeCoerce from unsafePerformIO? < 1421842043 387827 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(It could be a missing comma. But really IO is rather oddly placed on that list.) < 1421842066 774924 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION tries to tabcomplete fungot's name. tab. tab tab. TAB TAB TAB.
< 1421842072 773383 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fizzie: FUNGOOOOOOOOOOOOOOOOOOOOOOOT! < 1421842235 368271 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh. < 1421842245 105888 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was some internet hiccup back home. < 1421842262 733397 :APic!apic@apic.name PRIVMSG #esoteric :Ok. < 1421842302 205109 :fungot!fis@selene.zem.fi JOIN :#esoteric < 1421842305 481452 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There. < 1421842308 994778 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fizzie: thanks ^^ < 1421842315 755338 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: hello sailor! < 1421842316 74358 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :boily: but if i did i'd use essence. < 1421842330 615181 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: straight to the point, I see. < 1421842331 316171 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :boily: did you eat lunch yet?" " gee thanks for the translation to bytecode. i can rescale it as needed) as opposed to violently slaying me because i haven't gotten a new one < 1421842366 245202 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: only breakfast. but enough of small talk. I wanted to ask you about IO Polymorphism. < 1421842366 560477 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :boily: i forgot the key combination following it determines the structure of scheme's syntax. < 1421842382 204963 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: ah, polymorphism between languages. whatever that is? < 1421842382 751157 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :boily: in plt-scheme, there is a way ppl hide and made excuses for their shitty actions: http://mitpress.mit.edu/ sicp/ full-text/ book/ fnord exercise 3.3.2 < 1421842404 800633 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: so IO Polymorphism is buzzword compliant? < 1421842583 283641 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 244 seconds < 1421842597 145413 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421842618 87758 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421842718 229199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hizzie < 1421842898 586523 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421842990 295516 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421843045 439862 :boily!~alexandre@96.127.201.149 QUIT :Quit: IAMBIC CHICKEN < 1421843127 472437 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hichaf. < 1421843200 713855 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421843219 427444 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421843264 642863 :Jander!~Jander@furnace.nightwatch.org.uk PRIVMSG #esoteric :int-e / b_jonas - I can report the the Lego BF interpreter works :-) However, the paper tape drive needs revisiting - over the course of several [] iterations the tape slipped too much resulting in mis-reads :-( < 1421843501 908251 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421843505 352290 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I just realized that if you generate enough random pictures you'll eventually end up at previously unseen nudes of celebrities < 1421843517 502384 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421843528 925480 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Would that classify as an invasion of privacy? < 1421843532 659212 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"Implementing a randomized Turing Machine" < 1421843560 674147 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :The corresponding paper is called "Using genetic algorithms to generate previously unseen nudes of celebrities" < 1421843638 436254 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :hm < 1421843645 425397 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :how many random images can a computer generate... < 1421843647 98457 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You got me, I actually did a search for that paper < 1421843657 528991 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Jafet: You're kidding, right? < 1421843673 728126 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Tricky, but it's not really privacty that's at stake here. < 1421843678 264090 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Better write it now, while the title still has SEO value. < 1421843710 276275 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1421843731 97328 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421843745 388748 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :In fact it might improve privacy if nobody could tell the difference between real nude pictures and the fake ones. < 1421843759 368476 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Would that matter? < 1421843764 736697 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Jander: presumably a paper tape machine would use punched tape < 1421843788 900036 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jander: thanks for the report back < 1421843803 46189 :Jander!~Jander@furnace.nightwatch.org.uk PRIVMSG #esoteric :Jafet - mine uses coloured rectangles. < 1421843818 879699 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :So the strategy here is to take a nude of yourself < 1421843824 945130 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :then modify it in 100 versions < 1421843827 309476 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :and leak them < 1421843850 317864 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I don't understand what game is to be won using this strategy < 1421843855 936986 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Well < 1421843863 392626 :Jander!~Jander@furnace.nightwatch.org.uk PRIVMSG #esoteric :b_jonas, I doubt I'll get time to redesign the pinch-roller components tonight, but once it works I'll video it :-) I had it merrily working on multiplying 4x3 but when it hit the 3rd time around the main loop the tape was too far out of sync. < 1421843868 526530 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :The chance that somebody is jerking off to the real you approaches 1/100 instead of 1 < 1421843872 865083 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I guess < 1421843912 205223 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Alternatively, it is zero because they are using a picture of you, which is not you < 1421843929 889098 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Alternatively they're jerking off to a genetic algorithm < 1421843939 414396 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Your mother is a genetic algorithm < 1421843946 72711 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Wow... < 1421843953 520351 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :easy... easy... ;) < 1421843997 19708 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Ok enough of the crazy-talk < 1421844021 621016 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :the real question was actually what happens if your random machine generates something that violates patents < 1421844027 63944 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :or copyright or privacy laws or whatever < 1421844071 919298 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I don't know whether you can get new punched tape these days. Also I guess you'd want plastic tape if you're using dry-erase marking. < 1421844097 327675 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Presumably nothing happens as long as you don't make use of the information or publish it < 1421844106 177402 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421844110 451432 :Jander!~Jander@furnace.nightwatch.org.uk PRIVMSG #esoteric :Jafet - this is just strips of cut A4 coloured in with felt tip :-) < 1421844119 954081 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421844136 995971 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: you cannot inadvertantly violate copyright (though you may hace trouble proving that your randomly generated copy of Harry Potter is your own product). Patent law is the big evil in the IP ocean. < 1421844146 103770 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Patent law is pretty clear about this: it doesn't really matter what crystal ball in which lucid dream you independently derived an idea from < 1421844153 850479 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :If it was patented before, you can't use it commercially < 1421844189 125810 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: also note that selection is part of the creative process. < 1421844262 830645 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: So if you train a neural network on Harry Potter, its results may very well become derivative works of that, though it could be fun (expensive...) to test the limits in court. < 1421844426 799536 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :If it's anything like current chatterbot technology, you might get away with fair use on the grounds that it is a nonsensical parody of the original < 1421844449 456802 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :true. < 1421844637 478191 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :But can you automatically generate nonsensical combinations of Sasha Grey films and Tatu music videos? Important research frontiers. < 1421844656 962829 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(Well, in this case the source materials are pretty nonsensical to begin with) < 1421845659 21889 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :also haskell.org is always sooooo slooooow < 1421845849 181486 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1421847601 826304 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1421847639 748997 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421848890 281246 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1421850841 694850 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1421851028 97219 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1421851684 250487 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1421852254 794322 :Lymia!~fujoshi@inportb/loli/cirno-chan QUIT :Remote host closed the connection < 1421852409 865349 :Lymia!~fujoshi@108-205-143-75.lightspeed.rcsntx.sbcglobal.net JOIN :#esoteric < 1421852410 56735 :Lymia!~fujoshi@108-205-143-75.lightspeed.rcsntx.sbcglobal.net QUIT :Changing host < 1421852410 56845 :Lymia!~fujoshi@inportb/loli/cirno-chan JOIN :#esoteric < 1421852826 111745 :arjanb!8259a9d1@gateway/web/freenode/ip.130.89.169.209 QUIT :Quit: bbl < 1421853841 509778 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`quote proc < 1421853842 459585 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :230) Phantom_Hoover: I have just one tvtropes page open in elinks, but my tvtropes.txt "queue" has 38 tvtropes.org URLs waiting for processing. \ 481) elliott__: my fnord into normal life was a painful and difficult process. [...] \ 524) what is nice about a pebble is that you can process it with your brain as a number < 1421853865 581724 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`quote 524 < 1421853866 302966 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :524) what is nice about a pebble is that you can process it with your brain as a number by simply looking at it < 1421854730 253865 :MoALTz_!~no@78-11-152-253.static.ip.netia.com.pl JOIN :#esoteric < 1421854943 2667 :MoALTz__!~no@78.11.152.253 QUIT :Ping timeout: 240 seconds < 1421856145 265332 :idris-bot!~ircslave@dslb-178-012-191-057.178.012.pools.vodafone-ip.de JOIN :#esoteric < 1421856888 315767 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421857108 830274 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`quote sheep < 1421857109 670690 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1421857115 615066 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`quote cow < 1421857116 350274 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :401) Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. \ 848) Conext coyou'll cotell come cothat coyou cocan't coprefix coeverything cowith co"co". pikhq: coof urse conot! \ 989) metar lead to canada, more metar and cows \ 995) man at least job applications in < 1421857149 285066 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I sure would love to know the context for 401 o_O < 1421857275 493394 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`quote job application < 1421857276 289891 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :995) man at least job applications in biosciences are just like "you are willing to put your arms through a cow" Bike: please send us a link to your CowHub profile of cows you have previously put your arms through on your own time for fun please provide at least two zebrafish you have modified to glow in the dark < 1421857299 875548 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :uhm... < 1421857314 53018 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`quote squirrel < 1421857314 812209 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1421857320 718817 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`quote bird < 1421857321 630282 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :571) oh god oh god what if I become attracted to birds \ 1044) that reminds me of a great quote about bird semen < 1421857343 100684 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`quote semen < 1421857343 979954 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :74) Making a small shrine to Lawlabee in my basement is something I should get around to at some point. \ 1044) that reminds me of a great quote about bird semen < 1421857364 34257 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: http://codu.org/logs/_esoteric/2011-07-20.txt < 1421857457 137210 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :interesting. < 1421857467 793955 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :fwiw I never punched myself in the face < 1421857533 979732 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :how's bfjoust going btw? < 1421857607 917797 :h0rsep0wer!~h0rsep0we@unaffiliated/h0rsep0wer JOIN :#esoteric < 1421857608 928648 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :It would be funnier with imps. < 1421858841 342996 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1421858859 143282 :MDream!~fyrc@67.235.2.71 NICK :MDude < 1421859141 831028 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :hmm... it's been 4 months i last cleared my browser history < 1421859281 272106 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :does the browser history take up memory space < 1421859373 404342 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :well at least now when firefox crashes, only firefox crashes and not the whole computer < 1421860013 835562 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Read error: Connection reset by peer < 1421860080 939468 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1421860382 493105 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1421860433 66345 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1421860769 877309 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :help < 1421860771 170813 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Math! < 1421860775 937537 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :boolean random = (Math.random()*Math.random()) < Math.random(); < 1421860783 955499 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :yields true in 75% of the cases < 1421860787 408411 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I need a proof :D < 1421860795 281996 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I was just thinking that x*y < z < 1421860800 535463 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :since x < 1 AND y < 1 < 1421860811 702510 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :x*y < z is more likely to be < z than x sqrt 0.5 < 1421861399 156940 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0.7071067811865476 < 1421861437 285191 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Math.random() * Math.random() has a sqrt 0.5 chance of being less than 0.5, which is the expected value of Math.random < 1421861454 316879 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :for rand()*rand() to be 0 only one of them has to be 0 < 1421861461 345506 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :whereas for it to be 1 both of them have to be < 1421861464 314113 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*both of them have to be 1 < 1421861468 19362 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't know whether that's relevant at all. < 1421861470 918141 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but 0 < rand() < 1 < 1421861542 704647 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :x*y is always smaller than x and also smaller than y < 1421861551 999727 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :E(rand()*rand()) = 0.25 < 1421861556 162802 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :I think < 1421861590 132285 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :so rand() would be above it 75% of the time < 1421861638 858541 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :caveat: I almost failed the last stats course I took < 1421861704 580862 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca QUIT :Quit: Lost terminal < 1421861849 615291 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :that makes sense < 1421861860 221231 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :and E(r*r*r) = 0.125 < 1421861863 866392 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :so 0.875 times true < 1421861868 916309 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :which I can empirically confirm < 1421861870 296838 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but < 1421861872 63423 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :what about < 1421861877 51387 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :r*r*r < r*r? < 1421861881 18223 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :generally < 1421861885 236884 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :r^n < r^k < 1421861939 165318 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : x*y is always smaller than x and also smaller than y < 1421861942 612988 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :um? < 1421861946 709448 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :x*1 is x... < 1421861948 381545 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :oh < 1421861951 568433 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :yeah < 1421861953 612095 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but like I said < 1421861953 765503 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or is Math.random() [0,1) < 1421861957 693538 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :0 < rand() < 1 < 1421861975 884359 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :okay then yeah < 1421861994 389313 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but actually Math.random is inclusive 0 and exclusive 1 < 1421862020 941087 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this question could be answered in a second by anyone who knows any probability theory :( < 1421862023 970208 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sadly I don't < 1421862025 837056 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric ::D < 1421862054 317764 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I only use Math.random() so I can have a program and "empirically" measure the probability < 1421862059 667998 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :because I don't know how to calculate it yet < 1421862062 869188 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but yes < 1421862165 978261 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I'm interested in P(product(rand(),1,n) < product(rand(),1,k)) where 0 < rand() < 1 AND k >= n < 1421862208 716081 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :hm no wait < 1421862211 392161 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :k <= n < 1421862309 344192 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Is there a math channel :D < 1421862322 560876 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :hm. there is < 1421862532 153723 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I understand it's not a very friendly place < 1421862654 988667 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's a bit too crowded < 1421863457 653830 :MoALTz_!~no@78-11-152-253.static.ip.netia.com.pl QUIT :Quit: Leaving < 1421863473 335241 :TieSoul!~quassel@86.89.119.147 PRIVMSG #esoteric :hi < 1421863488 910722 :MoALTz!~no@78-11-152-253.static.ip.netia.com.pl JOIN :#esoteric < 1421863887 291862 :oren!~oren@user3-223-64.wireless.utoronto.ca JOIN :#esoteric < 1421863943 220709 :h0rsep0wer!~h0rsep0we@unaffiliated/h0rsep0wer QUIT :Read error: Connection reset by peer < 1421863963 407700 :h0rsep0wer!~h0rsep0we@unaffiliated/h0rsep0wer JOIN :#esoteric < 1421864346 344635 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1421864702 247013 :arjanb!8259a9d1@gateway/web/freenode/ip.130.89.169.209 JOIN :#esoteric < 1421865737 219155 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1421865763 504870 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Register now for more ads. < 1421866567 296587 :MoALTz_!~no@78-11-152-253.static.ip.netia.com.pl JOIN :#esoteric < 1421866701 579881 :oren!~oren@user3-223-64.wireless.utoronto.ca QUIT :Ping timeout: 244 seconds < 1421866731 888791 :MoALTz!~no@78-11-152-253.static.ip.netia.com.pl QUIT :Ping timeout: 264 seconds < 1421867222 342231 :int-e!~noone@static.88-198-179-137.clients.your-server.de NOTICE #esoteric :hmm < 1421867285 422536 :oren!~oren@user3-223-64.wireless.utoronto.ca JOIN :#esoteric < 1421867556 982714 :fumble!~noone@212095007136.public.telering.at JOIN :#esoteric < 1421867607 655764 :fumble!~noone@212095007136.public.telering.at PART :#esoteric < 1421867609 296170 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1421867735 415891 :oren!~oren@user3-223-64.wireless.utoronto.ca PRIVMSG #esoteric :So it appears that the distro of N uniform 0,1 distros' product is |(log(x))^(N-1)/(N-1)|. < 1421867806 157448 :oren!~oren@user3-223-64.wireless.utoronto.ca PRIVMSG #esoteric :(According to my integrations and extrapolation < 1421867864 896776 :oren!~oren@user3-223-64.wireless.utoronto.ca PRIVMSG #esoteric :Never mind, that's wrong < 1421867883 222177 :oren!~oren@user3-223-64.wireless.utoronto.ca PRIVMSG #esoteric :AHA: http://mathworld.wolfram.com/UniformProductDistribution.html < 1421867969 28393 :oren!~oren@user3-223-64.wireless.utoronto.ca PRIVMSG #esoteric :|(log(x))^(N-1)/(N-1)!| < 1421868308 357954 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, density. fine... < 1421868686 914556 :MDude!~fyrc@67.235.2.71 QUIT :Ping timeout: 246 seconds < 1421869252 790327 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421869340 303966 :oren!~oren@user3-223-64.wireless.utoronto.ca PRIVMSG #esoteric :I should have studied harder when I took stats... < 1421869376 449128 :oren!~oren@user3-223-64.wireless.utoronto.ca PRIVMSG #esoteric :Well, that applies to virtually every course i've taken, actually < 1421869417 695190 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1421869528 632251 :h0rsep0wer!~h0rsep0we@unaffiliated/h0rsep0wer QUIT :Quit: Leaving < 1421869575 998533 :nys!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1421870065 752741 :oren!~oren@user3-223-64.wireless.utoronto.ca QUIT :Quit: Lost terminal < 1421870510 255341 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1421870720 242534 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1421870802 580364 :oren!~oren@user239-105.wireless.utoronto.ca JOIN :#esoteric < 1421871293 393964 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1421871639 629729 :S1!~S1@p4FF92C36.dip0.t-ipconnect.de JOIN :#esoteric < 1421871647 318319 :TieSoul!~quassel@86.89.119.147 NICK :TieSleep < 1421871678 921610 :h0rsep0wer!h0rsep0wer@unaffiliated/h0rsep0wer JOIN :#esoteric < 1421871914 627209 :lifthrasiir!~lifthrasi@115.68.131.49 QUIT :Ping timeout: 245 seconds < 1421871967 255595 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 256 seconds < 1421872193 915176 :h0rsep0wer!h0rsep0wer@unaffiliated/h0rsep0wer QUIT :Ping timeout: 246 seconds < 1421872268 615464 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1421872287 934751 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421872308 799282 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Client Quit < 1421872329 2396 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421872388 476488 :h0rsep0wer!h0rsep0wer@unaffiliated/h0rsep0wer JOIN :#esoteric < 1421872470 870945 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1421872886 954296 :hoosieree!~hoosieree@2001:18e8:2:10a2:5c26:e58f:8619:7bef JOIN :#esoteric < 1421873397 994270 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1421873648 682000 :chaosagent!~quassel@98.210.97.139 JOIN :#esoteric < 1421873725 993407 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net JOIN :#esoteric < 1421873917 709981 :qlkzy!~qlkzy@li559-28.members.linode.com QUIT :Ping timeout: 245 seconds < 1421874069 921902 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1421874148 654257 :qlkzy!~qlkzy@li559-28.members.linode.com JOIN :#esoteric < 1421874661 960903 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1421874677 313437 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421875122 639443 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421875314 605748 :oren!~oren@user239-105.wireless.utoronto.ca QUIT :Ping timeout: 245 seconds < 1421877878 667368 :S1!~S1@p4FF92C36.dip0.t-ipconnect.de QUIT :Quit: S1 < 1421878644 481511 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1421879310 672441 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421879478 53551 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 276 seconds < 1421879522 100659 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca JOIN :#esoteric < 1421879612 906951 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c NICK :Tritonio < 1421880348 251373 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1421880790 71198 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1421880815 832311 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Taneb: Tanelle. you reminded me I had a blog. < 1421880825 200094 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :You do? < 1421880828 150480 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I did? < 1421880853 747810 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :So many questions < 1421880921 508628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell mroman also haskell.org is always sooooo slooooow <-- there was a reddit post on that, assuming you're referring to the wiki part, the problem is that after last year's server crash, some servers are in different data centers that really ought to be close together < 1421880921 661690 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1421880995 621704 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell mroman see https://status.haskell.org/ < 1421880995 774857 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1421881012 952138 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Taneb: yes. got an e-mail today saying you're following me. I had completely forgot that I had some kind of thing that looks like a blog. < 1421881019 35818 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Oh yes < 1421881029 425071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo follow me on twitter < 1421881034 112418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :many exciting tweets < 1421881084 805892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ok that was even fewer than i expected < 1421881108 706557 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: my followers/tweet ratio is p. high hth < 1421881114 702123 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :true < 1421881125 146485 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there seems to be a #nationalhugday somewhere < 1421881133 642141 :AndoDaan!~AndoDaan@188.189.84.79 JOIN :#esoteric < 1421881150 23716 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :http://pfcuttle.tumblr.com/post/3969325727/un-petit-peu-special-pour-un-valeur-donnee-de ← what the hell was I doing back then... anybody can help me recall? < 1421881199 618236 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sorry, it's all french to me hth < 1421881237 214267 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :translated: A little bit special. (For some value of “little”) < 1421881247 766015 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :boily, puts me in mind of Marble Hornets < 1421881284 58586 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ah, marble hornets. I watched a few random ones yesterday night ^^ < 1421881302 387223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: is this your latest revenge for my hemsktmyckethej tdnh also all sound clips should have a time bar so you can see whether you have any chance of bearing the rest of that crap (i didn't) < 1421881332 890168 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421881341 237853 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :no, still searching; I agree; it's not very long. < 1421881347 28949 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421881364 251450 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: it does have a time bar < 1421881373 8617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it does? < 1421881385 552573 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1421881391 998030 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh so it does. very sublte. < 1421881394 198913 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :a line and some shading moves across the player bar < 1421881399 853951 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*sublet < 1421881405 246188 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oh, a line! < 1421881423 974548 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :boily: this is cute < 1421881425 217774 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421881438 74084 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope still cannot bear it hth < 1421881484 113712 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: any idea? < 1421881497 728271 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hm. even the 'got is stumped. < 1421881552 550159 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :boily: I liked it < 1421881582 31948 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: please be kind and answer boily twh < 1421881582 213363 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :oerjan: maybe tomorrow i'll host the comments on fnord < 1421881609 320861 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :the Fnord Message Board. the Fnoard. < 1421881627 496860 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :and stop being sentient, you vile fungot. < 1421881627 773558 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :boily: why not generalize for any cube size? i don't believe any of it. i think. i'm not sure < 1421881645 145561 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: auditive generalized cubes? < 1421881645 463254 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :boily: this text is fnord for people like me, wants mrv gone". otoh, he's been using that too < 1421881657 661531 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: you are not people. < 1421881657 814797 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :boily: fnord the background and talks. < 1421881687 253350 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :elliott: thanks :) < 1421882073 605934 :AndoDaan_!~AndoDaan@188.188.74.17 JOIN :#esoteric < 1421882121 900398 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : this question could be answered in a second by anyone who knows any probability theory :( <-- oren is essentially right but i think you need to integrate to prove that equation hth < 1421882168 653113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :\int_0^1 \int_0^1 x y dx dy < 1421882189 665667 :AndoDaan!~AndoDaan@188.189.84.79 QUIT :Ping timeout: 245 seconds < 1421882208 274783 :_AndoDaan_!~AndoDaan@188.188.82.59 JOIN :#esoteric < 1421882266 103215 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 265 seconds < 1421882276 525125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm that's easy because y is a constant relative to x, so = \int_0^1 y \int_0^1 x dx dy = (\int_0^1 z dz)^2 = (1/2)^2 = 0.25 < 1421882292 740028 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION still remembers _some_ integration, yay
< 1421882348 267337 :AndoDaan_!~AndoDaan@188.188.74.17 QUIT :Ping timeout: 245 seconds < 1421882379 176499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which probably means there's also an easy way to think of it without integration < 1421882384 858282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :speaking of integration, what's with forms and pseudoforms < 1421882407 658286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well actually it's just E(X Y) = E(X) E(Y) when X and Y are independent < 1421882452 293757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i can say that i'm lucky not to know what pseudoforms are, and have probably never used a form in anger < 1421882473 273094 :_AndoDaan_!~AndoDaan@188.188.82.59 QUIT :Ping timeout: 256 seconds < 1421882538 99517 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(never took the differential geometry course, but there were some seminars...) < 1421882614 915824 :Phantom_Hoover!~phantomho@146.66.32.66 JOIN :#esoteric < 1421882626 758654 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so i recall something about dx /\ dy = - dy /\ dx and de rham something < 1421882631 301184 :Phantom_Hoover!~phantomho@146.66.32.66 QUIT :Changing host < 1421882631 454437 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1421882703 398313 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and this generalizing green's/stokes's/gauss's theorem < 1421882714 582400 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which stokes's theorem < 1421882742 429380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the one integrating around the boundary of a surface < 1421882760 967949 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think stokes's theorem might also refer _to_ the generalization < 1421882805 223470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(also integrating on the surface, and those integrals being equal) < 1421882828 825424 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :right < 1421882848 390455 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the one on the boundary involved dot product and the one inside cross product with normals iirc < 1421882848 844741 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's the right way to learn about all this twh < 1421882895 250542 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i dunno i think what i once knew properly about this i learned in the advanced calculus and analytic geometry course < 1421882916 907183 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i suppose "take a course" < 1421882920 743878 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(but that didn't include the form generalization i think) < 1421882933 778930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i think the textbook was Apostol, that rings a bell < 1421882954 161582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but also i've heard people talking about Spivak < 1421882967 835710 :Lymia!~fujoshi@inportb/loli/cirno-chan QUIT :Ping timeout: 264 seconds < 1421882971 310432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and also seen the book, nice cartoons < 1421882998 131777 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(spivak would teach the forms) < 1421883037 434108 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think Spivak is sort of legendary for this < 1421883070 969130 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and of course this was >20 years ago < 1421883085 259641 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 256 seconds < 1421883150 962319 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"Spivak is the author of the five-volume A Comprehensive Introduction to Differential Geometry." < 1421883172 948981 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sounds comprehensive all right < 1421883180 11057 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, that spivak < 1421883188 329981 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not calculus on manifolds < 1421883210 265107 :h0rsep0wer!h0rsep0wer@unaffiliated/h0rsep0wer QUIT :Quit: Leaving < 1421883229 355170 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"Spivak's book Calculus on Manifolds is also rather infamous as being one of the most difficult undergraduate mathematics textbooks" < 1421883249 657048 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i don't actually remember whether it's good or just legendary :P < 1421883338 579708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and there's Calculus. not sure which one has the drawings... < 1421883344 572541 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe they all do < 1421883421 121598 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :they all have cute covers < 1421883446 853411 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think. < 1421883452 23037 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://ssiinnaa.com/wp-content/uploads/2012/09/spivak.differential.geometry.jpeg exclusive picture of me < 1421883487 875728 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :okay maybe not all of them do... but there's definitely multiple cute spivak covers < 1421883509 537247 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://tensorial.com/math/manifolds/ nice Mathematics Memes < 1421883516 164322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh it's a ship of fools < 1421883527 758671 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :who're you calling a fool < 1421883569 54130 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :foo'l you calling a whore < 1421883643 180129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think that equation in your link _is_ the generalization of stokes's theorem < 1421883654 384097 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*your last link < 1421883660 666664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I've always seen that one called "Stokes's theorem". < 1421883662 910732 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1421883681 56328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So maybe it's the generalization of some simpler one. < 1421883686 832722 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i guess we undergraduates got the cut-down version < 1421883701 962220 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like it because it looks like an adjunction. < 1421883714 9467 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I'd like to understand it. < 1421883816 173437 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it probably is, somehow. everything is. < 1421883847 495421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, sure. < 1421883872 289883 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1421883946 319867 :bb010g!uid21050@gateway/web/irccloud.com/x-roosykjjsejrzzyv JOIN :#esoteric < 1421884053 360645 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: there was this one picture about this d thing: http://mathoverflow.net/a/10586 < 1421884283 262911 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mhm i think i saw something like it in the algebraic topology book < 1421884300 336616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(which i read way after undergrad) < 1421884331 921844 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which book < 1421884557 477127 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :I took Analysis II. Spivak's Calculus on Manifolds was the textbook < 1421884616 651306 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1421884641 732153 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :It was hard as hell but I learned a lot < 1421884754 573887 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Hmm...no wait, it was Analysis on Manifolds < 1421884786 28777 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that Spivak? < 1421884797 682703 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :if i can find it...