Zulip Chat Archive

Stream: new members

Topic: Andrew Ashworth


view this post on Zulip Andrew Ashworth (Feb 26 2018 at 16:06):

Testing... is this thing on?

view this post on Zulip Simon Hudon (Feb 26 2018 at 16:07):

I was hoping to be first!

view this post on Zulip Moses Schönfinkel (Feb 26 2018 at 16:13):

So I need to reply to threads explicitly?

view this post on Zulip Moses Schönfinkel (Feb 26 2018 at 16:15):

This is a teeny tiny bit less seamless than what I am generally used to.

view this post on Zulip Moses Schönfinkel (Feb 26 2018 at 16:15):

And apparently I accidentally Andrew'd my last message.

view this post on Zulip Simon Hudon (Feb 26 2018 at 16:15):

It seems like it will make it easier to have multiple discussions at the same time

view this post on Zulip Moses Schönfinkel (Feb 26 2018 at 16:17):

I like your optimism! :)

view this post on Zulip Simon Hudon (Feb 26 2018 at 16:17):

:D

view this post on Zulip Moses Schönfinkel (Feb 26 2018 at 16:17):

If it doesn't, Leo will just do Lean++ and try again ;).

view this post on Zulip Simon Hudon (Feb 26 2018 at 16:19):

Or maybe he'll move on. I'm hoping that if Lean doesn't catch on, it will be because something better came along

view this post on Zulip Moses Schönfinkel (Feb 26 2018 at 16:19):

Oh yes, I am Ferinko. I just failed to use my dummy github account for Zulip.

view this post on Zulip Simon Hudon (Feb 26 2018 at 16:20):

Now we're split across multiple channels ...

view this post on Zulip Moses Schönfinkel (Feb 26 2018 at 16:20):

Surely you didn't think I'm Moses Schoenfinkel! :)

view this post on Zulip Moses Schönfinkel (Feb 26 2018 at 16:20):

Yeah the split is the thing I am worried about as well.

view this post on Zulip Simon Hudon (Feb 26 2018 at 16:21):

I don't sanitize the names that I learn. As long as your name doesn't include an end quote, I'll learn it :P


Last updated: May 13 2021 at 23:16 UTC