Verification

Source code analysis is not really the focus of my software company. I am just trying to build a fast and intelligent reasoning system to support the development of my other applications. I decided to develop NStatic as a testbed for my core AI technology. It was actually supposed to be

---

Read more » Dec 25, 2006, 7:38AM
NStatic

Program Verification

J Strother Moore described program verification in his talk entitled “A Mechanized Program Verifier” at the 2005 Verification Grand Challenge Workshop. The verification community seeks to build a system that can follow the reasoning of an average human engaged in a creative, computational, problem solving task lasting months or years

---

Read more » Dec 20, 2006, 6:29PM
NStatic

Bullets Flying My Way

Larry O'Brien has been questioning my critique of Fred Brook's essay, "No Silver Bullets" in my post Lego Programming. Actually, he turned my post into a strawman argument and tied my name to an argument that I didn’t really make—that IDEs are a silver bullet. IDEs certainly have introduced a

---

Read more » Dec 6, 2006, 2:43PM
AI

Confirmed Talk

I managed to get a confirmed date for a talk at the .NET Developers Association. Here is the event link, soon to be updated with my bio, photo and topic synopsis. This was the first open presentation date. It's a General Meeting on Monday, February 5, 2007 at Microsoft Building

---

Read more » Dec 5, 2006, 11:57AM
NStatic