< 1563667536 408915 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1563667611 190462 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1563668403 549503 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1563672155 899029 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1563672346 203165 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1563672388 379462 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com QUIT :Ping timeout: 244 seconds < 1563674526 262216 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1563674753 842398 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1563674947 241032 :MDude!~MDude@76.5.108.106 JOIN :#esoteric < 1563675370 506348 :Cale!~cale@2607:fea8:995f:fb71:5bb:c925:4e6:6b6e JOIN :#esoteric < 1563678966 206239 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1563679032 140690 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I wrote these (incomplete) rules to make up a new card game: https://arin.ga/5eqtil Do you have a comment of it please? < 1563679150 211728 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1563679446 469373 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1563679627 234476 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1563681035 591530 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1563681116 445043 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1563681199 208538 :Sgeo!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1563681223 374408 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1563681970 313810 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1563682434 553387 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1563682535 699378 :int-e!~noone@int-e.eu QUIT :Remote host closed the connection < 1563682587 765459 :int-e!~noone@int-e.eu JOIN :#esoteric < 1563682607 106087 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1563682843 592799 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@bot < 1563682843 710771 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) < 1563686104 379094 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION wishes people would stop using the term "device verification" in a browser context. No, it's not a new device. Just a new browser session. < 1563686111 526940 :kiwi_7!~igloo@67.254.195.232 JOIN :#esoteric < 1563686347 297122 :kiwi_7!~igloo@67.254.195.232 QUIT :Remote host closed the connection < 1563686840 925775 :kiwi_7!~igloo@67.254.195.232 JOIN :#esoteric < 1563687136 296621 :kiwi_7!~igloo@67.254.195.232 QUIT :Remote host closed the connection < 1563687276 269264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@wn device < 1563687277 759399 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :*** "device" wn "WordNet (r) 3.0 (2006)" < 1563687278 161192 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :device < 1563687280 105201 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : n 1: an instrumentality invented for a particular purpose; "the < 1563687282 158231 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : device is small enough to wear on your wrist"; "a device < 1563687284 109560 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : intended to conserve water" < 1563687286 110134 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :[9 @more lines] < 1563687290 800555 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@wn instrumentality < 1563687292 64241 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :*** "instrumentality" wn "WordNet (r) 3.0 (2006)" < 1563687292 170250 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :instrumentality < 1563687292 285326 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : n 1: a subsidiary organ of government created for a special < 1563687294 117848 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : purpose; "are the judicial instrumentalities of local < 1563687296 190307 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : governments adequate?"; "he studied the French < 1563687298 121065 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :[5 @more lines] < 1563687312 66943 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh man, "device" means nothing like what i thought it meant tdnh < 1563688845 230298 :kiwi_7!~igloo@67.254.195.232 JOIN :#esoteric < 1563689068 194451 :kiwi_7!~igloo@67.254.195.232 QUIT :Remote host closed the connection < 1563689214 210587 :kiwi_7!~igloo@67.254.195.232 JOIN :#esoteric < 1563689435 84950 :kiwi_7!~igloo@67.254.195.232 QUIT :Remote host closed the connection < 1563693745 291014 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 246 seconds < 1563693984 289622 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1563696994 903543 :AnotherTest!~turingcom@ptr-82l26zcdc6imrwoapg3.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1563699577 503098 :Cale_!~cale@2607:fea8:995f:fb71:305e:3feb:d8a3:5e18 JOIN :#esoteric < 1563699601 511233 :Cale!~cale@2607:fea8:995f:fb71:5bb:c925:4e6:6b6e QUIT :Ping timeout: 276 seconds < 1563701115 902102 :tromp!~tromp@ip-213-127-56-121.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer < 1563701155 426011 :tromp!~tromp@ip-213-127-56-121.ip.prioritytelecom.net JOIN :#esoteric < 1563702210 236961 :Frater_EST!~adrianbib@wsip-68-15-198-210.ok.ok.cox.net JOIN :#esoteric < 1563704387 405761 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` wn device -treen | paste < 1563704390 830278 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :https://hack.esolangs.org/tmp/paste/paste.3516 < 1563704392 149807 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There are a lot of devices. < 1563707135 253664 :arseniiv!~arseniiv@136.169.234.37 JOIN :#esoteric < 1563707591 161844 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :``` wisdom; \? can < 1563707592 398602 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​laver table//A laver table is a type of Welsh furniture primarily used for eating seaweed. \ Can cans can cans? < 1563707599 814642 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :`' < 1563707600 398550 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :929) sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" < 1563707613 214725 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :`w < 1563707614 6461 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​paperless//In a paperless world, rock would never lose. < 1563707619 164964 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :`q < 1563707619 762893 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :454) software patents strike again that's got to be at least three times, now are they out yet? < 1563707802 753672 :Frater_EST!~adrianbib@wsip-68-15-198-210.ok.ok.cox.net PART :#esoteric < 1563710612 364777 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :`? lcs < 1563710613 421528 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :lcs? ¯\(°​_o)/¯ < 1563710613 981423 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :`? lcd < 1563710615 106706 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :lcd? ¯\(°​_o)/¯ < 1563710615 550013 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :`? tft < 1563710616 381672 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :tft? ¯\(°​_o)/¯ < 1563710620 237174 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :`? pcm < 1563710621 237598 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :pcm? ¯\(°​_o)/¯ < 1563711534 230982 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric > 1563714041 97772 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=64591&oldid=64582 5* 03Sec-iiiso 5* (+205) 10/* Introductions */ < 1563714791 702140 :grumble!~grumble@freenode/staff/grumble QUIT :Quit: the bottle stands forlorn, a symbol of the dawn < 1563715227 262778 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1563715322 924449 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :`w < 1563715325 307905 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​russia//Russia is a country so huge it manages to be so near to both Finland and Japan. It used to be part of the Soviet Union before Ronald Reagan destroyed it. < 1563715415 588752 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :conspiratorially synchronistic < 1563715422 763483 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :`w < 1563715423 462479 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​can//Can cans can cans? < 1563715427 516317 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :`w < 1563715428 326228 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​dynamic-wind//dynamic-wind is the opposite of static-wind. < 1563715433 580227 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric ::D < 1563716180 61566 :user24!~user24@p4FCA30BF.dip0.t-ipconnect.de JOIN :#esoteric < 1563716272 220699 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1563717056 454045 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :the air moving about is an essential feature of wind, so I don't think there's such a thing as static wind < 1563717721 627993 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :a wind with air velocities in each point constant in time? < 1563717786 107988 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :though I heard “wind” in dynamic-wind is a verb < 1563717824 515821 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :(though when I saw it first, I thought it’s a noun and didn’t get why there is a wind, dynamic moreso) < 1563717872 715411 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :(and I still don’t get what it does and when it’s needed as I don’t write in Scheme) < 1563721619 616327 :Cale_!~cale@2607:fea8:995f:fb71:305e:3feb:d8a3:5e18 NICK :Cale > 1563723092 593136 PRIVMSG #esoteric :14[[07User talk:Calamari14]]4 10 02https://esolangs.org/w/index.php?diff=64592&oldid=13184 5* 03Jussef Swissen 5* (+557) 10Request to fix links > 1563723115 634670 PRIVMSG #esoteric :14[[07User talk:Calamari14]]4 10 02https://esolangs.org/w/index.php?diff=64593&oldid=64592 5* 03Jussef Swissen 5* (+1) 10/* Issues With Page */ > 1563723356 352449 PRIVMSG #esoteric :14[[07? $51=14]]4 N10 02https://esolangs.org/w/index.php?oldid=64594 5* 03Mipinggfxgbtftybfhfyhfn 5* (+22) 10Created page with "[[Category:Languages]]" > 1563723482 197026 PRIVMSG #esoteric :14[[07? $51=14]]4 10 02https://esolangs.org/w/index.php?diff=64595&oldid=64594 5* 03Mipinggfxgbtftybfhfyhfn 5* (+13) 10 > 1563723693 97689 PRIVMSG #esoteric :14[[07? $51=14]]4 10 02https://esolangs.org/w/index.php?diff=64596&oldid=64595 5* 03Mipinggfxgbtftybfhfyhfn 5* (+135) 10 > 1563723746 675686 PRIVMSG #esoteric :14[[07? $51=14]]4 10 02https://esolangs.org/w/index.php?diff=64597&oldid=64596 5* 03Mipinggfxgbtftybfhfyhfn 5* (+4) 10 > 1563723807 519347 PRIVMSG #esoteric :14[[07? $51=14]]4 10 02https://esolangs.org/w/index.php?diff=64598&oldid=64597 5* 03Mipinggfxgbtftybfhfyhfn 5* (-4) 10/* Hello World! script */ > 1563723908 612729 PRIVMSG #esoteric :14[[07? $51=14]]4 10 02https://esolangs.org/w/index.php?diff=64599&oldid=64598 5* 03Mipinggfxgbtftybfhfyhfn 5* (+21) 10 > 1563724056 880933 PRIVMSG #esoteric :14[[07? $51=14]]4 10 02https://esolangs.org/w/index.php?diff=64600&oldid=64599 5* 03Mipinggfxgbtftybfhfyhfn 5* (+295) 10 < 1563724398 862900 :user24!~user24@p4FCA30BF.dip0.t-ipconnect.de QUIT :Quit: Leaving > 1563724478 344500 PRIVMSG #esoteric :14[[07? $51=14]]4 10 02https://esolangs.org/w/index.php?diff=64601&oldid=64600 5* 03Mipinggfxgbtftybfhfyhfn 5* (+74) 10 > 1563724694 663977 PRIVMSG #esoteric :14[[07? $51=14]]4 10 02https://esolangs.org/w/index.php?diff=64602&oldid=64601 5* 03Mipinggfxgbtftybfhfyhfn 5* (+21) 10 < 1563731313 209823 :user24!~user24@p4FCA30BF.dip0.t-ipconnect.de JOIN :#esoteric < 1563732742 466406 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :https://botsin.space/@worldsofzzt/102480754802233031 < 1563733326 749591 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Do you like XYZABCDE.ZZT game? < 1563733890 643678 :unlimiter!~unlimiter@105.158.14.59 JOIN :#esoteric < 1563734529 328707 :unlimiter!~unlimiter@105.158.14.59 QUIT :Quit: Thanks guys for your seconds and minutes < 1563734582 718373 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Did you make up a ZZT game? < 1563735124 569875 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Some people don't like some stuff in a ZZT game < 1563735148 220029 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Did you read the incomplete rules I wrote of card game by now? < 1563735754 527584 :Cale!~cale@2607:fea8:995f:fb71:305e:3feb:d8a3:5e18 QUIT :Ping timeout: 276 seconds < 1563736233 504891 :Cale!~cale@2607:fea8:995f:fb71:bc65:65ae:bb90:2031 JOIN :#esoteric < 1563736868 108652 :user24!~user24@p4FCA30BF.dip0.t-ipconnect.de QUIT :Quit: Leaving < 1563736901 762593 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :XYZABCDE.ZZT is good yeah < 1563736906 448983 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :but i didnt get very fare < 1563736908 734083 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :far < 1563736924 95306 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1563737090 422685 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 248 seconds < 1563737097 955753 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1563737930 392519 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine < 1563738007 436122 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1563738603 577908 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1563738747 592851 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1563740562 336753 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :rain1: How far did you get to? < 1563740581 293575 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i dont remember < 1563740592 350420 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i think the bits ran up to me an killed me < 1563740597 332407 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :and i was dodging some bullets too < 1563740628 701463 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :oh... for a moment I thought the channel was talking about baba is you again < 1563741505 825916 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :What bits ran up to you and kill you? < 1563742937 495069 :budonyc!~budonyc@c-24-62-204-147.hsd1.ma.comcast.net JOIN :#esoteric < 1563744639 905942 :AnotherTest!~turingcom@ptr-82l26zcdc6imrwoapg3.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 264 seconds < 1563745085 31863 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :ok, so i thought I was close to beating BIY < 1563745092 220426 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :now I think I'm actually close < 1563745519 469321 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How many puzzles solved? < 1563745890 598004 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :I'm working on 2 files, current one has 106, but has 3 more puzzles solved than the other (currently inaccessibale desktop) at (iirc) 109 < 1563746444 185945 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you want spoilers about the number of puzzles? < 1563746458 245877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, I guess just asking that question is a sort of spoiler. < 1563747458 94140 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :yeah, I think that's what I just realized < 1563747507 924365 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :which layer of secret levels did you find? < 1563747536 280401 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Read error: Connection reset by peer < 1563747578 701820 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1563747608 402149 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :also, how many hours did you waste trying to find the secret level in the one zone that doesn't have one? < 1563747618 156857 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :pulling that on players is so evil, breaking the pattern that way < 1563747624 441543 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :everyone spends time trying to find it < 1563747728 58246 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :I think I'm on the second layer of levels, beat all of the first area zones (not 100%, but enough flowers) < 1563747757 63067 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :so have you unlocked new game plus yet? < 1563747819 35985 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :I didn't worry too much about the secret levels < 1563747849 515446 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :not sure what that is, so probably not < 1563748025 971448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: Which zone is that? < 1563748038 624030 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :shachaf: Mario zone in Game Boy Super Mario Land 2 < 1563748056 895393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. Well then. < 1563748068 824327 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :oh, not a biy thing, ok < 1563748081 298535 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This does seem like a classic b_jonasing. < 1563748095 419069 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :yeah, I guess it's like that < 1563748412 376193 :Cale!~cale@2607:fea8:995f:fb71:bc65:65ae:bb90:2031 QUIT :Remote host closed the connection < 1563748775 281570 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :6 golden coins! < 1563748792 553824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? fizzie < 1563748793 522791 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :fizzie is not fnord with a monad but the king of #esoteric, see https://zem.fi/static/img/square_fizzie_320px_white.jpg < 1563748803 647243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That doesn't look like gold. < 1563748808 385078 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's not one of those six, no. < 1563748834 573342 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like index notation? < 1563748951 682199 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As in Aᵢⱼ or something more? < 1563749016 179772 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, as in Aᵢʲ < 1563749041 990035 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess I do. < 1563749048 995120 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think I've ever used all four corners though. < 1563749072 235756 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm thinking of the kind with only superscripts and subscripts to the right. < 1563749299 330330 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also specifically the kind where you can write things like A_i^j B_j^k < 1563749378 751687 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :how about overscripts and underscripts? < 1563749552 369871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How about it? < 1563749562 309119 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :you can use those as an extra two positions < 1563749566 433215 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm specifically talking about tensors here. < 1563749569 239209 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :besides right superscripts and right subscripts < 1563749572 678887 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1563749574 486412 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(And also other symmetric monoidal categories or whatever.) < 1563749580 141866 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :oh, for tensors you probably use only superscripts and subscripts < 1563749609 53325 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can also use superduperscripts nd subdubscripts. < 1563749616 52148 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :WHAT? < 1563749653 227260 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A subdubscript is the text written in subdubtitles, which are subtitles for a video that's been dubbed. < 1563749683 545076 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :uh < 1563749726 681709 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Man. < 1563749734 738277 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I sure wish I understood what linear algebra trace is. < 1563749875 499546 :Cale!~cale@2607:fea8:995f:fb71:e04f:4ee9:679b:139c JOIN :#esoteric < 1563749917 344585 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :shachaf: do you mean on some higher level, or on an ordinary basic level? < 1563750012 383750 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, I understand the level that says "sum of eigenvalues" (or "sum of diagonal"). < 1563750039 662821 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which level is that? < 1563750056 740010 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` wn trace -over | sed -e '/^5/p;/verb/Q;d' < 1563750057 921405 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :5. (1) trace -- (either of two lines that connect a horse's harness to a wagon or other vehicle or to a whiffletree) < 1563750061 74750 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's probably that. < 1563750070 154429 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I mean, it mentions lines. < 1563750174 265 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :ah okay, I think it would be a basic coordinate-bound level or so. For linear operators realized as elements of V ⊗ V* the trace is just a covector-vector pairing map, and for other tensors of form W1 ⊗ V ⊗ W2 ⊗ V* ⊗ W3 it’s just that first trace appropriately lifted < 1563750205 461614 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :arseniiv: It seems to me that trace should be related to fixed points, but I'm not quite sure what the connection is. < 1563750214 315247 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :what? < 1563750215 935468 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :I’ll tell it in a less laconic way after sleeping if no one says anything < 1563750228 46774 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :hm I don’t think it should relate < 1563750252 490364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For example in most other traced monoidal categories trace is related to fixed points. < 1563750275 463620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And the string diagram notation is very suggestive. < 1563750303 659815 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or the index notation. If you think of A_i^j B_j^k as connecting A's "output" to B's "input", then you should think of A_i^i as connecting A's "output" to its own "input". < 1563750306 485944 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :maybe a trace of (1 − A) is? As (1 − A)x = 0 sometimes gives fixed points x of A if any < 1563750337 938361 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :An eigenvector is a generalized fixed point, of course. So there's some connection between eigenvalues and fixed points in any case. < 1563750370 921555 :tromp_!~tromp@2a02:a210:1585:3200:142d:9304:1a2c:a484 JOIN :#esoteric < 1563750372 942080 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :yeah, maybe there should be some not-so-obvious fixed point sense here, then < 1563750410 6639 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I also don't really know what it means if (for example) the trace of a map is 0. < 1563750411 40463 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :okay I’ll be here tomorrow bye < 1563750426 884965 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :oh wait < 1563750435 217782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good nrseniighvt < 1563750459 422200 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :did you maybe read a book Linear algebra via exterior product, by Sergei Winitzki? < 1563750471 149165 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :there are some words about trace < 1563750476 988962 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :via exterior product :D < 1563750477 370662 :tromp!~tromp@ip-213-127-56-121.ip.prioritytelecom.net QUIT :Ping timeout: 244 seconds < 1563750491 469505 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :arseniiv: Oh, I know Sergei. < 1563750497 162664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't remember whether I asked him this question. < 1563750510 754661 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :shachaf: also thank you though it’s almost morning < 1563750529 325326 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :this book is nice < 1563750533 719667 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'll look at the book. < 1563750556 325443 :arseniiv!~arseniiv@136.169.234.37 PRIVMSG #esoteric :it encourages coordinate-free things but it also has index notation < 1563750602 81712 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :arseniiv: Index notation is coordinate-free! < 1563750640 72481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :See this nice paper by Penrose: http://homepages.math.uic.edu/~kauffman/Penrose.pdf < 1563750696 983471 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe just this page: https://en.wikipedia.org/wiki/Abstract_index_notation < 1563750823 257806 :arseniiv!~arseniiv@136.169.234.37 QUIT :Ping timeout: 246 seconds < 1563751993 266330 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`don'taskdon'ttelllist < 1563751994 37726 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :don'taskdon'ttelllist: q​u​i​n​t​o​p​i​a​ m​y​n​a​m​e​ i​n​t​-​e​ < 1563751997 259243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1563753067 998648 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Did anyone else read my incomplete card game document yet? < 1563753142 529961 :b_jonas!~x@catv-176-63-25-66.catv.broadband.hu PRIVMSG #esoteric :zzo38: where is it?