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:
2020-05-22 18:51:37 (GMT)
just realized: the Rust language teams are using zulip as well!
2020-05-24 8:14:48 (GMT)
And Don Knuth is using email. Eh, maybe not:
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:
2020-06-25 19:44:3 (GMT)
Oh hello:
2020-06-26 6:21:55 (GMT)
I really want to hide the full code
2020-06-26 13:51:20 (GMT)
I feel like this is going to be useful for hot takes during IJCAR :p
2020-06-26 13:57:38 (GMT)
What's the status? What will happen?
2020-06-26 13:59:24 (GMT)
I have no idea, I just hope we have lively discussions here,
and
2020-07-16 13:46:57 (GMT)
New release of zulip, looks cool! Apparently we can now move topics between streams.