00:00:05 <shachaf> I can think of some ways it might be confusing but did you have anything in particular in mind?
00:00:57 <b_jonas> shachaf: no. I'm not saying that
00:02:13 <b_jonas> 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.
00:02:32 <b_jonas> I'm also not saying it would be good, I just don't know
00:02:50 <shachaf> Oh, I agree. So it should be an error to throw away members.
00:07:11 <shachaf> 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.
00:07:15 <b_jonas> 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.
00:07:48 <shachaf> I don't see a point in C++-style inheritance.
00:08:12 <b_jonas> its' good for some things, but is often abused, and it's not clear how useful it is really
00:08:30 <shachaf> I think there are better alternatives probably but that's a separate discussion.
00:09:14 <b_jonas> but if you do want C++-like inheritence, then I think you also want implicit cast of references towards supertypes, when unambiguously possible
00:09:41 <shachaf> Sure, there might be cases where you want implicit casts.
00:10:03 <shachaf> But that's not the thing I'm talking about here.
00:10:25 <shachaf> It seems much trickier and easy to make confusing.
00:15:01 -!- tromp has quit (Remote host closed the connection).
00:15:39 -!- tromp has joined.
00:24:16 -!- imode has joined.
01:42:59 -!- user24 has joined.
01:52:53 -!- Vorpal has quit (Ping timeout: 246 seconds).
02:28:49 -!- olsner has quit (Ping timeout: 268 seconds).
02:40:23 -!- Vorpal has joined.
02:46:04 -!- olsner has joined.
03:41:41 -!- xkapastel has quit (Quit: Connection closed for inactivity).
04:48:04 -!- viccm has joined.
04:48:52 -!- viccm has left.
05:10:00 -!- doesthiswork has quit (Quit: Leaving.).
05:52:53 -!- Lord_of_Life has quit (Ping timeout: 244 seconds).
05:56:33 -!- Lord_of_Life has joined.
05:56:33 -!- Lord_of_Life has quit (Changing host).
05:56:33 -!- Lord_of_Life has joined.
07:47:51 -!- user24 has quit (Quit: Leaving).
08:19:24 -!- tromp has quit (Remote host closed the connection).
08:19:36 -!- tromp has joined.
08:46:18 -!- imode has quit (Ping timeout: 245 seconds).
09:32:18 -!- Phantom_Hoover has joined.
09:32:18 -!- Phantom_Hoover has quit (Changing host).
09:32:18 -!- Phantom_Hoover has joined.
09:42:58 -!- b_jonas has quit (Quit: leaving).
09:44:24 -!- xkapastel has joined.
10:45:38 -!- Phantom_Hoover has quit (Remote host closed the connection).
11:26:12 -!- arseniiv has joined.
12:33:19 -!- wob_jonas has joined.
12:37:08 <wob_jonas> 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
12:37:08 <wob_jonas> of all, demons to sell my soul to.
12:39:34 <wob_jonas> 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
12:39:35 <wob_jonas> not Modern-legal, yet Wizards keeps reprinting them.
12:41:48 <wob_jonas> 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.
13:05:29 -!- jpag_ has joined.
13:08:14 <wob_jonas> s/\{B\} and for \{G\}/$& and birds for {W}/
13:11:15 <HackEso> jpag_: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <https://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
13:17:20 -!- jpag_ has quit (Quit: Page closed).
14:00:27 -!- doesthiswork has joined.
14:55:03 <wob_jonas> 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?
15:08:05 -!- hexfive has quit (Quit: WeeChat 2.2).
15:48:57 -!- sleepnap has joined.
16:03:37 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
16:57:29 -!- joast has quit (Quit: Leaving.).
16:58:43 -!- joast has joined.
17:26:09 -!- Hooloovo0 has quit (Ping timeout: 252 seconds).
17:31:09 -!- Hoolootwo has joined.
17:35:45 -!- b_jonas has joined.
17:53:54 -!- zzo38 has quit (Ping timeout: 250 seconds).
17:54:46 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
17:55:00 -!- Lord_of_Life has joined.
17:55:00 -!- Lord_of_Life has quit (Changing host).
17:55:00 -!- Lord_of_Life has joined.
18:15:44 -!- imode has joined.
18:16:07 -!- imode has quit (Client Quit).
18:16:25 -!- imode has joined.
18:24:49 -!- tromp has quit (Remote host closed the connection).
18:25:25 -!- tromp has joined.
19:47:07 -!- oerjan has joined.
19:56:27 -!- john_metcalf has joined.
20:23:59 -!- zzo38 has joined.
20:44:37 <zzo38> 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.
21:05:05 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
21:05:17 -!- Lord_of_Life has joined.
21:05:17 -!- Lord_of_Life has quit (Changing host).
21:05:17 -!- Lord_of_Life has joined.
21:15:15 <oerjan> zzo38: Nthern complains on the wiki that the capuirequiem implementation link is dead
21:27:06 <b_jonas> zzo38: edit all your virtual table impls to do that conditionally in new versions then!
21:38:33 <esowiki> [[Capuirequiem]] https://esolangs.org/w/index.php?diff=58513&oldid=33861 * Zzo38 * (+31) Broken link
21:39:06 <zzo38> 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)
21:39:52 <b_jonas> zzo38: yeah, it might be better to wait for a release
21:40:25 <zzo38> Before it is released anything could be changed anyways
21:40:46 <b_jonas> code it now in a branch so you can push it out soon after the release :-)
21:43:03 <zzo38> I do not really intend to; I will just wait until it is released to change my programs
21:50:30 -!- oerjan has quit (Quit: Nite).
22:10:53 <oren> yet another meeting spending the first half hour trying to resolve shitty meeting software
22:11:11 <shachaf> So in linear logic, you can go from a multiplicative connective to its respective additive connective?
22:11:20 <b_jonas> oren: hehe. is it videoconferencing?
22:12:05 <shachaf> So from A ⊗ B to A ⅋ B, and from A ⊕ B to A & B
22:12:17 <oren> 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
22:12:37 <b_jonas> oren: I'll rephrase. is it supposed to be videoconferencing?
22:13:54 <oren> it is supposed to be, but there's no video, and no audio
22:14:25 <b_jonas> oren: how many people supposed to be on the meeting, and how many different sites?
22:19:17 <oren> all hand meeting
22:19:29 <oren> everyone in like 5 different countries
22:20:33 <shachaf> Uh, no, I mean from the conjunction to the disjunction.
22:38:41 -!- Phantom_Hoover has joined.
22:47:04 -!- aloril_ has joined.
22:49:47 -!- aloril has quit (Ping timeout: 240 seconds).
23:24:04 <oren> b_jonas: meeting is over. I asked somebody else and apparently nothing important was said
23:24:31 <b_jonas> oren: so, normal meeting. ok.
23:44:41 -!- tromp has quit (Remote host closed the connection).
23:44:55 -!- tromp has joined.
23:46:20 -!- sleepnap has left.
23:49:27 <b_jonas> OEIS is now over 322000 sequences? wow! I remember the 100000 celebrations
23:49:43 <b_jonas> if it keeps growing, the sequence numbers may yet overflow six digits