From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a17:90a:1955:: with SMTP id 21mr2372961pjh.133.1587103420511; Thu, 16 Apr 2020 23:03:40 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a63:3482:: with SMTP id b124ls1754074pga.7.gmail; Thu, 16 Apr 2020 23:03:38 -0700 (PDT) X-Received: by 2002:a62:cdcc:: with SMTP id o195mr1606536pfg.323.1587103418848; Thu, 16 Apr 2020 23:03:38 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1587103418; cv=none; d=google.com; s=arc-20160816; b=xAz6TuoUaH0+eqlRjQNFdEfHF9hqkUmWeWH8jyB44wklPMinOv/A/6e1PmuvpnAwcL OD6q4etGTpdYe25ai3ZBQnom76thQ48IXzMRN23ZcjFMHqAgqtqXsU4ZXB3w2aHuIxK1 0yRQBs7KNQUaqqFIH1dMbS+KePFHLN2Wfo0cgCdhPMykfbj58d8xfMx2JuaJq7oN5Iia tJLWfH3eBEsOUSGKIvbzK/v1wP+z75XOrvbVJYgXvWvm9Y35yvqndRzhCxsQ1IuHWRFg 2fgVj4el85c4dPO53N/I22E3BnZLBtCFPnxKJAPb1Dwl5qxhjxzvjUfCAc/XxeEzS4Y0 SV1A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:dkim-signature; bh=3Jx9D9/7A4POlF84NRyV2ELiyc4FsoVLcNIdMQyXORE=; b=IXnjtjGWajN5zlVDY5nh5y7ux6sQv+zFsEaJ6kEtaew3Qos6z9dCmLHWHNnmnxdd3J 7M/R3FvCmjqZ9rKY1BQSzdCRPP8s2iiQKXc+SqpJf2m7JiKrU6xO6XrMKNJqKUl/0XEg YQyrIFOgQ7oVnFhB9NqVjqgFkL/+9Mk1XJOTwtQwEa9FtL6Pv+3todqLzvuq4YXFLoF5 J8wwEoDq21wEeySCZbHUwO3QebHBCfotQGFjvdi8HWxHa9aHcgx4KIRwXQLgIcbVjxhg UXYxHX7CCwqKZbPicHbACeOukyPgzKdA6NcN8izQSnwiqm8ajjAdW5mGBKmHKSd+Mf69 ho5w== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=hgUVpbh1; spf=pass (google.com: domain of b.a.w...@gmail.com designates 2607:f8b0:4864:20::b35 as permitted sender) smtp.mailfrom=b.a.w...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-yb1-xb35.google.com (mail-yb1-xb35.google.com. [2607:f8b0:4864:20::b35]) by gmr-mx.google.com with ESMTPS id z185si1535679pgd.4.2020.04.16.23.03.38 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 16 Apr 2020 23:03:38 -0700 (PDT) Received-SPF: pass (google.com: domain of b.a.w...@gmail.com designates 2607:f8b0:4864:20::b35 as permitted sender) client-ip=2607:f8b0:4864:20::b35; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=hgUVpbh1; spf=pass (google.com: domain of b.a.w...@gmail.com designates 2607:f8b0:4864:20::b35 as permitted sender) smtp.mailfrom=b.a.w...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: by mail-yb1-xb35.google.com with SMTP id o139so450234ybc.11 for ; Thu, 16 Apr 2020 23:03:38 -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:content-transfer-encoding; bh=3Jx9D9/7A4POlF84NRyV2ELiyc4FsoVLcNIdMQyXORE=; b=hgUVpbh12ZLubik6Z57GEJSRzr0ZzUgM2C28NlspQ2gJjSRMghkCFLH3/ndsqiYNLZ 0WRn++98na6FlL4sb0iSyii7n4s9n5XhxyuET6aIe7V7riTvuxJf3QZ+EMeTWzhBd5AM c4ZIh16Ib+4HOEoOT+WOacjjeYHfm1P2DrMq8TpLhKA6SNZIxvTPEpGEGIsvtR6xpYfq VU/MN9IWMlLRFsRELybUIvWU8wq7SA1LotaeTDrCFDcV1q9uKTgvKNERAlzaOaiStGhw /MPJv4726KnbVOm05MZEYFkrWuZ0SudBn4hnOyNnL7OEJRz7GQOMEsJisYKwlMxhrbMX yBQg== X-Gm-Message-State: AGi0PubO3P6W5ory3tLvg7FzLxfYprIU6Kff26a2I1EfGFJmi0uq5PzY MBf+57DVg2277uMRnaRhdDPwbG0yGG4GhzBtrQZJ9Owp X-Received: by 2002:a25:b842:: with SMTP id b2mr3115729ybm.131.1587103418088; Thu, 16 Apr 2020 23:03:38 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Bas Spitters Date: Fri, 17 Apr 2020 08:03:26 +0200 Message-ID: Subject: Re: [HoTT] HoTT Zullip To: Gabriel Scherer Cc: homotopytypetheory Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Thanks for bringing this up: I contacted Zulip. They are supportive of our project, and we are now on the Open Source plan: https://zulipchat.com/for/open-source/ On Sat, Apr 4, 2020 at 3:23 PM Gabriel Scherer wrote: > > Hi Bas (and list), > > (I'm interested in this topic given that my research group recently start= ed using Zulip to replace the corona-forbidden coffee room. Keeping the lis= t in cc: in case others would be as well.) > > I see that you are using Zulip's centralized hosting rather than self-hos= ting. 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 o= ffer 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 Group= s "Homotopy Type Theory" group. >> To unsubscribe from this group and stop receiving emails from it, send a= n email to HomotopyT...@googlegroups.com. >> To view this discussion on the web visit https://groups.google.com/d/msg= id/HomotopyTypeTheory/CAOoPQuR1122qqUvjkqG%3D8MU444WpTCf4g8eZtHa4qV_j3YkmXQ= %40mail.gmail.com.