unfortunately, no. but this is so adorable thanks
@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 ?
obviously they must release it months before win8 rtms, so they can have some more apps in their new appstore for the launch. my guess is about the current announced timeframe of SL5, which is 'toward the end of the year'. surely we will hear more on the september event, probably a beta.
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
its based on 'Software-based Fault Isolation', which is used in Google's NaCl (Native Client)
it seems like we are coverd by MaryJo Foley
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
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: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.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.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.
another piece of the puzzle: Windows Runtime
OK. Today I found something called Windows Runtime, apparently it is a new version of COM the Component Object Model, but hopefully simpler and lighter.
there is a DLL called COMBASE.DLL, which descript itself as 'Microsoft COM for Windows'
it export lots of functions start with Co-, like CoInitializeEx, previously found in OLE32.DLL,
but it also exports a bunch of functions start with WinRT- or Windows-, and those functions are similiar to some Co- guys.
for example, WinRTInitialize, should be the new CoInitializeEx, WinRTUninitialize should be the new CoUninitialize,
and WindowsCreateString, should be the new SysAllocatStringLen, and WindowsDeleteString, should be the new SysFreeString,
and WinRTActivateInstance may be the new CoCreateInstance.
also, in the regstry, there is such a node HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\WindowsRuntime
it has some subkeys like CLSID and ActivatableClassId, they have lots of subkeys, point to the new generation of windows components and libraries.
like ActivatableClassId\Windows.Deployment.PackageManager, is the registration for AppXDeploymentClient.dll
and Windows.Runtime.Storage.OpenPicker and Windows.Runtime.Storage.SavePicker, points to different CLSIDs in TwinUI.dll
this "Windows Runtime" thing looks like a software framework for the new native-code application model,
maybe we should again look into Mary Jo Foley's old post about Redhawk/MinSafe, and remember an old name: 'WinFX', but for native-code this time
one more thing, lets look into this recent job post from Microsoft
https://careers.microsoft.com/JobDetails.aspx?jid=36807Do you want to help developers create applications in C++ for the next version of Windows? Do you want to dig into a new version of COM and create content that shows off its capabilities? Do you want to write about new programming models for the next version of Windows? Are you comfortable writing code snippets and code samples to demonstrate what your readers need to know? Are you a clear and concise writer?
The Content Development group for WinC++ is looking for an experienced writer with strong C++ programming skills to create content for developers for the next release of the Visual Studio. In this role, you’ll be exposing new developments in C++ and COM that are releasing with Visual Studio
You should demostrate the recipes from this book on C9 !!
That’s right. GrapeCity PowerTools is introducing what is believed to be the first actual cookbook that includes recipes from your favorite Microsoft. NET Community Influencers.
The all-star lineup of guru recipes includes; Henry Allain, Scott Allen, Rachel Appel, Ted Bahr, Glenn Block, Richard Campbell, Rob Conery, Howard Dierking, Jim Duffy, Mark Dunn, Keith Elder, Dino Esposito, Mary Jo Foley, Carl Franklin, Russell Fustino, Jon Galloway, Giorgio Garcia-Agreda, Glen Gordon, Scott Guthrie, Phil Haack, Jeff Hadfield, Scott Hanselman, Joe Healy, Matt Hinze, Tim Huckaby, Chris Kinsman, Julie Lerman, Michèle Leroux Bustamante, David Lyman, Matt Morollo, Jason Olson, Fritz Onion, Jeffrey Palermo, John Papa, Harry Pierson, Ayende Rahien, David Rubenstein, Shervin Shakibi, Steve Smith, Dave Ward, John Waters, Chris Woodruff and a whole lot more!