> Basically the PTVS team did a demo of IPython for Microsoft Research big cheeses and asked them to consider donating (used Z3Py theorem prover for the demo). At the end of the hour they were ready to cut the check.
i am the guilty party. it was an all up talk + demo of IPython on Azure (on a linux VM!), with the punchline delivered using one of MSR's own libraries (z3), wrapped w Python API's (by leonardo de moura). the big cheeses at the mtg were tony hey (VP) & dennis gannon. i had been encouraging them to do more w python at MSR (research work, wrap existing libs with python, etc.) for a while and everything just came together on that day. i should say that the real credit goes to the IPython team as it demos really really well :).
the donation comes w no strings attached & they can spend it any way they want.
http://www.reddit.com/r/Python/comments/1n72bm/microsoft_don...
> Basically the PTVS team did a demo of IPython for Microsoft Research big cheeses and asked them to consider donating (used Z3Py theorem prover for the demo). At the end of the hour they were ready to cut the check.