-
Solving car talk puzzle with Alloy
I have become interested in formal methods lately. In particular, I have been learning Alloy recently. I came across a TLA+ model here, written by Leslie Lamport, who invented TLA+.… More.
-
ListView, ComboBox, and ObservableCollection
Published an article on CodeProject, discussing about the issues related to binding ObservableCollection to ListView and ComboBox controls. Please read the article here. More.
-
Functor and Member Function Pointer
The Problem Suppose you need to use a legacy C++ class designed in COM style. Some methods of the class return HRESULT, and take a pointer as a parameter that… More.