Merry Christmas to you too.
Loading User Information from Channel 9
Something went wrong getting user information from Channel 9
Loading User Information from MSDN
Something went wrong getting user information from MSDN
Loading Visual Studio Achievements
Something went wrong getting the Visual Studio Achievements
Embedded scripting engines ... generation of user defined objects from user defined data, built from a highly specific business related DSL, especially useful for dynamic search tools embedded in a business application and applications requiring end-user customizability of relational data, and auto-generation of CRUD based forms as well as business logic and validation specific to user defined data and forms. There's a ton of stuff this would be useful for.
@MyLifeinCode: You might look into the course "The Elements of Computing Systems: Building a Modern Computer from First Principles". There's a short video here, (also linked from the first link), that explains how they literally go from NAND to Tetris, building a computer (on a VM), the language, everything. When I heard about it, I found it fascinating, and it would be the way I would teach someone new to programming (i.e. if I ever have a child who is interested). They provide most of the chapters of the book for free, and powerpoints, and sample code are available. I think for someone wanting to learn embedded systems, this kind of course teaches you basically everything about a computer, VM and languages from the ground up.
@spivonious: Imagine you're Magneto or something ... and you suck in all the magnetic crap around the environment as you pull inwards towards you and squeeze your fist, spin it around in orbit around you using the objects to inflict damage on your enemies and surroundings like a hurricane of metal, etc....
@Charles: Does automatic code verification allow opportunities for superior code optimization, that may not be possible in other OSs?