Andrew Ashworth

Stream: new members

[Andrew Ashworth]

Testing... is this thing on?

[Simon Hudon]

I was hoping to be first!

[Moses Schönfinkel]

So I need to reply to threads explicitly?

[Moses Schönfinkel]

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

[Moses Schönfinkel]

And apparently I accidentally Andrew'd my last message.

[Simon Hudon]

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

[Moses Schönfinkel]

I like your optimism! :)

[Simon Hudon]

:D

[Moses Schönfinkel]

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

[Simon Hudon]

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

[Moses Schönfinkel]

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

[Simon Hudon]

Now we're split across multiple channels ...

[Moses Schönfinkel]

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

[Moses Schönfinkel]

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

[Simon Hudon]

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