Welcome to #wg-formal-methods.
Description: Discussing formal verification and methods in Rust
hi all :)
oh we got a very nice shade of blue for this stream :D
One question: Should we make this part of the "default stream set"?
I've been erring towards adding all major streams by default
since most people don't even know they can add new streams
not sure if we qualify as "major"
but it seems to me this approach doesn't scale
I actually like the gitter/IRC way where you have to join channels
but the zulip UI for joining is very well hidden^^
if they replaced that gear by a
+ I think it'd help a lot...
I wish they would show all the streams but grayed out
#foo/bar or something
or have an option that would let you do so
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
so we can say "join zulip" and point at that
Oh nice, a formal methods WG! #wg-secure-code is very enthusiastic about this sort of thing
...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 :)