Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* HoTT Zullip
@ 2020-04-01 13:10 Bas Spitters
  2020-04-04 13:23 ` [HoTT] " Gabriel Scherer
  0 siblings, 1 reply; 3+ messages in thread
From: Bas Spitters @ 2020-04-01 13:10 UTC (permalink / raw)
  To: homotopytypetheory

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/

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: [HoTT] HoTT Zullip
  2020-04-01 13:10 HoTT Zullip Bas Spitters
@ 2020-04-04 13:23 ` Gabriel Scherer
  2020-04-17  6:03   ` Bas Spitters
  0 siblings, 1 reply; 3+ messages in thread
From: Gabriel Scherer @ 2020-04-04 13:23 UTC (permalink / raw)
  To: Bas Spitters; +Cc: homotopytypetheory


[-- 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 --]

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: [HoTT] HoTT Zullip
  2020-04-04 13:23 ` [HoTT] " Gabriel Scherer
@ 2020-04-17  6:03   ` Bas Spitters
  0 siblings, 0 replies; 3+ messages in thread
From: Bas Spitters @ 2020-04-17  6:03 UTC (permalink / raw)
  To: Gabriel Scherer; +Cc: homotopytypetheory

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
<gabriel...@gmail.com> wrote:
>
> 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.

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, back to index

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-04-01 13:10 HoTT Zullip Bas Spitters
2020-04-04 13:23 ` [HoTT] " Gabriel Scherer
2020-04-17  6:03   ` Bas Spitters

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git