InfoQ Homepage .NET Content on InfoQ
-
ASP.NET MVC 3 Embraces Dynamic Typing
Nearly a decade ago Microsoft gambled big on WebForms and static typing. With the dial cranked all the way over to full encapsulation, each page could almost be treated as its own program. In the intervening years the industry has largely gone in the other direction, favoring separation of concerns over encapsulation and late binding over early binding. Now Microsoft is doing the same.
-
Introducing NHibernate 3.0
NHibernate 3.0 is the first major release of the popular ORM in over a year. With the release it has changed the CLR version to .NET 3.5. This allows the creation of the QueryOver API, while replaces the string-based ICriteria expressions with strongly typed lambda expressions. This is in addition to the built-in LINQ provider.
-
The Much Needed Service Pack for VS 2010 is Almost Ready
Visual Studio 2010’s first service pack is nearing completion. According to Brian Harry, the betas for .NET 4 SP1, VS 2010 SP1, and TFS 2010 SP1 together represent between 800 and 1,000 bug fixes. Also included is a new help system and improved support for Silverlight, x64, and .NET 3.5.
-
Announcing Verve – A Type-Safe Operating System
Microsoft Research releases Verve, an operating system which grew out of the Singularity project, upon whose base premise is to use Typed Assembly Language, TAL, and Hoare logic to achieve the highest levels of security and safety.
-
Developer Angst on Microsoft Visual C++ Futures
Yesterday a video was posted to the Visual C++ blog in an attempt to answer community concerns about its future. The post hit a raw nerve with the C++ community with no response from the Visual C++ team as yet.
-
Orleans: An Object Framework for Cloud Computing From Microsoft Research
Earlier this week Microsoft Research published a paper outlining a framework for Cloud Computing codenamed Orleans. The framework is intended for cloud computing applications where a client such as a PC, smartphone or embedded device is employed.
-
Targeting the GPU with GPU.NET
GPU.NET is a managed solution integrated with Visual Studio 2010 for .NET developers and aimed at creating calculation intensive applications for GPU.
-
Silverlight 5 Timeline And Lots of Questions
Yesterday Microsoft announced the timeline for Silverlight 5 in 2011 at the Silverlight FireStarter event. Silverlight 5 will be in beta the first half of 2011 and ship early in the second half of 2011. Developers quickly began posting impressions and many questions.
-
NCBI BLAST for Windows Azure
Microsoft is now offering NCBI BLAST for the Windows Azure platform. NCBI BLAST was created by a group of researchers working for the National Institutes of Health, a division of the United States Department of Health and Human Services. NCBI describes BLAST as a tool that “finds regions of local similarity between sequences” of protein and DNA chains.
-
HTML5 Labs Launched and WebSocket Update
Last week Microsoft launched HTML5 Labs where they intend to post early prototypes of applications running on unstable web standard specifications for .NET developers. Yet earlier this month, preliminary WebSocket implementations in FireFox 4 and Opera where disabled due to security concerns.
-
Announcement: Windows Phone 7 Opens to Visual Basic
On November 29th, the Visual Basic team announced the Release To Web version of Visual Basic for Windows Phone Developer Tools. This is exciting news for the large number of Visual Basic developers to achieve almost parity with the C# developer community in regards to Windows Phone 7 development of applications.
-
Prism 4 Final Released
Karl Shifflett released the final release of Prism 4 to MSDN on November 12. Simultaneously, Karl also published the first installment of a series of multimedia training that is consumed within Visual Studio 2010 called, In the Box.
-
OS Release: Pyxis 2 Beta 2
Last Wednesday, Thomas Holtq announced the release Pyxis 2 beta 2 of the Pyxis 2.0 operating system for .NET Micro Framework devices.
-
Microsoft’s WebMatrix Now Shipping with PHP 5.3 and PEAR
The third beta of Microsoft’s WebMatrix IDE was released this month with significantly improved support for PHP. This round brings the option to choose between PHP 5.2 and 5.3 as well as support for PEAR, the PHP Extension and Application Repository.
-
LINQ to Z3, The World’s Fasted Theorem Prover
Microsoft Research claims that Z3 is the world’s fastest theorem prover. Z3 is designed to be a low-level tool for other applications, it is not meant to stand-alone. With its host of theorem provers, it is used by numerous projects including Spec#/Boogie, Pex, Yogi, Vigilante, SLAM, F7, SAGE, VS3, FORMULA, and HAVOC. With Bart De Smet’s LINQ to Z3, using this tool becomes embarrassingly easy.