Friday, April 15, 2011

Blogs that are not updated

Yes, it is a problem. I am a huge fan of Brian Beckman and Bart de Smert. Unfortunately their blogs have not been updated for a long time. I read majority of their articles, and learned a lot, and I literally mean a lot, because each article requires some research to be done by myself in order to understand everything deeper and better. I ask myself a question, why do people like Hanselman or Haack blog a lot, and people that I prefer don't. Anyway, Brian, Bart I would exchange at least three months of blogging of Hanselman or Haack for a one of your posts. Power to visioners.

Tuesday, April 12, 2011

Test driven .NET

This is just a quick reminder about TestDriven.NET, a plug-in for visual studio that enables me to run my tests faster, and in an abstract way from a testing framework.

Saturday, April 9, 2011

Amb operator

It was three years ago when I first heard about amb operator. And it was schema language that implemented it. Somehow I haven't use it much, and I did not understand its power until I heard about Spec Sharp, PEX, and Z3. Since then I was looking for some tools, programming patterns, ideas to check for correctness of some code/theory, or mechanism to allowed me to check when or if the code will succeed. Today I read about amb implementation in JavaScript, a nice article, and a good reference.

Friday, April 1, 2011

P vs NP problem

There are some problems that are not easy to solve. One of them is CACM problem. Recently I read a great paper describing the history of the problem, its context, solve strategies, and what it means to solve it. A good read.