Nikolai Tillmann's Blog

Nikolai works at Microsoft Research on TouchDevelop, Pex, and Spur

Browse by Tags

Tagged Content List
  • Blog Post: Moving from Microsoft Research to DevDiv…

    I didn’t blog for more than a year, and many interesting things happened during that time! I moved from the Research in Software Engineering team (RiSE) in Microsoft Research to the Tools for Software Engineers (TSE) team in DevDiv to work on a new challenge. Here’s a summary of everything...
  • Blog Post: pexforfun.com: IntelliSense, High Score List, Publishing, Dynamic Ranking, Live Feed

    Today, the Pex team is thrilled to announce a great makeover for pexforfun.com , adding several new features: IntelliSense That’s right, when you hit the ‘.’ after a name in the code editor, you get code completion, in your browser. Just as in Visual Studio! Well, almost...
  • Blog Post: Sign in on pexforfun.com, start earning medals

    Using Windows Live™ ID, you can now sign in to pexforfun.com and get a personalized experience. After signing in, the Pex for fun website will track how many Coding Duels you tried to win, eventually won, and which ones you created yourself. Pex for fun also remembers the last program text you...
Page 1 of 1 (3 items)