Re: [agi] AI and Deep Learning Group on Telegram

[Junyan Xu]

Zulip team chat <https://github.com/zulip/zulip#getting-started> is open source 
(login but no installation required) and apparently offers free hosting for 
open source projects <https://zulipchat.com/for/open-source/>. The Lean prover 
community <https://github.com/leanprover-community/mathlib> uses Zulip 
<https://leanprover.zulipchat.com/> for collaborative mathematical proof 
engineering, and made the chat history available as an archive 
<https://leanprover-community.github.io/archive/>.
------------------------------------------
Artificial General Intelligence List: AGI
Permalink: 
https://agi.topicbox.com/groups/agi/T1e60c6789e8fb401-Mc5fe4b24654b15b9e862ca53
Delivery options: https://agi.topicbox.com/groups/agi/subscription