< 1521504721 45388 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1521506454 607619 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1521507287 341991 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1521507381 61992 :tillofa!~bjfyj@121.231.94.156 JOIN :#esoteric < 1521507384 576409 :tillofa!~bjfyj@121.231.94.156 QUIT :Client Quit < 1521507394 718035 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521507657 665743 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1521508312 325324 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521508577 353234 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 256 seconds < 1521508624 336937 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521508639 99609 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Client Quit < 1521508981 89626 :xkapastel!uid17782@gateway/web/irccloud.com/x-imwoamhakdohykde QUIT :Quit: Connection closed for inactivity < 1521509153 707925 :hppavilion[1]!~dosgmowdo@10-36-178-69.gci.net JOIN :#esoteric < 1521509712 42954 :xkapastel!uid17782@gateway/web/irccloud.com/x-zfbqtjhpduiyhxun JOIN :#esoteric < 1521510773 47172 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521511168 861740 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1521511259 23040 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 260 seconds < 1521512415 367858 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521512916 998522 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: Can the trace/contraction of a linear map/tensor be thought of as connecting its output to its own input somehow? < 1521512944 649478 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a sum of eigenvaluese, which are related to fixed points, at least. > 1521513040 902336 PRIVMSG #esoteric :14[[07Uyjhmn n14]]4 10 02https://esolangs.org/w/index.php?diff=54419&oldid=54168 5* 03Truttle1 5* (-98) 10 > 1521513080 601182 PRIVMSG #esoteric :14[[07Uyjhmn n14]]4 10 02https://esolangs.org/w/index.php?diff=54420&oldid=54419 5* 03Truttle1 5* (-98) 10 > 1521513143 526877 PRIVMSG #esoteric :14[[07Uyjhmn n14]]4 10 02https://esolangs.org/w/index.php?diff=54421&oldid=54420 5* 03Truttle1 5* (-15) 10 > 1521513189 200601 PRIVMSG #esoteric :14[[07Uyjhmn n14]]4 10 02https://esolangs.org/w/index.php?diff=54422&oldid=54421 5* 03Truttle1 5* (+0) 10/* Video */ < 1521514977 360911 :tromp!~tromp@217.103.3.94 JOIN :#esoteric < 1521515241 324317 :tromp!~tromp@217.103.3.94 QUIT :Ping timeout: 256 seconds < 1521516006 28301 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1521519041 25756 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :shachaf: https://www.twitch.tv/videos/240647581?t=03h04m39s -- mrguy888 playing Prismata with his monitor turned off... and winning < 1521519056 786827 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :His opponent got so mad that he walked away from his computer, lol < 1521519073 325241 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How does that work? < 1521519086 170034 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :He's just using sounds to figure out what's going on < 1521519105 518094 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, I've always played with it muted. < 1521519112 681412 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :and he does look at the set of units at the beginning < 1521519122 407468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, he does -- yes < 1521519163 406394 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :"Apooche:i think the other type of blindfolded is legit. but this is like if chess players just put blindfolds on and then moved pieces around themselves, trying to figure out what opponent did by listening carefully to the pieces being picked up and put down" < 1521519189 661594 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do different cards make different sounds? < 1521519194 987148 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :Yeah, they do now < 1521519215 259087 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :There have been some nice updates lately, it just released to Steam Early Access the other day < 1521519234 911641 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :and leading up to that there were some polishing features added < 1521519243 242476 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But no Linux support? < 1521519260 404859 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I did play through the campaign. < 1521519265 332710 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :They had technical problems with getting native linux to work < 1521519282 336835 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though I think I only did one expert challenge. They're tricky. < 1521519283 839457 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :But Chrome/Pepperflash works fairly well for me now. < 1521519314 229806 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's so ridiculous that they made this game in Flash. < 1521519332 64779 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521519335 651789 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :Well, to be fair, they started in something like 2009 < 1521519349 778899 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Still ridiculous. < 1521519357 186448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are they going to rewrite it? < 1521519401 561216 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :Doubt there are any specific plans at the moment < 1521519427 588105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, the game has keyboard controls now? < 1521519435 771544 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :It always had keyboard controls < 1521519460 801464 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :In fact, the names of the units were picked so that their first initials were all on the left hand of the qwerty keyboard layout < 1521519467 327519 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :(the base set) < 1521519468 358658 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know that < 1521519473 730488 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I mean clicking units and that sort of thing < 1521519505 119656 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :There's just Q to click drones / defend semi-reasonably / breach semi-randomly < 1521519524 64967 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :and then you can hold shift while clicking to click a whole pile < 1521519530 536624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, OK < 1521519532 525702 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know all those < 1521519561 896848 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I saw an undo and thought it was a way to unclick a pile < 1521519624 15799 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 260 seconds < 1521519753 131670 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :ah < 1521519813 962307 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1521520197 720954 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1521520437 675935 :augur!~augur@192.195.83.130 QUIT :Ping timeout: 240 seconds < 1521520609 325977 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 248 seconds < 1521520711 224954 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :shachaf: also, yes, the trace can be thought of like that < 1521520714 312769 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521520821 755868 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How? < 1521520866 975348 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :Just looking for a lecture about it... < 1521520871 894818 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The other question I had was, can I think of a (2,0) tensor as having "two outputs" in a reasonable way? < 1521520894 213464 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :16:05 How should I think of a (2,0) contravariant tensor like A^i^j? A (0,2) covariant tensor as a bilinear form makes sense, it takes two vectors and produces a scalar linearly in each. Can I think of a (2,0) tensor as "producing two vectors" somehow? Certainly it's not just a pair of vectors. < 1521520903 777957 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :16:24 I guess what I mean is that a (2,0) tensor is like a vector whose components are vectors. < 1521520909 434799 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :Well, effectively, yes. Are you familiar with string diagrams? < 1521520916 44995 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I came to some other conclusions but they're all kind of vague. < 1521520932 813240 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, string diagrams are how I started thinking about all this. < 1521520942 858758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://twitter.com/shachaf/status/974811286474129408 < 1521521173 234355 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Normally, a (0,2) tensor is a bilinear form, i.e. something that bilinearly takes two vectors and gives you a scalar. < 1521521209 998589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can also contract it with a (2,0) tensor, even though in general that's not expressible as the product of two vectors. So that's the sense in which it behaves like it's "producing two vectors" < 1521521221 943563 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(That and the variance, of course.) < 1521521477 461872 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521521518 791608 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. Even when V is one-dimensional, V⊗V is different from V? It can be contracted with a bilinear form. < 1521521725 78425 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1521521729 396735 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 248 seconds < 1521522249 220903 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :shachaf: Finally found something reasonable. I can't find any of the references that I learned this from http://www.math.zju.edu.cn/wjd/TN/nutshell.pdf < 1521522266 382245 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :It uses physicsy notation, hopefully it's all right :) < 1521522345 571973 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Physicists have some pretty clever notation. Among all the other notation. < 1521522389 263814 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can the Levi-Civita symbol be basis-free? < 1521522751 128679 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :shachaf: That is an interesting question, but I'd have to even figure out what it means first :D < 1521522769 109936 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I see that theye're saying to use the Kronecker delta to join up an input to an output < 1521522783 650610 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But can't trace be defined even when you don't have that? < 1521522831 39043 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway I'm looking for an idea of what the trace "means" < 1521522861 369431 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know how to compute it but what does it mean to connect a function's output to its input? Something related to fixed points? < 1521522959 815644 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :Well, it might also be worth looking at what happens when you wire a linear operator up the wrong way around < 1521523027 376950 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1521523139 173138 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521523150 247693 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :I've never really seen this particular bunch of stuff entirely extricated from basis-dependent descriptions. Usually you do the basis-dependent thing, and only later prove that various widgets like the trace are basis independent. < 1521523173 670476 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :I think this cup and cap might be basis dependent... obviously the identity map isn't < 1521523226 4087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But trace isn't. < 1521523244 53492 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, I found https://www.sciencedirect.com/science/article/pii/S0723086913000790 which talks about trace in various contexts < 1521523281 963700 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though I'm not sure it answers my question exactly < 1521523412 466345 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Quit: leaving < 1521523628 172690 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521523929 210737 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 264 seconds < 1521525126 377941 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Read error: Connection reset by peer < 1521525807 966583 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1521525972 366039 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521526053 7109 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 240 seconds < 1521526137 949521 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1521526215 872015 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1521526257 351011 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 256 seconds < 1521527313 125696 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1521528502 641361 :hppavilion[1]!~dosgmowdo@10-36-178-69.gci.net QUIT :Ping timeout: 268 seconds < 1521528998 182762 :hppavilion[1]!~dosgmowdo@10-36-178-69.gci.net JOIN :#esoteric < 1521529318 812902 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1521529861 344548 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 256 seconds < 1521529922 317824 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521530201 310894 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 256 seconds < 1521530597 994966 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1521530661 29502 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1521530949 884426 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 264 seconds < 1521531763 751119 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521532381 138842 :xkapastel!uid17782@gateway/web/irccloud.com/x-zfbqtjhpduiyhxun QUIT :Quit: Connection closed for inactivity < 1521532396 37772 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1521534614 990998 :dingbat!uid70835@gateway/web/irccloud.com/x-fynqueheliwfwdho QUIT :Ping timeout: 256 seconds < 1521534648 961748 :ocharles!sid30093@musicbrainz/user/ocharles QUIT :Ping timeout: 256 seconds < 1521534729 368610 :dingbat!uid70835@gateway/web/irccloud.com/x-tapbsbqtgoziomfl JOIN :#esoteric < 1521534734 480373 :ocharles!sid30093@musicbrainz/user/ocharles JOIN :#esoteric < 1521535017 69464 :hppavilion[1]!~dosgmowdo@10-36-178-69.gci.net QUIT :Ping timeout: 264 seconds < 1521547113 13340 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1521550826 49032 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1521553085 137024 :zseri!~zseri@i5E86C3D5.versanet.de JOIN :#esoteric < 1521554304 626456 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1521554511 871936 :xkapastel!uid17782@gateway/web/irccloud.com/x-upynarlrqosvprug JOIN :#esoteric < 1521555931 785675 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1521556433 432313 :gautamS!uid286066@gateway/web/irccloud.com/x-cyidpewzeimvjboi JOIN :#esoteric < 1521557097 889109 :Taneb!~Taneb@2001:41c8:51:10d:: QUIT :Ping timeout: 246 seconds < 1521557100 332665 :sdhand!~sam@unaffiliated/kyubiko QUIT :Ping timeout: 265 seconds < 1521557269 13432 :sdhand!~sam@runciman.hacksoc.org JOIN :#esoteric < 1521557292 838868 :sdhand!~sam@runciman.hacksoc.org NICK :Guest23116 < 1521557434 873345 :Taneb!~Taneb@2001:41c8:51:10d:: JOIN :#esoteric < 1521557625 902900 :Guest23116!~sam@runciman.hacksoc.org QUIT :Ping timeout: 264 seconds < 1521557681 302102 :sdhandsucks!~sam@2001:41c8:51:10d:: JOIN :#esoteric < 1521557716 792635 :sdhandsucks!~sam@2001:41c8:51:10d:: NICK :sdhand < 1521557716 809443 :sdhand!~sam@2001:41c8:51:10d:: QUIT :Changing host < 1521557716 809488 :sdhand!~sam@unaffiliated/kyubiko JOIN :#esoteric < 1521557879 22317 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 260 seconds < 1521561810 2362 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521561834 741253 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :hi < 1521561932 12090 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1521563064 338342 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Quit: danil < 1521563254 701214 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521563305 89237 :wob_jonas!b03f190f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.15 JOIN :#esoteric < 1521563454 778085 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1521563607 179985 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521563634 450619 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (Anyone here)S < 1521563634 510309 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Anyone here < 1521563664 119448 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1521563687 208522 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521563755 374590 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (1)S((0)(1))(~:^:S*a~^~*a*~:^):^ < 1521563755 409363 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :111010011001011010010110011010011001011001101001011010011001011010010110011010010110100110010110011010011001011010010110011010011001011001101001011010011001011001101001100101101001011001101001011010011001011010010110011010011001011001101001011010011001011010010110011010010110100110010110011010011001011010010110011010010110 ...too much output! < 1521563769 666257 :int-e!~noone@int-e.eu PRIVMSG #esoteric :noone < 1521563823 376001 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1521563857 307682 :sdhand!~sam@unaffiliated/kyubiko QUIT :Ping timeout: 265 seconds < 1521563857 669110 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521563880 872032 :Taneb!~Taneb@2001:41c8:51:10d:: QUIT :Ping timeout: 246 seconds < 1521563906 925426 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (OK.)S(YES.)S(NO)S < 1521563906 947590 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :OK.YES.NO < 1521563946 617109 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :I ain't got a Underload interpreter, so why not use FUNGOT? < 1521563999 237320 :sdhand!~sam@2001:41c8:51:10d:: JOIN :#esoteric < 1521564023 574376 :sdhand!~sam@2001:41c8:51:10d:: NICK :Guest91821 < 1521564063 296752 :Taneb!~Taneb@2001:41c8:51:10d:: JOIN :#esoteric < 1521564221 425501 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Quit: danil < 1521564700 404542 :Guest91821!~sam@2001:41c8:51:10d:: QUIT :Changing host < 1521564700 404616 :Guest91821!~sam@unaffiliated/kyubiko JOIN :#esoteric < 1521564700 499624 :Guest91821!~sam@unaffiliated/kyubiko NICK :sdhand < 1521565283 174849 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1521565313 789964 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1521565428 799301 :AnotherTest!~turingcom@d51a46c74.access.telenet.be JOIN :#esoteric < 1521565747 414980 :wob_jonas!b03f190f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.15 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1521565893 995694 :doesthiswork!~Adium@207.55.82.87 QUIT :Ping timeout: 260 seconds < 1521566625 218956 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 263 seconds < 1521567540 297410 :Taneb!~Taneb@2001:41c8:51:10d:: QUIT :Ping timeout: 265 seconds < 1521567654 240244 :sdhand!~sam@unaffiliated/kyubiko QUIT :Ping timeout: 256 seconds < 1521567744 883365 :sdhand!~sam@2001:41c8:51:10d:: JOIN :#esoteric < 1521567768 536226 :sdhand!~sam@2001:41c8:51:10d:: NICK :Guest74715 < 1521567852 43434 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1521567920 751540 :zseri!~zseri@i5E86C3D5.versanet.de QUIT :Quit: Leaving < 1521568079 228124 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521568172 381333 :hppavilion[1]!~dosgmowdo@74-114-87-81.dynamic.asdk12.org JOIN :#esoteric < 1521570661 373501 :hppavilion[1]!~dosgmowdo@74-114-87-81.dynamic.asdk12.org QUIT :Ping timeout: 256 seconds < 1521570963 437874 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( The phrase "undermining bitcoin" wanders around in your mind in search of something to connect with. ) < 1521572089 39160 :Taneb!~Taneb@runciman.hacksoc.org QUIT :Ping timeout: 260 seconds < 1521572133 873207 :Guest74715!~sam@2001:41c8:51:10d:: QUIT :Ping timeout: 246 seconds < 1521572135 452528 :Naergon!~Naergon@unaffiliated/naergon QUIT :Ping timeout: 240 seconds < 1521572228 128536 :sdhand!~sam@runciman.hacksoc.org JOIN :#esoteric < 1521572252 599386 :sdhand!~sam@runciman.hacksoc.org NICK :Guest2264 < 1521572265 384839 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1521572287 263462 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :v3. lolo, lolere, lololli, loltum < 1521572295 865349 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :so they loled would be "lolollerunt" < 1521572303 296967 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :and a lolcow would be a "vacca lolta" < 1521572826 852267 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :vaccas loltas lololli < 1521573015 493080 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :do you like this? < 1521574822 720553 :hppavilion[1]!~dosgmowdo@74-114-87-81.dynamic.asdk12.org JOIN :#esoteric < 1521575319 404691 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1521575344 76513 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? < 1521575394 734046 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​? ¯\(°​_o)/¯ < 1521575406 450549 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`' < 1521575407 694473 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :174) I love the way zzo38's comment was cut off after the f of brainfuck that's just the most hilarious place to cut it off in a discussion about censorshi < 1521575538 859523 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`^ < 1521575539 594579 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^: not found < 1521575555 773261 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that a hat of wisdom? < 1521575593 259009 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I thought `mkx bin/^//quote|rev;quote < 1521575624 152166 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or perhaps the opposite way. < 1521575639 445252 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` < 1521575640 467985 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :168) elliott: just to bring you up to speed, you are now my baby nephew. wtf, elliott is a nephew and his uncle is here? what Heck yes I'm elliott's uncle. < 1521575654 336502 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`´ < 1521575655 569631 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ´: not found < 1521575705 394983 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I guess it's more annoying an idea than a funny one anyway. < 1521575734 569940 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yep. < 1521575743 522300 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which does mean it fits right in. < 1521575766 582722 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`wElCoMe < 1521575774 63460 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wElCoMe tO ThE InTeRnAtIoNaL HuB FoR EsOtErIc pRoGrAmMiNg lAnGuAgE DeSiGn aNd dEpLoYmEnT! fOr mOrE InFoRmAtIoN, cHeCk oUt oUr wIkI: . (FoR ThE OtHeR KiNd oF EsOtErIcA, tRy #EsOtErIc oN EfNeT Or dAlNeT.) < 1521575825 895699 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`annoy < 1521575826 814111 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: annoy: not found < 1521575941 453339 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` w # is this the random wisdom thingy? < 1521575944 13527 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​fish//Come and dance and love the fish! Mister Disco summoned it. < 1521575954 21303 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`WelCome < 1521575957 830995 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: WelCome: not found < 1521575963 534709 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`# it is//w < 1521575964 166590 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Usage: `# //` < 1521575969 921914 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :curses < 1521575976 467207 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`# let's try this again//`w < 1521575980 669508 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​btw//btw is short for "bury the weasel" < 1521576051 687693 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? wtf < 1521576053 576844 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :WTF means Welcome To Finland. < 1521576066 150183 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( "Want To Forget" ) < 1521576136 304150 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I don't know why but I really like idea of perfect form of "lol" being reduplicated like "curro, cucurri" < 1521576165 32770 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ego lololli < 1521576273 410327 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1521578067 716811 :hppavilion[1]!~dosgmowdo@74-114-87-81.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1521579100 13611 :hppavilion[1]!~dosgmowdo@74-114-87-81.dynamic.asdk12.org JOIN :#esoteric < 1521579100 863923 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1521579100 880725 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1521579100 880773 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1521579643 490806 :gautamS!uid286066@gateway/web/irccloud.com/x-cyidpewzeimvjboi QUIT :Quit: Connection closed for inactivity < 1521580613 561917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly: HireFly < 1521581626 752486 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1521581749 25076 :hppavilion[1]!~dosgmowdo@74-114-87-81.dynamic.asdk12.org QUIT :Ping timeout: 260 seconds < 1521582814 2881 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1521584033 77713 :moei!~moei@softbank221078042071.bbtec.net QUIT :Read error: Connection reset by peer < 1521584067 451560 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1521584227 544588 :shachaf!~shachaf@unaffiliated/shachaf QUIT :Ping timeout: 256 seconds < 1521584276 335984 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1521584612 666160 :AnotherTest!~turingcom@d51a46c74.access.telenet.be QUIT :Ping timeout: 276 seconds < 1521584793 31729 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Ping timeout: 240 seconds < 1521584817 5274 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1521585368 733104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: Looking at that paper again now < 1521585376 127816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"Some readers familiar with relativity will note similarities with the metric tensor—here we will always work in a flat Euclidean space, meaning the metric tensors are trivial" < 1521585425 55068 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I feel like this isn't quite a satisfying explanation of trace. < 1521586617 467585 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :augh < 1521586636 235555 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hell\oren\_ < 1521586849 55425 :hppavilion[1]!~dosgmowdo@160-7-174-206.gci.net JOIN :#esoteric < 1521587686 407354 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :hell\oren\_ < 1521587702 502738 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :helloochaf. < 1521587737 275781 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :why the fungot is everything “trivial” in math papers. it's not trivial. it's never trivial. < 1521587737 539489 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: what he claims is inconsistent is not the language itself could well be much worse than ghc's simplified expressions. < 1521588082 828960 :pikhq!~pikhq@c-73-181-126-9.hsd1.co.comcast.net PRIVMSG #esoteric :You get the feeling that "trivial" is math speak for "I just don't feel like proving it" < 1521588629 327496 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521588832 765608 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :this reminds me of a great story I'm going to butcher < 1521588844 978553 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :a prof is teaching a class, and states a lemma is obvoius < 1521588850 747738 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :one of the students says it isn't < 1521588871 964612 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :the prof checks his notes, there is no proof < 1521588874 834443 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :he stares at it < 1521588885 571446 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :doesn't see it < 1521588900 256816 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :tells his students he'll dig up the proof and tell them next class < 1521588908 779201 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :he goes back and does some searching to figure out where he copied it from into his notes < 1521588914 792774 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :the original paper states the lemma with no proof < 1521588919 353991 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :it is written by him < 1521588935 640730 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :leading to a very sheepish return to class the next lecture < 1521589693 716287 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1521589743 301896 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection