[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: On raw strings in <origin> commit field
From: |
Mark H Weaver |
Subject: |
Re: On raw strings in <origin> commit field |
Date: |
Tue, 04 Jan 2022 18:42:40 -0500 |
Hi Liliana,
Liliana Marie Prikler <liliana.prikler@gmail.com> writes:
> Am Montag, dem 03.01.2022 um 18:14 -0500 schrieb Mark H Weaver:
>>
>> > If you are talking specifically about the uncountability of real
>> > numbers, that'd be quite deep down (as in an uncountability of push
>> > actions to a particular Git repo, particularly if we also allow
>> > reinitialization).
>>
>> Hmm. I think that the set of push actions to a particular Git repo
>> is countable, even if we allow reinitialization. What makes you
>> think that it's uncountable? I'd be very curious to see your
>> argument for that.
> I can always add another by force-pushing a tree with a single commit,
> garbage collecting and then pushing regular commits on top, which
> should be able to reuse previously existing hashes. Even if not, since
> we identify a repo by URL, I could ask the forge to delete it and then
> push a completely reinitialized repo under the same name.
Sorry, but this is not even close to a valid argument that the set of
possible push actions to a Git repo is uncountable. In fact, it's quite
easy to prove that the set is countable. Any mathematician will know this.
I'll also note that the Cantor-style diagonalization argument, which you
have repeatedly claimed to have, is still nowhere to be found. To make
matters worse, you gaslit me earlier by claiming that I was failing to
see it in your earlier message, when it's clearly not there. If you
have such an argument, you're apparently unwilling to share it with us.
Mark
--
Disinformation flourishes because many people care deeply about injustice
but very few check the facts. Ask me about <https://stallmansupport.org>.
- Re: On raw strings in <origin> commit field, Mark H Weaver, 2022/01/01
- Re: On raw strings in <origin> commit field, Liliana Marie Prikler, 2022/01/01
- Re: On raw strings in <origin> commit field, Mark H Weaver, 2022/01/01
- Re: On raw strings in <origin> commit field, Liliana Marie Prikler, 2022/01/01
- Re: On raw strings in <origin> commit field, Mark H Weaver, 2022/01/02
- Re: On raw strings in <origin> commit field, Liliana Marie Prikler, 2022/01/03
- Re: On raw strings in <origin> commit field, Mark H Weaver, 2022/01/03
- Re: On raw strings in <origin> commit field, Liliana Marie Prikler, 2022/01/04
- Re: On raw strings in <origin> commit field,
Mark H Weaver <=
- Re: On raw strings in <origin> commit field, Mark H Weaver, 2022/01/05
- Re: On raw strings in <origin> commit field, Liliana Marie Prikler, 2022/01/05
- Re: On raw strings in <origin> commit field, Mark H Weaver, 2022/01/06
- Re: On raw strings in <origin> commit field, Liliana Marie Prikler, 2022/01/06
- Re: On raw strings in <origin> commit field, zimoun, 2022/01/02
- Re: On raw strings in <origin> commit field, Liliana Marie Prikler, 2022/01/02
- Re: On raw strings in <origin> commit field, zimoun, 2022/01/03
- Re: On raw strings in <origin> commit field, Liliana Marie Prikler, 2022/01/03
- Re: On raw strings in <origin> commit field, zimoun, 2022/01/03
- Re: On raw strings in <origin> commit field, Liliana Marie Prikler, 2022/01/03