Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Anonymous posts: concluding remarks


view this post on Zulip Email Gateway (Aug 22 2022 at 21:08):

From: mailing-list anonymous <mailing.list.anonymous@gmail.com>
Dear All,

I would like to thank everyone who replied to the previous thread that I
started both in private and in public (
https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2019-December/msg00010.html).
I realized that, perhaps, it was, indeed, wrong of me (purely from the
perspective of the lack of social awareness) to post using an anonymous
email address on this list. Most certainly, I did not mean to offend
anyone. Moreover, I never intended to become an oddity for which exceptions
have to be made. When I registered this email address, I was still under
the impression that the Isabelle project is significantly bigger than it
appeared to be. At the time I thought that just like almost any other
science/mathematics forum this mailing list would be inhabited by other
regular anonymous/pseudonymous posters. However, by now, I understood that
there exists a culture that is based on personal acquaintance and, as such,
anonymous posts are an uncommon occurrence.

I still do not consider it to be an option to post under my real name
because I believe that such posts could have a negative and long-lasting
effect on my career and personal life. Nevertheless, I will cease to post
on this list from this email address. If I will ever feel a great need to
ask something on the list, most likely, I will do so under a human
pseudonym, as suggested by several regular users of the list, including
Makarius Wenzel. It is not unlikely that this email address will be
deregistered in the near future.

Thank you

view this post on Zulip Email Gateway (Aug 22 2022 at 21:08):

From: "Klein, Gerwin (Data61, Kensington NSW)" <Gerwin.Klein@data61.csiro.au>

On 5 Dec 2019, at 10:53, mailing-list anonymous <mailing.list.anonymous@gmail.com> wrote:
[..]
I still do not consider it to be an option to post under my real name
because I believe that such posts could have a negative and long-lasting
effect on my career and personal life. Nevertheless, I will cease to post
on this list from this email address. If I will ever feel a great need to
ask something on the list, most likely, I will do so under a human
pseudonym, as suggested by several regular users of the list, including
Makarius Wenzel.
[..]

The pseudonym seems to be a way everyone can live with, and I hope we can welcome you back in new form. The only objection anyone has raised (that I’m aware of) was the anonymous form, never against your person or contributions.

Cheers,
Gerwin

view this post on Zulip Email Gateway (Aug 22 2022 at 21:08):

From: Yakoub Nemouchi <y.nemouchi@gmail.com>
Should I infer from those conclusions that: society of 2019 fears
management and try to hide behind pseudonyms to not affect their personal
career!
It is a very interesting side effect!

Does this mean that in 2019, if someone publicly try to reason about a
problem, even if it is a very technical problem, and his reasoning is
"wrong" or "not complete" he is severely punished by the management
strategies of 2019?
Namely, managers do not believe anymore that "Any human has the ability to
learn and move forward!" ?
Does this mean, if someone uses his brain to reason publicly about
something in 2019, even if it is a very technical thingy, he is punished
for that?
I am interested by this side effect! And I will take those conclusions
seriously!

Note the very technical content of this mailing list, which I assumed to
immune the users from the recent management strategies(which I do not agree
with in most cases, since it contradicts the definition of experimental
science most of the time)!

(Nothing against anonymous here! I had this conclusion 1 and half year ago,
that recent management strategies will lead to a cataclysm in academia, and
there we are!)

Best wishes,

Yakoub.


Last updated: Apr 23 2024 at 20:15 UTC