Stream: t-compiler/const-eval

Topic: hello

Welcome Bot (Oct 16 2018 at 21:10, on Zulip):

Welcome to ##t-compiler/const-eval.

Description: Discussion of constant evaluation

nikomatsakis (Oct 16 2018 at 21:10, on Zulip):

ok @Oli how about this =)

oli (Oct 16 2018 at 21:10, on Zulip):


Jake Goulding (Oct 16 2018 at 21:39, on Zulip):


nikomatsakis (Oct 16 2018 at 21:40, on Zulip):

I found the foo/bar convention in the zulip "guidelines" :)

RalfJ (Oct 17 2018 at 06:18, on Zulip):

Hi all :D

Andrew Poelstra (Oct 18 2018 at 20:10, on Zulip):

Hello. I'm Andrew Poelstra. I work for Blockstream as a cryptographer/security researcher and have been hacking on Rust since 0.6. I'm the maintainer of rust-bitcoin and rust-secp256k1. I'm interested in writing high-assurance software and am excited by the potential of Miri to provide a well-defined "Rust machine" on which various things can be verified.

oli (Oct 22 2018 at 13:10, on Zulip):

omg I love zulip... talking with @RalfJ in 3-4 threads while having them all in a linear list and the active one highlighted is so great

Vadim Petrochenkov (Oct 22 2018 at 22:44, on Zulip):

Question: why the discussion from Zulip threads like "#55223" and "#55260" couldn't happen on GitHub PRs "#55223" and "#55260" respectively, in the immediate vicinity to the discussed code?

lqd (Oct 22 2018 at 22:47, on Zulip):

maybe because of the GH problems since yesterday, where some PRs and issues weren’t sometimes accessible on the site

Vadim Petrochenkov (Oct 22 2018 at 22:47, on Zulip):

Development happens on GitHub, and e.g. I was subscribed only to messages from GitHub until very recently, and was a bit annoyed every time when github PR/issue linked to one of the numerous third-party mediums, like "oh we just discussed on IRC and decided ..."

Vadim Petrochenkov (Oct 22 2018 at 22:48, on Zulip):

Instead of motivation for changes or discussion being immediately attached to the PR itself.

Jake Goulding (Oct 23 2018 at 00:05, on Zulip):

I can't evaluate why it "couldn't happen", but most people treat GitHub conversation as more asynchronous and longer form, vs media like chat (IRC, Zulip, Discord) which is more synchronous and single sentence. Sending a letter vs calling on the phone, as it were.

Jake Goulding (Oct 23 2018 at 00:07, on Zulip):

I personally wish that Zulip were treated a bit more in the middle — the default behavior of allowing Enter in the message box should encourage a slightly longer form than traditional chat, while still being a bit more fluid.

Jake Goulding (Oct 23 2018 at 00:09, on Zulip):

I don't think you'll ever get people to completely interact on GitHub alone — that would rule out Rust all-hands and conferences, for example.

I do think that GitHub should be the canonical source for the information, and that anything pertinent should be transcribed (perhaps to a nicer state / format) to GitHub.

Jake Goulding (Oct 23 2018 at 00:10, on Zulip):

In those cases, the links to the IRC logs / Discord timestamp / Zulip permalink, etc. would be great as backup links.

Jake Goulding (Oct 23 2018 at 00:13, on Zulip):

In retrospect, a lot of what I just espoused is basically what Stack Overflow encourages and it's pretty much pulling teeth to get people to try and adhere to those rules. That's even a case where people are immediately directly benefiting, so I'd expect that things that require waiting longer to reap the benefits will be tougher.

Jake Goulding (Oct 23 2018 at 00:15, on Zulip):

Another possibility is that there's a certain class of person that enjoys this kind of work, but I don't know of any that really want to do it for free, don't think there's money for it, and I don't even know if a single person could handle the amount of work. A project librarian / historian / expert documenter, if you will.

RalfJ (Oct 23 2018 at 06:39, on Zulip):

@Vadim Petrochenkov fair question. yesterday a big part was that GitHub was entirely broken, after commenting it could take hours until the comment was actually reliably visible for everyone.

RalfJ (Oct 23 2018 at 06:41, on Zulip):

More generally though, chat is just so much fatser for quickly answering some questions, like the brief design discussion @Oli and me had yesterday about #55223. GitHub doesnt work well for real-time communication, while Zulip/IRC/... do.

oli (Oct 23 2018 at 08:52, on Zulip):

Also, this is the improvement from @RalfJ and I having private chat discussions on discord

Jake Goulding (Oct 23 2018 at 18:18, on Zulip):

I don't know the related GitHub issue, but did you transcribe the salient parts of the discussion (why & why not {A,B,C} and what you ultimately picked, etc) into the issue?

oli (Oct 23 2018 at 18:58, on Zulip):

for one of the issues yes, the other is a PR and the discussion was mostly clarification on the review posted on the PR

Last update: Apr 03 2020 at 18:30UTC