Stream: t-compiler

Topic: zulip-meta


pnkfelix (Aug 01 2018 at 10:59, on Zulip):

@eddyb So my intent was that maybe we could keep talking about this here

pnkfelix (Aug 01 2018 at 10:59, on Zulip):

but maybe we want @RalfJ to participate and thus should stick to Discord...

pnkfelix (Aug 01 2018 at 11:08, on Zulip):

@eddyb Lets see if this pings you now

eddyb (Aug 01 2018 at 11:09, on Zulip):

woo! success @pnkfelix !

pnkfelix (Aug 01 2018 at 11:09, on Zulip):

this is definitely making me think that I should get the other T-compiler members to spend time playing with Zulip well ahead of time before the mtg tomorrow

eddyb (Aug 01 2018 at 11:11, on Zulip):

the selected message not having the color on the left is really annoying. also, replying to some message in a topic instead of always to the last one is also a bit annoying

eddyb (Aug 01 2018 at 11:11, on Zulip):

test reply to older message

eddyb (Aug 01 2018 at 11:11, on Zulip):

wait so it doesn't matter where you are, just the stream & topic?

pnkfelix (Aug 01 2018 at 11:11, on Zulip):

that's right

eddyb (Aug 01 2018 at 11:11, on Zulip):

asdf that's like when I understood the git object model. this is simple but the UI is weird about it

eddyb (Aug 01 2018 at 11:11, on Zulip):

it should highlight the bottom of the topic or something, i.e. the insertion point for the message

pnkfelix (Aug 01 2018 at 11:12, on Zulip):

if you close the reply window and then hit "?"

pnkfelix (Aug 01 2018 at 11:12, on Zulip):

you get a help screen

pnkfelix (Aug 01 2018 at 11:12, on Zulip):

FYI

eddyb (Aug 01 2018 at 11:12, on Zulip):

@eddyb Lets see if this pings you now

trying a quote reply

eddyb (Aug 01 2018 at 11:13, on Zulip):

okay so it's always at the bottom. lol can we throw away this topic, it's just me testing things?

pnkfelix (Aug 01 2018 at 11:13, on Zulip):

we can rename it

pnkfelix (Aug 01 2018 at 11:13, on Zulip):

from the beginning

pnkfelix (Aug 01 2018 at 11:13, on Zulip):

see?

pnkfelix (Aug 01 2018 at 11:15, on Zulip):

The interface for that is to edit the earliest message where you want the rename to start, and change the topic within that edit window

pnkfelix (Aug 01 2018 at 11:15, on Zulip):

when you edit the topic, it brings up a combo box where you choose whether you want to change the topic for just that message, or that message plus the ones that follow, or that message and all earlier and later ones

eddyb (Aug 01 2018 at 11:15, on Zulip):

but that didn't change any previous messages, did it?

eddyb (Aug 01 2018 at 11:15, on Zulip):

oh wow I had to refresh

DPC (Aug 01 2018 at 11:17, on Zulip):

generally you don't have to refresh

eddyb (Aug 01 2018 at 11:17, on Zulip):

it kept the old topic for the old messages until I refreshed

pnkfelix (Aug 01 2018 at 11:18, on Zulip):

@eddyb hmm, can you try changing the topic yourself so that I can see if I need to refresh in a similar manner?

eddyb (Aug 01 2018 at 11:18, on Zulip):

suuure

pnkfelix (Aug 01 2018 at 11:18, on Zulip):

also, are you using the web interface, or the dedicated app?

eddyb (Aug 01 2018 at 11:18, on Zulip):

okay, so, the fact that a message is selected, and arrow keys move between messages, throws me off so hard. it's unnecessary and complicated

eddyb (Aug 01 2018 at 11:19, on Zulip):

the web interface, do they have a desktop app? does it work on linux?

pnkfelix (Aug 01 2018 at 11:19, on Zulip):

I don't know about Linux. I use a Zulip app on mac

pnkfelix (Aug 01 2018 at 11:19, on Zulip):

but I suspect its just a simple wrapper around the web UI

eddyb (Aug 01 2018 at 11:20, on Zulip):

hmm let's try something, I'm gonna edit this message

pnkfelix (Aug 01 2018 at 11:20, on Zulip):

okay, so, the fact that a message is selected, and arrow keys move between messages, throws me off so hard. it's unnecessary and complicated

odd I guess I just never noticed that. Maybe I don't hit the arrow keys as much as I would have thought

eddyb (Aug 01 2018 at 11:20, on Zulip):

I don't need to refresh (as expected), also, there's an option to change the topic of past messages too

eddyb (Aug 01 2018 at 11:21, on Zulip):

which is useful because I didn't start the topic :P

eddyb (Aug 01 2018 at 11:21, on Zulip):

oh also you just get the contents of the reply box moved to drafts if you click away

pnkfelix (Aug 01 2018 at 11:21, on Zulip):

okay, so, the fact that a message is selected, and arrow keys move between messages, throws me off so hard. it's unnecessary and complicated

odd I guess I just never noticed that. Maybe I don't hit the arrow keys as much as I would have thought

but a keyboard interface is useful here if you don't like the mouse. e.g. use the arrow keys (or 'j' and 'k') to choose the message, then '>' to quote-and-reply

eddyb (Aug 01 2018 at 11:21, on Zulip):

I want a tiny persistent box and topic selection, not message selection

eddyb (Aug 01 2018 at 11:22, on Zulip):

but I already use arrow keys for scrolling :(

pnkfelix (Aug 01 2018 at 11:22, on Zulip):

my '?' pop up says Fn + Arrows for scrolling. Or 'J' and 'K'

pnkfelix (Aug 01 2018 at 11:22, on Zulip):

I assume your '?' pop up will say something other than Fn

pnkfelix (Aug 01 2018 at 11:23, on Zulip):

but yeah I can imagine it might be nice to be able to customize the key bindings there

pnkfelix (Aug 01 2018 at 11:23, on Zulip):

clearly someone needs to make a zulip.el for emacs

eddyb (Aug 01 2018 at 11:24, on Zulip):

J/K means with Shift, specifically, but it's just PgUp/PgDn which I have next to my arrow keys on this thinkpad

eddyb (Aug 01 2018 at 11:24, on Zulip):

I also sort of hate any sort of app that messes with the browser scroll behavior because it becomes infuriating to use

eddyb (Aug 01 2018 at 11:24, on Zulip):

some stuff like github and probably IRCCloud too don't work well with libinput touchpad horizontal scrolling and sort of lock onto an axis

eddyb (Aug 01 2018 at 11:25, on Zulip):

zulip works fine with touchpadd scroll but up/down don't do the same thing and I'm an old man yelling at clouds

eddyb (Aug 01 2018 at 11:26, on Zulip):

frankly I'm disappointed because the strange UI for Zulip suggests something non-linear but no it's just channels (streams) and labels inside a channel (topics)

pnkfelix (Aug 01 2018 at 11:26, on Zulip):

as in you expect it to have tree structure?

eddyb (Aug 01 2018 at 11:26, on Zulip):

the UI suggests tree structure, yeah

pnkfelix (Aug 01 2018 at 11:26, on Zulip):

for all I know, the underlying data is tree structured. :)

pnkfelix (Aug 01 2018 at 11:26, on Zulip):

might be interesting to ask the dev team

eddyb (Aug 01 2018 at 11:27, on Zulip):

they have some sort of vision but most of it appears to be yet unrealized

pnkfelix (Aug 01 2018 at 11:27, on Zulip):

but yeah I suspect you are right that it is just streams and topics

eddyb (Aug 01 2018 at 11:27, on Zulip):

gimme rant-enabled knowledge graphs dammit

pnkfelix (Aug 01 2018 at 11:27, on Zulip):

but still, being able to rename stuff at will is pretty powerful

pnkfelix (Aug 01 2018 at 11:27, on Zulip):

i.e. when you realize that a conversation went off the rails

DPC (Aug 01 2018 at 11:27, on Zulip):

:D

pnkfelix (Aug 01 2018 at 11:27, on Zulip):

you just rename that portion to a separate topic

eddyb (Aug 01 2018 at 11:27, on Zulip):

obligatory https://xkcd.com/1172/

pnkfelix (Aug 01 2018 at 11:28, on Zulip):

ha ha

DPC (Aug 01 2018 at 11:28, on Zulip):

i wish threads were opt in though

eddyb (Aug 01 2018 at 11:28, on Zulip):

yeah that part is nice, retroactive discussion organization is something I've always wanted

DPC (Aug 01 2018 at 11:29, on Zulip):

also i like how in the right pane how it greys out people not in the stream.

eddyb (Aug 01 2018 at 11:40, on Zulip):

ugh it does the up/down message selection thing from touchpad/mouse scroll if it can't scroll (e.g. if you're scrolled all the way down)

eddyb (Aug 01 2018 at 11:41, on Zulip):

I instinctively use scrolling down to get the end of a conversation

DPC (Aug 01 2018 at 11:41, on Zulip):

yeah it is kinda weird

DPC (Aug 01 2018 at 11:42, on Zulip):

also if you hit escape you end up on a stream-wide view with multiple topics that get confusing. because if you reply after a long time to a topic it shows as a new topic

eddyb (Aug 01 2018 at 12:10, on Zulip):

FWIW I don't like traditional quoting, I'd prefer it was literally attaching replies to ranges of the original messages (and even be more tree-like like reddit), instead of pasting a copy

eddyb (Aug 01 2018 at 12:20, on Zulip):

I specifically don't line the linear display, I want something between a tree and a graph (at least eternaleye isn't here because... well.. "opetopes" :P), where I can be sure I can collapse parts of it that are irrelevant to me at the moment

RalfJ (Aug 01 2018 at 13:45, on Zulip):

woah this is confusing^^

Jake Goulding (Aug 01 2018 at 13:45, on Zulip):

okay, so, the fact that a message is selected, and arrow keys move between messages, throws me off so hard. it's unnecessary and complicated

FWIW, I use this all the time to catch up. I just iterate through the entire topic (like I just did here)

davidtwco (Aug 01 2018 at 13:46, on Zulip):

It's really nice once you get used to it, I've not yet met someone who's started using Zulip and after a little while with it doesn't really like it.

RalfJ (Aug 01 2018 at 13:46, on Zulip):

separate threads are definitely great

pnkfelix (Aug 01 2018 at 13:47, on Zulip):

woah this is confusing^^

does this refer to, like, everything in this topic? :)

RalfJ (Aug 01 2018 at 13:47, on Zulip):

but now I feel worried that I might miss something in another thread

pnkfelix (Aug 01 2018 at 13:47, on Zulip):

that's what "All messages" is for

RalfJ (Aug 01 2018 at 13:47, on Zulip):

@pnkfelix yeah... first time looking at zulip

RalfJ (Aug 01 2018 at 13:47, on Zulip):

and then all this meta discussion

RalfJ (Aug 01 2018 at 13:47, on Zulip):

"all messages"... ah, up there

pnkfelix (Aug 01 2018 at 13:47, on Zulip):

(or just click on the stream, etc)

RalfJ (Aug 01 2018 at 13:48, on Zulip):

oh these streams on the left are all rust-related? it's, like, a Rust instance? aha

RalfJ (Aug 01 2018 at 13:48, on Zulip):

well Ill have to see how it looks when multiple topics in the same stream have stuff going on at the same time

RalfJ (Aug 01 2018 at 13:48, on Zulip):

does it interleave them?

pnkfelix (Aug 01 2018 at 13:49, on Zulip):

oh these streams on the left are all rust-related? it's, like, a Rust instance? aha

yeah I was confused about this too, as recently as earlier today; you can see we asking all kinds of Q's about it in #new members

davidtwco (Aug 01 2018 at 13:49, on Zulip):

It interleaves them if you haven't filtered down into a single topic.

RalfJ (Aug 01 2018 at 13:50, on Zulip):

hm so when I click on eddy's topic, there's a "gap". where the topic box in the UI ends and starts again.

RalfJ (Aug 01 2018 at 13:50, on Zulip):

what does that mean?

davidtwco (Aug 01 2018 at 13:50, on Zulip):

I can't quite picture what you're describing.

davidtwco (Aug 01 2018 at 13:50, on Zulip):

Ah, within one topic there's a box that starts and stops?

davidtwco (Aug 01 2018 at 13:51, on Zulip):

That normally indicates that some time has passed.

RalfJ (Aug 01 2018 at 13:51, on Zulip):

@David Wood this: https://screenshots.firefox.com/JGuzLyNxaXyzWknL/rust-lang.zulipchat.com

pnkfelix (Aug 01 2018 at 13:51, on Zulip):

hm so when I click on eddy's topic, there's a "gap". where the topic box in the UI ends and starts again.

there are at least four places where I see eddy's topic listed in my current interface, so I'm not quite clear

Jake Goulding (Aug 01 2018 at 13:51, on Zulip):

You can paste screenshots too :-)

RalfJ (Aug 01 2018 at 13:51, on Zulip):

wdym "paste"?

Jake Goulding (Aug 01 2018 at 13:51, on Zulip):

pasted image

pnkfelix (Aug 01 2018 at 13:51, on Zulip):

@David Wood this: https://screenshots.firefox.com/JGuzLyNxaXyzWknL/rust-lang.zulipchat.com

I think that gap represents two different topics

davidtwco (Aug 01 2018 at 13:51, on Zulip):

It can.

RalfJ (Aug 01 2018 at 13:52, on Zulip):

its twice the same topic here though

RalfJ (Aug 01 2018 at 13:52, on Zulip):

@Jake Goulding ah. however you did that.^^

davidtwco (Aug 01 2018 at 13:52, on Zulip):

It can be either. It will be the distinction between two topics, or a topic being "resumed" at some later point.

Jake Goulding (Aug 01 2018 at 13:52, on Zulip):

On a Mac, I hit command + shift + control + 4

davidtwco (Aug 01 2018 at 13:52, on Zulip):

That is, if I message you in a topic, and you don't reply until tomorrow, you'll see that to indicate that those messages weren't five minutes after each other, some time has passed.

RalfJ (Aug 01 2018 at 13:53, on Zulip):

hm so 10min counts as a gap already, okay

davidtwco (Aug 01 2018 at 13:53, on Zulip):

I don't know when the exact cutoff is. I tend to just read-over the gaps.

pnkfelix (Aug 01 2018 at 13:53, on Zulip):

What @David Wood says may be true, but I dont think it persists

pnkfelix (Aug 01 2018 at 13:53, on Zulip):

i.e. when I click on a topic to narrow to it

RalfJ (Aug 01 2018 at 13:53, on Zulip):

pasted image

pnkfelix (Aug 01 2018 at 13:53, on Zulip):

it all appears continuous to me

RalfJ (Aug 01 2018 at 13:53, on Zulip):

@pnkfelix not for me... scroll up to 1:20pm today

RalfJ (Aug 01 2018 at 13:53, on Zulip):

in this topic

davidtwco (Aug 01 2018 at 13:54, on Zulip):

Here's an example of it happening from a topic in NLL with Niko and me. pasted image

davidtwco (Aug 01 2018 at 13:54, on Zulip):

I'm filtered to a single topic but it shows a gap to indicate the change in day.

pnkfelix (Aug 01 2018 at 13:54, on Zulip):

pasted image

RalfJ (Aug 01 2018 at 13:54, on Zulip):

oh theres more streams?

pnkfelix (Aug 01 2018 at 13:54, on Zulip):

heck yeah

davidtwco (Aug 01 2018 at 13:54, on Zulip):

Like Slack, you choose which streams you are a part of.

RalfJ (Aug 01 2018 at 13:54, on Zulip):

@pnkfelix mh would be a little more down for me. see my screenshot above.

pnkfelix (Aug 01 2018 at 13:54, on Zulip):

nagisa has a document somewhere that discusses the steps to subscribe to more streams

Jake Goulding (Aug 01 2018 at 13:55, on Zulip):

there's a stream called "let's add more undefined behavior before anyone notices"

RalfJ (Aug 01 2018 at 13:55, on Zulip):

yeah but on slack/gitter there's a room list

davidtwco (Aug 01 2018 at 13:55, on Zulip):

pasted image

pnkfelix (Aug 01 2018 at 13:55, on Zulip):

@RalfJ my point is that I scrolled through all of that

pnkfelix (Aug 01 2018 at 13:55, on Zulip):

it was one box

pnkfelix (Aug 01 2018 at 13:55, on Zulip):

for me

RalfJ (Aug 01 2018 at 13:55, on Zulip):

@pnkfelix strange

RalfJ (Aug 01 2018 at 13:55, on Zulip):

shrug

RalfJ (Aug 01 2018 at 13:55, on Zulip):

now, first things first...

davidtwco (Aug 01 2018 at 13:55, on Zulip):

Yeah, perhaps it depends if you were selecting it at the time, or if it is configurable per-user. I don't see a gap in that specific instance either.

RalfJ (Aug 01 2018 at 13:55, on Zulip):

better

davidtwco (Aug 01 2018 at 13:56, on Zulip):

But that's generally what the gap means regardless - that time has passed.

davidtwco (Aug 01 2018 at 13:56, on Zulip):

Or that it is a different topic.

RalfJ (Aug 01 2018 at 13:57, on Zulip):

aha

RalfJ (Aug 01 2018 at 13:57, on Zulip):

yeah now it interlaves

davidtwco (Aug 01 2018 at 13:57, on Zulip):

We can also refer to issues/PRs with just their numbers: #53535 for example.

RalfJ (Aug 01 2018 at 13:57, on Zulip):

and greys out other topics, intersting

davidtwco (Aug 01 2018 at 13:57, on Zulip):

If that were to exist.

davidtwco (Aug 01 2018 at 13:58, on Zulip):

Yeah, you can select a stream and it'll show everything interleaved, select a topic and it shows only that topic. Or a stream but with one topic selected to reply to, and it grays the others but still shows them interleaved.

RalfJ (Aug 01 2018 at 13:58, on Zulip):

very modal

pnkfelix (Aug 01 2018 at 13:58, on Zulip):

so modal

eddyb (Aug 01 2018 at 14:17, on Zulip):

the topic name is ugly :P

eddyb (Aug 01 2018 at 14:18, on Zulip):

this edit topic thing is pretty abusable, I wonder if the permission can be toggled

pnkfelix (Aug 01 2018 at 14:19, on Zulip):

aww, someone didn't like being mentioned in the topic. :)

eddyb (Aug 01 2018 at 14:20, on Zulip):

could be worse, could be a @nikomatsakis slide

RalfJ (Aug 01 2018 at 14:24, on Zulip):

now thats odd

RalfJ (Aug 01 2018 at 14:24, on Zulip):

why did the topic split?^^

RalfJ (Aug 01 2018 at 14:24, on Zulip):

I just wanted to troll and see if one can actually tell who renamed a topic

RalfJ (Aug 01 2018 at 14:24, on Zulip):

(it seems one cannot)

RalfJ (Aug 01 2018 at 14:26, on Zulip):

hm and now I cannot edit the name any more

RalfJ (Aug 01 2018 at 14:26, on Zulip):

wtf?

eddyb (Aug 01 2018 at 14:26, on Zulip):

you might have to refresh

pnkfelix (Aug 01 2018 at 14:27, on Zulip):

I'm definitely able to rename

RalfJ (Aug 01 2018 at 14:27, on Zulip):

now its there again

RalfJ (Aug 01 2018 at 14:27, on Zulip):

this is a new topic

RalfJ (Aug 01 2018 at 14:27, on Zulip):

what

RalfJ (Aug 01 2018 at 14:27, on Zulip):

I typed this in the other topic

pnkfelix (Aug 01 2018 at 14:27, on Zulip):

you and i are racing

RalfJ (Aug 01 2018 at 14:27, on Zulip):

why did it end up here?^^

RalfJ (Aug 01 2018 at 14:28, on Zulip):

:P

RalfJ (Aug 01 2018 at 14:28, on Zulip):

oh

RalfJ (Aug 01 2018 at 14:28, on Zulip):

you know what it does now?

RalfJ (Aug 01 2018 at 14:28, on Zulip):

it selects the latest message

pnkfelix (Aug 01 2018 at 14:28, on Zulip):

what?

RalfJ (Aug 01 2018 at 14:28, on Zulip):

wtf. how did I get it into that mode?

RalfJ (Aug 01 2018 at 14:28, on Zulip):

hm only my latest msg though

RalfJ (Aug 01 2018 at 14:28, on Zulip):

and it still doesnt scroll to it

RalfJ (Aug 01 2018 at 14:28, on Zulip):

so never mind

RalfJ (Aug 01 2018 at 14:28, on Zulip):

anyway I should get some work done :P see yall!

nagisa (Aug 01 2018 at 18:04, on Zulip):

the web interface, do they have a desktop app? does it work on linux?

@eddyb Its your usual electron app. There supposedly exists a CLI client written in Go, but it has been like 20 years since its abandonment and Go ecosystem seems to have had enough breaking change that it does not compile anymore.

nagisa (Aug 01 2018 at 18:09, on Zulip):

If only that client was written in Rust, eh…

nagisa (Aug 01 2018 at 18:10, on Zulip):

@pnkfelix the at-everyone ping is weird. It pings all subscribers :slight_smile:

I wonder if there’s a way to have a group like that that’s for team/wg members only :slight_smile: a-la @rust-lang/compiler

DPC (Aug 01 2018 at 18:11, on Zulip):

just went through the settings, there is no option that limits who joins a stream.

Josh Huber (Aug 01 2018 at 18:13, on Zulip):

there's zulip-term, which is a python application. I would have tried it out, but my 5 minutes of trying reminded me what a joy breaking language changes can be. I guess the default homebrew version of python is 3.7, where there's a recently added async keyword. :sob:

Traceback (most recent call last):
  File "/Users/huber/zt-env/bin/zulip-term", line 7, in <module>
    from zulipterminal.cli.run import main
  File "/Users/huber/zt-env/lib/python3.7/site-packages/zulipterminal/cli/run.py", line 9, in <module>
    from zulipterminal.core import Controller
  File "/Users/huber/zt-env/lib/python3.7/site-packages/zulipterminal/core.py", line 10
    from zulipterminal.helper import async
                                         ^
SyntaxError: invalid syntax

at the _very_ least, this makes me thankful for Rust's dedication to stability.

DPC (Aug 01 2018 at 18:14, on Zulip):

yah it is written in django iirc

Josh Huber (Aug 01 2018 at 18:15, on Zulip):

if you're an org admin, you can create a private stream which is invite-only (the self-hosted installation comes with an example "core team" private stream :)

DPC (Aug 01 2018 at 18:16, on Zulip):

ah ok

nagisa (Aug 01 2018 at 18:19, on Zulip):

just went through the settings, there is no option that limits who joins a stream.

Oh, I didn’t mean a private stream, but more like a group of people you could ping with a single @-something. Think – before a meeting you want to ping everyone on T-compiler, and not everyone who’s subscribed to the stream.

Josh Huber (Aug 01 2018 at 18:21, on Zulip):

check out "user groups" in organization settings... i think it's what you're looking for.

nagisa (Aug 01 2018 at 18:21, on Zulip):

I just looked at the settings and there indeed seems to be option for “User groups”. It is probably exactly what I’m thinking of.

DPC (Aug 01 2018 at 18:21, on Zulip):

ah you mean similar to github teams

pnkfelix (Aug 01 2018 at 19:52, on Zulip):

@nagisa thanks for the pointer! I have now created user groups for T-compiler and WG-compiler-nll

varkor (Aug 01 2018 at 20:07, on Zulip):

The feeling I get is that the Zulip threading model is like Discord + everyone can create channels + interleaved channel views. It's not possible to fork conversations or anything like that, is it?

nagisa (Aug 01 2018 at 20:08, on Zulip):

You can create your own threads and ping people to them, I guess? There won’t be any machine-level relation between the threads, though.

pnkfelix (Aug 01 2018 at 20:10, on Zulip):

you can rename threads or suffixes of threads

pnkfelix (Aug 01 2018 at 20:10, on Zulip):

which seems to often have a feeling like a fork

varkor (Aug 01 2018 at 21:05, on Zulip):

Ah, I didn't know you could rename mid-topic.

varkor (Aug 01 2018 at 21:07, on Zulip):

I'd like ignoring streams to hide the unread counter, but that's just nitpicking.

varkor (Aug 01 2018 at 21:07, on Zulip):

The dark theme is a lot nicer.

varkor (Aug 02 2018 at 12:16, on Zulip):

I'd prefer the blue box to select the entire topic, rather than individual messages, as it doesn't seem to be affected by the individual message.

davidtwco (Aug 02 2018 at 12:17, on Zulip):

I believe it is used mostly for keyboard shortcuts - if you use the "star message" shortcut then it knows what message you want, for example.

varkor (Aug 02 2018 at 12:18, on Zulip):

I believe it is used mostly for keyboard shortcuts - if you use the "star message" shortcut then it knows what message you want, for example.

Oh, I see: I can do things like quoting with a shortcut.

varkor (Aug 02 2018 at 12:18, on Zulip):

I think after having learnt all the shortcuts, it could be really nice.

davidtwco (Aug 02 2018 at 12:18, on Zulip):

Yeah, there are shortcuts for navigating the blue box around and then using it.

eddyb (Aug 02 2018 at 12:31, on Zulip):

I don't particularily like whole-message quoting TBH. I'd prefer to be able to select a part of a message and reply to that (and the system to record the range instead of letting me modify the contents of the quote in my message)

pnkfelix (Aug 02 2018 at 12:32, on Zulip):

@RalfJ made a really good suggestion yesterday that there should be something in the UI for selecting the whole topic (rather than one message) and in that mode the system should keep scrolling

davidtwco (Aug 02 2018 at 12:32, on Zulip):

I don't particularily like whole-message quoting TBH

You can selectively quote by just copying and pasting the relevant part of the message and prefixing it with a >. It's not quite as easy as something like Discourse is, but it's not that awful.

davidtwco (Aug 02 2018 at 12:33, on Zulip):

I guess you did say that now I re-read your message.

varkor (Aug 02 2018 at 12:39, on Zulip):

@eddyb's suggestion seems straightforward to implement.

varkor (Aug 02 2018 at 12:40, on Zulip):

I'd also like to see which message was quoted, so I could jump to it, though.

pnkfelix (Aug 02 2018 at 12:41, on Zulip):

I'd also like to see which message was quoted, so I could jump to it, though.

yeah, the interesting question there is whether the current zulip metadata carries that info

varkor (Aug 02 2018 at 12:45, on Zulip):

When you quote a message, it just contains the quote content and nothing about the original metadata, so probably not. So perhaps the real question is whether, if that metadata was added, it's straightforward to implement jumping to arbitrary messages.

varkor (Aug 02 2018 at 12:45, on Zulip):

Does anyone know any Zulip developers?

varkor (Aug 02 2018 at 12:46, on Zulip):

It'd be nice to just get an idea of how difficult it would be to make contributions like this.

davidtwco (Aug 02 2018 at 12:48, on Zulip):

Zulip has a similar new contributor experience to Rust, they're pretty friendly to it and have a lot of infrastructure in place to help new contributors out. I've submitted issues and they've responded fairly quickly.

I've passed feedback to them specifically about Rust's use of Zulip on their on Zulip instance here and here (need an account, just like this instance) and the co-founder of Zulip has said to me that they're happy to add things to better support large open source projects - apparently Python core developers also use Zulip.

DPC (Aug 02 2018 at 12:50, on Zulip):

@varkor you can make an issue on the zulip repo

mw (Aug 02 2018 at 12:51, on Zulip):

it looks like a forum rather than a chatroom; which probably is the whole point but I'm confused

pnkfelix (Aug 02 2018 at 12:51, on Zulip):

you select, on the left hand side, how much of the various conversations you want to see at once

varkor (Aug 02 2018 at 12:52, on Zulip):

@eddyb: https://github.com/zulip/zulip/issues/8951

mw (Aug 02 2018 at 12:52, on Zulip):

point in case: I totally meant to post this to zulip-meta :)

pnkfelix (Aug 02 2018 at 12:52, on Zulip):

you can click "All messages" to see everything from every stream on this server.

pnkfelix (Aug 02 2018 at 12:52, on Zulip):

The text interface (as in, the "edit box" at the bottom when you are composing a message) has the Stream and Topic listed

pnkfelix (Aug 02 2018 at 12:52, on Zulip):

but its not a problem if you get a topic "wrong"

pnkfelix (Aug 02 2018 at 12:52, on Zulip):

because ... I will now show you some magic

pnkfelix (Aug 02 2018 at 12:52, on Zulip):

(give me a second)

varkor (Aug 02 2018 at 12:52, on Zulip):

the other one is: https://github.com/zulip/zulip/issues/7538

pnkfelix (Aug 02 2018 at 12:53, on Zulip):

@mw I just merged the topic you had created into the zulip-meta topic

pnkfelix (Aug 02 2018 at 12:53, on Zulip):

by renaming the topic in one of my old messages on the topic you had created, and choosing "rename all messages earlier and later in the topic"

mw (Aug 02 2018 at 12:53, on Zulip):

@pnkfelix hm, ok

pnkfelix (Aug 02 2018 at 12:54, on Zulip):

a very common use case for this in my experience is to rename a suffix of the messages in a topic when it becomes clear that a conversation has diverged from the original topic

varkor (Aug 02 2018 at 12:54, on Zulip):

Huh, it didn't update the topic with the merge until I refreshed...

pnkfelix (Aug 02 2018 at 12:54, on Zulip):

(i think its less common to use them to collapse two topics together)

pnkfelix (Aug 02 2018 at 12:54, on Zulip):

@varkor yes I think your mileage may vary with respect to how well the UI updates that

mw (Aug 02 2018 at 12:55, on Zulip):

this feels like coming to git from svn for the first time :)

pnkfelix (Aug 02 2018 at 12:55, on Zulip):

Also, you have ten minutes to edit messages you post

pnkfelix (Aug 02 2018 at 12:56, on Zulip):

so if you want to expand on something (like I did above in my phrasing of "text box"), or if you've leaked info accidentally (like I often do by accidentally hitting the button for my one-time-pad)

pnkfelix (Aug 02 2018 at 12:56, on Zulip):

you get ten minutes to fix it.

davidtwco (Aug 02 2018 at 14:08, on Zulip):

(@pnkfelix we're not currently using any GitHub integration, just Zulip's auto-linking feature, you give it a regex to match in the message and then use the capture groups in a url that it'll add a link for; there is a GitHub integration here and here).

pnkfelix (Aug 02 2018 at 15:11, on Zulip):

as for trying to stop people from commenting... I'm not aware of a way to enforce that.

pnkfelix (Aug 02 2018 at 15:12, on Zulip):

(trying to migrate tail of meta discussion here)

oli (Aug 02 2018 at 15:13, on Zulip):

probably not much of an issue, but weekly meetings feel like they are finished discussions

pnkfelix (Aug 02 2018 at 15:13, on Zulip):

(the context being this)

pnkfelix (Aug 02 2018 at 15:13, on Zulip):

in practice, at least for NLL, people just naturally stop commenting on old topics

pnkfelix (Aug 02 2018 at 15:13, on Zulip):

especially ones that have dates embedded in them

oli (Aug 02 2018 at 15:13, on Zulip):

yea I'm not too worried about it

pnkfelix (Aug 02 2018 at 15:13, on Zulip):

they just get promoted to the "more topics" older generation

pnkfelix (Aug 02 2018 at 15:13, on Zulip):

and then never get garbage collected

oli (Aug 02 2018 at 15:13, on Zulip):

just felt like pressing an "archive" button :D

DPC (Aug 02 2018 at 15:22, on Zulip):

"garbage collected" :joy:

nagisa (Aug 02 2018 at 15:22, on Zulip):

Test test

davidtwco (Aug 07 2018 at 17:52, on Zulip):

Just an FYI for anyone in this stream, we just discovered that if a topic is named with a #XXXX in it, such as #XXXX-rfc-something-another, then Zulip adds a link to the issue/PR at #XXXX in the title of the topic.

davidtwco (Aug 07 2018 at 17:53, on Zulip):

(An example can be found in the zulip stream)

davidtwco (Aug 23 2018 at 18:11, on Zulip):

One of the core Zulip developers is gathering feedback in this internals thread for anyone who had any thoughts.

nagisa (Aug 28 2018 at 12:03, on Zulip):

One interesting tidbit: lack of some "general" thread makes it difficult to decide how to post some one-off notices/messages that do not necessarily deserve their own thread.

nagisa (Aug 28 2018 at 12:04, on Zulip):

for example, I was meaning to notify that I’ll be absent from the next meeting and, logically, the most suitable thread for that would be the future meething thread, except creating the thread for that future meeting feels weird.

pnkfelix (Aug 28 2018 at 12:23, on Zulip):

@nagisa in the NLL stream we've added a "general discussion" topic, which serves as our analogue to your "general" thread.

pnkfelix (Aug 28 2018 at 12:24, on Zulip):

but I actually think that it makes perfect sense to just create the topic for the future meeting.

pnkfelix (Aug 28 2018 at 12:24, on Zulip):

especially if there's an established naming protocol for such threads. (But even if there isn't, the meeting organizer can always do an alpha-rename, right?)

DPC (Aug 28 2018 at 12:26, on Zulip):

yeah we could just have a general or "off-topic" or "anouncement" thread(s) for such stuff

nikomatsakis (Aug 28 2018 at 13:17, on Zulip):

I personally think it's also ok to just make a topic :)

I think of them as akin to e-mail subjects. Sometimes it's a one-off and that's ok

nikomatsakis (Aug 28 2018 at 13:18, on Zulip):

(but yes in this case I'd prob just make the topic for the meeting)

eddyb (Sep 13 2018 at 08:22, on Zulip):

the mobile app is so bad

eddyb (Sep 13 2018 at 08:24, on Zulip):

I have no way to go to the bottom of a stream other than pressing the down button a million times

davidtwco (Sep 13 2018 at 08:24, on Zulip):

That's the worst bit about it. If they fixed that I'd probably be fine with it.

eddyb (Sep 13 2018 at 08:25, on Zulip):

(deleted)

eddyb (Sep 13 2018 at 08:25, on Zulip):

oh I can get closer to the latest message by not using the default view

eddyb (Sep 13 2018 at 08:25, on Zulip):

which is notifications for some reason

eddyb (Sep 13 2018 at 08:26, on Zulip):

and press the # button instead

davidtwco (Sep 13 2018 at 08:27, on Zulip):

Not sure if you can edit messages back into the correct topic from mobile though... :slight_smile:

eddyb (Sep 13 2018 at 08:29, on Zulip):

ughhh I didn't even notice

Last update: Nov 16 2019 at 02:15UTC