Stream: zulip

Topic: public logs / streams


view this post on Zulip lqd (Jul 26 2019 at 18:18):

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

@lu_zero_ @nokusu We have a feature in beta that allows you to export and display public streams (contributed by the Lean Prover community). To turn it on the admins of your org can contact support@zulipchat.com.

- Zulip Team Chat (@zulip)

view this post on Zulip simulacrum (Jul 26 2019 at 18:21):

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

view this post on Zulip lqd (Jul 26 2019 at 18:28):

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

view this post on Zulip simulacrum (Jul 26 2019 at 18:28):

sent an email, can't hurt

view this post on Zulip lqd (Jul 26 2019 at 18:28):

thanks :)

view this post on Zulip davidtwco (Jul 26 2019 at 19:11):

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

view this post on Zulip simulacrum (Jul 26 2019 at 19:11):

That's my impression

view this post on Zulip davidtwco (Jul 26 2019 at 19:12):

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

view this post on Zulip davidtwco (Jul 26 2019 at 19:13):

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

view this post on Zulip simulacrum (Jul 26 2019 at 19:14):

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

view this post on Zulip simulacrum (Jul 26 2019 at 19:14):

(it looks static vs. dynamic)

view this post on Zulip simulacrum (Jul 26 2019 at 19:14):

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

view this post on Zulip simulacrum (Jul 26 2019 at 19:14):

plus the archive loads ~instantly :)

view this post on Zulip davidtwco (Jul 26 2019 at 19:14):

Yeah, that’s true.

view this post on Zulip davidtwco (Jul 26 2019 at 19:14):

It certainly doesn’t hurt.

view this post on Zulip RalfJ (Jul 26 2019 at 19:15):

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?

view this post on Zulip simulacrum (Jul 26 2019 at 19:16):

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

view this post on Zulip simulacrum (Jul 26 2019 at 19:17):

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

view this post on Zulip simulacrum (Jul 26 2019 at 19:17):

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

view this post on Zulip simulacrum (Jul 26 2019 at 19:17):

(mostly just removing - it seems?)

view this post on Zulip simulacrum (Jul 26 2019 at 19:18):

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

view this post on Zulip simulacrum (Jul 26 2019 at 19:18):

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

view this post on Zulip lqd (Jul 26 2019 at 19:19):

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

view this post on Zulip simulacrum (Jul 26 2019 at 19:19):

cron job

view this post on Zulip simulacrum (Jul 26 2019 at 19:20):

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

view this post on Zulip simulacrum (Jul 26 2019 at 19:20):

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

view this post on Zulip davidtwco (Jul 26 2019 at 19:20):

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

view this post on Zulip simulacrum (Jul 26 2019 at 19:20):

@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?

view this post on Zulip davidtwco (Jul 26 2019 at 19:21):

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

view this post on Zulip davidtwco (Jul 26 2019 at 19:21):

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.

view this post on Zulip simulacrum (Jul 26 2019 at 19:22):

Makes sense

view this post on Zulip simulacrum (Jul 26 2019 at 19:22):

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

view this post on Zulip simulacrum (Jul 28 2019 at 14:16):

@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

view this post on Zulip simulacrum (Jul 28 2019 at 14:16):

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

view this post on Zulip Tom Phinney (Jul 28 2019 at 15:41):

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

view this post on Zulip simulacrum (Jul 28 2019 at 15:56):

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

view this post on Zulip simulacrum (Jul 28 2019 at 15:57):

OTOH, Zulip itself is not alphabetically sorted.

view this post on Zulip simulacrum (Jul 28 2019 at 15:57):

Actually, hm, maybe it is.

view this post on Zulip RalfJ (Jul 28 2019 at 16:25):

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

view this post on Zulip simulacrum (Jul 29 2019 at 22:29):

Zulip-like sorting is now enabled

view this post on Zulip simulacrum (Jul 29 2019 at 22:30):

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

view this post on Zulip lqd (Jul 30 2019 at 08:10):

thanks a lot @simulacrum


Last updated: Oct 11 2021 at 22:34 UTC