October 2006

8 posts

Real World Specs

Omer van Kloeten talks about Spec# in the Real World and points to Mike Barnett's talk about Spec# in the Lang.NET Symposium. While he likes the technology, he's worried that most developers will find it too inconvenient to use. I am planning on adding specifications support including syntax highlighting on
Read more » Oct 24, 2006, 5:55AM
NStatic
Image

Interprocedural Analysis

One distinctive feature of my static analysis tool, NStatic, is support for fast interprocedural analysis as demonstrated by this snapshot of the callstack window depicting a stack trace, eleven function calls deep. Note that this is a pre-release product, and anything I mention in this post is subject to change.
Read more » Oct 23, 2006, 11:43PM
NStatic
Image

Last Mile

I have got another month of UI tweaking and bug-fixing left on my tool. Probably within that time I will released a non-public build to the few dozen people on my beta list, followed sometime later by a more extensive beta. I am currently planning on talking about NSTATIC during a
Read more » Oct 23, 2006, 10:14AM
NStatic

Symbolic Links Redux

There's been some confusion as to whether symbolic links are based on reparse points from my last post on symbolic links in Vista. Symbolic links are reparse points, too, not just junctions. Reparse points are an extension mechanism in NTFS for both files and directories, not just directories. They are
Read more » Oct 9, 2006, 7:52AM
.NET

Symbolic Links in Vista

I have been reading Hanselman's post on symbolic links in Vista and trying to get a handle on what exactly is the difference between junctions and the new UNIX-style symbolic links in Windows Vista. Windows Vista now supports four different types of links: shortcuts, hard links, junctions and symbolic links.
Read more » Oct 3, 2006, 8:41PM
.NET

NStatic Status

I currently have 29 active bugs in my plate for the NStatic. The noise in my blog has been low, as I have been very busy developing and fixing bugs. I am thinking of saving all the "Rotor" Shared Source CLI bugs that I find in a list to be
Read more » Oct 1, 2006, 11:38PM
NStatic

Turing Test and Loebner Prize Competition

A couple of weeks ago, the 2006 Loebner Prize competition was held. Back when I was at Harvard in the early 1990s,  the annual Loebner Prize Competition was created as the first real-life version of the "Turing Test," described in Turing's article "Computing Machinery and Intelligence" to answer the question "Can Computers
Read more » Oct 1, 2006, 9:14PM
AI

MVP - C#

I just received this email message from Microsoft this morning: Dear Wesner Moise, Congratulations! We are pleased to present you with the 2007 Microsoft® MVP Award! The Microsoft MVP Award is our way of saying thank you and to honor and support the significant contributions you make to communities worldwide.
Read more » Oct 1, 2006, 9:56AM
.NET , C#

 

Navigation

Categories

About

Net Undocumented is a blog about the internals of .NET including Xamarin implementations. Other topics include managed and web languages (C#, C++, Javascript), computer science theory, software engineering and software entrepreneurship.

Social Media