Microsoft has been keeping a steady stream of apps coming and two more official apps hit the Marketplace today. First up in Rise4Fun:

Discover and play with the latest software engineering tools from Microsoft Research right in your phone! Rise4fun features 15+ advanced tools that deal with software testing, verification, concurrency, empirical studies, theorem proving and more… Download this application and impress your friends by solving Sudoku puzzles using first order logic!

This is free and can be found under Tools.

Next up is Software Summit ‘11 which is described merely as “program and information guide for MSR Software Summit 2001.” Well they write code, not descriptions I guess. Anyway this one is free and can be found in the Business category.


  1. Hi! I understand this is somewhat off-topic but
    I needed to ask. Does operating a well-established website such as yours require a massive amount work?
    I’m completely new to writing a blog however I do write in my diary everyday. I’d like to start a blog so I can easily share my experience and thoughts online.
    Please let me know if you have any recommendations or tips for brand
    new aspiring bloggers. Appreciate it!

Comments are closed.