Stream: zulip

Topic: public logs / streams


lqd (Jul 26 2019 at 18:18, on Zulip):

Apparently there are in-progress features to have public logs / streams which might be interesting for us ?

simulacrum (Jul 26 2019 at 18:21, on Zulip):

I can email them probably, looks like I'm currently an admin

lqd (Jul 26 2019 at 18:28, on Zulip):

yeah niko, davidtwco as well — at least I wanted us to see it, so that y'all admins can decide :)

simulacrum (Jul 26 2019 at 18:28, on Zulip):

sent an email, can't hurt

lqd (Jul 26 2019 at 18:28, on Zulip):

thanks :)

davidtwco (Jul 26 2019 at 19:11, on Zulip):

So, this feature is basically a custom UI that acts as an archive.

simulacrum (Jul 26 2019 at 19:11, on Zulip):

That's my impression

davidtwco (Jul 26 2019 at 19:12, on Zulip):

I’ve been chatting with Tim from Zulip and intend to work on first-class support for a read-only mode.

davidtwco (Jul 26 2019 at 19:13, on Zulip):

An example of the archive they are discussing in that tweet is here:
https://leanprover-community.github.io/archive/

simulacrum (Jul 26 2019 at 19:14, on Zulip):

This looks great for the basic case of "let's leave a link on some issue/PR to avoid copying" but it's not quite the read-only view, yes

simulacrum (Jul 26 2019 at 19:14, on Zulip):

(it looks static vs. dynamic)

simulacrum (Jul 26 2019 at 19:14, on Zulip):

But I think it's still a worthwhile improvement over the previous status quo of requiring login

simulacrum (Jul 26 2019 at 19:14, on Zulip):

plus the archive loads ~instantly :)

davidtwco (Jul 26 2019 at 19:14, on Zulip):

Yeah, that’s true.

davidtwco (Jul 26 2019 at 19:14, on Zulip):

It certainly doesn’t hurt.

RalfJ (Jul 26 2019 at 19:15, on Zulip):

is there an easy way to get the archive link from within zulip, or does one have to go to the archive and find the relevant part of the relevant conversation?

simulacrum (Jul 26 2019 at 19:16, on Zulip):

hm, that site looks like Zulip exports the data to static HTML or something like that?

simulacrum (Jul 26 2019 at 19:17, on Zulip):

but based on the URL structure looks like it should be feasible to generate the links

simulacrum (Jul 26 2019 at 19:17, on Zulip):

https://leanprover-community.github.io/archive/113489newmembers/99356ringtacticworksatoneplacefailsatanother.html

simulacrum (Jul 26 2019 at 19:17, on Zulip):

(mostly just removing - it seems?)

simulacrum (Jul 26 2019 at 19:18, on Zulip):

https://github.com/timabbott/zulip_archive is the link I was just given by Tim at Zulip

simulacrum (Jul 26 2019 at 19:18, on Zulip):

Looks like we'd need to run it on our own infra though, which while not a blocker isn't ideal. Maybe a cron job in Travis would work, not sure

lqd (Jul 26 2019 at 19:19, on Zulip):

it doesn't require some manual work on your part to keep the archive up to date right ?

simulacrum (Jul 26 2019 at 19:19, on Zulip):

cron job

simulacrum (Jul 26 2019 at 19:20, on Zulip):

afaict it's basically a static site generator plus zulip downloader

simulacrum (Jul 26 2019 at 19:20, on Zulip):

so definitely something we can do, maybe 1-2 hours of invested time

davidtwco (Jul 26 2019 at 19:20, on Zulip):

Here's the chat on the upstream Zulip about this feature.

simulacrum (Jul 26 2019 at 19:20, on Zulip):

@davidtwco Do you have any sense on a timeline for the public read-only access you mentioned (i.e., sort of "official" integration) about this?

davidtwco (Jul 26 2019 at 19:21, on Zulip):

Whenever I get around to working on it for them, I think.

davidtwco (Jul 26 2019 at 19:21, on Zulip):

They've got some rough plans for how they want it to work, but not enough bandwidth to actively work on it themselves. As far as I could gather at least.

simulacrum (Jul 26 2019 at 19:22, on Zulip):

Makes sense

simulacrum (Jul 26 2019 at 19:22, on Zulip):

I might spend an hour or two this weekend hooking up the existing archive tool Tim pointed me at for us

simulacrum (Jul 28 2019 at 14:16, on Zulip):

@davidtwco @lqd fyi, initial draft is up at https://zulip-archive.rust-lang.org/ but I'm looking into building something more rapidly updating and (possibly) cheaper as a result for us to run

simulacrum (Jul 28 2019 at 14:16, on Zulip):

so don't expect that URL to stay too stable though the domain is likely to be that one

Tom Phinney (Jul 28 2019 at 15:41, on Zulip):

Please sort the list alphabetically. Otherwise trying to find a stream requires biblical search: "Seek and ye shall find".

simulacrum (Jul 28 2019 at 15:56, on Zulip):

I would expect ctrl+f to be far more useful, but that does seem reasonable.

simulacrum (Jul 28 2019 at 15:57, on Zulip):

OTOH, Zulip itself is not alphabetically sorted.

simulacrum (Jul 28 2019 at 15:57, on Zulip):

Actually, hm, maybe it is.

RalfJ (Jul 28 2019 at 16:25, on Zulip):

if you sort it like Zulip does it that would be okay, too. ;)

simulacrum (Jul 29 2019 at 22:29, on Zulip):

Zulip-like sorting is now enabled

simulacrum (Jul 29 2019 at 22:30, on Zulip):

I've revised the back-end implementation a bit and we now refresh every 5 minutes; I don't think there's any reason to go much lower than that since it's not really useful to follow along in real time anyway, I would guess

lqd (Jul 30 2019 at 08:10, on Zulip):

thanks a lot @simulacrum

Last update: Nov 17 2019 at 07:15UTC