back to root

back to zulip

Meta: zulip usage

• Simon Cruanes

  2020-03-26 18:30:48 (GMT)

  I'm impressed, seems like confinement makes people want to talk more on this zulip :stuck_out_tongue_wink:

• Simon Cruanes

  2020-05-22 18:51:37 (GMT)

  just realized: the Rust language teams are using zulip as well!

• Jasmin Blanchette

  2020-05-24 8:14:48 (GMT)

  And Don Knuth is using email. Eh, maybe not:

  https://www-cs-faculty.stanford.edu/~knuth/email.html

• Simon Cruanes

  2020-05-24 23:56:23 (GMT)

  But Knuth is a god, and the rust people are a distributed team :grinning_face_with_smiling_eyes:

• Simon Cruanes

  2020-06-25 19:44:3 (GMT)

  Oh hello:

  this is neat.

• Mathias Fleury

  2020-06-26 6:21:55 (GMT)

  I really want to hide the full code

  Some very long code
  
  Some very long code
  

• Simon Cruanes

  2020-06-26 13:51:20 (GMT)

  I feel like this is going to be useful for hot takes during IJCAR :p

• Jasmin Blanchette

  2020-06-26 13:57:38 (GMT)

  What's the status? What will happen?

• Simon Cruanes

  2020-06-26 13:59:24 (GMT)

  I have no idea, I just hope we have lively discussions here,

  and

  spoiler tags might come in handy :stuck_out_tongue_wink:

• Simon Cruanes

  2020-07-16 13:46:57 (GMT)

  New release of zulip, looks cool! Apparently we can now move topics between streams.