Well, the title of this post pretty much tells the story; Geoffrey K. Pullum has published a proof that the Halting Problem is undecidable, in verse. Here’s an excerpt:
Here’s the trick that I’ll use – and it’s simple to do.
I’ll define a procedure, which I will call Q,
that will use P’s predictions of halting success
to [...]
I’ll be speaking at the CodeRage III virtual conference, on the subject of functional programming in Delphi 2009. Here’s the (rather bland) abstract:
Delphi 2009 includes several new features well-suited to a functional style of programming. We’ll explore the use of generics, anonymous methods, and new RTL types while introducing concepts from functional programming.
If you’ve been [...]
Microsoft has announced their intention to "de-emphasize" LINQ to SQL, and guided us to use the Entity Framework, instead. This is not too surprising, considering that LINQ to SQL was never supposed to exist in the first place. But, just like with WinForms, a lot of people have used LINQ to SQL in production code [...]
Bad Behavior has blocked 713 access attempts in the last 7 days.