krzyż @krzyz@qoto.org

@robryk I think that's what I meant? I don't necessarily see an alternative interpretation at this moment.

@nomi @timorl

@robryk @nomi @timorl

We have far better guarantees that a person that is currently sleeping will be a conscious person in the (very) near future, than a person who haven't even done into existence yet. Similarly, fictional characters are much less sure to exist in the future than "real"people that simply haven't been born yet.

@timorl I've had a lot of fun playing fighting games just by mashing buttons at an even older age so I can see the appeal for young kids. There's also a very high skill ceiling if someone decides to get serious, Skullgirls is pretty well designed from what I remember (plus there are a lot of similar games to choose from, like Guilty Gear, BlazBlue and Under Night: in-Birth series).

If you're looking for other colorful, split-screen multiplayer, easy to play (or not? I haven't been 4-6 y.o. in a long time xD) games, there's also Runbow (I remember that one from Wii U times, but I see it's available on steam as well).

@derickflorian Thanks and happy halloween :)

I carved a pumpkin for a #halloween party at my friends' new place, I am quite happy with the result. (Design is related to Outer Wilds game, which I heartily recommend, one of the best single player gaming experiences I've had.)

@timorl @barefootstache @kohelet
Would it be a pessimistic thing to do (within the constraints of the model) to believe that this model describes the real world accurately enough to base our actions on it?

@Placholdr @eqyo
Oops looks like qoto latex rendering doesn't like my formulas, I either get "[Math Processing Error]" or the subscripts explode in size. @freemo, do you know if that's a bug or a limitation of latex rendering here? (Or have I made some typo?)

@Placholdr @eqyo

Alternative solution would be a proof by induction. Depending on n, there are two distinct cases: either \( p_n = p_{n-1} -1 \) and \( q_n = q_{n-1} + 1 \) ["inside" the subsequence], or \( p_n = q_{n-1} + 1 \) and \( q_{n} = p_{n-1} = 1 \) [at the "edge" between two subsequences].

It's easy to check that in both of those cases, from the assumption \( n-1 = f(p_{n-1}, q_{n-1}) \) it follows that \( n = (n-1) + 1 = f(p_n, q_n) \) (and of course for n=1 the formula works as well).

@robryk I think I've found the answer in this issue discussion: https://github.com/tower-rs/tower/issues/412. Looks like tower maintainers have no bandwidth for this change and would like to use GATs for implementation anway.

BTW, I've been seeing quite a few concerns related to stabilizing GATs in their current form recently (see e.g. here: https://github.com/rust-lang/rust/pull/96709#issuecomment-1118275010), so they might be further off than initially expected.

I have just recently come across this comment written by David Deutsch: https://www.daviddeutsch.org.uk/many-minds-interpretations-of-quantum-mechanics/. It provides a good summary of Deutsch's views on the ontology of quantum mechanics (and the many-worlds interpretation in particular) and I think it is as relevant now as it was in 1996.