< 1543449605 539421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I can think of some ways it might be confusing but did you have anything in particular in mind? < 1543449657 117634 :b_jonas!~x@catv-176-63-24-214.catv.broadband.hu PRIVMSG #esoteric :shachaf: no. I'm not saying that < 1543449733 130999 :b_jonas!~x@catv-176-63-24-214.catv.broadband.hu PRIVMSG #esoteric :I'm only saying that an implicit conversion that throws away some members would be a bad idea in most strongly typed languages I can think of (perhaps not in a weakly typed language, and especially not in a golf language), even if you convert from a literal. I'm not saying any of the rest would be bad. < 1543449752 908678 :b_jonas!~x@catv-176-63-24-214.catv.broadband.hu PRIVMSG #esoteric :I'm also not saying it would be good, I just don't know < 1543449770 823723 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I agree. So it should be an error to throw away members. < 1543450031 870934 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oren: I think the universe of things that can exist at compile-time is larger than things that have to have a memory representation and so on. < 1543450035 706228 :b_jonas!~x@catv-176-63-24-214.catv.broadband.hu PRIVMSG #esoteric :only if you do so implicitly for unnamed structs. for an explicit cast it's ok, and for a subtype that is declared as a subtype (inheriting another type) it should be OK for casting a reference, and probably for casting a value too. < 1543450042 89642 :b_jonas!~x@catv-176-63-24-214.catv.broadband.hu PRIVMSG #esoteric :C++ does the latter < 1543450068 268195 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't see a point in C++-style inheritance. < 1543450073 211603 :b_jonas!~x@catv-176-63-24-214.catv.broadband.hu PRIVMSG #esoteric :sure < 1543450080 483332 :b_jonas!~x@catv-176-63-24-214.catv.broadband.hu PRIVMSG #esoteric :that's a matter of taste < 1543450092 643994 :b_jonas!~x@catv-176-63-24-214.catv.broadband.hu PRIVMSG #esoteric :its' good for some things, but is often abused, and it's not clear how useful it is really < 1543450110 13377 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think there are better alternatives probably but that's a separate discussion. < 1543450154 52760 :b_jonas!~x@catv-176-63-24-214.catv.broadband.hu PRIVMSG #esoteric :but if you do want C++-like inheritence, then I think you also want implicit cast of references towards supertypes, when unambiguously possible < 1543450175 142387 :b_jonas!~x@catv-176-63-24-214.catv.broadband.hu PRIVMSG #esoteric :and C++ does allow that < 1543450181 6542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure, there might be cases where you want implicit casts. < 1543450203 960048 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But that's not the thing I'm talking about here. < 1543450223 448531 :b_jonas!~x@catv-176-63-24-214.catv.broadband.hu PRIVMSG #esoteric :yeah < 1543450225 859521 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It seems much trickier and easy to make confusing. < 1543450501 963804 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1543450539 319733 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1543451056 251419 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1543455779 185202 :user24!~user24@p200300886901CD006CF4EE9732908329.dip0.t-ipconnect.de JOIN :#esoteric < 1543456373 946738 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 246 seconds < 1543458529 771531 :olsner!~salparot@c193-14-197-149.bredband.comhem.se QUIT :Ping timeout: 268 seconds < 1543459223 771961 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1543459564 432529 :olsner!~salparot@c83-254-214-21.bredband.comhem.se JOIN :#esoteric < 1543462901 550179 :xkapastel!uid17782@gateway/web/irccloud.com/x-ithmfrpvmmpejjfx QUIT :Quit: Connection closed for inactivity < 1543466884 120819 :viccm!8a5e3971@gateway/web/freenode/ip.138.94.57.113 JOIN :#esoteric < 1543466932 907200 :viccm!8a5e3971@gateway/web/freenode/ip.138.94.57.113 PART :#esoteric < 1543468200 893993 :doesthiswork!~Adium@131.191.115.81 QUIT :Quit: Leaving. < 1543470773 425278 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 244 seconds < 1543470993 422311 :Lord_of_Life!~Lord@46.217.129.68 JOIN :#esoteric < 1543470993 594245 :Lord_of_Life!~Lord@46.217.129.68 QUIT :Changing host < 1543470993 594320 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1543477671 522158 :user24!~user24@p200300886901CD006CF4EE9732908329.dip0.t-ipconnect.de QUIT :Quit: Leaving < 1543479564 691769 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1543479576 799423 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1543481178 285614 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 245 seconds < 1543483938 855821 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1543483938 944145 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1543483938 944196 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1543484578 280403 :b_jonas!~x@catv-176-63-24-214.catv.broadband.hu QUIT :Quit: leaving < 1543484664 1046 :xkapastel!uid17782@gateway/web/irccloud.com/x-rwkgxtrtidxqfpkd JOIN :#esoteric < 1543488338 499664 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1543490772 949711 :arseniiv!~arseniiv@95.105.12.19.dynamic.ufanet.ru JOIN :#esoteric < 1543494799 947663 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1543495028 580896 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :In M:tG, MaRo wrote a two-parter article about how the Arabian Nights plane and various other older planes are now completely closed off and M:tG won't return to them. Little does he know that he's already lost. Even if those planes have been closed off, Dominaria is by now infested with sea serpents, cloud efreets, djinns, air elementals, and best < 1543495028 700342 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric : of all, demons to sell my soul to. < 1543495174 966361 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Sea monsters live on despite that M:tG tried to kill them off by not printing color-hoser cards, such as islandwalk and islandhome. Demons live on despite that Wizards once tried to kill them off because of cultural concerns on the east asian markets, and once tried to kill them off because of power level combinations. Dark Ritual and Sol Ring are < 1543495175 104241 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :not Modern-legal, yet Wizards keeps reprinting them. < 1543495308 217972 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :And for the lower rank members of our air force, I'm joined 1/1 flying sprites for {B} and for {G}, and we even managed to corrupt the fairies of Lorwyn to join our cause. < 1543496729 155992 :jpag_!d498b372@gateway/web/freenode/ip.212.152.179.114 JOIN :#esoteric < 1543496739 806967 :jpag_!d498b372@gateway/web/freenode/ip.212.152.179.114 PRIVMSG #esoteric :hello! < 1543496894 476150 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :s/\{B\} and for \{G\}/$& and birds for {W}/ < 1543497074 624093 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :`welcome jpag_ < 1543497075 862350 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :jpag_: 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.) < 1543497440 583603 :jpag_!d498b372@gateway/web/freenode/ip.212.152.179.114 QUIT :Quit: Page closed < 1543500027 385949 :doesthiswork!~Adium@131.191.115.81 JOIN :#esoteric < 1543503303 695559 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Did they fix youtube, or was it never in a state where you could get control-M to simultanously toggle the browser's mute tab switch and the youtube player's mute switch and they could be in opposite phases? < 1543504085 316273 :hexfive!~hexfive@50-46-223-124.evrt.wa.frontiernet.net QUIT :Quit: WeeChat 2.2 < 1543506537 524364 :sleepnap!~thomas@2603:3015:260e:1900::13ed JOIN :#esoteric < 1543507417 492846 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1543510649 769030 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com QUIT :Quit: Leaving. < 1543510723 738031 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com JOIN :#esoteric < 1543512369 569718 :Hooloovo0!Hooloovoo@hooloovoo.blue QUIT :Ping timeout: 252 seconds < 1543512669 247756 :Hoolootwo!Hooloovoo@hooloovoo.blue JOIN :#esoteric < 1543512945 690256 :b_jonas!~x@catv-176-63-24-110.catv.broadband.hu JOIN :#esoteric < 1543514034 545431 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 250 seconds < 1543514086 467540 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 250 seconds < 1543514100 526751 :Lord_of_Life!~Lord@46.217.58.203 JOIN :#esoteric < 1543514100 715726 :Lord_of_Life!~Lord@46.217.58.203 QUIT :Changing host < 1543514100 715766 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1543515344 536251 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1543515367 442125 :imode!~imode@unaffiliated/imode QUIT :Client Quit < 1543515385 799959 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1543515889 847010 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1543515925 787390 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1543520827 975342 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1543521387 495939 :john_metcalf!~digital_w@host109-149-154-37.range109-149.btcentralplus.com JOIN :#esoteric < 1543523039 286670 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1543524277 847896 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Check-in 684013cef6 of SQLite adds a feature (not released yet) that now in the xBestIndex method for virtual tables there is the possibility to specify that the constraints are unusable, without using the messy way that was previously used. < 1543525505 634742 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer < 1543525517 186194 :Lord_of_Life!~Lord@46.217.58.203 JOIN :#esoteric < 1543525517 275906 :Lord_of_Life!~Lord@46.217.58.203 QUIT :Changing host < 1543525517 275971 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1543526115 756469 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zzo38: Nthern complains on the wiki that the capuirequiem implementation link is dead < 1543526826 177467 :b_jonas!~x@catv-176-63-24-110.catv.broadband.hu PRIVMSG #esoteric :zzo38: edit all your virtual table impls to do that conditionally in new versions then! > 1543527513 573350 PRIVMSG #esoteric :14[[07Capuirequiem14]]4 10 02https://esolangs.org/w/index.php?diff=58513&oldid=33861 5* 03Zzo38 5* (+31) 10Broken link < 1543527546 537008 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :b_jonas: Once it is released, then I will make it to use that (at least for the virtual tables where this is applicable; in some cases, any set of constraints is usable) < 1543527592 642062 :b_jonas!~x@catv-176-63-24-110.catv.broadband.hu PRIVMSG #esoteric :zzo38: yeah, it might be better to wait for a release < 1543527625 602003 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Before it is released anything could be changed anyways < 1543527646 519399 :b_jonas!~x@catv-176-63-24-110.catv.broadband.hu PRIVMSG #esoteric :code it now in a branch so you can push it out soon after the release :-) < 1543527783 97431 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I do not really intend to; I will just wait until it is released to change my programs < 1543527796 714014 :b_jonas!~x@catv-176-63-24-110.catv.broadband.hu PRIVMSG #esoteric :ok < 1543528230 404748 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1543529453 986946 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :yet another meeting spending the first half hour trying to resolve shitty meeting software < 1543529471 426485 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So in linear logic, you can go from a multiplicative connective to its respective additive connective? < 1543529480 452222 :b_jonas!~x@catv-176-63-24-110.catv.broadband.hu PRIVMSG #esoteric :oren: hehe. is it videoconferencing? < 1543529525 65078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So from A ⊗ B to A ⅋ B, and from A ⊕ B to A & B < 1543529537 87005 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :b_jonas: I don't know if it's google meet having a problem, or soemthing else, but I can't see anything or hear anything < 1543529557 611389 :b_jonas!~x@catv-176-63-24-110.catv.broadband.hu PRIVMSG #esoteric :oren: I'll rephrase. is it supposed to be videoconferencing? < 1543529634 251125 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :it is supposed to be, but there's no video, and no audio < 1543529665 710679 :b_jonas!~x@catv-176-63-24-110.catv.broadband.hu PRIVMSG #esoteric :oren: how many people supposed to be on the meeting, and how many different sites? < 1543529957 899962 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :all hand meeting < 1543529969 329836 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :everyone in like 5 different countries < 1543530033 70820 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Uh, no, I mean from the conjunction to the disjunction. < 1543530564 282552 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :@metar SNU < 1543531121 846221 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1543531624 776426 :aloril_!~aloril@mobile-access-5d6a9e-141.dhcp.inet.fi JOIN :#esoteric < 1543531787 383608 :aloril!~aloril@mobile-access-bceeeb-225.dhcp.inet.fi QUIT :Ping timeout: 240 seconds < 1543533844 143473 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :b_jonas: meeting is over. I asked somebody else and apparently nothing important was said < 1543533871 834067 :b_jonas!~x@catv-176-63-24-110.catv.broadband.hu PRIVMSG #esoteric :oren: so, normal meeting. ok. < 1543535081 867137 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1543535095 978135 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1543535180 653719 :sleepnap!~thomas@2603:3015:260e:1900::13ed PART :#esoteric < 1543535367 806493 :b_jonas!~x@catv-176-63-24-110.catv.broadband.hu PRIVMSG #esoteric :OEIS is now over 322000 sequences? wow! I remember the 100000 celebrations < 1543535383 358144 :b_jonas!~x@catv-176-63-24-110.catv.broadband.hu PRIVMSG #esoteric :if it keeps growing, the sequence numbers may yet overflow six digits