< 1463356890 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1463356936 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : For the fixed-position case, "(numb << K) >> K" is possibly the simplest thing to do, but only if you happen to have access to a >> that's reliably an arithmetic right shift. <-- what about (numb << K) / (1 << K) ? < 1463356975 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :might need casts < 1463357015 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1463357134 0 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 252 seconds < 1463357182 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cat bin/weather < 1463357201 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: bin/weather: No such file or directory < 1463357202 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :....... < 1463357208 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wat < 1463357212 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh < 1463357218 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? bin/weather < 1463357220 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/weather? ¯\(°​_o)/¯ < 1463357226 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? weather < 1463357230 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK < 1463357234 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : CYUL 152200Z 31013G23KT 15SM BKN045 OVC100 07/M03 A2965 RMK SC5AC3 SLP043 \ ENVA 152250Z 33007KT 9999 BKN037 06/02 Q1016 RMK WIND 670FT 30007KT \ ESSB 152250Z AUTO 35017G29KT 9999 -DZ BKN013/// OVC015/// 07/04 Q1001 \ KOAK 152253Z 25015KT 10SM FEW020 FEW200 20/12 A2997 RMK AO2 SLP148 T02000122 < 1463357234 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats his brain -----### < 1463357286 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`mkx bin/metar//echo lambdabot: @metar $1 < 1463357292 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :>_> < 1463357292 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/metar < 1463357299 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`metar ENVA < 1463357300 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: @metar ENVA < 1463357300 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 152250Z 33007KT 9999 BKN037 06/02 Q1016 RMK WIND 670FT 30007KT < 1463357436 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell \oren\ <\oren\> ITS HAILING WTFOMGBBQ <-- i am not sure this is ideal for BBQ but whatever floats your boat. < 1463357436 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1463357478 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you're probably thinking of a barbecue, i.e. bbc < 1463357629 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION waves the swatter in shachaf's general direction and mumbles something about elderberries -----### < 1463357693 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463357854 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1463357916 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? manometer < 1463357919 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :manometer? ¯\(°​_o)/¯ < 1463357943 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1463357970 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: à la , i'm sure < 1463358057 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn A manometer is a device for testing real men by putting them under pressure. < 1463358063 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'manometer': A manometer is a device for testing real men by putting them under pressure. < 1463358087 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: APPROXIMATELY < 1463358912 0 :fizzie!?@? PRIVMSG #esoteric :oerjan: / truncates negative numbers to the wrong direction. Consider the case where (numb << K) == -1 -- then the result should be -1 as well, but it's 0 for any K > 0. < 1463358940 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fizzie: but it can't be - it's always divisible by 2^K < 1463358961 0 :fizzie!?@? PRIVMSG #esoteric :Oh, that's a-true. < 1463359157 0 :fizzie!?@? PRIVMSG #esoteric :Yeah, I guess that'll work. Although I wonder if compilers are going to be clever enough to realize that. (They quite often seem to implement division by 2^K by shifting + extra adjustments for the rounding.) < 1463359214 0 :hppavilion[2]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1463359230 0 :fizzie!?@? PRIVMSG #esoteric :Huh. At least clang did. Fancy stuff. < 1463359243 0 :fizzie!?@? PRIVMSG #esoteric :gcc didn't. :) < 1463359339 0 :fizzie!?@? PRIVMSG #esoteric :http://sprunge.us/ffTA for the dirt. < 1463359411 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1463359486 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION downvotes a reddit post solely because the link started playing audio automatically. < 1463359488 0 :fizzie!?@? PRIVMSG #esoteric :(The latter is essentially "t = x << 6; if (t < 0) t += 63; return t >> 6;") < 1463359505 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :sadly, it already had thousands of upvotes. < 1463359958 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? OS/2 < 1463359972 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :OS/2? ¯\(°​_o)/¯ < 1463360146 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`le//rn OS/2//OS/2 was an OS, too. < 1463360163 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/le//rn: line 1: wisdom/os/2: Not a directory < 1463360172 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wat < 1463360184 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? plan 9 < 1463360186 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? plan9 < 1463360188 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? plan-9 < 1463360190 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? os2 < 1463360192 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? os-2 < 1463360196 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? os 2 < 1463360207 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :please don't spamckego like that twh < 1463360213 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats b_jonas for spamming while he's trying to debug -----### < 1463360226 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? os < 1463360240 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good luck < 1463360247 0 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan < 1463360256 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sorry < 1463360264 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no KICK #esoteric :b_jonas < 1463360271 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no MODE #esoteric -o :oerjan < 1463360320 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1463360321 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1463360365 0 :evalj!~jeval@catv-89-133-135-148.catv.broadband.hu JOIN :#esoteric < 1463360381 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i say it's still overloaded. < 1463360454 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1463360454 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1463360454 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1463360455 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :os2? ¯\(°​_o)/¯ < 1463360456 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1463360458 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Os is the accusative plural of us. Also a municipality in Norway. < 1463360477 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :thought so. alas there cannot be both a file and a directory by the same name... < 1463360783 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net QUIT :Quit: Bye < 1463360803 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net JOIN :#esoteric < 1463361199 0 :idris-bot!~idris-bot@dslb-092-072-145-031.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 244 seconds < 1463361265 0 :Melvar`!~melvar@dslb-092-072-190-145.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1463361269 0 :Melvar!~melvar@dslb-092-072-145-031.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 260 seconds < 1463361513 0 :Melvar``!~melvar@dslb-092-072-169-109.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1463361650 0 :Melvar`!~melvar@dslb-092-072-190-145.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 250 seconds < 1463363248 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1463364010 0 :ybden!~ybden@unaffiliated/ybden JOIN :#esoteric < 1463364799 0 :ybden!~ybden@unaffiliated/ybden QUIT :Quit: :)rando:)Get :) to Mars( < 1463364896 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463365167 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1463365504 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 260 seconds < 1463366159 0 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1463366216 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: sorry if i insulted you. it was meant as a joke. < 1463366245 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: I know. (I started a jevalbot instance to watch the channel, in case it wasn't obvious.) < 1463366283 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh. i didn't connect that. < 1463366349 0 :drdanmaku!uid17782@gateway/web/irccloud.com/x-svbkjpzsoldekqzu JOIN :#esoteric < 1463366469 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463366571 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`randomcard d.*(r.*(o.*m|m.*o)|o.*(r.*m|m.*r)|m.*(r.*o|o.*r)).*ka < 1463366578 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card d.*(r.*(o.*m|m.*o)|o.*(r.*m|m.*r)|m.*(r.*o|o.*r)).*ka < 1463366614 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com QUIT :Ping timeout: 265 seconds < 1463366636 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: randomcard: not found < 1463366647 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Dromoka Captain \ 2W \ Creature -- Human Soldier \ 1/1 \ First strike \ Whenever Dromoka Captain attacks, bolster 1. (Choose a creature with the least toughness among creatures you control and put a +1/+1 counter on it.) \ DTK-U < 1463366654 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card d.*(r.*(o.*m|m.*o)|o.*(r.*m|m.*r)|m.*(r.*o|o.*r)).*ka < 1463366668 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card fury < 1463366677 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Dromoka Warrior \ 1W \ Creature -- Human Warrior \ 3/1 \ DTK-C < 1463366678 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Vampiric Fury \ 1R \ Instant \ Vampire creatures you control get +2/+0 and gain first strike until end of turn. \ ISD-C < 1463366701 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card multikick < 1463366705 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Lightkeeper of Emeria \ 3W \ Creature -- Angel \ 2/4 \ Multikicker {W} (You may pay an additional {W} any number of times as you cast this spell.) \ Flying \ When Lightkeeper of Emeria enters the battlefield, you gain 2 life for each time it was kicked. \ WWK-U, CMD-U < 1463366791 0 :evalj!~jeval@catv-89-133-135-148.catv.broadband.hu QUIT :Remote host closed the connection < 1463367396 0 :hppavilion[2]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 265 seconds < 1463367613 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1463368076 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca JOIN :#esoteric < 1463369168 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :What does "free ranging moons" means? < 1463369191 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Left adjoint to forgetful ranging moons, presumably? < 1463369216 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :O, that's what it means. OK < 1463369760 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :more likely it means moons yanked from their orbits and turned into comets or dwarf planets or, even more free ranging, sent hurtling out into interstellar space < 1463369806 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :O, OK, but what is containing it anyways? < 1463369967 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :I was at Victoria today and also yesterday. < 1463370439 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Were you ever in Bellingham? < 1463370488 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :No < 1463370501 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :(Possibly; I don't actually remember, but I do not think so) < 1463370561 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1463370751 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Were you ever in the United States? < 1463370833 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :Yes I was, but I do not know what name of places they are. The food is better in Canada though. < 1463370908 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you sure it's not better in California? < 1463371008 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :I think I have been in California, and I think the food is better in Canada, even if it is the same restaurant chain. < 1463371245 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463371371 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which restaurant chain? < 1463371393 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :I forgot, but it is any of them I have tried. < 1463371464 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Canada and California are very similar. < 1463371486 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :At least the first two letters (and also the last letter) is similar. < 1463371492 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They both start with "ca" and in fact that's used as the standard abbreviaton. < 1463371493 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They both have a place called Ontario. < 1463371497 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They both have poutine. < 1463371524 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1463371542 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :It is a different use for country code or state code though. < 1463372103 0 :hppavilion[2]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1463372358 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com JOIN :#esoteric < 1463373426 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :Do not grow the grass by pulling it. < 1463374371 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com QUIT :Ping timeout: 276 seconds < 1463374919 0 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1463375752 0 :drdanmaku!uid17782@gateway/web/irccloud.com/x-svbkjpzsoldekqzu QUIT : < 1463375777 0 :xkapastel!uid17782@gateway/web/irccloud.com/x-pnxwebtjyrxgrtae JOIN :#esoteric < 1463378096 0 :u0_a201!~Moon___@tx-76-1-78-220.dhcp.embarqhsd.net JOIN :#esoteric < 1463378101 0 :u0_a201!~Moon___@tx-76-1-78-220.dhcp.embarqhsd.net PRIVMSG #esoteric :hi < 1463378108 0 :u0_a201!?@? NICK :moon_ < 1463378143 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463378420 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1463379441 0 :hppavilion[2]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Renku is just the Japanese version of Rap Battles, isn't it? < 1463379513 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :`danddreclist 78 < 1463379552 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :danddreclist 78: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex < 1463379588 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lynn: should that file be adjusted hth < 1463379706 0 :hppavilion[2]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1463380170 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com QUIT :Quit: Leaving < 1463380840 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :I expect the next one would involve Drusila and Zeux Agem and so on. < 1463381126 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :Do you like this? < 1463381237 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :What is this theorem called: If a category has at least two objects, and has n final objects, then the number of monads on that category is greater or equal to n+1. < 1463381898 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric ::I was writing ideas for a specification of a new kind of computer I may make in future. One of the things is that the main processor and video processor both have exclusive access to video memory. There are also many others, including some hardware and software features I have seen nowhere before (although I have seen similar things). < 1463382010 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :I am writing it into the computer in the intention to be unpatentable. How exactly does this work anyways? < 1463382102 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463382390 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1463382772 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I don't think it has a name. < 1463382788 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Do people care about monads and terminal objects more than just up to isomorphism, anyway? < 1463382829 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :I don't know? < 1463382885 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net QUIT :Quit: Bye < 1463382923 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :shachaf: hahaha, I can think of a weird case where it matters < 1463383017 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :Cale: What case do you think of? < 1463383145 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :shachaf: Given a ring R and a small category C, you can define R[C] to be the free R-module whose basis is the set of arrows of C, and you can define a multiplication on it in a convolution-y way where you define the product of arrows which don't compose to be 0, and define it to be their composite when they do. < 1463383155 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :oh, and zzo38 < 1463383196 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :and then if you take the indiscrete category on n objects, this is the ring of n-by-n matrices with coefficients in R < 1463383230 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :So, you care about the distinction between your terminal objects in that case < 1463383273 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :If it's the discrete category on n objects, this the same as R^n < 1463383299 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :If it's the preorder category for the natural numbers, it's the polynomial ring R[x] < 1463383320 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've made a similar complaint about distinguishability for both indiscrete categories and indiscrete topologies. < 1463383363 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The full subcategory of Top of discrete spaces is equivalent to Set. That makes sense, because discrete spaces behave like sets. < 1463383392 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But the full subcategory of Top of indiscrete spaces is isomorphic to it. What's that all about? < 1463383411 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :Well, any function between indiscrete spaces is continuous < 1463383414 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. < 1463383430 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :You're not taking equivalence classes of topologically indistinguishable maps < 1463383436 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it seems to me that an indiscrete space "ought" to behave in such a way that you can't distinguish its elements. < 1463383440 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Clearly it doesn't here. < 1463383451 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :People talk about equivalence of categories rather than isomorphism of categories because of this issue. < 1463383465 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe I want the same thing for topological spaces. < 1463383484 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway you can make the same complaint about e.g. discrete/indiscrete categories, or discrete/indiscrete preorders. < 1463383496 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Those are really all the same sort of thing. < 1463383614 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :You can replace the arrows in Top with equivalence classes of arrows where if f and g are cts. maps X -> Y, then f ~ g whenever for all x in X, you have f(x) and g(x) are topologically indistinguishable in Y. < 1463383633 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :I think that'll sort things out < 1463383660 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. Does that category have a name? Why don't people use it instead of Top? < 1463383660 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :Alternately, you can restrict Top to not have shitty topological spaces in it < 1463383689 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do homotopies relate to this? Since category equivalence is defined in terms of natural transformations. < 1463383694 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :This is why people work with Hausdorff spaces instead < 1463383715 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But lots of interesting spaces aren't Hausdorff. < 1463383724 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :well, yeah < 1463383736 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Even the Sierpinski space isn't Hausdorff. < 1463383745 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That space seems pretty fundamental to me. < 1463383753 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :Where "lots", is "mostly Zariski topologies" < 1463383762 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :and yeah, the computational synthetic topology stuff < 1463383819 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Topology without the Sierpinski space seems like set theory without Bool. < 1463383822 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :The Sierpinski space is usually more relevant as a counterexample for topologists, than as something which is used as the foundation to build more stuff. < 1463383836 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I'm probably not thinking about it from the typical topology perspective. < 1463383837 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :At least, that's my impression < 1463383940 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :Homotopy can't distinguish it from a point, so once you get to any of the algebraic topology stuff, it's not so relevant either. < 1463383989 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Probably I should learn about algebraic topology. < 1463384117 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway what you said reminded me of a question I was asking the other day. < 1463384196 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In convolution there are three operations, right? (f * g)(z) = \A_{i,j | b(i,j) = z}{ c(f(i)g(j)) } < 1463384200 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You have A, b, c < 1463384209 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, c(f(i),g(j)) < 1463384238 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So say A is integral, b is addition, c is multiplication. < 1463384246 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :heh, sure < 1463384260 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :People vary all three of those, don't they? < 1463384262 0 :hppavilion[2]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1463384265 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :yep < 1463384270 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, is there a case where c is something like composition in a category? < 1463384281 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :I described that a moment ago < 1463384296 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, you were just assigning 0 where the composition doesn't exist. < 1463384297 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :That's... literally how we began this discussion < 1463384304 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I guess that has the same effect. < 1463384310 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :yeah, and the composite otherwise :) < 1463384321 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :It's basically just "avoid the things you can't compose" < 1463384345 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, then you answered my question from last week, rather than just reminded me of it. < 1463384358 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'd rather say that you don't sum over those things in the first than that the sum is 0, but whatever. < 1463384367 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :There's a different way to do it too < 1463384379 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The other question I asked was what requirements people usually put on b. < 1463384393 0 :hppavilion[2]!~Doslowdow@58-0-174-206.gci.net TOPIC #esoteric :The international hub of solid matrices | Contains only freely-mooned ranges | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | The overdone city meme has RISEN from its burial place in Truth or Consequences (not Hot Springs) in search of BRAINS < 1463384417 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Often people require it to be a group, which is way too much, of course (you don't need inverses). < 1463384434 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But can it be a non-associative operation? I saw something that at least resembled a convolution with a non-associative operation. < 1463384435 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :R[[C]] is similar, but we require C to be a small category with finite factorisation, i.e. for any f: A -> C, there exist finitely many pairs of arrows g: B -> C and h: A -> B such that f = g . h < 1463384455 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :and then instead of just taking the free R-module on the arrows, we can take all functions Arr(C) -> R < 1463384456 0 :shachaf!~shachaf@unaffiliated/shachaf TOPIC #esoteric :The international hub of solidity matrices | Contains only freely-mooned ranges | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf < 1463384471 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :and the convolution still works out because there are only finitely many ways to factor any given arrow < 1463384484 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :So we can still take the sum < 1463384501 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :This is a generalisation of Gian-Carlo Rota's incidence algebras < 1463384524 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :(where you get incidence algebras when the category is a preorder category) < 1463384567 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :and now if you take C to be the preorder category on the naturals, you get the power series ring R[[X]] < 1463384598 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You mean the totally ordered preorder category? < 1463384614 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :The preorder category for omega < 1463384629 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :(first infinite ordinal) < 1463384709 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, this incidence algebra convolution looks unusual. < 1463384745 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(f * g)(a,b) = \Sum_{a ≤ x ≤ b} { f(a,x)g(x,b) } < 1463384822 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :When you do convolutions of two discrete sequences, you get something that operates over the antidiagonals, right? < 1463385229 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :Yeah, if I understand what you mean correctly, you get something like polynomials < 1463385246 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :or power series < 1463385280 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, say you have [a,b,c] [d,e,f] < 1463385307 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can make the multiplication table < 1463385310 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ad ae af < 1463385310 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bd be bf < 1463385310 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :cf ce cf < 1463385321 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And you have the antidiagonals [ad] [ae,bd] [af,be,cf] etc. < 1463385323 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :right < 1463385344 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that something like polynomials? < 1463385345 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :If you pick [a,b,c] = [d,e,f] = [0,1,2] < 1463385351 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :and multiplication to be addition < 1463385397 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :x^n * x^m = x^(n+m) < 1463385481 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Someone was talking about the convolution where A is min and b/c are addition. < 1463385522 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :sounds tropical < 1463385570 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Tropical_geometry < 1463385609 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, if you pick b=(-), you get diagonals instead of antidiagonals. < 1463385625 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :{i,j | i-j=0} and so on. < 1463385693 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: That must be why the person who asked this question is going to Hawaii. < 1463385798 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So is convolution with (-) still convolution? What properties should the three different operators satisfy? < 1463385800 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :"The adjective tropical in this context was coined by French mathematicians in honor of the Hungarian-born Brazilian mathematician Imre Simon, who wrote on the field." < 1463385834 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Presumably you want c to be associative, otherwise you'd end up with something strange. < 1463385938 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :Well, perhaps we could compromise, and make it x^a x^b = (1/2) (x^(a-b) + x^(b-a)) < 1463385947 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I was actually thinking about A when I said that, so that doesn't make sense anyway. < 1463385996 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Day convolution also shows some extra structure that you don't see in typical convolution. < 1463385999 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :(with the exponentiation being a little inappropriate now) < 1463386051 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where you have something like \(Co)End { f(x)g(y)Hom(xy,-) } < 1463386077 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :_{x,y} < 1463386116 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :Now, for all these wildly different kinds of convolution, we need a Fourier theory < 1463386160 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's one of those things I never learned much about that I really should. < 1463386297 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :If f and g are integrable functions with Fourier transforms F and G respectively, and the convolution f * g is defined by (f * g)(x) = integral over R of f(t) g(x - t) dt < 1463386335 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :Then the Fourier transform of f * g is given by the pointwise product F G < 1463386365 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :i.e. the Fourier transform turns convolution into multiplication < 1463386380 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also the Dirac delta is apparently the identity for convolution. What does that mean in all these contexts? < 1463386437 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Or even in any context?) < 1463386442 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :Well, that's because (f * delta)(x) = integral over R of f(t) delta(x-t) dt = f(x) pretty much by definition of Dirac delta. < 1463386465 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1463386486 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess there's a better-behaved equivalent in discrete contexts. < 1463386531 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :Oh, right, I missed your actual question < 1463386539 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :which is what's the analogous thing in the other contexts < 1463386580 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :Though, Dirac delta is even only a thing in the original context if you pretty much go out of your way to force it to be < 1463387269 0 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1463389387 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463389657 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1463391069 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-uwcrzxgmfylspbey QUIT :Quit: Connection closed for inactivity < 1463392710 0 :ybden!~ybden@unaffiliated/ybden JOIN :#esoteric < 1463395421 0 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1463395535 0 :xkapastel!uid17782@gateway/web/irccloud.com/x-pnxwebtjyrxgrtae QUIT :Quit: Connection closed for inactivity < 1463396759 0 :Melvar``!~melvar@dslb-092-072-169-109.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 260 seconds < 1463397295 0 :hppavilion[2]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1463397642 0 :Melvar``!~melvar@dslb-092-072-169-109.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1463398345 0 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1463398622 0 :puckipedia!~puck@irc.puckipedia.com QUIT :Ping timeout: 250 seconds < 1463398877 0 :puckipedia!~puck@irc.puckipedia.com JOIN :#esoteric < 1463399322 0 :Melvar``!?@? NICK :Melvar < 1463399628 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1463399628 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 161000Z 27018G25KT 15SM FEW025 OVC050 03/M03 A2978 RMK SC2SC6 SLP087 < 1463399632 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar ENVA < 1463399632 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 161020Z 28005KT 9999 SCT043 09/01 Q1013 NOSIG RMK WIND 670FT 31004KT < 1463399763 0 :Sgeo_!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1463400026 0 :fizzie!?@? PRIVMSG #esoteric :@metar EGLL < 1463400028 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EGLL 161050Z AUTO 26006KT 200V290 9999 BKN033 14/06 Q1021 NOSIG < 1463400488 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card \Bshro < 1463400497 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card [a-x]kni < 1463400598 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1463400598 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1463400611 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what? < 1463400624 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card ykn < 1463400631 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Kjeldoran Skyknight \ 2W \ Creature -- Human Knight \ 1/1 \ Flying; first strike; banding (Any creatures with banding, and up to one without, can attack in a band. Bands are blocked as a group. If any creatures with banding you control are blocking or being blocked by a creature, you divide that creature's combat damage, not its controller, among a < 1463400640 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card nkshr < 1463400643 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Cephalid Inkshrouder \ 2U \ Creature -- Cephalid \ 2/1 \ Discard a card: Cephalid Inkshrouder gains shroud until end of turn and can't be blocked this turn. (A creature with shroud can't be the target of spells or abilities.) \ JUD-U < 1463400650 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :why doesn't \Bshro match that? < 1463400681 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card \Bshro < 1463400685 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Skyshroud Sentinel \ 2G \ Creature -- Elf \ 1/1 \ When Skyshroud Sentinel enters the battlefield, you may search your library for up to three cards named Skyshroud Sentinel, reveal them, and put them into your hand. If you do, shuffle your library. \ NE-C < 1463400690 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ah, better < 1463400695 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card [a-x]kni < 1463400698 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Tuknir Deathlock \ RRGG \ Legendary Creature -- Human Wizard \ 2/2 \ Flying \ {R}{G}, {T}: Target creature gets +2/+2 until end of turn. \ LE-R, ME3-U < 1463400701 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe it timed out or got killed or something < 1463400713 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` cat bin/random-card < 1463400716 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ exec perl -e'open$I,"<","share/mtg/allsets.txt"or die$!;$/=""; @c=grep{/(?mi:$ARGV[0])/}<$I>; print $c[rand(@c)];' "$1" < 1463400792 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` perl -pe 's/( \$c[rand(\@c)])/($1||"No card found.")/' bin/random-card < 1463400794 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ exec perl -e'open$I,"<","share/mtg/allsets.txt"or die$!;$/=""; @c=grep{/(?mi:$ARGV[0])/}<$I>; print $c[rand(@c)];' "$1" < 1463400818 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` perl -pe 's/( \$c\[rand(\@c)])/($1||"No card found.")/' bin/random-card < 1463400820 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ exec perl -e'open$I,"<","share/mtg/allsets.txt"or die$!;$/=""; @c=grep{/(?mi:$ARGV[0])/}<$I>; print $c[rand(@c)];' "$1" < 1463400828 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` perl -pe 's/( \$c\[rand\(\@c\)])/($1||"No card found.")/' bin/random-card < 1463400830 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ exec perl -e'open$I,"<","share/mtg/allsets.txt"or die$!;$/=""; @c=grep{/(?mi:$ARGV[0])/}<$I>; print( $c[rand(@c)]||"No card found.");' "$1" < 1463400837 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` perl -pe 's/ (\$c\[rand\(\@c\)])/($1||"No card found.")/' bin/random-card < 1463400839 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ exec perl -e'open$I,"<","share/mtg/allsets.txt"or die$!;$/=""; @c=grep{/(?mi:$ARGV[0])/}<$I>; print($c[rand(@c)]||"No card found.");' "$1" < 1463400846 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` perl -pi e 's/ (\$c\[rand\(\@c\)])/($1 || "No card found.")/' bin/random-card < 1463400848 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Can't open perl script "e": No such file or directory < 1463400853 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` perl -pi -e 's/ (\$c\[rand\(\@c\)])/($1 || "No card found.")/' bin/random-card < 1463400860 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1463400862 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card [a-x]kni < 1463400865 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card kk < 1463400866 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Tuknir Deathlock \ RRGG \ Legendary Creature -- Human Wizard \ 2/2 \ Flying \ {R}{G}, {T}: Target creature gets +2/+2 until end of turn. \ LE-R, ME3-U < 1463400873 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Sekki, Seasons' Guide \ 5GGG \ Legendary Creature -- Spirit \ 0/0 \ Sekki, Seasons' Guide enters the battlefield with eight +1/+1 counters on it. \ If damage would be dealt to Sekki, prevent that damage, remove that many +1/+1 counters from Sekki, and put that many 1/1 colorless Spirit creature tokens onto the battlefield. \ Sacrifice eight Spirits < 1463400876 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card thsh < 1463400879 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Earthshaker \ 4RR \ Creature -- Spirit \ 4/5 \ Whenever you cast a Spirit or Arcane spell, Earthshaker deals 2 damage to each creature without flying. \ CHK-U < 1463400885 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card thshr < 1463400890 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No card found. < 1463400893 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :good < 1463400906 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :now if it prints "No output." then something went wrong < 1463400928 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`card-by-name lavas < 1463400933 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Lavastep Raider \ R \ Creature -- Goblin Warrior \ 1/2 \ {2}{R}: Lavastep Raider gets +2/+0 until end of turn. \ BFZ-C < 1463400944 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card spike < 1463400946 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Lava Spike \ R \ Sorcery -- Arcane \ Lava Spike deals 3 damage to target player. \ CHK-C, MMA-C < 1463400954 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`random-card spook < 1463400956 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No card found. < 1463400975 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`random-card cuttlefish < 1463400978 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No card found. < 1463401129 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card ch.*th < 1463401132 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Stonehorn Chanter \ 5W \ Creature -- Rhino Cleric \ 4/4 \ {5}{W}: Stonehorn Chanter gains vigilance and lifelink until end of turn. (Attacking doesn't cause it to tap. Damage dealt by it also causes you to gain that much life.) \ M14-U < 1463401344 0 :boily!~alexandre@96.127.201.149 QUIT :Quit: DIFFICULT CHICKEN < 1463401693 0 :Human_61!4f88ad9f@gateway/web/freenode/ip.79.136.173.159 JOIN :#esoteric < 1463403064 0 :LewisMCYoutube!uid163902@gateway/web/irccloud.com/x-qxjmjlmwysnwotme JOIN :#esoteric < 1463403325 0 :LewisMCYoutube!uid163902@gateway/web/irccloud.com/x-qxjmjlmwysnwotme QUIT :Client Quit < 1463403868 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463404157 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1463405980 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=47040&oldid=46982 5* 03M654 5* (+16) 10 < 1463406489 0 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 265 seconds < 1463406501 0 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1463406798 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? many time pad < 1463406812 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`wisdom < 1463406825 0 :Naraka!~Opodeldoc@208.114.92.193 QUIT :Read error: Connection timed out < 1463406862 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :copumpkin//copumpkin is categorically incapable of being president. < 1463406862 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1463406896 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1463407131 0 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 276 seconds < 1463407192 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :president of anything at all? < 1463407203 0 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1463407553 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463407742 0 :Naraka!~Opodeldoc@208.114.92.193 JOIN :#esoteric < 1463407806 0 :Naraka!~Opodeldoc@208.114.92.193 QUIT :Max SendQ exceeded < 1463407823 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1463407853 0 :Naraka!~Opodeldoc@208.114.92.193 JOIN :#esoteric < 1463408056 0 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :ACTION does a jig < 1463408069 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION plays the hornpipe < 1463408085 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :any occasion? < 1463408256 0 :f10d4!~f10d4|sun@solaris.unsoft.hu PRIVMSG #esoteric :weed? < 1463408282 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I don't think weed generally causes people to dance < 1463408344 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION wouldn't know one way or the other < 1463408362 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :1quote < 1463408364 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :`quote < 1463408366 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :`quote < 1463408367 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :`quote < 1463408383 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :628) if the halting problem was solved, as a placebo.. would it benefit people? < 1463408385 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :729) nortti: fizzie has done some impressive stuff in befunge, which is essentially the two-dimensional version of finnish politics. < 1463408385 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :279) i actually do like sucking < 1463408405 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh itidus < 1463408576 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463408790 0 :variable!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1463409442 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*sigh* heavy beats penetrating the building. < 1463409472 0 :APic!apic@apic.name PRIVMSG #esoteric :Ok. < 1463409472 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i expected a party today but had hoped it'd not get this bad this early. < 1463409477 0 :APic!apic@apic.name PRIVMSG #esoteric :Ok. < 1463409530 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1463409538 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(it's 3:38 in the afternoon.) < 1463409626 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? interactive toxic waste exhibit < 1463409627 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :just the beats, mind you. i cannot hear the actual _tunes_. the building only lets through the sounds it know i hate tdnh < 1463409630 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :interactive toxic waste exhibit? ¯\(°​_o)/¯ < 1463409635 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*knows < 1463409644 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: good idea < 1463409656 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :throw in some radioactivity. < 1463409658 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: http://russell2.math.bme.hu/~ambrus/sc/comic/millie/comic?n=20070302 and following strip < 1463409668 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's not my idea < 1463409750 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :do you have a full mirror < 1463409759 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(clicking next worked) < 1463409765 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: yes < 1463409775 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: http://russell2.math.bme.hu/~ambrus/sc/comic/millie/index < 1463410078 0 :Melvar`!~melvar@dslb-084-062-098-064.084.062.pools.vodafone-ip.de JOIN :#esoteric < 1463410143 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1463410185 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? ozy and mille < 1463410187 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ozy and mille? ¯\(°​_o)/¯ < 1463410190 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? ozy and millie < 1463410192 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ozy and millie? ¯\(°​_o)/¯ < 1463410209 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-meqgxiqllahrelcs JOIN :#esoteric < 1463410259 0 :Melvar!~melvar@dslb-092-072-169-109.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 265 seconds < 1463411273 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh I actually read that to the end... < 1463411360 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: good. I like that comic strip. < 1463411371 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(I don't put up mirrors of just anything. O&M is great.) < 1463411454 0 :Human_61!4f88ad9f@gateway/web/freenode/ip.79.136.173.159 QUIT :Ping timeout: 250 seconds < 1463411506 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :The direct links to images on the original site from my mirror are broken though, because they changed the url. Let me try to fix that. < 1463411986 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I should also figure out what to do with the House Rules site, which has been down for a while. Let me check if some pages of it are on archive.org < 1463412123 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yup, https://web.archive.org/web/20120904022248/http://houserules.org.uk/index.php?page=archive&date=19980429 < 1463412140 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll have to change the House Rules links to archive.org then < 1463412177 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net JOIN :#esoteric < 1463412583 0 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric < 1463412652 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07CUTLASS14]]4 10 02https://esolangs.org/w/index.php?diff=47041&oldid=37058 5* 03160.44.230.213 5* (-11) 10Updated to reflect E.ON organisational changes. < 1463412887 0 :alandipert!~alandiper@cpe-45-37-184-11.nc.res.rr.com JOIN :#esoteric < 1463412896 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hi alandipert < 1463412952 0 :alandipert!~alandiper@cpe-45-37-184-11.nc.res.rr.com PRIVMSG #esoteric :hi < 1463412974 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i heard fizzie emailed you < 1463412999 0 :alandipert!~alandiper@cpe-45-37-184-11.nc.res.rr.com PRIVMSG #esoteric :he did < 1463413007 0 :alandipert!~alandiper@cpe-45-37-184-11.nc.res.rr.com PRIVMSG #esoteric :going to attempt transferring the domain to him < 1463413027 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's a delicate operation < 1463413043 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think he's idle at the moment. < 1463413117 0 :alandipert!~alandiper@cpe-45-37-184-11.nc.res.rr.com PRIVMSG #esoteric :cool. i'll stick around < 1463413160 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463413425 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1463413597 0 :IRIXUser!~IRIX@2001:41d0:8:791d::1 QUIT :Changing host < 1463413597 0 :IRIXUser!~IRIX@freebsd/user/kastengraeber JOIN :#esoteric < 1463413599 0 :IRIXUser!?@? NICK :JX7P < 1463416138 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :In http://www.questionablecontent.net/view.php?comic=1461 , Marten says to Faye and Hannelore “You to befriended me via bullying and stalking respectively.” I know Faye stalked Marten near the start of the comic, when Faye burned down her house them moved in with Marten then persuaded Marten to move to a larger place, < 1463416149 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but what's he trying to say about Marigold? I don't recall any of that. < 1463416962 0 :Naraka!~Opodeldoc@208.114.92.193 QUIT :Quit: Leaving < 1463417010 0 :Opodeldoc!~Opodeldoc@208.114.92.193 JOIN :#esoteric < 1463417954 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1463418646 0 :zadock!~outsider@cthulhu.tuiasi.ro JOIN :#esoteric < 1463418827 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card pl.*n < 1463418843 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card \A.*pl.*n < 1463418888 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Replenish \ 3W \ Sorcery \ Return all enchantment cards from your graveyard to the battlefield. (Auras with nothing to enchant remain in your graveyard.) \ UD-R < 1463418888 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Duplicant \ 6 \ Artifact Creature -- Shapeshifter \ 2/4 \ Imprint -- When Duplicant enters the battlefield, you may exile target nontoken creature. \ As long as a card exiled with Duplicant is a creature card, Duplicant has the power, toughness, and creature types of the last creature card exiled with Duplicant. It's still a Shapeshifter. \ MRD-R, < 1463418891 0 :zadock!~outsider@cthulhu.tuiasi.ro QUIT :Remote host closed the connection < 1463419240 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 252 seconds < 1463419445 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1463419464 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1463419620 0 :jaboja64!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1463419741 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 265 seconds < 1463419927 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sadly, web.archive.org doesn't seem to have archived most of the Ozy and Millie House Rules strips < 1463419985 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh hey look < 1463419990 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :has #1036 been olisted yet? < 1463419992 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: < 1463420006 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let me check the logs < 1463420008 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not by me < 1463420012 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :please see logs in the topic < 1463420021 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but now i'm going to be double-pinged :'( < 1463420023 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`olist 1036 < 1463420033 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist 1036: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1463420045 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: sadly the logs don't seem to be up to date < 1463420055 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The tunes logs are. < 1463420057 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let me check the other logs < 1463420127 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, where had I heared that name before? < 1463420132 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh right, the Fairy Queen < 1463420138 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card fairy queen < 1463420142 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No card found. < 1463420146 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1463420164 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`random-card queen of the fae < 1463420166 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Oona, Queen of the Fae \ 3(u/b)(u/b)(u/b) \ Legendary Creature -- Faerie Wizard \ 5/5 \ Flying \ {X}{(u/b)}: Choose a color. Target opponent exiles the top X cards of his or her library. For each card of the chosen color exiled this way, put a 1/1 blue and black Faerie Rogue creature token with flying onto the battlefield. \ SHM-R, MMA-R, V11-M < 1463420311 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-eivefmieptxfpzpm QUIT :Changing host < 1463420311 0 :Lord_of_Life!Elite12246@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1463420311 0 :Lord_of_Life!Elite12246@unaffiliated/lord-of-life/x-0885362 QUIT :Changing host < 1463420311 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-eivefmieptxfpzpm JOIN :#esoteric < 1463420368 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463420441 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? zero wing < 1463420465 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :zero wing? ¯\(°​_o)/¯ < 1463420641 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1463420708 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? bugbear < 1463420709 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? owlbear < 1463420711 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bugbear? ¯\(°​_o)/¯ < 1463420712 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :owlbear? ¯\(°​_o)/¯ < 1463420840 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net JOIN :#esoteric < 1463420889 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com JOIN :#esoteric < 1463420925 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( a bugbear is a teddy bear that you can explain your bugs to. ) < 1463420946 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: oh, nice one < 1463420954 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn A bugbear is a teddy bear that you can explain your bugs to. < 1463420962 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'bugbear': A bugbear is a teddy bear that you can explain your bugs to. < 1463420967 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :ACTION hugs his bugbear < 1463423337 0 :Opodeldoc!~Opodeldoc@208.114.92.193 QUIT :Read error: Connection timed out < 1463423576 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com JOIN :#esoteric < 1463423632 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :except that ca < 1463423681 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :canada is cold and california is a horrible burning desert hellscape < 1463423709 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :with a water table below sea level < 1463423747 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :whereas canada has huge amounts[of fresh water < 1463423895 0 :Opodeldoc!~Opodeldoc@208.114.92.193 JOIN :#esoteric < 1463423942 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? ca < 1463423959 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ca? ¯\(°​_o)/¯ < 1463423987 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :...burning desert hellscape doesn't sound like a good place to be < 1463424004 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar KOAK < 1463424005 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KOAK 161653Z 20003KT 10SM FEW012 16/11 A3000 RMK AO2 SLP160 T01610106 < 1463424007 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar CYYZ < 1463424010 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYYZ 161700Z 27010G24KT 210V300 15SM FEW045 FEW095 SCT230 14/03 A3004 RMK CU1AC2CI1 CU TR SLP179 < 1463424020 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :I hope their implementation of INhs is up to spec... though spec version 2006, not spec version 2016... < 1463424050 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463424341 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1463424994 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@metar KATL < 1463424997 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KATL 161752Z 12008KT 10SM FEW080 SCT150 BKN250 22/04 A3018 RMK AO2 SLP216 T02220044 10228 20139 58011 < 1463426137 0 :jaboja64!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 252 seconds < 1463426575 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1463427218 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: Are there names for the three different operations of convolutions? < 1463427225 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or a more general way to talk about them or something? < 1463427268 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :I don't really know if anyone's attempted to really try to abstract over what's going on there -- at least, any more than the category algebra definition. < 1463427325 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :Cale: I'm starting to understand your advice about baking in the monad stack < 1463427359 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Cryptoleq14]]4 10 02https://esolangs.org/w/index.php?diff=47042&oldid=46449 5* 03Ditihala 5* (+30) 10/* External Resources */ < 1463427379 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :shachaf: I had the thought the other night that perhaps if our category had additional structure, we could integrate over the choices of factorisations. < 1463427430 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :since, for instance, I want to be able to tack on additional structure sometimes (a la Reader) but don't want to risk confusing things more < 1463427445 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :coppro: The fact that I never use the word "stack" in reference to monads should tell you something about the way I think about it :) < 1463427500 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale is giving advice about baking in the monad stack? < 1463427513 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That sounds like something Eugenia Cheng would do. < 1463427518 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :hah < 1463427535 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :I think he's referring to my advice to always newtype < 1463427551 0 :Cale!~Cale@2607:fea8:9840:1d5:79ee:f494:ca2f:376d PRIVMSG #esoteric :and hide the fact that you're using monad transformers to implement whatever it is you're implementing < 1463427557 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :yep < 1463427574 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`rot13 Cale < 1463427578 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :I think I may still use the monad classes, to get standard combinators < 1463427583 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Pnyr < 1463427604 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :but I'm definitely seeing the value in baking things together < 1463428821 0 :ybden!?@? NICK :hive < 1463428863 0 :hive!?@? NICK :ybden < 1463429025 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :What is "baking in the monad stack"? < 1463429059 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i ybden is now known as molum < 1463429074 0 :ybden!~ybden@unaffiliated/ybden PRIVMSG #esoteric :shachaf: Haha < 1463429088 0 :ybden!~ybden@unaffiliated/ybden PRIVMSG #esoteric :shachaf: That's actually what my nick was derived from < 1463429102 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I figured. < 1463429103 0 :ybden!?@? NICK :molum < 1463429124 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :zzo38: using a newtype or the like to hide your monad transformer stack < 1463429133 0 :molum!~ybden@unaffiliated/ybden PRIVMSG #esoteric :shachaf: thanks for the other nick :) < 1463429861 0 :Melvar`!?@? NICK :Melvar < 1463430518 0 :molum!?@? NICK :ybden < 1463430629 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :molybdenum? i 'ardly know 'em! < 1463430796 0 :hppavilion[1]!~Doslowdow@74-114-87-67.dynamic.asdk12.org JOIN :#esoteric < 1463431978 0 :LewisMCYoutube!uid163902@gateway/web/irccloud.com/x-uewuytptoybihdov JOIN :#esoteric < 1463432168 0 :LewisMCYoutube!uid163902@gateway/web/irccloud.com/x-uewuytptoybihdov PRIVMSG #esoteric :i like pie. < 1463432247 0 :f10d4!~f10d4|sun@solaris.unsoft.hu PRIVMSG #esoteric :mmmm pie < 1463432281 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@unpl (\a b -> b a) (\b -> b) u < 1463432281 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(u (\ b -> u)) < 1463432340 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yay, variable capture. < 1463432341 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: oops < 1463432357 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(it's been reported: https://github.com/lambdabot/lambdabot/issues/142 ) < 1463432370 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :spot of the alpha conversion, governor? < 1463432381 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually you don't need alpha conversion for this case. < 1463432389 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@unpl (\a a -> a) b < 1463432389 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(\ a -> b) < 1463432390 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you need it for more complicated cases. < 1463432395 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess that's the simplest. < 1463432412 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, that's just an error. < 1463432423 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@unpl (\a -> \a -> a) b < 1463432424 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(\ a -> b) < 1463432432 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> (\a a -> a) 0 0 < 1463432434 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Conflicting definitions for ‘a’ < 1463432434 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Bound at: :1:3 < 1463432434 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:5 < 1463432440 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :didn't know that. < 1463432446 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> (\a -> \a -> a) 0 0 < 1463432449 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 0 < 1463432463 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you testing it with 0 and 0 to be confusing on purpose hth < 1463432465 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but as far as @unpl is concerned that makes no difference. < 1463432466 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/confusing/ambiguous/ < 1463432472 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :YES! < 1463432479 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (\a -> \a -> a) a a < 1463432481 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : a < 1463432727 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What was the case where alpha conversion is really necessary? < 1463432730 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I always forget it. < 1463432762 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: no, that's (\a -> \a -> a) a b < 1463432774 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> (\a -> \a -> a) 0 1 < 1463432775 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1 < 1463432783 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1463432803 0 :hppavilion[1]!~Doslowdow@74-114-87-67.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1463432804 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I once wrote a lambda expression interpreter that got that exact thing wrong, so the inner binding couldn't successfully shadow the outer binding, and it used the outer binding < 1463432836 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The a a thing was a joke, modeled after int-e's joke. < 1463432854 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :hey, what's a good BrainFuck program that isn't Lost Kingdom as a good test for a BrainFuck interpreter? < 1463432879 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: But you don't actually need alpha conversion for that, do you? < 1463432895 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :(To be more precise, one that isn't on the order of several MiB and uses tons of cycles... it's not a fast interpreter) < 1463432939 0 :LewisMCYoutube!uid163902@gateway/web/irccloud.com/x-uewuytptoybihdov PRIVMSG #esoteric :bye < 1463432941 0 :LewisMCYoutube!uid163902@gateway/web/irccloud.com/x-uewuytptoybihdov PART #esoteric : < 1463432973 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : shachaf: \x -> (\f x -> f) (\y -> x) ~> \x -> (\x -> \y -> x) < 1463432975 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there's something simpler, but for example, (\f x. f (f (f (f x)))) (\a y z. a (y z)) has (\x y z z1 z2 z3. x (y z z1 z2 z3)) as its normal form. < 1463432980 0 :hppavilion[1]!~Doslowdow@74-114-87-67.dynamic.asdk12.org JOIN :#esoteric < 1463433000 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which has more bound variables then you started out with. < 1463433025 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dolio's example is pretty simple. < 1463433081 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :dolio's is not fully named apart. < 1463433093 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1463433107 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there are two bound variables called 'x' in there. < 1463433150 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I'm looking for something stronger where doing alpha only up front doesn't work) < 1463433151 0 :jaboja64!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1463433162 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, fair enough. < 1463433671 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: no, you just need to keep the bindings in order, appending new bindings to the start of the binding list, and look up the first binding to a given name every time. < 1463433701 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Aren't the two lines posted above counterexamples to that? < 1463433744 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :dunno < 1463433789 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`unidecode ’ < 1463433838 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2019 RIGHT SINGLE QUOTATION MARK] < 1463434174 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@unpl (\c -> c c) (\a b -> b (a b)) < 1463434174 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(\ c -> c c) (\ a b -> b (a b)) < 1463434255 0 :hppavilion[1]!~Doslowdow@74-114-87-67.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1463434285 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@pl (\c -> c c) (\a b -> b (a b)) < 1463434285 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ap id (ap id) < 1463434293 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :given no suggestions... this is really slow and mostly untested, but it should interpret the code correctly: < 1463434294 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@unpl ap id (ap id) < 1463434294 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(\ f -> return ((\ a -> a) f ((\ m h -> (m >>= \ i -> return ((\ b -> b) h i)) h) f)) f) < 1463434295 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :https://dl.dropboxusercontent.com/u/21184720/bp-brainfuck-jonripleylostkng.BytePusher < 1463434321 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1463434392 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :expect weirdness and perhaps a "Yield Failure" - that means I made the interpreter too fast. < 1463434470 0 :hppavilion[1]!~Doslowdow@74-114-87-67.dynamic.asdk12.org JOIN :#esoteric < 1463434470 0 :Opodeldoc!~Opodeldoc@208.114.92.193 QUIT :Ping timeout: 276 seconds < 1463434968 0 :tromp_!~tromp@24.190.11.216 JOIN :#esoteric < 1463435184 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca QUIT :Remote host closed the connection < 1463435230 0 :tromp_!~tromp@24.190.11.216 QUIT :Ping timeout: 250 seconds < 1463435351 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1463435587 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm no fizzie today? < 1463435596 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No fizzie? < 1463435621 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(this was a ping in disguise) < 1463435644 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(what if mine was too) < 1463435660 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that woyld be too subtle for me < 1463435664 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, how many? < 1463435664 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: r5rs is the de facto standard < 1463435670 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or would. < 1463435670 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :heh < 1463435688 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style < 1463435688 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube < 1463435696 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style wp < 1463435696 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: wp (1/256th of all Wikipedia "Talk:" namespace pages) < 1463435732 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: strong disagree < 1463435732 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :shachaf: 02:15, june 12, 2007.. 76.184.221.233 ( talk block) ( removed dollar sign wikilinks) < 1463435759 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: don't you quote commit logs at me < 1463435759 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :shachaf: then its done, once these steps are completed the article is fnord erroneous and needs to be added to the article quality at all. < 1463435765 0 :olsner!~salparot@c80-217-120-181.bredband.comhem.se PRIVMSG #esoteric :fungot: again with less dates and numbers? < 1463435765 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :olsner: ' ' ' does this imply someone removed an innocuous link to a site called ' fnord'" < 1463435775 0 :olsner!~salparot@c80-217-120-181.bredband.comhem.se PRIVMSG #esoteric :fungot: I think it does! < 1463435775 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :olsner: otherwise send this article to its fate. the moment he agreed to delete her from his mind. i think there is a major cabinet portfolio but then we're told that peters is outside cabinet. how are those reconciled? i see there is grounds for coverage for this controversy fnord said fnord < 1463435786 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hilsner < 1463435799 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote alphanum < 1463435799 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :ACTION baps fungot < 1463435799 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :gamemanj: ' ' ' fnord fnord'" is being used under wikipedia:fair usefair use but there is < 1463435807 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :... < 1463435808 0 :olsner!~salparot@c80-217-120-181.bredband.comhem.se PRIVMSG #esoteric :tja shachaf < 1463435812 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :just... what? < 1463435825 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :where does fnord come into wikipedia talk pages < 1463435832 0 :olsner!~salparot@c80-217-120-181.bredband.comhem.se PRIVMSG #esoteric :it just fnords right in there < 1463435843 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1136) A Swede who was in #esoteric / Thought his rhymes were a little generic. / "I might use, in my prose, / ꙮs, / But my poetry's alphanumeric." < 1463435844 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :gamemanj: It's all over the place. < 1463435855 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You don't see the fnords? < 1463435874 0 :olsner!~salparot@c80-217-120-181.bredband.comhem.se PRIVMSG #esoteric :the fnords could also be [REDACTED] < 1463435927 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :heh < 1463436084 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net QUIT :Ping timeout: 246 seconds < 1463436328 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@unpl f a = \a -> a < 1463436328 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f a a = a; < 1463436367 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@unpl \a -> \a -> a < 1463436367 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :\ a a -> a < 1463436370 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :thought so. < 1463436390 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh this is just golden. < 1463436394 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"-- TODO: avoid captures while substituting" < 1463436396 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Isn't that just const? < 1463436400 0 :hppavilion[1]!~Doslowdow@74-114-87-67.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1463436408 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :prooftechnique: yes but that's besides the point. < 1463436425 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :prooftechnique: the point is that both inputs are legal, and both outputs are illegal in Haskell < 1463436476 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Actually, I guess it's flip const. Whoops < 1463436534 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :at what point in computational power hierarchy does it become possible to construct an "universal X-machine" < 1463436565 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :I mean, a machine of computational power X able to be emulate any other machine of the class given right input < 1463436618 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :1-stack PDA not possible, and turing machine possible, but say is it possible to construct "universal primitive recursive function" < 1463436783 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nortti: I don't think you can do that. a primitive recursive function is always time bound by some knuth arrow function of its input size, with a fixed number of arrows, so if you take any one, then it can't emulate primitive recursive functions with a higher number of knuth arrows. < 1463436836 0 :hppavilion[1]!~Doslowdow@74-114-87-67.dynamic.asdk12.org JOIN :#esoteric < 1463436928 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nortti: does that make sense? < 1463437018 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :This code is evil... it takes a shortcut: Rather than traversing the AST and keeping track of free names, it relies on a Generic instance and uses "everywhere" to substitute variables by a new expression. < 1463437070 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :b_jonas: yeah. was just thinking that as primitive recursive's time is limited by input, if you could encode in the input how much time it'd need, but I guess it cannot work < 1463437146 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1463437202 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1463437204 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@unpl \a -> b (\c -> b) a < 1463437204 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :b (\ c -> b) < 1463437208 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@unpl \a -> b (\a -> b) a < 1463437208 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :\ a -> b (\ a -> b) a < 1463437225 0 :jaboja64!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 252 seconds < 1463437339 0 :jaboja64!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1463437505 0 :hppavilion[1]!~Doslowdow@74-114-87-67.dynamic.asdk12.org QUIT :Ping timeout: 260 seconds < 1463438602 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1463438852 0 :fizzie!?@? PRIVMSG #esoteric :@tell gamemanj rare words have been pruned from some models, and in those cases fungot renders OOV words as 'fnord' < 1463438852 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1463438852 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: please go to fnord image description page a specific explanation or rationale for why using this image in each article is consistent with wp:fufair use. < 1463438854 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1463438873 0 :fizzie!?@? PRIVMSG #esoteric :Also that thing's gone through the laziest wiki markup removal in the word. < 1463438885 0 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1463438893 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :/whois spoilers < 1463438950 0 :fizzie!?@? PRIVMSG #esoteric :"wp:fufair use" comes from [[WP:FU|fair use]] or some-such. < 1463438983 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fiziello. what's a wp:fu? < 1463438990 0 :fizzie!?@? PRIVMSG #esoteric :(And similarly for the earlier "wikipedia:fair usefair use". < 1463438998 0 :fizzie!?@? PRIVMSG #esoteric :boily: See recent fungot babbling. < 1463438998 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: a few years before there really is any version of the bible", thomas nelson publishers ( nashville, fnord, < 1463439014 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION consults the fungot < 1463439014 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: ' ' ' fnord'" is being used on this article. < 1463439041 0 :olsner!~salparot@c80-217-120-181.bredband.comhem.se PRIVMSG #esoteric :fungot: greet boily < 1463439041 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :olsner: i could not give a fnord if na was gay. in other words, it doesn't add much relevance to the rest of the article mentions a " cliff". span style="border: 1px solid fnord style="background: fnord 20:37, 29 november 2007 ( utc) < 1463439063 0 :fizzie!?@? PRIVMSG #esoteric :Yeah. < 1463439065 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :solid fnord. < 1463439091 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellolsnorder. < 1463439104 0 :olsner!~salparot@c80-217-120-181.bredband.comhem.se PRIVMSG #esoteric :fnorboily < 1463439105 0 :fizzie!?@? PRIVMSG #esoteric :^style homestuck < 1463439105 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: homestuck (Homestuck pages 1901-4673) < 1463439124 0 :fizzie!?@? PRIVMSG #esoteric :Let's do something different, the wp style makes me just sad about how lazy I've been. < 1463439135 0 :fizzie!?@? PRIVMSG #esoteric :Although I don't think this one was a particularly good one either. < 1463439193 0 :olsner!~salparot@c80-217-120-181.bredband.comhem.se PRIVMSG #esoteric :fungot < 1463439194 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :olsner: at the time of impact, a large, white structure that looked like a blue one too which was way more awesome shades in the style his bro dropped. she knows it. she's a huge culprit was. you can still be a way that it shakes is the same. trolls think fashion is stupid. stop doing nothing but wondering what could it be the same as the word " crazy" < 1463439232 0 :olsner!~salparot@c80-217-120-181.bredband.comhem.se PRIVMSG #esoteric :vaguely coherenty < 1463439651 0 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1463440198 0 :Sgeo_!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1463440387 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1463440475 0 :xkapastel!uid17782@gateway/web/irccloud.com/x-ergxnuhsrzzlyhax JOIN :#esoteric < 1463440555 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1463440637 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Client Quit < 1463440737 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@unpl \join -> join < 1463440737 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :\ join b -> b >>= \ a -> a < 1463440752 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :NOTHING WORKS. < 1463441009 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :INT_ELLO. < 1463441319 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sorry for yelling, but this is painful. < 1463441483 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and... there's a TODO for that as well: "-- TODO: more generally correct would be to not substitute any variable which is bound by a pattern" < 1463441961 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :there's nothing permanenter than a temporary thing hth < 1463441999 0 :boily!~alexandre@96.127.201.149 QUIT :Quit: EPISCOPAL CHICKEN < 1463442020 0 :jaboja64!?@? NICK :jaboja