Email or username:

Password:

Forgot your password?
Top-level
brokenix

@abcdw yes if the deps re clearly defined
zulip of coq, ct etc isn't like that. So good tool for org , not well suited for knowledge sharing
imho

2 comments
brokenix

@abcdw in an org does can go like ops/sales/ marketing/dev etc teams and If I work in sales , I ll only subscribe to sales stream
whereas topics like lisp or coq or category theory have an ontology of their own and such streams ll be heavily interlinked . In a new team , of say coq or nix with less clear , I ll be subscribing to streams/topic like general , dev , patches , pkgs, bugs , releases , security , events, jobs, papers etc , besides DM , yes search works ( though not as good as say telegram ), but updates re segregated stream wise , if I ve joined , zulip of 3 such tools it can get cumbersome ( at least felt that way)
Maybe if I could customise a ton , from font size to bots , it gets easier, but that's what appeared to me in the start

@abcdw in an org does can go like ops/sales/ marketing/dev etc teams and If I work in sales , I ll only subscribe to sales stream
whereas topics like lisp or coq or category theory have an ontology of their own and such streams ll be heavily interlinked . In a new team , of say coq or nix with less clear , I ll be subscribing to streams/topic like general , dev , patches , pkgs, bugs , releases , security , events, jobs, papers etc , besides DM , yes search works ( though not as good as say telegram...

Go Up