Project Midori is building a new programming language

it seems like we are coverd by MaryJo Foley
http://www.zdnet.com/blog/microsoft/microsoft-codename-redhawk-lives-in-windows-8/9233

but I was just copy&pasting for that post, now I have something to add myself, thanks to MaryJo herself, she linked an article about Midori from 2009
http://www.zdnet.com/blog/microsoft/microsofts-midori-whos-on-the-all-star-roster/4149

and I noticed that, some Midori group members she mentions, describe their group as "Technical Strategy Incubation", so I just typed this into http://careers.microsoft.com/, and got these:

https://careers.microsoft.com/JobDetails.aspx?jid=38409

The Technical Strategy Incubation team is looking for highly motivated engineers to work on the design and development of a new programming language and associated tools. Our language is focused on enabling safe concurrency, automatic parallelism, and increased correctness and development time thanks to static verification.

Our effort is a part of a larger operating systems effort, which embraces these principles systemically and at a broad scale.

As a developer on the team you will be responsible for the design and implementation of new language features in the compiler, IDE, and related tools. Our features are largely need-driven and prioritized to those that deliver the most value to the overall team. Being an incubation team, all features are potential technology transfers to product teams and/or frequently open up new research opportunities.

here they mentioned 'static verification', and I noticed MaryJo list someone related to the Solver Foundation as part of the Midori team, I guess Z3 may has something to do with this too.

https://careers.microsoft.com/JobDetails.aspx?jid=38849

The Technical Strategy Incubation team is looking for a senior software architect to lead development of our safe concurrent programming model.

This programming model is a core component of a system, 99% of which is written in type- and memory-safe C#. A core principle we add to managed code is that 1st class, statically enforced concurrency-safety must become a peer of type- and memory-safety. This role demands innovation at each layer of the software stack: programming model abstractions, scheduling (kernel and user-mode/runtime), message passing and asynchrony more generally, shared-memory, data and task parallelism, distributed parallelism, heterogeneity (including vectorization and GPGPU), interaction with processor architecture, feedback directed optimizations, and even language design and compiler implementation.

https://careers.microsoft.com/JobDetails.aspx?jid=36264

The Technical Strategy Incubation team is seeking a high achieving SDE to help build a next generation UI/Graphics platform. This incubation team is chartered with pursuing strategic opportunities which are difficult to address incrementally with existing systems, such as UI responsiveness and security, rich applications that span devices, new web-centric programming models, and effective use of GPUs and many core.

in regarding to Redhawk, I got nothing about that, but I do found a project funded by Google that MIGHT be similiar to Redhawk/MinSafe in some sense:

GoNative: Safe Execution of Native Code
http://sos.cse.lehigh.edu/gonative/

its based on 'Software-based Fault Isolation', which is used in Google's NaCl (Native Client)
http://code.google.com/intl/en-US/chrome/nativeclient/docs/technical_overview.html

@felix9:  Good finds. 

@felix9:

Interesting. I hope they improve the UI with SWAP based UI updates. What I mean is when updaing the UI, instead of using the UI thread to recalculate everything and halt the UI, we should do it in another thread in the buffer and then swap it to the front after it is done. Similar to DX3D draw buffer.

Nice detective work.

@Charles: well, I think 'Go Native' can be a candidate of the long promised c9 show about native code, how is things going ? or you just forgot that ?

By the way, felix, do you have any association with this Felix?

http://www.felix-lang.org/

unfortunately, no. but this is so adorable thanks