< 1585612995 856808 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu PRIVMSG #esoteric :o < 1585613737 665757 :MDead!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric < 1585613845 989445 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Ping timeout: 256 seconds < 1585613852 878869 :MDead!~MDude@97-127-171-136.cdrr.qwest.net NICK :MDude > 1585616295 890863 PRIVMSG #esoteric :14[[07Talk:Flurry14]]4 10 02https://esolangs.org/w/index.php?diff=70547&oldid=70530 5* 03Challenger5 5* (+270) 10 < 1585617381 973020 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru QUIT :Ping timeout: 256 seconds < 1585617445 288688 :divergence!~div@172.83.44.83 JOIN :#esoteric < 1585617457 826542 :diverger!~div@195.47.194.35 QUIT :Ping timeout: 264 seconds < 1585618491 172709 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric < 1585620759 297993 :divergence!~div@172.83.44.83 QUIT :Ping timeout: 260 seconds < 1585620842 804317 :diverger!~div@172.83.44.83 JOIN :#esoteric < 1585624960 306655 :xkapastel!uid17782@gateway/web/irccloud.com/x-nklgyjzherbuyasq QUIT :Quit: Connection closed for inactivity < 1585627145 710006 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving < 1585627514 26504 :spruit11!~unknown@ip56522cc1.speed.planet.nl QUIT :Ping timeout: 256 seconds < 1585632833 766752 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer < 1585632848 28121 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1585632948 25937 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1585634762 14569 :Cale!~cale@2607:fea8:9960:35:74c2:6b53:70bf:ded4 QUIT :Ping timeout: 256 seconds < 1585635946 989951 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com JOIN :#esoteric < 1585638758 864275 :user24!~user24@2a02:810a:1440:7304:34d2:2959:26b:1e7c JOIN :#esoteric < 1585639390 578816 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1585639951 92797 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :have any of you played robo rally? it's basically a game about programming < 1585639978 514377 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :it has sort of an befunge feel, but the board modifies your actions < 1585639987 523269 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :and other players do too < 1585640113 475419 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :also, made by the creator of MTG before he did that < 1585641126 785036 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1585642457 441916 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 258 seconds > 1585643187 637272 PRIVMSG #esoteric :14[[07Talk:Flurry14]]4 10 02https://esolangs.org/w/index.php?diff=70548&oldid=70547 5* 03Yul3n 5* (+123) 10 > 1585643206 58678 PRIVMSG #esoteric :14[[07Talk:Flurry14]]4 10 02https://esolangs.org/w/index.php?diff=70549&oldid=70548 5* 03Yul3n 5* (+75) 10 > 1585643460 744390 PRIVMSG #esoteric :14[[07Talk:Z14]]4 10 02https://esolangs.org/w/index.php?diff=70550&oldid=62307 5* 03Yul3n 5* (+191) 10 < 1585644275 150818 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We (as in the channel collectively) played a bunch of that one web puzzle game that's a little like that, except single-player and much simpler. < 1585644292 655790 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :RoboZZle, it was. < 1585644715 646270 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :very nice, going to link to it since it seems like the beta/js(ugh, but whatever) version is much more usable http://www.robozzle.com/beta/ < 1585644830 836646 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :hmm it doesn't seem like quite the same thing < 1585644912 39464 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :maybe if I play past the tutorials it will become more similar? < 1585645330 390151 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :it, yeah, doesn't seem so similar < 1585645383 221333 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :anyway, we have *ALL* the expansions... I'd be interested in making an online version, if I knew how to do that at all < 1585645461 35577 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :as a board game, the weapons upgrades seem like they're overpowered... but also some are as programmable as the players... < 1585645496 364866 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Hooloovo0: ooh, I think I played that once? < 1585645586 891729 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :nice! < 1585645667 499995 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :(implicit once-plague-is-over invitation) if any if any of you visit urbana < 1585645915 974936 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1585646059 864252 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Unless you're in a village in Italy, that's slightly the wrong continent for me :( < 1585646374 849053 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :no, we're basically in the middle of NA :( < 1585646380 517361 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :BB(29) = 223 < 1585646558 667101 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :ACTION reads up a lot on blc and bb < 1585646564 14976 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1585646583 217772 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: BB(30)=160, BB(31)=267 < 1585646607 227473 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: I added a BB.txt < 1585646621 983278 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds < 1585646642 171448 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :you must have some way better divergence detection than me:) < 1585646642 722238 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1585646667 242435 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :\exists c, n. \forall i, i >= n. \forall j, j >= i + c. BB(j) > BB(i)? < 1585646670 758498 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's not fully automatic... I have 2 manual proofs (as indicated in the file) < 1585646677 794477 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: not a clue < 1585646685 583235 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :i had 3 manual proofs at 29 < 1585646687 86738 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: Oh wait < 1585646692 140649 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: that one is certainly true < 1585646723 565154 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: I should figure out what the concrete c for which I can prove this is though... 20ish, maybe? < 1585646746 730411 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :probably true for c = 2 < 1585646764 222858 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :which terms require manual proof? < 1585646776 828057 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: https://github.com/tromp/AIT/blob/master/BB.txt < 1585646818 322333 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: plausible, yes, but... :) < 1585646834 171745 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :i know, i wldn't bet my life on it:) < 1585646919 314704 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :very nice < 1585646920 22273 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: c=9 should work; one can prefix terms with lambda 2 bits, or with (\x\y.x) (7 bits, plus 2 for the apply). < 1585646938 932035 :int-e!~noone@int-e.eu PRIVMSG #esoteric :err, I meant to put parentheses around (2 bits). < 1585647066 879616 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: now how does one automate such inductive arguements... eww. < 1585647070 898058 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :isn't prefixing with lambda enough to get BB(n+2) >= BB(n) + 2 ? < 1585647096 372747 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: But Taneb's statement has j >= i+c < 1585647099 396724 :int-e!~noone@int-e.eu PRIVMSG #esoteric :not j = i+c < 1585647101 553439 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :how hard would it be to write a program that can prove those TODO ones halt? < 1585647114 214068 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: so we need an odd offset as well < 1585647118 391403 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :it seems kind of tricky i'm not sure how it would be done < 1585647188 640365 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: well, there's a certain pattern to these proofs, terms that grow in a very regular fashion. < 1585647196 15477 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu QUIT :Quit: leaving < 1585647235 550429 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So that could probably be captured somehow but it's highly unpleasant, and obviously once you do that you'll find terms with more complicated patterns, all up to the point where termination becomes unprovable. < 1585647237 519455 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :maybe hash each subterm, perform some reductions and then use the hash to look for repeating subterms? < 1585647273 35279 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :you don't get exact repetition though < 1585647276 642026 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: That's what we're doing already. < 1585647298 114113 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: It doesn't apply to those manual proofs (well the 3 I actually looked at) < 1585647359 697626 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :I see it now < 1585647422 147209 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :T (\1^k (T 1)) is kind of 'flat', it could basically be expressed as a string T \^k T 1 rather than a tree < 1585647470 224744 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :maybe when terms are flat it could be a simpler case < 1585647962 334074 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Anyway, I'll leave BB(32) for a rainy day (there are few enough cases to be hopeful that they can be sorted out). But I think beyond that point it will very soon become a research grade problem (i.e., take a lot of effort and creativity). Obviously I have no clue where the unprovability territory starts. < 1585648181 369205 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: For reference, there are 978447 closed terms of size 32, so narrowing that down to 10 problematic cases is quite significant. < 1585648218 546337 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :that's really interesting, so that's where the real work was. how was that done? < 1585648284 216434 :int-e!~noone@int-e.eu PRIVMSG #esoteric :enumerate, reduce (with simplification along the way), try to detect loops and one relatively common class of non-terminating terms that does not have simple loops. < 1585648359 41930 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Which, incidentally, only covers 2 terms of size 32. It can probably be generalized somewhat to cover a couple more. < 1585648477 474100 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: actually I should've written c=8. But c=6 should also work: pick any variable n and replace it by \(n+1) 1 (which eta-reduces to n). < 1585648508 348687 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: Which adds an abstraction, an application, and one extra bit for changing n to n+1, so that's 7 bits. < 1585648545 314385 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, unfortunately though that only shows BB(n+7) >= BB(n). < 1585648569 254743 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Wheras BB(n+2) > BB(n) is strict.) < 1585651375 285854 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1585657204 283807 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal < 1585657261 68291 :xkapastel!uid17782@gateway/web/irccloud.com/x-jhqigegvcxylszlx JOIN :#esoteric < 1585659145 767453 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Ping timeout: 264 seconds < 1585659535 266144 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 JOIN :#esoteric > 1585659782 62984 PRIVMSG #esoteric :14[[07Talk:Alphaprint14]]4 10 02https://esolangs.org/w/index.php?diff=70551&oldid=70399 5* 03Rerednaw 5* (+867) 10Edit in my JS code, following the addition of the "Hello, World!" example < 1585660657 390808 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru JOIN :#esoteric > 1585660837 923281 PRIVMSG #esoteric :14[[07Talk:Flurry14]]4 10 02https://esolangs.org/w/index.php?diff=70552&oldid=70549 5* 03Yul3n 5* (+169) 10 < 1585661045 329041 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :int-e: how did you automate the proof of divergence for the 29-bit terms (\1 1) (\1 (\\3 2)), (\1 1) (\1 (\1 (2 1))), and (\1 1) (\1 (\2 1 1)) ? < 1585661176 693230 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :ignore the muddle one; i see you did that manually < 1585661719 529909 :user24!~user24@2a02:810a:1440:7304:34d2:2959:26b:1e7c QUIT :Quit: Leaving < 1585661803 134149 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :how does this lambda thing work? can you effectively do lazy evaluation, as in, if there's a non-terminating term inside but it's never called, it isn't a problem? < 1585661949 569562 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: I want to sleep on what I did and document it properly, please remind me tomorrow < 1585661962 811426 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :nic < 1585662024 239823 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :wib_jonas: for BB you take consider the normal form so any non terminating part is a problem < 1585662062 71140 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: but the idea is to generalize the (\1 1) (\1 1) thing, noting in particular that you can have additional contexts (\1 1) (\C[1 1]) (C may have lambdas and that shifts the variables) and also some additional abstractions (\1 1) (\1 (\1 1)). < 1585662068 222166 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :tromp: but don't those non-terminating parts get discarded as you evaluate to the normal form? < 1585662068 446052 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :i.e. BB is not specific to any normalization strategy < 1585662081 888429 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :oh, you're right < 1585662107 883487 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :so you do need to use one that guarantees nf if one exists < 1585662126 714834 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: left-most outermost is strongly normalizing (even hypernormalizing--that's a fun concept) for the untyped lambda calculus. < 1585662138 249598 :int-e!~noone@int-e.eu PRIVMSG #esoteric :err < 1585662140 318056 :int-e!~noone@int-e.eu PRIVMSG #esoteric :s/strongly// < 1585662159 614383 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :int-e: right, that is lazy evaluation. and I assume you take this into account when you prove non-termination of a term. < 1585662205 504055 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(normalizing = finds a normal form if it exists. strongly normalizing = that + termination. hypernormalizing: if you interleave the strategy and arbitrary reduction, you still reach the normal form if you don't starve the strategy) < 1585662275 661167 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(such arbitrary reduction steps are highly useful for simplification, but also for program transformations) < 1585662277 368003 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :int-e: I don't understand the distinction between the first two < 1585662308 28873 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: strong normalization entails that normal forms always exist < 1585662458 199601 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(And the term is usually used in contexts where the strategy doesn't matter, like simply typed lambda calculus, where unrestricted beta (or beta+eta) reduction is strongly normalizing) < 1585662483 672859 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :er what? this is lambda calculus and you consider all terms, so a normal form doesn't always exist. how can "strong normalization entail" that and be meaningful? < 1585662494 603971 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: it isn't < 1585662501 702475 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: That's why I corrected to "normalizing" < 1585662525 889722 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :ah > 1585662572 950760 PRIVMSG #esoteric :14[[07Procedure14]]4 M10 02https://esolangs.org/w/index.php?diff=70553&oldid=70538 5* 03PythonshellDebugwindow 5* (+169) 10/* Define/Call Function */ < 1585663005 704739 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :http://sigbovik.org/2020/ says SIGBOVIK 2020 is a conference that isn't on-site but works by audio talks through the internet. it also says that it's "on April 1 at 5pm". what timezone? < 1585663016 441112 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :At a guess, GMT-4 < 1585663023 891428 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 PRIVMSG #esoteric :probably the New York timezone, yes < 1585663028 629187 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :(the time zone of the usual venue) < 1585663307 800544 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1585665896 142351 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric < 1585666081 883965 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :int-e: in your (\1 1) (\C[1 1]), you check that context C is strict in the hole? > 1585667697 776941 PRIVMSG #esoteric :14[[07DINAC14]]4 M10 02https://esolangs.org/w/index.php?diff=70554&oldid=70260 5* 03PythonshellDebugwindow 5* (+18) 10/* Comments */ < 1585668441 329352 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Actually I demand that the hole is in a head position... < 1585668462 202944 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :that would do it... < 1585669536 732714 :wib_jonas!b03f0c44@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.12.68 QUIT :Remote host closed the connection < 1585669670 385177 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu JOIN :#esoteric < 1585669776 253133 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu QUIT :Client Quit < 1585669955 770482 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu JOIN :#esoteric < 1585670461 252040 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru PRIVMSG #esoteric :how many prominent SIGBOVIK entries have #esoteric made? (for all time) < 1585670532 550823 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu PRIVMSG #esoteric :dunno < 1585670551 693325 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu PRIVMSG #esoteric :some of #esoteric are actually in the U.S., we Europeans aren't in a clear majority < 1585670589 993887 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru PRIVMSG #esoteric :when I read (too late) the presentations are audio-only, I thought I may have lost a chance to push my luck and submit something, though anyway I had no ideas at all and I have very little experience in spoken English, and in writing papers too :D < 1585670632 251274 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru PRIVMSG #esoteric : some of #esoteric are actually in the U.S., we Europeans aren't in a clear majority => yeah I thought the distribution is more or less diverse between many countries < 1585670691 762773 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1585670705 727954 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru PRIVMSG #esoteric :that said, I’m not against a joint paper, SIGBOVIK or not. Though the lack of interesting ideas on my part still stands :( < 1585671420 261628 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu PRIVMSG #esoteric :arseniiv: they also say that you can submit just a paper, without a presentation, I think < 1585671501 206240 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru PRIVMSG #esoteric :b_jonas: yeah though I’d be glad to be involved in random picking of answers to audience; and I still don’t have any interesting things to write < 1585672174 151600 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1585673261 559958 :mniip!mniip@freenode/staff/mniip QUIT :Remote host closed the connection < 1585673462 745301 :mniip!~mniip@freenode/staff/mniip JOIN :#esoteric < 1585674072 869839 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric < 1585674356 694741 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Quit: zzo38 < 1585675540 248670 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric < 1585678659 983480 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 PRIVMSG #esoteric :int-e: does (\1 1) (\1 (\\3 2)) fall under your (\1 1) (\C[1 1]) detection? < 1585679252 124956 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Why does my internet connection tend to not work so well on the last day of a month? < 1585679354 277411 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Disconnected by services < 1585679364 21682 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric < 1585682509 805458 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1585683077 535439 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal < 1585683324 53408 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1585683710 381544 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric > 1585686057 655063 PRIVMSG #esoteric :14[[07+-14]]4 10 02https://esolangs.org/w/index.php?diff=70555&oldid=66723 5* 03Voltage2007 5* (+1744) 10 < 1585687007 795739 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1585689798 203280 :cpressey!~cpressey@79-65-250-244.host.pobb.as13285.net JOIN :#esoteric < 1585689877 340000 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1585689904 15877 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds < 1585689958 761351 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1585690695 55374 :cpressey!~cpressey@79-65-250-244.host.pobb.as13285.net PRIVMSG #esoteric :I saw a strange sight in the night sky tonight - a line of lights moving eastward, all the same velocity and trajectory. Turns out it was, most likely, a group of experimental SpaceX satellites. < 1585690779 764756 :arseniiv_!~arseniiv@136.169.238.3 JOIN :#esoteric < 1585690964 365215 :arseniiv!~arseniiv@95.105.10.115.dynamic.ufanet.ru QUIT :Ping timeout: 258 seconds < 1585691047 856213 :cpressey!~cpressey@79-65-250-244.host.pobb.as13285.net QUIT :Quit: WeeChat 1.9.1 < 1585694412 756224 :arseniiv_!~arseniiv@136.169.238.3 QUIT :Ping timeout: 256 seconds < 1585697843 685184 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds