< 1521590493 189448 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 264 seconds < 1521590717 872082 :HereToAnnoy!0cf671ba@gateway/web/freenode/ip.12.246.113.186 JOIN :#esoteric < 1521590873 610330 :HereToAnnoy!0cf671ba@gateway/web/freenode/ip.12.246.113.186 QUIT :Client Quit < 1521591649 839931 :Guest2264!~sam@runciman.hacksoc.org NICK :sdhand < 1521591655 227193 :sdhand!~sam@runciman.hacksoc.org QUIT :Changing host < 1521591655 227249 :sdhand!~sam@unaffiliated/kyubiko JOIN :#esoteric < 1521591685 337886 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1521591747 471066 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :alercah: the way I heard that story, the prof was at yorku. he stated a lemma as being obvious. a student asks: "is that really obvious?" the professor stared at the chalkboard for a minute... two minutes... three minutes. the students also stared at it. some scribbled in their notebooks. after 10 minutes of silence, the professor announced: "yes, it's obvious." < 1521591841 278672 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That is a well-known but different story. < 1521591842 309690 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1521592759 496874 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1521593452 916426 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was also a nice list of different types of proof on one of those humoristic text files that go around and around. < 1521593475 183522 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://www.lel.ed.ac.uk/~heycock/proof.html is the first instance I could find, though I'm sure they vary. > 1521595214 678530 PRIVMSG #esoteric :14[[07Fueue14]]4 10 02https://esolangs.org/w/index.php?diff=54423&oldid=54296 5* 03Oerjan 5* (+175) 10/* Kolakoski sequence */ Copy my golfing answer here < 1521595252 977455 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Taneb: ^ < 1521595726 171649 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1521595845 28892 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: Oh man, polycategories are obviously the answer here. < 1521595918 777394 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( you have a category problem, and think "i'll use polycategories"... ) < 1521595958 402685 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: It gets worse. What I want is a 2-polycategory. < 1521596005 461543 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that does sound worse. < 1521596005 993671 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I'll settle for a regular polycategory for now. < 1521596019 348028 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats shachaf -----### < 1521596024 842810 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey < 1521596030 118816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what did i do to deserve that < 1521596036 517719 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"regular" hth < 1521596045 425246 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, is that a pun? < 1521596063 474321 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :on the joke i was alluding to, no less < 1521596083 682601 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I get it. < 1521596110 634921 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION once punned without noticing it < 1521596195 891760 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`le/rn People who've punned without noticing it//People who've punned without noticing it includes: oerjan shachaf < 1521596639 124010 :sdhand!~sam@unaffiliated/kyubiko QUIT :Ping timeout: 252 seconds < 1521596671 337951 :Taneb!~Taneb@runciman.hacksoc.org QUIT :Ping timeout: 256 seconds < 1521596809 429679 :sdhand!~sam@runciman.hacksoc.org JOIN :#esoteric < 1521596811 751003 :Taneb!~Taneb@2001:41c8:51:10d:: JOIN :#esoteric < 1521596832 493592 :sdhand!~sam@runciman.hacksoc.org NICK :Guest38598 < 1521599216 53608 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: VILLAIN CHICKEN < 1521600202 689017 :sleffy!~sleffy@2620:101:80fb:232:488c:9bf:196f:dbeb JOIN :#esoteric < 1521600887 338380 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds > 1521602774 950799 PRIVMSG #esoteric :14[[07Fueue14]]4 10 02https://esolangs.org/w/index.php?diff=54424&oldid=54423 5* 03Oerjan 5* (+105) 10/* Thue-Morse sequence */ Shorter version < 1521603683 696245 :sleffy!~sleffy@2620:101:80fb:232:488c:9bf:196f:dbeb QUIT :Ping timeout: 276 seconds < 1521603760 642572 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :Proof by reduction to the wrong problem is pretty funny < 1521604988 984467 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 260 seconds < 1521606557 924360 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1521606993 865679 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 246 seconds < 1521609453 397220 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1521609920 315942 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521611529 480712 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1521612354 302001 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1521613195 506401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: whoa, tr(ABCDE) = tr(EABCD) etc. is really obvious with string diagrams using cups and caps < 1521613774 548976 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1521616294 924945 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1521616629 309453 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 256 seconds < 1521617101 177817 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1521617121 332282 :Guest38598!~sam@runciman.hacksoc.org NICK :sdhand < 1521617132 961617 :sdhand!~sam@runciman.hacksoc.org QUIT :Changing host < 1521617132 961725 :sdhand!~sam@unaffiliated/kyubiko JOIN :#esoteric < 1521621323 111184 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 252 seconds < 1521621462 870989 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1521621514 467272 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1521622422 774625 :xkapastel!uid17782@gateway/web/irccloud.com/x-upynarlrqosvprug QUIT :Quit: Connection closed for inactivity < 1521623307 37325 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1521625955 105052 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1521626478 239434 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :shachaf: yeah :) < 1521626978 665250 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Future oerjan: very nice re: Fueue golf! < 1521627137 90773 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :(past oerjan?) < 1521627143 165068 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :(one of the oerjans for sure) < 1521627560 68014 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: To which of the things I said? < 1521627591 710348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: future oerjan. fuerjan. < 1521627616 265323 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :obviously fuerjan would be the one interested in Fueue < 1521627645 2877 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :shachaf: That the trace relation is obvious with string diagrams < 1521627653 126359 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :shachaf: that logic is impecabl < 1521627654 125312 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :e < 1521627695 616296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah. Yes. < 1521627742 89423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: Representable polycategories are too good < 1521627833 929389 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: By the way, do you remember that we talked about generalizing eigenvectors/eigenvalues to other categories? < 1521627844 207622 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :My typing is also impecable < 1521627844 463124 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :At least I think we did < 1521627875 457726 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway there's a clear meaning of scalar multiplication in any monoidal categories, which I didn't realize < 1521627924 325381 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where a scalar is an arrow : I -> I where I is the identity of the tensor product < 1521627938 853179 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sorry, I *am* the identity < 1521627985 85464 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway what are some monoidal categories where Home(I,I) isn't trivial? > 1521628083 395920 PRIVMSG #esoteric :14[[07Minim14]]4 10 02https://esolangs.org/w/index.php?diff=54425&oldid=53141 5* 03Thenewcomposer 5* (+2194) 10A Simple, Low-Level, Interpreted Language > 1521628111 715013 PRIVMSG #esoteric :14[[07Minim14]]4 M10 02https://esolangs.org/w/index.php?diff=54426&oldid=54425 5* 03Thenewcomposer 5* (+2) 10/* Hello World */ > 1521628123 970051 PRIVMSG #esoteric :14[[07Minim14]]4 M10 02https://esolangs.org/w/index.php?diff=54427&oldid=54426 5* 03Thenewcomposer 5* (+2) 10/* 99 Bottles */ > 1521628256 266170 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=54428&oldid=54400 5* 03Thenewcomposer 5* (+12) 10/* M */ < 1521628696 909661 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Only thing I can think of is the category of modules over some ring < 1521628781 9244 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was trying to generalize from vector spaces, so that's pretty similar < 1521628813 371454 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's the category of abelian groups with Z as the tensor identity I think < 1521628839 685766 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :I think that's equivalent to modules over Z? < 1521628894 764243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a notion of the "trace" of an abelian group homomorphism? Maybe it gives the rank of the group when applied to the identity or something? < 1521628897 893778 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, right. < 1521628919 297321 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So that's not anything new < 1521628957 321377 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I'd settle for something where Hom(I,I) has more than one element. Even just two. < 1521629283 449044 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :My gut is telling me that if it has more than one it must necessarily have an infinite number < 1521629299 302329 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :But my brain isn't convinced < 1521629332 15798 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How about Rel? < 1521629360 601591 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :What's I here? < 1521629383 168269 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, Rel is monoidal with the usual Cartesian product < 1521629397 745251 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I is a singleton < 1521629431 695859 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So that's two "scalars" < 1521629441 445468 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :{} and {(X,X)}? < 1521629468 79479 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yep. < 1521629517 865762 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where composition behaves like and, I guess, if the empty set is false < 1521629554 826479 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does scalar multiplication on a relation do? < 1521629567 600864 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm in bed failing to sleep and typing this on my phone < 1521629662 441871 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :You've got a (*0) and a (*1) there basically < 1521629665 618622 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess 1*f is f, and 0*f takes every relation to the empty relation < 1521629669 33500 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right < 1521629674 722072 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not too interesting < 1521629689 831566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But can you define a "trace"? < 1521629711 713482 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does it maybe measure the diagonal? < 1521629778 369357 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :What properties should the trace have, here? < 1521629785 805152 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not sure < 1521629806 163421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess one good property is traveling(AB) = tr(BA) < 1521629809 749132 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tr < 1521629908 887740 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually, I guess Rel has a dagger thing, so you can define trace through that presumably < 1521630017 160971 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think tr(f) is 1 if (x,x) is in f for any x < 1521630040 230694 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which makes sense gives how relation composition works, right? < 1521630074 476560 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say you have f : A -> B and g : C -> D < 1521630099 370881 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No < 1521630117 37670 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say you have f : A -> B and g : B -> C < 1521630142 696220 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You have be fxg : AxB -> BxC < 1521630167 695672 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And if you trace on that B you want to end up with the composition g.f < 1521630177 9212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which I think you do < 1521630307 599772 :Palaver!~Palaver@50.7.106.238 JOIN :#esoteric < 1521630653 156280 :Palaver!~Palaver@50.7.106.238 QUIT :Remote host closed the connection < 1521630709 841966 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I should've just looked it up < 1521630725 867936 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are at least two possible tensor products and each one of them gets a trace < 1521631034 658346 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can represent this as vector spaces too apparently < 1521631523 913458 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :...is Rel isomorphic to GF(2)-Vect? < 1521631537 40441 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :...probably not < 1521631716 293491 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1521631741 245116 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1521631788 292416 :Palaver!~Palaver@50.7.106.238 JOIN :#esoteric < 1521631816 330648 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1521631869 29975 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 260 seconds < 1521631937 307725 :Palaver!~Palaver@50.7.106.238 QUIT :Remote host closed the connection < 1521632259 799539 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker NICK :SopaXorzTaker < 1521632365 237231 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So odd: there's wifi on this plane.. < 1521632452 397424 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :That's just plane weird < 1521632613 203389 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :...you know, I think Rel is isomorphic to GF(2)-Vect < 1521632766 440531 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Which suggests a trace being hte parity of the diagonal < 1521632867 210444 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :shachaf: does this sound concievable? < 1521632963 214203 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1521633565 309456 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :(trace in general does not have the property tr(AB) = tr(BA)) < 1521633725 443865 :sdhand!~sam@unaffiliated/kyubiko QUIT :Ping timeout: 240 seconds < 1521633869 799485 :Taneb!~Taneb@2001:41c8:51:10d:: QUIT :Ping timeout: 276 seconds < 1521633899 57485 :sdhand!~sam@2001:41c8:51:10d:: JOIN :#esoteric < 1521633922 558937 :sdhand!~sam@2001:41c8:51:10d:: NICK :Guest56125 < 1521634031 11092 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1521634497 31995 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :fizzie: heh, all Norwegian flights offer free wifi apparently, it was a nice surprise when I flew a while ago < 1521634941 116504 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds < 1521635333 970164 :Taneb!~Taneb@runciman.hacksoc.org QUIT :Ping timeout: 260 seconds < 1521635435 119386 :Guest56125!~sam@2001:41c8:51:10d:: QUIT :Ping timeout: 276 seconds < 1521635487 416556 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1521635490 125241 :sdhand!~sam@2001:41c8:51:10d:: JOIN :#esoteric < 1521635513 586275 :sdhand!~sam@2001:41c8:51:10d:: NICK :Guest93155 < 1521635525 402408 :aloril!~aloril@80.246.146.6 QUIT :Ping timeout: 240 seconds < 1521636004 422878 :aloril!~aloril@80.246.146.6 JOIN :#esoteric < 1521636019 672295 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1521637108 972760 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521637232 406712 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1521637262 805852 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1521637269 13940 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521637300 799697 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (1)S((0)(1))(~:^:S*a~^*a*~:^):^ < 1521637300 835141 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :110101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101 ...too much output! < 1521637318 991274 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (1)S((0)(1))(~:^:S*a~a^~*a*~:^):^ < 1521637319 13594 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :11 ...out of stack! < 1521637330 704949 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (1)S((0)(1))(~:^:S*^~*a*~:^):^ < 1521637330 726910 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :11 ...bad insn! < 1521637357 882216 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (1)S((0)(1))(~:^:S*~a~^~*a*~:^):^ < 1521637357 904806 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :11 ...bad insn! < 1521637376 375029 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (1)S((0))(~:^:S*a~^*a*~:^):^ < 1521637376 434384 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :10 ...out of stack! < 1521637385 833948 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (1)S(0)(1)(~:^:S*a~^*a*~:^):^ < 1521637385 855786 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :1 ...bad insn! < 1521637393 357013 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (1)S((0)(1))(~:^:S*a~^*a*~:^):^ < 1521637393 391018 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :110101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101 ...too much output! < 1521637405 199108 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (1)S((0)(1))(~:^:S*~^*a*~:^):^ < 1521637405 220996 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :11 ...bad insn! < 1521637412 707385 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (1)S((0)(1))(~:^:S*a~^*^*a*~:^):^ < 1521637412 730926 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :11 ...bad insn! < 1521637458 187875 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FireFly: So I've heard, but this is my first time. It's a BA flight, they're slowly rolling it out so you never know if there will be wifi until after takeoff. < 1521637462 467688 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Also it's not free.) < 1521637493 3804 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(But I'm trying to work, so I can probably expense it.) < 1521637845 360487 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1521638025 213815 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Quit: danil < 1521639652 13028 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521639954 708267 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521640064 424871 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1521640170 180607 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521640434 878085 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1521641048 721391 :hppavilion[1]!~dosgmowdo@160-7-174-206.gci.net QUIT :Remote host closed the connection < 1521641172 861979 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: [ < 1521641194 403142 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521641468 302977 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521641505 179866 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 263 seconds < 1521641794 62584 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Read error: Connection reset by peer < 1521642442 24636 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1521642821 796010 :Guest93155!~sam@2001:41c8:51:10d:: NICK :sdhand < 1521642828 273049 :sdhand!~sam@2001:41c8:51:10d:: QUIT :Changing host < 1521642828 289841 :sdhand!~sam@unaffiliated/kyubiko JOIN :#esoteric < 1521644277 987948 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 264 seconds < 1521644883 382231 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1521644904 651868 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 268 seconds < 1521645487 402139 :imode!~imode@unaffiliated/imode JOIN :#esoteric > 1521645890 600873 PRIVMSG #esoteric :14[[07Hatemath14]]4 M10 02https://esolangs.org/w/index.php?diff=54429&oldid=54409 5* 03Sane theinsane 5* (+11) 10/* External sources */ > 1521646118 738197 PRIVMSG #esoteric :14[[07Hatemath14]]4 M10 02https://esolangs.org/w/index.php?diff=54430&oldid=54429 5* 03Sane theinsane 5* (+51) 10/* External sources */ > 1521646136 411155 PRIVMSG #esoteric :14[[07Hatemath14]]4 M10 02https://esolangs.org/w/index.php?diff=54431&oldid=54430 5* 03Sane theinsane 5* (-51) 10/* External sources */ < 1521646385 403199 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds > 1521646691 68682 PRIVMSG #esoteric :14[[07Haddock14]]4 10 02https://esolangs.org/w/index.php?diff=54432&oldid=54360 5* 03Singingbanana 5* (+27) 10 > 1521646850 998331 PRIVMSG #esoteric :14[[07Haddock14]]4 10 02https://esolangs.org/w/index.php?diff=54433&oldid=54432 5* 03Singingbanana 5* (+8) 10 > 1521646891 653327 PRIVMSG #esoteric :14[[07Hatemath14]]4 M10 02https://esolangs.org/w/index.php?diff=54434&oldid=54431 5* 03Sane theinsane 5* (+1) 10/* Examples */ < 1521646958 365490 :xkapastel!uid17782@gateway/web/irccloud.com/x-qmjhikayrjlmlind JOIN :#esoteric > 1521647166 643074 PRIVMSG #esoteric :14[[07User:Sane theinsane14]]4 N10 02https://esolangs.org/w/index.php?oldid=54435 5* 03Sane theinsane 5* (+197) 10Created page with "== Myself == Hi I am Saketh. I am a python programmer that likes to make esoteric languages.
== The langs I have made == I am the creator of hatemath and LML(it's made..." < 1521647652 681525 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1521650675 648622 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1521653876 678984 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 276 seconds < 1521653884 702680 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1521653885 367932 :sparr!~sparr@2604:a880:800:10::103:f001 QUIT :Changing host < 1521653885 367995 :sparr!~sparr@pdpc/supporter/active/sparr JOIN :#esoteric < 1521655343 217357 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Quit: ZNC - http://znc.sourceforge.net < 1521656151 583946 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :I will be transporting this computer for repair today, so the server will be unavailable during that time. Is there any considerations that should be made when transporting it? < 1521656266 488654 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: I think it's not GF(2) but a ring where 1+1=1 < 1521656296 704610 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Trace doesn't in general have that property? When doesn't it? < 1521656306 87524 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :Do you know anything about considerations when transporting a computer? < 1521656326 690228 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean for endomorphisms A,B < 1521656348 708814 :zzo38!~zzo38@24-207-13-153.eastlink.ca QUIT :Quit: This computer will be repaired and may be restored in up to 48 hours. < 1521656387 669922 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell zzo38 Remove the disk first? < 1521656388 113378 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1521656401 244980 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm afraid that computer is now being transported inconsiderately. :/ < 1521656503 571767 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38 did not leave us much time for consideration < 1521656508 672328 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: How do you like to be transported? < 1521656509 167574 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: if you had to choose one above the yellow block device, and talk fnord over it, and apply on an arbitrarily long integer math program somewhere that uses the list of constants is smaller in overall volume. < 1521656574 412867 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Didn't zzo38 live somewhere in Canada? Wonder if I'm near that computer. < 1521656603 614872 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :I believe zzo38 lives *at* canada < 1521657042 964475 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1521658549 981746 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521658571 978332 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :^ul (1)S((0)(1))(~:^:S*a~^*^*a*~:^):^ < 1521658572 1039 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :11 ...bad insn! < 1521658619 161256 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1521658696 714125 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1521658742 902047 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521658925 221585 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :AAAAAAAAAAAA stupid global variable initialization order < 1521658947 670467 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are they initialized before smart global variables? < 1521658974 828271 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: apparently not < 1521659003 531856 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :specificly, for some reason a global std::string gets compiled into CODE not data < 1521659143 830102 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm? < 1521659208 590082 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: well it's a const std::string. I think it should be compiled into data representing the string. but instead code gets generated which allocates and fills the string up < 1521659263 674444 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How would you make that work in C++? < 1521659290 866971 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1521659294 249122 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I thought you meant that «std::string s = "blah";» would somehow put "blah" into the code section. < 1521659360 792802 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it would somehow put {5,"blah"} or hoever the string is represented after initialization, into the code section. because it's a const < 1521659401 535117 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Quit: danil < 1521659405 805749 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the same thing happens to const int i = 5; < 1521659428 592939 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But std::sring is just a class. < 1521659529 298612 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521659548 86149 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1521659712 309596 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :not sure why that matters? < 1521659767 996481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, are you saying the compiler should special-case this class, or that any string class should be able to do this? < 1521659854 198553 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :any class, ideally < 1521659928 409243 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521660073 529957 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :By having const std::string not copy its argument in this context or something like that? < 1521660139 640886 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah. it shoudl just compile to the memory layout of a fully initialized std::string, in read-only memory < 1521660150 273881 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :becuase it's const < 1521660160 322027 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know what you want it to do. But how should it achieve it? < 1521660197 383294 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :well it already knows how to run arbitratry code at compile time, so jsut run the initializer at compile time < 1521660211 269540 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :std::string, even const std::string, allocates memory < 1521660232 151221 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :and when it allocates memory, allocate it from the code section < 1521660261 626033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How do you make that work? < 1521660266 850020 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Quit: danil < 1521660341 356848 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :when new is called during compile-time, you special case that to allocate from the code section instead of the heap < 1521660367 779522 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :new and new[] are already builtin < 1521660618 277990 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Would you be okay with just a const std::string_view? AIUI, it's a literal type (has a constexpr constructor), so maybe it handles like that already. < 1521660653 40273 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, string_view would be the best C++ answer to this of course. < 1521660690 614510 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.0.1 < 1521660889 546145 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :People have also done all kinds of workarounds using facilities that actually exist in C++, like https://github.com/akrzemi1/static_string < 1521661151 829685 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hooray, this time it DIDNT crash before the start of main() < 1521661830 614147 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Quit: Leaving < 1521661979 322232 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1521662177 379737 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: Sure, if you use a separate class that's for this purpose. < 1521662198 781640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess maybe std::string could do something different in the const constexpr case? < 1521662284 145608 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Read error: Connection reset by peer < 1521662432 122494 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1521662689 353411 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 248 seconds < 1521664051 33518 :lldd!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1521664174 181048 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric > 1521664200 250753 PRIVMSG #esoteric :14[[07Bitter14]]4 M10 02https://esolangs.org/w/index.php?diff=54436&oldid=54330 5* 03DMC 5* (+2) 10 < 1521664203 322884 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521664216 5760 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit > 1521664288 962281 PRIVMSG #esoteric :14[[07Bitter14]]4 M10 02https://esolangs.org/w/index.php?diff=54437&oldid=54436 5* 03DMC 5* (-2) 10/* Description */ < 1521664527 381352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: See http://www.inf.u-szeged.hu/actacybernetica/edb/vol23n1/pdf/actacyb_23_1_2017_18.pdf < 1521664558 336540 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is about a different monoidal category but mentions that one too. < 1521665079 957956 :wob_jonas!b03f1927@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.39 JOIN :#esoteric < 1521665357 196343 :wob_jonas!b03f1927@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.39 PRIVMSG #esoteric :boily: yes, totally true. There was some algebraic topology result that Kozlov claimed without proof in an introductory paper, spending only a few lines to even state it, and we really wanted it to be true. At first we thought it was a mistake, then after thinking about the whole paper for over a month with my advisor, we figured that it was indeed < 1521665357 269692 :wob_jonas!b03f1927@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.39 PRIVMSG #esoteric : a trivial result that Kozlov could have seen as so obvious that he didn't include a proof. < 1521665377 912112 :wob_jonas!b03f1927@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.39 PRIVMSG #esoteric :I'm not sure it was actually Kozlov, may have been some other mathematician. < 1521665476 358 :wob_jonas!b03f1927@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.39 PRIVMSG #esoteric :Oh, this started from a quote with the other meaning of "trivial". < 1521665587 417623 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1521665640 730668 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1521665684 218574 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1521665756 316964 :wob_jonas!b03f1927@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.39 PRIVMSG #esoteric :fizzie: for a string_view it can be done, yes, and there are very likely two interfaces that do that, both just calling the constructor with a string literal (since then the string_view will point into that literal, and the literal will likely be in a mapped read-only section of the exe), or using a certain user-defined literal that later versions < 1521665756 398099 :wob_jonas!b03f1927@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.39 PRIVMSG #esoteric :of the standard library provide. < 1521665854 630142 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1521665880 383336 :wob_jonas!b03f1927@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.39 PRIVMSG #esoteric :And yes, I think you usually can't do it for a std::string, because (except possibly for a short string) that simply assumes that the contents is stored in an array allocated with the allocator (by the default new function in an ordinary string) and will try to free it if you destroy the string. And even a const string will typically be destroyed i < 1521665880 454860 :wob_jonas!b03f1927@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.39 PRIVMSG #esoteric :n C++. < 1521666406 863673 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1521667092 650201 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1521667092 710439 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1521667092 710484 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1521669952 799428 :wob_jonas!b03f1927@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.39 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1521671043 273823 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily! < 1521672194 10739 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :do you guys know the hex game? < 1521672543 143939 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you mean the one where you make a path from one side of the board to the other? < 1521672707 379739 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yes! < 1521672762 853888 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :you know that the game isn't over yet, and red makes a move < 1521672782 612569 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :QUINTHELLOPIA! < 1521672791 381864 :lldd!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1521672792 862238 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is there a fast way to tell if this move wins? < 1521674080 690707 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: did you get your registration in? < 1521674097 799569 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :also we should game a game < 1521674175 524805 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :I tried to, but it bugged :/ < 1521674182 300074 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :like, broken error messages and shit. < 1521674193 383620 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :trying again. < 1521674228 296842 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :shit. closed. < 1521674528 435495 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :izabera: You could keep track of which sides of the board each stone is connected to, and propagate it as stones are added < 1521674546 76271 :Cale!~cale@2607:fea8:9960:472:9436:2b8a:6b22:8aae PRIVMSG #esoteric :izabera: and then you only need to check the neighbours of newly added stones < 1521674578 631604 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 268 seconds < 1521674594 145540 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's a really good idea! < 1521674696 718304 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But note that the naive way of keeping track of that can involve updating a lot of stones in a single move. < 1521674720 174587 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The fancy algorithm for it is a union-find thing. < 1521675305 310315 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I must say I didn't expect https://en.wikipedia.org/wiki/Monoidal_category to be protected. < 1521675610 437582 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah i assume it closed within an hour of opening on the 10th < 1521675629 193052 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :when should we game < 1521675646 334244 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you know whether there's an efficient online algorithm for strongly connected components in a directed graph? < 1521675709 782574 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no < 1521675796 167697 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :seems difficult < 1521675824 705711 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wait < 1521675832 689609 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what exactly is streaming? < 1521675841 94429 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nodes or arcs? < 1521675890 173898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess arcs? < 1521675893 881841 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like in union-find. < 1521675930 131818 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i mean i guess the obvious thing wouldn't be too inefficient < 1521675947 26651 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the obvious thing? < 1521676140 917077 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :quintopia: weekend of the... < 1521676149 256286 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :ACTION does hard mental arithmetic < 1521676176 445411 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :7-8 April I can game. < 1521676778 17528 :wob_jonas!b03f18c6@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.198 JOIN :#esoteric