Thread overview
[phobos] Anyone wants to receive github messages here?
December 07
All of those github mails seem to make the mailing list almost unusable.

Of course anyone can setup mail filters, but that doesn't fix the forum/archive views and requires manual action.

Since it's possible to have personal github notification settings, I hardly see any use-case for posting GH commit messages and such to the mailing-list. Anyone disagrees with disabling them?

-Martin




December 07
Yes please. -- Andrei

On 12/07/2016 08:28 AM, Martin Nowak via phobos wrote:
> All of those github mails seem to make the mailing list almost unusable.
>
> Of course anyone can setup mail filters, but that doesn't fix the
> forum/archive views and requires manual action.
>
> Since it's possible to have personal github notification settings, I
> hardly see any use-case for posting GH commit messages and such to the
> mailing-list. Anyone disagrees with disabling them?
>
> -Martin
>
>
>
>
> _______________________________________________
> phobos mailing list
> phobos@puremagic.com
> http://lists.puremagic.com/mailman/listinfo/phobos
>
_______________________________________________
phobos mailing list
phobos@puremagic.com
http://lists.puremagic.com/mailman/listinfo/phobos
December 07
You, sir, are employing a double negative! Andrei, I presume you meant "no, I don't disagree with disabling them", with a fine use of quadruple negatives.

On 12/7/2016 5:39 AM, Andrei Alexandrescu via phobos wrote:
> Yes please. -- Andrei
>
> On 12/07/2016 08:28 AM, Martin Nowak via phobos wrote:
>> Anyone disagrees with disabling them?
_______________________________________________
phobos mailing list
phobos@puremagic.com
http://lists.puremagic.com/mailman/listinfo/phobos
December 07
Oh you're right. In my defense, in Romanian and a few other languages, double negation counts as a negation. In vernacular English as well, I should add: "Ain't nobody got time for that!"

So what I meant was... I'm fine with disabling the notifications.

Andrei

On 12/07/2016 09:03 AM, Walter Bright via phobos wrote:
> You, sir, are employing a double negative! Andrei, I presume you meant
> "no, I don't disagree with disabling them", with a fine use of quadruple
> negatives.
>
> On 12/7/2016 5:39 AM, Andrei Alexandrescu via phobos wrote:
>> Yes please. -- Andrei
>>
>> On 12/07/2016 08:28 AM, Martin Nowak via phobos wrote:
>>> Anyone disagrees with disabling them?
> _______________________________________________
> phobos mailing list
> phobos@puremagic.com
> http://lists.puremagic.com/mailman/listinfo/phobos
_______________________________________________
phobos mailing list
phobos@puremagic.com
http://lists.puremagic.com/mailman/listinfo/phobos
December 07
On Wednesday, December 07, 2016 14:28:55 Martin Nowak via phobos wrote:
> All of those github mails seem to make the mailing list almost unusable.
>
> Of course anyone can setup mail filters, but that doesn't fix the forum/archive views and requires manual action.
>
> Since it's possible to have personal github notification settings, I hardly see any use-case for posting GH commit messages and such to the mailing-list. Anyone disagrees with disabling them?

I definitely like having them, because it makes it clear when something has been merged, which isn't really the case with github's notifications (not without reading them all individually anyway), and in that respect, I'm annoyed that the dmd list stopped getting notifications. So, maybe I'm in the minority, but I will miss these notifications if they go away.

That being said, enough folks have complained about them that I expect that you're going to stop them unless someone has a really strong reason why they should be kept - particularly since no one seems to want to use these lists for discussions when github is pasting to them (though I don't really see any reason why they couldn't; the traffic is low enough that I don't really agree that they'd be in the way; I think that it's more of a psychological thing than a practical problem).

 Jonathan M Davis

_______________________________________________
phobos mailing list
phobos@puremagic.com
http://lists.puremagic.com/mailman/listinfo/phobos
December 07
On 12/07/2016 10:29 PM, Jonathan M Davis wrote:
> I definitely like having them, because it makes it clear when something has been merged, which isn't really the case with github's notifications (not without reading them all individually anyway), and in that respect, I'm annoyed that the dmd list stopped getting notifications. So, maybe I'm in the minority, but I will miss these notifications if they go away.
As an alternative, you can enable github notifications for a repo and mails for notifications, see https://github.com/settings/notifications. You'll receive mails like this.

Merged #684 <https://github.com/D-Programming-Language/dlang.org/pull/684>.

—
Reply to this email directly or view it on GitHub
<https://github.com/D-Programming-Language/dlang.org/pull/684#event-186444180>.


-Martin



December 07
On Wednesday, December 07, 2016 23:39:37 Martin Nowak via phobos wrote:
> On 12/07/2016 10:29 PM, Jonathan M Davis wrote:
> > I definitely like having them, because it makes it clear when something has been merged, which isn't really the case with github's notifications (not without reading them all individually anyway), and in that respect, I'm annoyed that the dmd list stopped getting notifications. So, maybe I'm in the minority, but I will miss these notifications if they go away.
> As an alternative, you can enable github notifications for a repo and mails for notifications, see https://github.com/settings/notifications. You'll receive mails like this.
>
> Merged #684 <https://github.com/D-Programming-Language/dlang.org/pull/684>.

I know. I already do. But they're then mixed in with all of the other e-mails from github and associated with whatever pull request they went with. With the druntime and phobos lists (and the dmd list previously), all of the merge commits are nicely laid out for you, and they don't get lost in the noise of all of the rest of the github stuff.

I can certainly live with the druntime and phobos list not getting e-mails if you really want to stop them, but I do think that they're nice to have.

- Jonathan M Davis

_______________________________________________
phobos mailing list
phobos@puremagic.com
http://lists.puremagic.com/mailman/listinfo/phobos
December 07
Nah, vernacular English be like:

    "Ain't nobody got no time for that!"

Multiple negations in English tend to emphasize negation rather than negate it.

On a programming note, I do try to adjust symbol names and conditionals to not use negation, and

    version (!Feature)

is deliberately not supported :-)

This is because of cognitive problems humans have with negation, and of course the natural language ambiguities with it.

On 12/7/2016 7:56 AM, Andrei Alexandrescu wrote:
> Oh you're right. In my defense, in Romanian and a few other languages, double
> negation counts as a negation. In vernacular English as well, I should add:
> "Ain't nobody got time for that!"
>
> So what I meant was... I'm fine with disabling the notifications.
>
> Andrei
>
> On 12/07/2016 09:03 AM, Walter Bright via phobos wrote:
>> You, sir, are employing a double negative! Andrei, I presume you meant
>> "no, I don't disagree with disabling them", with a fine use of quadruple
>> negatives.
>>
>> On 12/7/2016 5:39 AM, Andrei Alexandrescu via phobos wrote:
>>> Yes please. -- Andrei
>>>
>>> On 12/07/2016 08:28 AM, Martin Nowak via phobos wrote:
>>>> Anyone disagrees with disabling them?
_______________________________________________
phobos mailing list
phobos@puremagic.com
http://lists.puremagic.com/mailman/listinfo/phobos
December 09
On Dec 08, 2016, at 02:01 AM, Walter Bright via phobos <phobos@puremagic.com> wrote:

On a programming note, I do try to adjust symbol names and conditionals to not use negation, and

version (!Feature)

is deliberately not supported :-)

You mean:

version (!!DisableFeature)

:)

Or my favorite from Ruby:

unless not !foo
  # some code
end unless not !foo

:D

--
/Jacob Carlborg