< 1421193631 878954 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1421193654 804969 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1421193710 280940 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 244 seconds < 1421193767 11270 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1421193800 267730 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c NICK :Tritonio < 1421193999 207538 :nortti_!nortti@nano.smar.fi JOIN :#esoteric < 1421194011 283002 :nyuszika7h_!nyuszika7h@cadoth.net JOIN :#esoteric < 1421194160 510318 :nyuszika7h!nyuszika7h@cadoth.net QUIT :Ping timeout: 264 seconds < 1421194161 229252 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi QUIT :Ping timeout: 264 seconds < 1421194161 272515 :nortti!nortti@nano.smar.fi QUIT :Ping timeout: 264 seconds < 1421194167 745762 :Taneb!~Taneb@runciman.hacksoc.org QUIT :Ping timeout: 245 seconds < 1421194174 328084 :jameseb!~jameseb_@runciman.hacksoc.org QUIT :Ping timeout: 255 seconds < 1421194174 535304 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi JOIN :#esoteric < 1421194185 386511 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1421194269 254808 :drdanmaku!uid17782@gateway/web/irccloud.com/x-wugksxuwlmxgkdrx JOIN :#esoteric < 1421194382 696699 :yorick_!~yorick@oftn/member/yorick NICK :yorick < 1421195328 742840 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : also, people, if you understand how these crazy automaton that are turing complete but require exponential time work, try answering http://cstheory.stackexchange.com/q/21525/8067 Conjecture about two counters automata <-- i understand how they're TC but not so much how to prove that things can still be impossible with the wrong input format. commented on a simpler subproblem mentioned, anyway. < 1421195399 161191 :bb010g!uid21050@gateway/web/irccloud.com/x-mshoqwfokligxylr JOIN :#esoteric < 1421196126 365385 :ocharles!sid30093@gateway/web/irccloud.com/x-yfcujgbgehcfkrso JOIN :#esoteric < 1421196149 788101 :ocharles!sid30093@gateway/web/irccloud.com/x-yfcujgbgehcfkrso NICK :Guest72794 < 1421196419 865382 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io JOIN :#esoteric < 1421196470 1771 :fractal!~fractal@unaffiliated/scounder QUIT :Ping timeout: 244 seconds < 1421196672 103920 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Ugh, bouncer crashed, lost all my channels < 1421196682 610374 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :you broke freenode! < 1421196743 36960 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Trying to remember where I was < 1421196747 776399 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :If you've seen me leave a channel and not rejoin, please tell me? < 1421196780 601324 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you've rejoined all 1 channels we have in common hth < 1421196787 358587 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :oerjan, good to know < 1421196800 161821 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :My list of channels feels... empty < 1421196862 388385 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :clearly this show the danger of relying on technology hth < 1421196883 556065 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Yes < 1421196897 700351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+s < 1421196946 34050 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I am not sure where you are adding that s < 1421196991 3517 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :after show hth < 1421197005 789424 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Oooooh < 1421197012 465718 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :tdh < 1421197016 445590 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yw < 1421197085 664752 :supay!sid47179@gateway/web/irccloud.com/x-jmekcgonmkeyfkyi JOIN :#esoteric < 1421197169 807327 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Taneb: Tanelle. you left the various trains channels. < 1421197177 917804 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Oh yes < 1421197194 19685 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I'm still missing some, I'm sure < 1421197303 808304 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :meanwhile, I shall lâchement disappear. it may involve a shiny new mattress. 'night all! < 1421197310 121928 :boily!~alexandre@96.127.201.149 QUIT :Quit: XANTHINE CHICKEN < 1421197721 884379 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok so much for looking at the _real_ question of that cstheory post, the main method of the linked article is completely impenetrable to my brain. < 1421197752 446001 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(holy shit so many indices) < 1421198003 867380 :drdanmaku!uid17782@gateway/web/irccloud.com/x-wugksxuwlmxgkdrx QUIT :Read error: Connection reset by peer < 1421198040 92065 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :looks like there was a netsplit apocalypse earlier today... < 1421198104 629762 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I think I've got most of the channels I care about < 1421198125 991900 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: have you considered putting them on autojoin < 1421198138 987122 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :elliott, they were, the bouncer had quite a serious crash < 1421198144 520021 :shikhin_!~shikhin@unaffiliated/shikhin QUIT :Remote host closed the connection < 1421198162 112854 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it doesn't save its state to disk...? < 1421198163 975298 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Also I am now going to bed < 1421198193 53174 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I don't know, a friend runs it < 1421198238 428707 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :
ACTION --> bed
< 1421198261 711245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well those logs just got a lot quicker to get through < 1421198427 410746 :drdanmaku!uid17782@gateway/web/irccloud.com/x-qsrfibglvbswlins JOIN :#esoteric < 1421199089 269023 :glguy!~glguy@unaffiliated/glguy QUIT :Ping timeout: 252 seconds < 1421199142 243959 :arjanb!8259a9d2@gateway/web/freenode/ip.130.89.169.210 QUIT :Quit: zzz < 1421199457 87932 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 244 seconds < 1421199735 13370 :glguy!~glguy@unaffiliated/glguy JOIN :#esoteric < 1421200019 345381 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1421200171 844054 :tswett!~tswett@unaffiliated/tswett QUIT :Client Quit < 1421200347 976678 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1421200510 378762 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1421201720 988018 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1421201780 366896 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421201863 374618 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 244 seconds < 1421201900 372407 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c NICK :Tritonio < 1421202056 323737 :drdanmaku!uid17782@gateway/web/irccloud.com/x-qsrfibglvbswlins QUIT :Quit: Connection closed for inactivity < 1421202995 286441 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1421203593 642649 :idris-bot!~ircslave@dslb-088-077-173-086.088.077.pools.vodafone-ip.de QUIT :Quit: Terminated < 1421203604 468325 :Melvar!~melvar@dslb-088-077-173-086.088.077.pools.vodafone-ip.de QUIT :Quit: storm < 1421203616 307881 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421203725 55167 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 265 seconds < 1421203882 472740 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421204684 955751 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421204763 277350 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421205186 144478 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1421205352 285480 :CrazyM4n!~CrazyM4n@ip98-177-176-240.ph.ph.cox.net QUIT :Ping timeout: 255 seconds < 1421206124 915900 :CrazyM4n!~CrazyM4n@ip98-177-176-240.ph.ph.cox.net JOIN :#esoteric < 1421206418 855744 :drdanmaku!uid17782@gateway/web/irccloud.com/x-ophoqkrpxiizbjer JOIN :#esoteric < 1421206503 168825 :Melvar!~melvar@dslb-088-077-173-086.088.077.pools.vodafone-ip.de JOIN :#esoteric < 1421206864 86731 :idris-bot!~ircslave@dslb-088-077-173-086.088.077.pools.vodafone-ip.de JOIN :#esoteric < 1421206978 666896 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 244 seconds < 1421207224 618315 :bb010g!uid21050@gateway/web/irccloud.com/x-mshoqwfokligxylr QUIT : < 1421207270 786009 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1421207533 990923 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1421207757 295698 :bb010g!uid21050@gateway/web/irccloud.com/x-afeldmbjdfaomxpl JOIN :#esoteric < 1421207986 420490 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 264 seconds < 1421208002 396406 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1421209234 839694 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421209626 802004 :CrazyM4n!~CrazyM4n@ip98-177-176-240.ph.ph.cox.net QUIT :Quit: going to eat food < 1421209804 90909 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1421209916 451491 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1421210127 408115 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Codename: CRAWL14]]4 M10 02http://esolangs.org/w/index.php?diff=41682&oldid=41680 5* 03BCompton 5* (+22) 10Stub, Dead link templates < 1421212055 417080 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net JOIN :#esoteric < 1421212198 496723 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 264 seconds < 1421212205 285126 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1421213571 928196 :contrapumpkin!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1421215705 632478 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net QUIT :Remote host closed the connection < 1421216161 954805 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: yay < 1421216265 43007 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net JOIN :#esoteric < 1421216293 200261 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so the biggest difference was henkma not using an operator < 1421216303 848007 :nyuszika7h_!nyuszika7h@cadoth.net NICK :nyuszika7h < 1421216345 442507 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :right. the 40 alphanum version I spoke about replaced the two _ by letters as well. < 1421216403 427742 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ohwow. char*p=sbrk(1) < 1421216467 990930 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION looks for what's being discussed there.
< 1421216527 905557 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://golf.shinh.org/p.rb?Kimariji is over and the code has been revealed < 1421216756 358688 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1421216772 95407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: let me guess, that entry is horrifyingly undefined behavior < 1421216906 204195 :adu_!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1421216935 247156 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm not sure how it works yet. < 1421216935 290693 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Ping timeout: 255 seconds < 1421216935 567631 :adu_!~ajr@c-69-243-56-49.hsd1.md.comcast.net NICK :adu < 1421216952 781974 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: of course the allocation is completely undefined < 1421217106 433626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm assuming it works in practice because allocations are always done in whole pages... < 1421217129 923065 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, here's a hint ... the program segfaults if I submit it as is. < 1421217167 657431 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I can only assume that it segfaults almost always, but not all the time) < 1421217174 97104 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1421217183 804328 :Guest74383!~reynir@reynir.dk QUIT :Changing host < 1421217183 847931 :Guest74383!~reynir@unaffiliated/reynir JOIN :#esoteric < 1421217189 216142 :Guest74383!~reynir@unaffiliated/reynir NICK :reynir < 1421217258 39055 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and I don't understand why it has *t++ += *p instead of *t++ = *p... < 1421217604 713811 :vanila!~vanila@unaffiliated/vanila JOIN :#esoteric < 1421217675 722255 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh, I get it (and actually that includes the +=). The loop body works perfectly fine. < 1421217701 228675 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's the allocation and the b%65 check that are iffy. < 1421217748 466066 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and apparently anagol uses ASLR :P < 1421217873 968159 :nyuszika7h!nyuszika7h@cadoth.net QUIT :Quit: WeeChat 1.1-dev < 1421217979 26734 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err no, I still don't get the += < 1421218001 174420 :nyuszika7h_!nyuszika7h@cadoth.net JOIN :#esoteric < 1421218033 288753 :nyuszika7h_!nyuszika7h@cadoth.net NICK :nyuszika7h < 1421218172 825033 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ok, after *t=read(0,p+1)+p, t points to the last character read (a newline), and p points to a zero byte; the first *t++ += *p keeps that final newline intact. < 1421218351 487028 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :How did banding used to work in Magic: the Gathering if opponent is attacking with one creature with trample, and if I block with fifteen creatures, one of which has banding? < 1421218366 519962 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I mean how it works in Fourth Edition, not how it works under current rules. < 1421218903 243003 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: ugh, I have no idea how the rules worked back in fourth ed < 1421218909 590937 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't even really want to know < 1421218913 590574 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :they didn't work < 1421218948 588351 :MoALTz_!~no@user-109-243-165-112.play-internet.pl JOIN :#esoteric < 1421219090 288112 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: I wanted to say something about those keyword abilities you list < 1421219106 131055 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: I sort of like Covering, because it's similar to banding but simpler < 1421219114 706450 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: oh. The total input plus output size *barely* fits into a single page on x86: it's 3979. So that explains the segfaults... they happen when the *next* page is accessed. < 1421219123 114083 :MoALTz!~no@user-109-243-165-112.play-internet.pl QUIT :Ping timeout: 240 seconds < 1421219139 570494 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :though of course I like banding for nostalgy reasons even if the rules for it are somewhat complicated (and I'm not even sure I understand them right, I'll have to re-read them) < 1421219217 403663 :MoALTz!~no@user-109-243-165-112.play-internet.pl JOIN :#esoteric < 1421219254 503710 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: I think "retract" sound like a bad name for a keyword ability because it is one letter off from "retrace" and there's also a card named "Retrace" < 1421219282 250896 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: So I believe I understand the program now, except perhaps the %65 (I have a calculation where the 65 comes out, but have not thought through an off-by-one phenomenon involved.) < 1421219297 80351 :drdanmaku!uid17782@gateway/web/irccloud.com/x-ophoqkrpxiizbjer QUIT :Ping timeout: 244 seconds < 1421219320 82696 :Guest72794!sid30093@gateway/web/irccloud.com/x-yfcujgbgehcfkrso QUIT :Read error: Connection reset by peer < 1421219351 144304 :MoALTz_!~no@user-109-243-165-112.play-internet.pl QUIT :Ping timeout: 252 seconds < 1421219359 265405 :ocharles!sid30093@gateway/web/irccloud.com/x-cvuiitdaceahaupo JOIN :#esoteric < 1421219371 982656 :drdanmaku!uid17782@gateway/web/irccloud.com/x-rmffnloweqmubyvy JOIN :#esoteric < 1421219384 628333 :ocharles!sid30093@gateway/web/irccloud.com/x-cvuiitdaceahaupo NICK :Guest21973 < 1421219387 292983 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: for "switchable", I sort of like the idea, but I think it would be better if defenses didn't have to be legal after you rearrange the creatures. < 1421219476 793205 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that's sort of how banding works as well: the defending player declares blockers ignoring banding, checking evasion and must block and other similar abilities; then creatures that block a creature in a band are magically set to block all other creatures in the band too, without checking anything. < 1421219487 648635 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think. But I might be misunderstanding the rules. < 1421219499 275058 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: fancy < 1421219533 466666 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: apart from covering and switchable, I don't really like these keyword abilities at first look. < 1421219544 364653 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but that of course doesn't mean much. < 1421219585 77838 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and of course you might want to list at least one example card for the keywords. < 1421219650 547978 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1421219721 714388 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I am not at home right now so I will not fix it right now, although about changing the name it is correct. < 1421219731 534085 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Also I actually thought of other ideas to change some of the things too < 1421219739 590276 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1421219751 582940 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Also, I can understand how banding works now and I do like it < 1421219761 670295 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :But I still needed to know how it used to work, due to a puzzle < 1421219778 998898 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I like bandding as well, but probably partly for a nostalgy reasons < 1421219806 737660 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :owww. a=list(open('../fd/0')) < 1421219821 85371 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :like, I'm upset on how Benalish Hero is stripped of his well-deserved Hero title because Hero is no longer a creature type < 1421219954 893558 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: anagol programs run in /dev?? < 1421220056 348047 :drdanmaku!uid17782@gateway/web/irccloud.com/x-rmffnloweqmubyvy QUIT :Quit: Connection closed for inactivity < 1421220070 907970 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :b_jonas: I'm not so sure that Hero is really a necessary creature type anyways, it doesn't seem to me working as well as using the more modern creature types, but I don't know entirely for sure. However, none of that changes the name of the card, so it still says "Hero" on the name, if you want it to say "Hero" on it. < 1421220169 81104 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: nope. they run on /golf/test, and there's a symlink in /golf < 1421220190 451232 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: it's possible that at some point they were run in /dev or in /proc/self... < 1421220210 987489 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err, no, the latter is wrong < 1421220236 404416 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah < 1421220244 623362 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: in /dev/shm probably < 1421220290 283932 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ah < 1421220295 645398 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wait, /dev/shm has fds in it? < 1421220303 273431 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: note the ../ < 1421220331 171921 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ohh < 1421220332 678950 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that makes sense. < 1421220337 846358 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(note also that I'm speculating about where the programs used to be run.) < 1421220364 800743 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah. < 1421220370 712772 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: sure, the hero is still there in the name and flavor text < 1421220555 605405 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :some of the old banding cards are riddiculous of course. they're like “You may assign damage from blocking tapped Griffons you control as if creatures it blocks didn't have “bands with other Legends with plainswalk”.” < 1421220640 704800 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I haven't seen stuff like that < 1421220648 302482 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :It's the simple cards with ordinary banding that I like. I have a playset of Benalish Hero, and at least one of the bigger soldier, the griffon, the green elephant, the Helm of Chatzuk (or whatever is spelled), and maybe one or two others. < 1421220773 228449 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :In some article by Wizards of the Coast I saw "Friendly Goblin" which has "Bands with other Minotaurs", and then discuss the rules below; they claimed how the older rules work, but now there are new rules for "bands with other" which are more sensible and this work in the better way. < 1421220775 790442 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: yes, that's an exaggeration. the actual bad cards are the _cycle_ of Cathedral of Serra, plus Shelkin Brownie and Great Wall < 1421220807 897299 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: yes, the way they errataed "bands with other" to be more powerful shows how riddiculous that ability used to be < 1421220827 908883 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the old rules said you could form bands only if _all_ creatures in the band had the same "bands with other" ability < 1421220855 658934 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Yes I know that's how it worked before, and I know how it works now, too. I read about that. < 1421220909 655876 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :those riddiculous old cards are what Old Fogey parodies, and I for one think it's a great parody < 1421220910 81856 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :It doesn't mean I know how exactly banding used to work in general, only how "bands with other" creatures banded (which doesn't explain what it does, though, just what it bands with). < 1421220911 989099 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :http://arxiv.org/abs/1206.5184 < 1421220925 677726 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*ridiculous hth < 1421220970 712 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"that is the Kolmogorov complexity of their Kolmogorov complexity is small" x_x < 1421221080 130633 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :luckily, that suckiness of "bands with others" is relevant on only a few cards (besides Old Fogey), because the Cathedral of Serra cycle gives all the relevant creatures the ability, Master of the Hunt create tokens that used to have a unique creature type so they couldn't band with anything else anyway (it's no longer a creature type), and there's basically no other card with that ability < 1421221211 302887 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, it's a pegaus, Mesa Pegasus, not a griffin < 1421221231 464612 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and the banding elephant is white, not green < 1421221248 921539 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(it's a trained war elephant with someone sitting on it, not a wild elephant) < 1421221271 116033 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and there's two bigger solders I've been confusing: Pikemen and Icatian Phalanx < 1421221293 478049 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no wait, there's a griffin too < 1421221297 466774 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Teremko Griffin < 1421221510 236280 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I once saw a scale where they guess how likely it is for certain things to be used again in later sets, on a scale of 1 meaning most likely and 10 meaning least likely; on that scale, "bands with other" is at 11. Nevertheless I may write some cards with banding and/or bands with other, too. < 1421221510 395654 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that means, incidentally, Shelkin Brownie is almost useless in the new rules, < 1421221510 489797 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :because if you have _one_ creature lose "bands with other", it can still band because the other creatures have it < 1421221510 591638 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(not that it was useful before) < 1421221510 702723 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but just straight banding is great < 1421221510 924786 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :even if we won't see it again < 1421221515 687841 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"with other legendary creatures" would be a good name for a band < 1421221592 35579 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Well, I also want to write a card with "protection from legendary". < 1421221615 83638 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I mean, we probably won't see Scryb Sprites again either, but that won't stop me from liking it and trying to use it in decks < 1421221617 303359 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Or, "protection from legendary and planeswalkers" < 1421221685 5030 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :protection from legendary? hmm... what color would that want to be? < 1421221718 548409 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I don't know. < 1421221739 596354 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :A lot of protection stuff seems to be in white but it can be in any colors. < 1421221798 871253 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :White has the general "choose a color, ... has protection from that color" stuff, and prevention effects in general < 1421221817 676979 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :like, Order of the Stars and any of the dozen instants or enchantments that give protection from chosen color < 1421221849 429664 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but all colors get specific themed protection effects < 1421221977 565525 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Of course each color also has two opposites < 1421222075 167118 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, that's why most color hosers like Honorable Scout go for opposite colors, though some go for neighbuoring colors < 1421222080 983103 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :neighboring < 1421222094 164425 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm trying to learn to spell "neighbor" and "behavior" consistently in the american spelling < 1421222117 431469 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(I don't claim I'll try to learn that for the more complicated words too, just for the common ones "color", "neighbor", "behavior") < 1421222170 386006 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :But you can find white cards with protection from any colors, including white < 1421222192 306760 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: yes, because white gets all the preventation effects since the Circles of Protection < 1421222226 210527 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Niteiuwfqbiub < 1421222274 482318 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Searching for "legandary" in rules text, let's see. There's "Ayumi, the Last Visitor", Empress Galina, Feast of Worms, Hero's Demise (it doesn't kill Heros because they demoted Heros), < 1421222377 121985 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :White card with protection from white would also be protected from damaging itself, such as the "confusion" keyword I made up, and possibly also a few other cards < 1421222395 782144 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm, Hero's Demise is p. different from Hero's Downfall < 1421222414 174354 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Karakas, Livona Silone, < 1421222494 258518 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What is the "confusion" keyword? < 1421222510 183233 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Tsabo Tavoc, Willow Satyr. wow, that's a lot of legend hosers. < 1421222526 929625 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :shachaf: You would have to look it up on my computer < 1421222541 907907 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :s/Livona Silone/Livonya Silone/ < 1421222556 247 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: But I always lose the link. < 1421222606 165878 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :http://zzo38computer.org/textfile/miscellaneous/magic_card/cards.txt. < 1421222618 878641 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh right, and Limited has a full Ward cycle, a cycle of one mana auras giving protection from a particualr color < 1421222684 113548 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I will probably change a few of the keyword abilities too. The names of "retract" and "switchable" probably should be changed, and for covering I intend to allow it to have something similar to forming bands but for blocking instead of attacking < 1421222759 434915 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: You should teach HackEgo that link so I can fetch it when necessary. < 1421222765 935750 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Another thing I thought of is "protection from permanents". I think it would still allow you to play an Aura on such a card, but then the Aura is immediately going to be discarded. It might still be useful if it has modular or reduces the toughness of a creature, though. < 1421222792 38727 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :shachaf: Why don't you add the file to HackEgo? (Also, you should remove the extra period at the end please) < 1421222822 298074 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: Unquestioned Authority is one of the best cards that give protection < 1421222826 230490 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Your HTTP server seems to ignore trailing periods. < 1421222872 800871 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :shachaf: Even if it does, please remove the trailing period anyways. Also please preserve the case of everything after the domain name, even though it ignores case too in most cases. < 1421222895 642795 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :also, as I like protection, I hate "damage can't be prevented" effects that hose it < 1421222904 97672 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slashlearn zzo38mtg/http://zzo38computer.org/textfile/miscellaneous/magic_card/cards.txt < 1421222908 386588 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «zzo38mtg» < 1421222914 865979 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, maybe wisdom isn't the best place to put it. < 1421222916 376328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh well. < 1421222960 916856 :MoALTz!~no@user-109-243-165-112.play-internet.pl QUIT :Quit: Leaving < 1421223008 920432 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Are you turning Arcbound Wanderer into double scoop french vanilla? < 1421223048 277506 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I also still like to see what tasks there might be for Magic: the Gathering. I suppose one task is positions where nobody knows whether or not it is a draw, because of some unsolved mathematical problem or something. Other tasks could be ones where you need to get priority during the cleanup step in order to win, or ones involving conceding. < 1421223080 895425 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :shachaf: Yes, because I don't like the way they originally designed it, which just doesn't make much sense to me and looks stupid to me. < 1421223131 946969 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Ugh, it turns out that linux limits the number of mmap regions for each process. (Oddly, it returns ENOMEM when you reach the limit.) Fortunately, it can be increased with sysctl. < 1421223166 34767 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Why does Persisting Torture have Unleash? < 1421223191 229535 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, I see, you might not want the counter. < 1421223216 144273 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :For one thing I think it makes it persist even more due to the rule that cancels out +1/+1 and -1/-1 counters. < 1421223221 893446 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can an aura ever block? < 1421223238 881783 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: oh, wait, and there was one more thing < 1421223257 790852 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Normally, no, but I have deleted the rule that disallows auras that are also creatures from being immediately placed into the graveyard, therefore auras can block. < 1421223285 396805 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :b_jonas: Like I said I cannot fix this file now; maybe on weekend though, I am not at home right now. < 1421223289 131103 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: the overlay keyword seems a bit dangerous. is there really rules support for gaining all abilities of an arbitrary permanent? < 1421223296 413822 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: sure, no problem < 1421223311 208270 :glguy!~glguy@unaffiliated/glguy QUIT :Ping timeout: 252 seconds < 1421223327 642702 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I believe so, even though many abilities will do nothing on some permanents. < 1421223332 39549 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: at least it shuold gain only its text box, not all abilities (including ones conferred from auras which may reference thos auras) < 1421223379 361942 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I did think of doing that but decided against it; however I may have been wrong < 1421223398 805942 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Perhaps copy of what is in the text box is better (like how splice does) < 1421223495 85736 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Do you mind if I show some people that link? < 1421223499 740673 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: think of copying from a creature that has a Nettlevine Blight linked < 1421223507 865981 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :s/linked/attached/ < 1421223563 178415 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :shachaf: It is fine if you show it; it is all public domain. However be aware that the contents of the file are subject to being changed (although it is likely that much of it will be kept with only minor changes, this isn't completely guaranteed). < 1421223571 64239 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: also imagine a creature getting multiple characteristic-setting abilities that set its p/t. I think the rules handle it, but it's awkward, and even copying the text won't help that. < 1421223572 905880 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: How does Terrible Plan work? < 1421223589 531849 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You're not required to play it if you draft it, are you? < 1421223601 276969 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: there's a reason why so far we only have "overwrite with copy plus this particular ability" effects and "gains all activated abilities of target" effects < 1421223618 609039 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :You aren't required to play it if you draft it, but if you don't, you won't get the ability of some other conspiracies that require that you *do* use all cards you draft! < 1421223658 725021 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, there was that card that let you get any color of karma from basic lands. < 1421223716 390706 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :And if it is a draft that includes both Emblegoyf and Terrible Plan, you might play it to give Emblegoyf +1/+1 at the cost of you lose 5 life points (although this still probably isn't the best strategy; although perhaps it helps with other cards too) < 1421223774 252668 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, now I wonder how that thing would work Nettlevine Blight < 1421223852 651352 :chaosagent!~quassel@c-98-210-97-139.hsd1.ca.comcast.net QUIT :Quit: No Ping reply in 180 seconds. < 1421223946 369915 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDream < 1421224004 394279 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I had a question about Pact of Negation once: Are you required to pay mana for it at the beginning of your next upkeep if it's in your mana pool? If it isn't in your mana pool, are you required to activate mana abilities for it? < 1421224020 530631 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For some reason it says "pay ..." and not "you may pay ..." < 1421224073 246683 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I believe that you are never required to activate mana abilities even if something forces you to pay a cost with mana (in such a case, paying the cost fails). < 1421224082 207763 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I'm not entirely sure, but I think this is how it works. < 1421224181 348715 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But if the mana is in your mana pool, you're required to pay it? < 1421224231 12432 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Even if you control a Platinum Angel, for instance?) < 1421224252 503742 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :That I don't know. < 1421224268 55964 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I want to use Gorgon's Touch on a Taunting Elf < 1421224359 256991 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: there's something about that in a faq iirc: it's deliberately mandatory to pay because otherwise tournament players would accidentally forget to announce that they pay before they untap and so lose the game on a technicality < 1421224376 249555 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and they didn't want to annoy players with that < 1421224395 308302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You pay in your upkeep, but fair enough. < 1421224401 818076 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um, ok < 1421224404 421173 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :before they draw < 1421224409 438440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1421224417 654952 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, that's even more serious, because drawing gives you new information < 1421224423 442036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Making your pay before you untap would defeat the purpose.) < 1421224432 154532 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes < 1421224470 37533 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What happens if you accidentally draw? < 1421224513 142010 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: I'm not quite sure, that's a tournament rules question not a comprehensive rules question < 1421224516 778272 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Then you lose? I mean you saw the card, and thus have extra information. < 1421224535 518533 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: I know, but you just brought it up. :-) < 1421224537 796049 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Which may affect how you pay the cost, for example. < 1421224538 660649 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Same as in any other card game I suppose? < 1421224546 534014 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Right. < 1421224559 980013 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: I imagine the judge would give you a warning and determine what you tapped to pay for it < 1421224581 539607 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which might be bad but not as bad as losing the game < 1421224598 166280 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Are there any mana abilities that care about your life total or cause you to gain life? < 1421224617 129510 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Shadowmonger would be interesting if any player could use the ability to add or remove Shadow until end of turn. < 1421224626 943839 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You could call it Sneetch. < 1421224655 495387 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: almost. there's Grove of the Burnwillows < 1421224673 815552 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :OK, although why that name? I'm not complaining I just ask. < 1421224695 879221 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: there's also mana abilities with life payment costs, which sort of care because you can't pay if you ahve too few life < 1421224719 254821 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: After this book: https://en.wikipedia.org/wiki/The_Sneetches_and_Other_Stories < 1421224721 683323 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Yes but those aren't the things I meant < 1421224730 89340 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :shachaf: Ah, OK < 1421224744 158101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, the first story in that book. I don't know if you've read it. < 1421224753 719432 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I have never seen it < 1421224922 181948 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: the sest faq says "Paying the mana at the beginning of your next upkeep is not optional. However, playing mana abilities to generate the mana is optional. The effect can't force you to tap your lands, but it will force you to spend mana in your mana pool if you've generated enough." < 1421224942 761755 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: about the Pacts < 1421224974 385076 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: Ah, that answers my question. < 1421224976 284740 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :That was actually my guess too < 1421224991 943896 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It was my conclusion too when I was wondering about it a while ago. < 1421225117 106917 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I tried to make up a somewhat better puzzle which is based on puzzle.1 which I called puzzle.2 although it isn't particularly good either; at the bottom I listed some possible improvements. < 1421225248 443742 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :Another kind of task might be a task where your cards in hand are same as opponent's cards in hand and your response is required to be the corresponding card based on what card opponent played. It is a little bit like a Babson task I suppose, but not really. < 1421225280 645141 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Binary_lambda_calculus < 1421225282 670156 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :holy crap guys < 1421225287 997 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :This is even shorter than Haskell's 23 byte long < 1421225287 105899 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric : nubBy(((>1).).gcd)[2..] < 1421225302 840364 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :even though the haskell one uses a bunch of high level prelude stuff.. < 1421225305 176397 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its still shorter < 1421225382 411797 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :to be fair, you could probably write a haskell one that gets rather close < 1421225386 579124 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :except for the fact that you won't have the bit encoding < 1421225401 705077 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :really?? < 1421225402 419684 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but representation things like that are a little cheaty as far as kolgomorov complexity goes < 1421225415 616446 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: well, worst case you can just write it as haskell lambdas with newtypes as necessarily :p < 1421225421 222433 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> length "nubBy(((>1).).gcd)[2..]" * ceiling (logBase 2 (genericLength $ nub "nubBy(((>1).).gcd)[2..]")) < 1421225422 836487 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 92 < 1421225424 201286 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :thats giong to be way longer! < 1421225435 613191 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah but it evens out for programs that aren't really short to start with < 1421225444 338881 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :But some such things are reason I want to invent a programming language for writing the rules of Magic: the Gathering and other similar kind of games and for the cards for them < 1421225447 103692 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you always get like at least over *8 just because of syntax < 1421225456 407835 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but that's kind of a boring way to win golf < 1421225463 245315 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean I like BLC though < 1421225491 989082 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Most of that article shouldn't be on wikipedia imo < 1421225493 554097 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it would be fun to have a bit strings <-> closed lambda terms bijection < 1421225502 717366 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(in BCT they can be open too) < 1421225599 791561 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I did think of ideas of it, such as that the program consists of zero or more "extensions", so the programs form a idempotent commutative monoid, however some combinations of extensions are errors. Also, it somewhat resembles a kind of strongly-typed Lisp, and there is five kind of syntax elements: number, string, name, newname, compound. < 1421225696 79304 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net QUIT :Quit: zzo38 < 1421225750 923488 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell zzo38 an idempotent commutative monoid is usually called a (bounded) semilattice hth < 1421225751 64396 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1421225753 394940 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Facebook has hashtags? < 1421225756 193678 :glguy!~glguy@unaffiliated/glguy JOIN :#esoteric < 1421225847 148464 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell zzo38 your document says "bands with othe" instead of "bands with other" < 1421225847 230478 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1421226217 986362 :Guest21973!sid30093@gateway/web/irccloud.com/x-cvuiitdaceahaupo QUIT :Read error: Network is unreachable < 1421226233 216325 :ocharles!sid30093@gateway/web/irccloud.com/x-wgftzmsdytxyisae JOIN :#esoteric < 1421226279 486609 :ocharles!sid30093@gateway/web/irccloud.com/x-wgftzmsdytxyisae NICK :Guest45037 < 1421226448 984904 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :well... this is disappointig < 1421226459 229476 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :txt <- readFile "src.hs" < 1421226464 612371 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :writeFile target txt < 1421226471 201489 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :guess what happens? < 1421226528 985522 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :nothing :) < 1421226571 261338 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :looks like with multiple writeFile calls only the last writeFile is actually carried out < 1421226609 338193 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :writeFile f s creates a file f containing s. < 1421226621 971267 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@hoogle appendFile < 1421226623 458419 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Prelude appendFile :: FilePath -> String -> IO () < 1421226623 571867 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :System.IO appendFile :: FilePath -> String -> IO () < 1421226623 644422 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.ByteString appendFile :: FilePath -> ByteString -> IO () < 1421226738 864250 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Actually writeFile replaces the contents if f already exists. How strange. < 1421226823 888817 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :oh < 1421226824 885330 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric ::D < 1421226830 138241 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric ::D < 1421226831 412988 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :haha < 1421226839 620025 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I suck :( < 1421226889 110485 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric ::( < 1421226948 519167 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote I suck < 1421226949 517620 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1421226951 115979 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1421226955 75464 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I thought there was a quite of almost exactly that < 1421226959 965047 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why are the quotes so bad. < 1421226967 575453 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman: it's because of lazy IO < 1421226975 53324 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh uh < 1421226978 701142 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe lazy IO works fine there < 1421226981 78768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's scary though < 1421227079 744934 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :echo " Hello, world" | ./tromp < 1421227098 307894 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric : <- the first half of this byte is 0100 the identity function (= 'cat' program) < 1421227105 600072 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :0010* < 1421227414 243232 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :http://lpaste.net/118411 < 1421227782 93970 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :how to write 'take 10' to get a finit list from the primer program < 1421227805 184097 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :or 1000 < 1421228037 499789 :jameseb!~jameseb_@runciman.default.hacksoc.uk0.bigv.io JOIN :#esoteric < 1421228123 968208 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :how is the input and output stream represented < 1421228131 691264 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i dont know the data formats < 1421228259 691422 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1421228467 897824 :qlkzy!~qlkzy@li559-28.members.linode.com QUIT :Ping timeout: 245 seconds < 1421228573 155535 :vanila!~vanila@unaffiliated/vanila QUIT :Ping timeout: 240 seconds < 1421228642 460578 :vanila!~vanila@unaffiliated/vanila JOIN :#esoteric < 1421228652 463853 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :hhi < 1421228654 477734 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :anyone good at BLC < 1421228662 485909 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what are the data formats for input and output? < 1421228865 899689 :qlkzy!~qlkzy@li559-28.members.linode.com JOIN :#esoteric < 1421229467 813066 :vanila!~vanila@unaffiliated/vanila QUIT :Ping timeout: 245 seconds < 1421230709 386403 :vanila!~vanila@unaffiliated/vanila JOIN :#esoteric < 1421230740 122945 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :can anyone help me with BLC < 1421230753 972381 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :echo "\i (\c n n)" > four && cat parse.Blc four | ./tromp > four.blc < 1421230760 68195 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :it segfaults when i try to run it < 1421230828 187589 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Binary_lambda_calculus#Binary_I.2FO this describes the IO btw < 1421230845 878474 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :thanks!! < 1421230855 337593 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh it doesn't really < 1421230864 221330 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :z is soem terminator thing < 1421230912 487328 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I got it to output 0 and 1 thanks < 1421230934 489700 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :http://lpaste.net/118412 < 1421230972 851279 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :"The z appearing in the above expression requires some further explanation." < 1421230973 561357 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :lol < 1421230978 754038 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and there is no further explanation < 1421230979 152980 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is there a combinatory logic system that doesn't have massive overhead over lambda terms? < 1421230982 189664 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe SK doesn't < 1421230989 946297 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :paging tromp__ < 1421230991 730374 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :overhead? < 1421231007 610242 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oh ok < 1421231014 524004 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :because turning a lambda term into SK makes it bigger < 1421231019 34221 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1421231026 944869 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I feel like if you can avoid dealing with variable binding that is nicer < 1421231059 13927 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oh it does go into more detail about z... < 1421231118 870260 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :\i \z z (\x \y y) z < 1421231120 782622 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :prints 0 forever < 1421231172 23824 :Guest45037!sid30093@gateway/web/irccloud.com/x-wgftzmsdytxyisae NICK :ocharles_ < 1421233762 670227 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1421235161 640839 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Oh, someone had already computed a bunch of base 2,3 palindromes but didn't submit them to the OEIS. < 1421235387 221788 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: where? < 1421235409 618889 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: have you submitted yours by the way? I think at least one still fits < 1421235632 17972 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It's right there in the linked newsgroup thread, which I didn't read before. < 1421235886 970053 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :are all sequences on OEIS infinite? < 1421235931 657517 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Some are believed to be: http://oeis.org/A001220 < 1421235960 193909 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: no, it has finite sequences < 1421235984 205974 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: there is even a "fini" flag for sequences, I don't recall if it means it's finite or that all terms are listed < 1421236001 247631 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: the rule is that there has to be at least four terms listed < 1421236039 257665 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: http://oeis.org/eishelp2.html#RK , keywords "fini" and "full" < 1421236072 207265 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Jafet: two glorious terms in the sequence! < 1421236078 529344 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :b_jonas: interesting. < 1421236085 903974 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, apparently it's not, because A029495 has only three terms < 1421236096 905424 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah, A001220 has only two < 1421236097 483792 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nice < 1421236125 781821 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there are a couple of other sequences with only three < 1421236154 10461 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and look A076337 has only one term listed < 1421236159 886129 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :is there any sequence with no term listed? < 1421236181 800527 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :A014127 has only two < 1421236194 323617 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't have the full database downloaded, so there might be more such things < 1421236376 247546 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the most frequent keywords are "nonn" and "easy" by the way < 1421237974 324466 :boily!~alexandre@96.127.201.149 QUIT :Quit: DIAGONAL CHICKEN < 1421240161 170615 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421245150 777545 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1421246922 881030 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1421246954 99941 :drdanmaku!uid17782@gateway/web/irccloud.com/x-paszobecytdeuoqu JOIN :#esoteric < 1421247058 385094 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker NICK :SopaXorzTaker < 1421249142 843254 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1421249273 469071 :nortti_!nortti@nano.smar.fi NICK :nortti < 1421250685 17694 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :*yawn* hello < 1421250703 616492 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I had my first Ring Theory lecture today < 1421250709 21687 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :One thing in it annoyed me < 1421250720 821901 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :The definition of a ring slightly differs from the one I am used to < 1421251022 19055 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what was the difference < 1421251174 340790 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :vanila, I'm used to multiplicative identity being a ring axiom, in the lecture it wasn't necessary for something to be a ring < 1421251215 345154 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :okay Ring vs Rng < 1421251273 314178 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Rng_%28algebra%29 < 1421251297 594042 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's the silliest name. < 1421252628 28618 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :PRNG-Algebra is my favorite kind of algebra. < 1421253621 791915 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1421254023 34360 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Heh. There's a Codewars 'kata' to implement a befunge interpreter. < 1421255309 119917 :bb010g!uid21050@gateway/web/irccloud.com/x-afeldmbjdfaomxpl QUIT :Quit: Connection closed for inactivity < 1421256046 161571 :S1!~S1@pD9FCAF38.dip0.t-ipconnect.de JOIN :#esoteric < 1421256263 58326 :idris-bot!~ircslave@dslb-088-077-173-086.088.077.pools.vodafone-ip.de QUIT :Ping timeout: 240 seconds < 1421256361 367249 :Melvar!~melvar@dslb-088-077-173-086.088.077.pools.vodafone-ip.de QUIT :Ping timeout: 244 seconds < 1421257651 964887 :S1!~S1@pD9FCAF38.dip0.t-ipconnect.de NICK :S0 < 1421257677 749139 :Melvar!~melvar@dslb-092-072-182-072.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1421257703 37682 :idris-bot!~ircslave@dslb-092-072-182-072.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1421257749 149646 :MoALTz!~no@user-109-243-165-112.play-internet.pl JOIN :#esoteric < 1421257840 346815 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421257856 95813 :drdanmaku!uid17782@gateway/web/irccloud.com/x-paszobecytdeuoqu QUIT :Quit: Connection closed for inactivity < 1421257916 336910 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :There's also 'rig': https://en.wikipedia.org/wiki/Rig_%28algebra%29 < 1421258547 759182 :weissschloss!~viskestel@li607-220.members.linode.com QUIT :Ping timeout: 264 seconds < 1421258719 764279 :weissschloss!~viskestel@li607-220.members.linode.com JOIN :#esoteric < 1421258756 160760 :S0!~S1@pD9FCAF38.dip0.t-ipconnect.de NICK :S1 < 1421259088 748769 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :... some of the homeworks for cis194 are frankly inscrutable to me. < 1421259133 498269 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :cis194? < 1421259152 889086 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDude < 1421259333 61296 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Haskell course. < 1421259341 137811 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :http://www.seas.upenn.edu/~cis194/spring13/lectures.html < 1421260102 842193 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :egotistical hacker, hmm. time to stop. < 1421260118 797220 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :? < 1421260170 416625 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1421260211 480899 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Not even remotely sure I've done this exercise properly yet. < 1421260403 18130 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1421260410 692493 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: the phrase appears near the end of the second exercise sheet of that cis194 course. < 1421260446 871723 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1421260449 953798 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't quite understand but okay < 1421260467 200947 :arjanb!8259a9d2@gateway/web/freenode/ip.130.89.169.210 JOIN :#esoteric < 1421260539 343938 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: neither did I ;-) < 1421260569 47120 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(maybe it makes sense if one actually writes the (boring) log file parser stuff) < 1421260732 295426 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Blargh. I actually have no fucking clue how to use this data structure at all. < 1421260745 163555 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :It strikes me as needlessly arcane. < 1421260755 702410 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :needlessly j_arcane? < 1421260818 227549 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :J_Arcane: which exercise? < 1421260826 191184 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Homework 2. < 1421260835 228617 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :same one you just quoted. < 1421261139 280181 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah. Exercise 6 makes more sense now. < 1421261197 985828 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`help < 1421261198 136245 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1421261213 200100 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`fetch http://www.seas.upenn.edu/~cis194/spring13/extras/02-ADTs/error.log < 1421261215 20259 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2015-01-14 18:46:53 URL:http://www.seas.upenn.edu/~cis194/spring13/extras/02-ADTs/error.log [330827/330827] -> "error.log" [1] < 1421261253 558667 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :< error.log grep ^'E [5-9][0-9]' | sort -n -k 3 | cut -d\ -f 4 | cut -c1 < 1421261261 843575 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` < error.log grep ^'E [5-9][0-9]' | sort -n -k 3 | cut -d\ -f 4 | cut -c1 < 1421261264 37213 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :M \ A \ D \ H \ A \ T \ T \ E \ R < 1421261443 612608 :vanila!~vanila@unaffiliated/vanila QUIT :Quit: Leaving < 1421261458 241900 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Cute < 1421261526 199133 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :J_Arcane: it's just a standard binary search tree; you can think of Leaf as representing a null pointer. < 1421261604 335155 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Yeah, I don't really know what that means. Like, I sorta get part of the general principle of binary search, but beyond that I'm lost. < 1421261615 126658 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So except for the bonus exercise, I think this is all ok. < 1421261668 675478 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :To insert a key into a non-empty binary search tree, compare it to the key at the root; if it is smaller, insert it into the left subtree; otherwise, insert it into the right subtree < 1421261694 900702 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Yeah, that's my understanding too. My solution here however is ugly and doesn't seem to recur properly. < 1421261737 563470 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(usually we will then do some more work to keep the tree balanced, but if items arrive in a random order, the tree will be fairly balanced without that extra work) < 1421261842 776169 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net QUIT :Ping timeout: 245 seconds < 1421262018 939643 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :This is what I have so far, but it's not chewing through a list properly: http://lpaste.net/118427 < 1421262081 610813 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :J_Arcane: insert msg l <-- what happens to the right subtree if you do that? < 1421262122 316154 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Hmm. That's a good question. I should properly be inserting into l, while keeping r. < 1421262192 552211 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Aha! Yes, that works. < 1421262243 386329 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Doing "Node (insert msg l) msg2 r" seems to recur properly, and indeed gives me a sorted list. < 1421262340 544048 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Now to parse the Tree back out to a List. < 1421262519 626752 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :http://www.mike-worth.com/2013/03/31/baking-a-hello-world-cake/ < 1421262646 763277 :drdanmaku!uid17782@gateway/web/irccloud.com/x-girckmkpnyjijuts JOIN :#esoteric < 1421263799 548922 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Nice. Finished it. Thanks for the help int-e < 1421263928 248339 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1421264034 851889 :TieSoul!~quassel@86.89.119.147 JOIN :#esoteric < 1421264312 375921 :S1!~S1@pD9FCAF38.dip0.t-ipconnect.de NICK :|S} < 1421264368 376234 :|S}!~S1@pD9FCAF38.dip0.t-ipconnect.de QUIT :Quit: |S} < 1421264414 900854 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :It's unfortunate that that exercise bakes the Unknown constructor into the LogMessage type < 1421264530 105859 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :glguy: Yes. It makes the code a bit awkward, and makes GHC complain a lot about missing patterns that would never happen anyway. < 1421264544 895567 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :It really should've been another message type like the others. < 1421264586 552724 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :J_Arcane: You've finished the whole week 2 assignment now? < 1421264623 419616 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :or the insert function specifically < 1421264873 528171 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Yes. < 1421264900 222790 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :And ran the tests to check for the result mentioned in ex. 6 even. < 1421265094 172136 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :A friend has suggested that Open Transport Tycoon may be Turing complete < 1421265111 894713 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Does anyone who knows the game better have any information on the matter? < 1421265483 185446 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: ask zzo38 < 1421265502 739274 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Hmm, he's not online... < 1421265519 859283 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :@ask zzo38 Any idea whether Open Transport Tycoon is Turing complete? < 1421265519 902490 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1421265541 159638 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: it's only pspace-complete or something like that though < 1421265549 175062 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it can emulate circuits < 1421265554 712571 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(very inefficiently) < 1421265572 707747 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@google openttd logic zem < 1421265574 95739 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://zem.fi/2005-10-21-ttd-logic < 1421265574 139142 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Title: Logic Gates in OpenTTD | 2005-10-21 | zem.fi < 1421265579 723113 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: courtesy fizzie ^ < 1421265605 501657 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh right, it's not zzo38 then but fizzie < 1421265607 761223 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sorry for the confusion < 1421265714 199586 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :ottd can emulate circuits < 1421265716 316712 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :neat < 1421265786 249015 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421267426 312131 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421267511 785979 :MDude!~fyrc@67.235.2.71 JOIN :#esoteric < 1421268283 766628 :TieSoul_!~quassel@86.89.119.147 JOIN :#esoteric < 1421268332 221228 :TieSoul!~quassel@86.89.119.147 QUIT :Disconnected by services < 1421268337 304356 :TieSoul_!~quassel@86.89.119.147 NICK :TieSoul < 1421269076 886426 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421269088 670884 :roasted42!~appleseed@41.48.16.48 QUIT :Changing host < 1421269088 714136 :roasted42!~appleseed@unaffiliated/them4ch1n3 JOIN :#esoteric < 1421269088 714248 :roasted42!~appleseed@unaffiliated/them4ch1n3 NICK :TheM4ch1n3 < 1421269217 805857 :TieSoul!~quassel@86.89.119.147 NICK :TieSleep < 1421269280 566490 :S1!~S1@pD9FCAF38.dip0.t-ipconnect.de JOIN :#esoteric < 1421269595 284739 :pickering!~pickering@megaplonk.com JOIN :#esoteric < 1421269776 10022 :pickering!~pickering@megaplonk.com PART #esoteric :"I drink the milk of the stars in this beautiful moment!" < 1421270300 930561 :bb010g!uid21050@gateway/web/irccloud.com/x-fsemobpevjhbskhg JOIN :#esoteric < 1421270830 161451 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 QUIT :Ping timeout: 265 seconds < 1421271034 837807 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421272039 886419 :S1!~S1@pD9FCAF38.dip0.t-ipconnect.de QUIT :Quit: S1 < 1421272093 70405 :roasted42!~appleseed@41.48.16.48 NICK :TheM4ch1n3 < 1421272093 184529 :TheM4ch1n3!~appleseed@41.48.16.48 QUIT :Changing host < 1421272093 264053 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 JOIN :#esoteric < 1421272403 57778 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 QUIT :Ping timeout: 240 seconds < 1421272462 176677 :S1!~S1@pD9FCAF38.dip0.t-ipconnect.de JOIN :#esoteric < 1421272485 520152 :S1!~S1@pD9FCAF38.dip0.t-ipconnect.de PART :#esoteric < 1421272513 75205 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421272739 575384 :roasted43!~appleseed@41.48.16.48 JOIN :#esoteric < 1421272798 76742 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 245 seconds < 1421273067 274411 :roasted43!~appleseed@41.48.16.48 QUIT :Ping timeout: 276 seconds < 1421273116 164579 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421273457 157071 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 276 seconds < 1421273495 379263 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421273805 451919 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 256 seconds < 1421273875 156360 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421274198 223108 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 276 seconds < 1421274251 655536 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421274539 655971 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 245 seconds < 1421274629 647172 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421274927 781658 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 264 seconds < 1421275007 433588 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421275301 412944 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 256 seconds < 1421275387 646187 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421275719 666871 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 264 seconds < 1421275767 893365 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421276094 858172 :nys!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1421276099 268325 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 264 seconds < 1421276148 411581 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421276265 282898 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 276 seconds < 1421276457 349136 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 256 seconds < 1421276466 836069 :paul2520!~paul2520@104-6-13-61.lightspeed.milwwi.sbcglobal.net JOIN :#esoteric < 1421276489 713963 :paul2520!~paul2520@104-6-13-61.lightspeed.milwwi.sbcglobal.net NICK :Guest60411 < 1421276527 147561 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421276850 291405 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 276 seconds < 1421276906 138466 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421276912 622507 :Guest60411!~paul2520@104-6-13-61.lightspeed.milwwi.sbcglobal.net NICK :paul2520 < 1421276920 777774 :paul2520!~paul2520@104-6-13-61.lightspeed.milwwi.sbcglobal.net QUIT :Changing host < 1421276920 820979 :paul2520!~paul2520@unaffiliated/paul2520 JOIN :#esoteric < 1421277199 276638 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 255 seconds < 1421277244 492114 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421277285 318699 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421277611 283155 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 264 seconds < 1421277664 731324 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421278083 265139 :Lilax!uid52684@gateway/web/irccloud.com/x-plhzgquxgmsymulk JOIN :#esoteric < 1421278111 791565 :Lilax!uid52684@gateway/web/irccloud.com/x-plhzgquxgmsymulk PRIVMSG #esoteric :Hello < 1421278299 585740 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net JOIN :#esoteric < 1421278354 411325 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1421278445 247406 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net JOIN :#esoteric < 1421278447 954317 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Ahoy. < 1421278462 93519 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yoha < 1421278488 919409 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :So, proofs that the calculus of construction is strongly normalizing. < 1421278496 944804 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Specifically, syntactic ones. < 1421278499 574287 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :How do those tend to go? < 1421278596 877400 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I don't know stuff about Open Transport Tycoon < 1421278609 12400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION only knew that for simple types, and has forgotten even that.
< 1421278616 107486 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :?messages-loud < 1421278616 195214 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :shachaf said 14h 41m 5s ago: an idempotent commutative monoid is usually called a (bounded) semilattice hth < 1421278616 238632 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :shachaf said 14h 39m 28s ago: your document says "bands with othe" instead of "bands with other" < 1421278616 238751 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Taneb asked 3h 38m 16s ago: Any idea whether Open Transport Tycoon is Turing complete? < 1421278636 987255 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :zzo38, sorry, b_jonas had you mixed up with fizzie < 1421278640 511997 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :I will fix my document when I am at home then < 1421278665 420494 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Isn't there some formally defined class that's sort of like Turing completeness but is for finite things? < 1421278707 863982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: i guess there is something general for curry-howard isomorphic things based on consistent logics... < 1421278896 295641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: NP-complete and PSPACE-complete are things that tend to be proved about finite (but unbounded) things < 1421278933 932619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :e.g. generalized sudoku is NP-complete, sokoban is PSPACE-complete < 1421278972 351525 :CrazyM4n!~CrazyM4n@ip98-177-176-240.ph.ph.cox.net JOIN :#esoteric < 1421278981 790647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they're classes that tend to show up, of course there are an infinite number of other steps in the hierarchy < 1421278988 256639 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*hierarchies < 1421279164 12346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: the problem is, if you have a class that only includes terminating computations, then it's either impossible to describe all elements effectively or you can adjust the proof of the halting problem to make a new class that is strictly larger < 1421279218 792384 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1421279272 402977 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically, by being automatically terminating, the calculus of construction cannot contain all terminating computations < 1421279334 211954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is handwaving something fierce here
< 1421279381 416939 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 256 seconds < 1421279389 801710 :roasted42!~appleseed@41.48.16.48 QUIT :Ping timeout: 245 seconds < 1421279442 193233 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :My message about "sort of like Turing completeness" was about OpenTTD, not the CoC. < 1421279448 276163 :roasted42!~appleseed@41.48.16.48 JOIN :#esoteric < 1421279826 606221 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: i think i gave answers for both :P < 1421279831 709340 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :They didn't write the mana cost for "Friendly Goblin" so I made it up but I don't know if it is good < 1421279839 614257 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Funny thing. < 1421279869 931924 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :So lemme think what the notation for all ordinals below the Feferman-Schutte ordinal would be. < 1421279898 408164 :zzo38!~zzo38@d99-199-112-63.bchsia.telus.net PRIVMSG #esoteric :However such a thing would give you some advantage for playing more than one creature type