> On 12. Jul 2020, at 22:07, Miles Fidelman <[email protected]> wrote:
>
> Well, as a user, I kind of find that the move to a github discussion is not
> at all helpful. Email lists are a time-proven mechanism - why break what
> ain't broke.
This mailing list isn’t going anywhere.
Best
Jan
—
>
> Miles Fidelman
>
> On 7/12/20 3:43 PM, Kiril Stankov wrote:
>> Hi,
>>
>> I see that some topics on the list are not in the github discussions and
>> vice versa?
>>
>> Shall we all consider the mailing list obsolete and move to github?
>>
>> Is there a way to get summaries from github or other kind of
>> notifications by email?
>>
>> Cheers,
>>
>> Kiril.
>
> --
> In theory, there is no difference between theory and practice.
> In practice, there is. .... Yogi Berra
>
> Theory is when you know everything but nothing works.
> Practice is when everything works but no one knows why.
> In our lab, theory and practice are combined:
> nothing works and no one knows why. ... unknown
>
