Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: Gabriel Scherer <gabriel...@gmail.com>
To: Bas Spitters <b.a.w...@gmail.com>
Cc: homotopytypetheory <homotopyt...@googlegroups.com>
Subject: Re: [HoTT] HoTT Zullip
Date: Sat, 4 Apr 2020 15:23:05 +0200	[thread overview]
Message-ID: <CAPFanBFJs6WOd1B+72paZXX2BZoZhwUZe1QXJ4KBx3+-ZrW+Uw@mail.gmail.com> (raw)
In-Reply-To: <CAOoPQuR1122qqUvjkqG=8MU444WpTCf4g8eZtHa4qV_j3YkmXQ@mail.gmail.com>

[-- Attachment #1: Type: text/plain, Size: 1313 bytes --]

Hi Bas (and list),

(I'm interested in this topic given that my research group recently started
using Zulip to replace the corona-forbidden coffee room. Keeping the list
in cc: in case others would be as well.)

I see that you are using Zulip's centralized hosting rather than
self-hosting. The free plan comes with a hard limit on the retained message
history; that was no problem for our virtual coffee room, but it would be a
shame for valuable HoTT discussions. Are you using the free plan? If not,
are you just paying for the community out of pocket? (Zulip advertises that
they offer discounts for academic users.)

On Wed, Apr 1, 2020 at 3:10 PM Bas Spitters <b.a.w...@gmail.com>
wrote:

> With Johan Commelin we started a HoTT bulletin board.
> The interaction is a bit faster than using a mailing-list.
> People seem to be enjoying it:
> https://hott.zulipchat.com/
>
> --
> You received this message because you are subscribed to the Google Groups
> "Homotopy Type Theory" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to HomotopyT...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/HomotopyTypeTheory/CAOoPQuR1122qqUvjkqG%3D8MU444WpTCf4g8eZtHa4qV_j3YkmXQ%40mail.gmail.com
> .
>

[-- Attachment #2: Type: text/html, Size: 1980 bytes --]

  reply	other threads:[~2020-04-04 13:23 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-04-01 13:10 Bas Spitters
2020-04-04 13:23 ` Gabriel Scherer [this message]
2020-04-17  6:03   ` [HoTT] " Bas Spitters

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAPFanBFJs6WOd1B+72paZXX2BZoZhwUZe1QXJ4KBx3+-ZrW+Uw@mail.gmail.com \
    --to="gabriel..."@gmail.com \
    --cc="b.a.w..."@gmail.com \
    --cc="homotopyt..."@googlegroups.com \
    --subject='Re: [HoTT] HoTT Zullip' \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).