From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a05:6102:909:: with SMTP id x9mr9525704vsh.192.1586006623636; Sat, 04 Apr 2020 06:23:43 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ab0:130f:: with SMTP id g15ls791900uae.9.gmail; Sat, 04 Apr 2020 06:23:42 -0700 (PDT) X-Received: by 2002:ab0:23c6:: with SMTP id c6mr5222266uan.116.1586006622123; Sat, 04 Apr 2020 06:23:42 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1586006622; cv=none; d=google.com; s=arc-20160816; b=AWw+gNEST4cbbI4n/vgzGJ0v8Voks9p9FWU1d5L2EYzNUVCqUm4nQn1dbUqbygG3CJ /WtTU54Bl+MMXRC6m8q5DQRfwYc7hjbTkbAtajrI1aXxZOnvtDDYt7iqJv7Xhx35h8YI um9Yq7/dyqgWJFXleNhIbsbljduSDMZnW37AZ1rXgdMc8xv/b/wRBI0fvLCdKyzY+2/z d5OnMQuS4qDjv4lngJxt488RsmUlFqAItKb1OE6wFZpnvQaNv2QU8CIGy4DIaYIzuks7 L+9kvF5VEzUxftFGnCkowfvPucFpz6YpqvLBaeGKtX3IFgO6sPButZMr1JXLiyGOfHBg lPIA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:dkim-signature; bh=puYCpF7Y1t5mEERVk4NZjOTrf8OY/u079Wu34e25ZD0=; b=H/jsLbOK0zZCohZxFzMm5kA9SO/aCkHZpj/KkZ9mEi77PF+dqr0Tx70Lz9oiJ0YcIC ywvOctQmL/F5JDQRSJm0J0GRnckuB772ym2Jwg3FiK+2z9rDDLkbgtGXTPE1vFZyVctj fzPgDdEcKHYe2H30wzaVZPUb0D119zBb7wUGCapmyyKRr5GNvgkpu6Zb+ehuGFRt8Wc8 g5WjDoptm/DnyVenvuYxfx3y8ZV/KP213guudx33Q03flhZJxlNd9xSuPpNcQNpqnErU W5r9UQ4riHcYFHOpnv4FkOC9/9iWbyzfbsq8aJ45RCUoN6WXk0QeyVQc8ovkA5GJteIc vOeA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=qSFzIZBl; spf=pass (google.com: domain of gabriel...@gmail.com designates 2607:f8b0:4864:20::72e as permitted sender) smtp.mailfrom=gabriel...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-qk1-x72e.google.com (mail-qk1-x72e.google.com. [2607:f8b0:4864:20::72e]) by gmr-mx.google.com with ESMTPS id 205si794685vkw.2.2020.04.04.06.23.42 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 04 Apr 2020 06:23:42 -0700 (PDT) Received-SPF: pass (google.com: domain of gabriel...@gmail.com designates 2607:f8b0:4864:20::72e as permitted sender) client-ip=2607:f8b0:4864:20::72e; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=qSFzIZBl; spf=pass (google.com: domain of gabriel...@gmail.com designates 2607:f8b0:4864:20::72e as permitted sender) smtp.mailfrom=gabriel...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: by mail-qk1-x72e.google.com with SMTP id k134so605230qke.2 for ; Sat, 04 Apr 2020 06:23:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=puYCpF7Y1t5mEERVk4NZjOTrf8OY/u079Wu34e25ZD0=; b=qSFzIZBlCcUDYCcxVZ4PVE0MQTkuO1y7MrbkldQcLVLtyf2bvW05wCt6Enr1nGTpYT XumycofyWnbvYBl+dAR8lsaNrVZbGvq29LlsEcCTr60dnEK574e+RkBk3cStKlZdX8BN RzJXRe34lJP0WeZZtOKY0LhQOB5rniE639E2x5h7+ae/TNqYHizfY8vHWrg1cWhkd64B O+CLV8m4MnRU/P/LCb75NERILuqjIQ3VH1ixAiK03RpZKtV4Q51KmGGPQBKpH6V9FJ6u 1JNNcaNw3uyKvHFnmJQDdSavNDYMgwNNw4v+Lb6LEETrjc5skDBtbRsHB7Sdnr0qzdt/ gJIA== X-Gm-Message-State: AGi0PuZbVDGsw5GnAgdlqpSDZwK6kOpZGo6jGxcYoioA2R8QbOIaefKF PmSc0HPARZFkr3eVWvmFD0DLI9LPoLsNpSER1XTA4KcVdb4= X-Received: by 2002:a37:86c6:: with SMTP id i189mr13127668qkd.274.1586006621812; Sat, 04 Apr 2020 06:23:41 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Gabriel Scherer Date: Sat, 4 Apr 2020 15:23:05 +0200 Message-ID: Subject: Re: [HoTT] HoTT Zullip To: Bas Spitters Cc: homotopytypetheory Content-Type: multipart/alternative; boundary="0000000000004dfb9005a276f118" --0000000000004dfb9005a276f118 Content-Type: text/plain; charset="UTF-8" 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 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 > . > --0000000000004dfb9005a276f118 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi Bas (and list),

(I'm = interested in this topic given that my research group recently started usin= g 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 fr= ee plan comes with a hard limit on the retained message history; that was n= o 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 discoun= ts for academic users.)

On Wed, Apr 1, 2020 at 3:10 PM Bas Spitter= s <b.a.w...@gmail.com> wrot= e:
With Johan Co= mmelin 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 &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyT...@googlegroups.com.
To view this discussion on the web visit https://gro= ups.google.com/d/msgid/HomotopyTypeTheory/CAOoPQuR1122qqUvjkqG%3D8MU444WpTC= f4g8eZtHa4qV_j3YkmXQ%40mail.gmail.com.
--0000000000004dfb9005a276f118--