Hi Ivan, Nice to meet you all. I'm already in this loop but I didn't start to work on that part yet. I'll sync up with Dominik soon on that matter. Best, Vincent PS: sorry for the duplicated answer, I used the wrong address :) Le dim. 28 avr. 2019 à 02:59, Ivan Levkivskyi a écrit :

Hi Rebecca,

Not much happened on mypy side since the meet-up, since we were totally distracted by a big refactoring. It looks like three teams are going to work on some static typing for numeric code: * Vincent (and maybe Dominik) from Facebook (Dominik could you please add Vincent's email?) * Peng and Ashish at Google * Jukka and me at Dropbox

There are two options to keep in sync: * Post all updates in this e-mail thread * Post every update in one of dedicated typing issues, for example in https://github.com/python/typing/issues/513

Let's post preferences here, I prefer the GitHub issue.

There will be some discussions about Python numeric stack during Python typing summit, see this thread https://mail.python.org/archives/list/typing-sig@python.org/thread/P36XOWSKF... Also I am planning to organize an open-space dedicated to static typing of Python numeric stack during PyCon (likely on the third day).

-- Ivan

On Thu, 25 Apr 2019 at 15:56, Rebecca Chen wrote:

...

Hello!

I was wondering where work/discussion on the numerical stack type system improvements https://paper.dropbox.com/doc/Type-system-improvements--AZLqIRRyLF5wU14B5leS... from the last typing meetup is happening. A couple of TensorFlow folks (cc'd) are looking to implement static checking of TensorFlow code and would like to explore whether it makes sense to align their efforts with the proposed type system changes. Specifically, they're interested in learning some details about how broadcasting and shape checking will be handled. Where should I point them for more information?

Best, Rebecca _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/

_______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/

Btw I don't have a clear preference between email vs github, both are fine Le mar. 30 avr. 2019 à 04:14, Rebecca Chen a écrit :

Thanks, Ivan! I'll let Peng and Ashish speak for themselves re: communication preferences, but it's exciting to see so many different groups working on this.

Best, Rebecca

On Sat, Apr 27, 2019 at 5:59 PM Ivan Levkivskyi wrote:

...

Hi Rebecca,

Not much happened on mypy side since the meet-up, since we were totally distracted by a big refactoring. It looks like three teams are going to work on some static typing for numeric code: * Vincent (and maybe Dominik) from Facebook (Dominik could you please add Vincent's email?) * Peng and Ashish at Google * Jukka and me at Dropbox

There are two options to keep in sync: * Post all updates in this e-mail thread * Post every update in one of dedicated typing issues, for example in https://github.com/python/typing/issues/513

Let's post preferences here, I prefer the GitHub issue.

There will be some discussions about Python numeric stack during Python typing summit, see this thread https://mail.python.org/archives/list/typing-sig@python.org/thread/P36XOWSKF... Also I am planning to organize an open-space dedicated to static typing of Python numeric stack during PyCon (likely on the third day).

-- Ivan

On Thu, 25 Apr 2019 at 15:56, Rebecca Chen wrote:

...

Hello!

I was wondering where work/discussion on the numerical stack type system improvements https://paper.dropbox.com/doc/Type-system-improvements--AZLqIRRyLF5wU14B5leS... from the last typing meetup is happening. A couple of TensorFlow folks (cc'd) are looking to implement static checking of TensorFlow code and would like to explore whether it makes sense to align their efforts with the proposed type system changes. Specifically, they're interested in learning some details about how broadcasting and shape checking will be handled. Where should I point them for more information?

Best, Rebecca _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/

_______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/

OK, then I would propose to use https://github.com/python/typing/issues/513 for more fine grained coordination/discussions, and we can post updates/summaries/etc. here from time to time. -- Ivan On Tue, 30 Apr 2019 at 13:49, Peng Wang wrote:

Hi Ivan and Vincent,

Nice to e-meet you! I don't have a preference between email vs github either. Github does have the benefit that it's public and other people can chime in.

Best, Peng

On Tue, Apr 30, 2019 at 1:57 AM Vincent Siles < vincent.siles+pyty@gmail.com> wrote:

...

Btw I don't have a clear preference between email vs github, both are fine

Le mar. 30 avr. 2019 à 04:14, Rebecca Chen a écrit :

...

Thanks, Ivan! I'll let Peng and Ashish speak for themselves re: communication preferences, but it's exciting to see so many different groups working on this.

Best, Rebecca

On Sat, Apr 27, 2019 at 5:59 PM Ivan Levkivskyi wrote:

...

Hi Rebecca,

Not much happened on mypy side since the meet-up, since we were totally distracted by a big refactoring. It looks like three teams are going to work on some static typing for numeric code: * Vincent (and maybe Dominik) from Facebook (Dominik could you please add Vincent's email?) * Peng and Ashish at Google * Jukka and me at Dropbox

There are two options to keep in sync: * Post all updates in this e-mail thread * Post every update in one of dedicated typing issues, for example in https://github.com/python/typing/issues/513

Let's post preferences here, I prefer the GitHub issue.

There will be some discussions about Python numeric stack during Python typing summit, see this thread https://mail.python.org/archives/list/typing-sig@python.org/thread/P36XOWSKF... Also I am planning to organize an open-space dedicated to static typing of Python numeric stack during PyCon (likely on the third day).

-- Ivan

On Thu, 25 Apr 2019 at 15:56, Rebecca Chen wrote:

...

Hello!

I was wondering where work/discussion on the numerical stack type system improvements https://paper.dropbox.com/doc/Type-system-improvements--AZLqIRRyLF5wU14B5leS... from the last typing meetup is happening. A couple of TensorFlow folks (cc'd) are looking to implement static checking of TensorFlow code and would like to explore whether it makes sense to align their efforts with the proposed type system changes. Specifically, they're interested in learning some details about how broadcasting and shape checking will be handled. Where should I point them for more information?

Best, Rebecca _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/

_______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/