To b | !b, that is the question
When I was reading First-Order Logic byRaymond M. Smullyan I was fascinated by the second chapter in which he describes a method for proving a propositional logic expression is a tautology. This method...
View ArticleScanners (not the movie)
In my previous post I introduced a program I wrote to that uses the method described in First-Order Logic byRaymond M. Smullyan to prove an arbitrary propositional logic expression is a tautology. In...
View ArticleIf you are using a loop, you're doing it wrong
"If you are using a loop, you're doing it wrong." That is the advice one of my college professors told us when he was teaching usAPL. APL was designed to perform vector and matrix operations....
View ArticleIf you are using a loop, you're doing it wrong
"If you are using a loop, you're doing it wrong." That is the advice one of my college professors told us when he was teaching usAPL. APL was designed to perform vector and matrix operations....
View ArticleIf you are using a loop, you're doing it wrong
"If you are using a loop, you're doing it wrong." That is the advice one of my college professors told us when he was teaching usAPL. APL was designed to perform vector and matrix operations....
View ArticleIf you are using a loop, you're doing it wrong
"If you are using a loop, you're doing it wrong." That is the advice one of my college professors told us when he was teaching usAPL. APL was designed to perform vector and matrix operations....
View ArticleBeginInvoke's last parameter: What's in a name?
I have been playing around with asynchronous programming lately and it bothers me that the last parameter to the begin invoke pattern doesn't have a name that everyone agrees on. The begin invoke...
View ArticleZero the value is not
One of my pet-peeves is code written like this,if (0 != value) { ... }This reads backwards to me. I hear echoes of Frank Oz in my head, "if zero the value is not". As cute as this dialect is coming...
View ArticleSimulating INumeric with policies
After reading Luca Bolognese's blog post regarding using C# 4.0's dynamic keyword to simulate INumeric I immediately thought that must be a way to express this with generics instead. Generics, however,...
View ArticleNew address
This blog had a good, long run on Brian Pepin servers he was gracious enough to host in is house. Brian's house, however, is going through some renovations so he decided to move his own web servers to...
View Article
