Page MenuHomeIsabelle/Phabricator

Evaluate https://discourse.org as replacement for mailman, stackoverflow
Open, LowPublic

Description

Mailman used to be standard some decades ago, but fresh users don't know how to work with it. Other software-as-a-service providers try to assimilate users on their own account, e.g. stackoverflow.

Various high-end projects now have a self-hosted instance of https://discourse.org to make the best out of old and new traditions.

Is it feasible to use it as a replacement for Mailman mailing lists, issue trackers, and fancy games like zulip at the same time?

Example: https://discourse.phabricator-community.org

Event Timeline

makarius triaged this task as Low priority.Jan 12 2020, 4:14 PM
makarius created this task.
makarius updated the task description. (Show Details)Jan 12 2020, 4:18 PM
makarius updated the task description. (Show Details)
makarius updated the task description. (Show Details)

See also https://matrix.org "An open network for secure, decentralized communication"

Zulipchat (https://zulipchat.com/) is a chat service that has an interactive eMail-like threading model. Content is formatted in markdown complete with code formatting and more. With its filter mechanisms, one can easily concentrate on single threads or mute threads that one is no longer interested in. Since Zulipchat is open-source, it is possible to self-host it and use a variety of authentication schemes (https://zulip.readthedocs.io/en/stable/production/authentication-methods.html).

The Lean community is successfully using Zulipchat and users of Lean cited the accessibility of the chat rooom as a reason for deciding to use Lean in the first place (https://leanprover-community.github.io/papers/mathlib-paper.pdf).

makarius renamed this task from Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip to Evaluate https://discourse.org as replacement for mailman, stackoverflow.Tue, Feb 18, 9:08 PM
makarius updated the task description. (Show Details)