Stream: wg-formal-methods

Topic: hello


Welcome Bot (Jan 31 2019 at 16:47, on Zulip):

Welcome to #wg-formal-methods.

Description: Discussing formal verification and methods in Rust

Vytautas Astrauskas (Jan 31 2019 at 16:56, on Zulip):

Hello.

RalfJ (Jan 31 2019 at 17:12, on Zulip):

hi all :)

RalfJ (Jan 31 2019 at 17:12, on Zulip):

oh we got a very nice shade of blue for this stream :D

nikomatsakis (Jan 31 2019 at 18:22, on Zulip):

One question: Should we make this part of the "default stream set"?

nikomatsakis (Jan 31 2019 at 18:22, on Zulip):

I've been erring towards adding all major streams by default

nikomatsakis (Jan 31 2019 at 18:22, on Zulip):

since most people don't even know they can add new streams

nikomatsakis (Jan 31 2019 at 18:22, on Zulip):

done

RalfJ (Jan 31 2019 at 18:25, on Zulip):

not sure if we qualify as "major"

RalfJ (Jan 31 2019 at 18:25, on Zulip):

but it seems to me this approach doesn't scale

RalfJ (Jan 31 2019 at 18:25, on Zulip):

I actually like the gitter/IRC way where you have to join channels

RalfJ (Jan 31 2019 at 18:25, on Zulip):

but the zulip UI for joining is very well hidden^^

RalfJ (Jan 31 2019 at 18:26, on Zulip):

if they replaced that gear by a + I think it'd help a lot...

nikomatsakis (Jan 31 2019 at 18:28, on Zulip):

I wish they would show all the streams but grayed out

nikomatsakis (Jan 31 2019 at 18:28, on Zulip):

maybe collapsing #foo/bar or something

nikomatsakis (Jan 31 2019 at 18:28, on Zulip):

or have an option that would let you do so

nikomatsakis (Jan 31 2019 at 18:29, on Zulip):

for now I will leave it there: I want to make a "landing page" for the zulip isntance, though, that kind of explains this sort of thing

nikomatsakis (Jan 31 2019 at 18:29, on Zulip):

so we can say "join zulip" and point at that

Shnatsel (Jan 31 2019 at 21:54, on Zulip):

Oh nice, a formal methods WG! #wg-secure-code is very enthusiastic about this sort of thing

Shnatsel (Jan 31 2019 at 21:55, on Zulip):

...even though we probably won't be able to help much. But if you come up with something usable by mere programmers we can apply and test your stuff at least :)

Last update: Nov 15 2019 at 09:45UTC