Alloy Analyzer - if you want to see how far automatic proofs and automatic reasoning on software models have come today, check out this project. Written in Java, installers available for major systems. Comes with a declarative language for model specification and automatic conflict finders - so a faulty model throws out counterexamples that violate at least one of the boundary conditions. And the tutorial doesn't deliver any abstract, practice-remote examples, but for example a model of a date system with various operations on it.
Apples and Bananas - if a politician should once again compare apples with bananas, this article about image recognition algorithms for distinguishing apples from bananas could help!
Google Voice Blog: Google welcomes Gizmo5 - completely passed me by: Google has acquired Gizmo5. For a long time, it was a competitor to Skype, based on SIP instead of proprietary protocols. The company's founder was the same Michael Robertson who also founded mp3.com, mp3tunes.com, and Linspire - and often came across as somewhat dubious (especially the winding up of Linspire is still under discussion, as the shareholders largely came away empty-handed). Incidentally, Gizmo5 also used ejabberd for the IM infrastructure - that's how I stumbled upon it.
[JDev] Wikipedia deletions](http://mail.jabber.org/pipermail/jdev/2009-December/087962.html) - again Wikipedia deletionists at work. Delete eJabberd because it's unimportant? It's just one of the most widespread Jabber daemons and Jabber itself is just the protocol behind Google Talk and Google Wave, what's so important about that ...
My OpenID - just for future use, so I can find my own OpenID provider again when I need it ...
Nullege: A Search Engine for Python source code - very useful when you want to see how an API is used in various projects. Sometimes the documentation is a bit unclear and looking at example source code makes things clearer.
phpMyID - simple small PHP library for setting up your own private OpenID provider.
TidBITS Entertainment: "If Monks Had Macs" Available for Free - one of the strangest projects from the old Mac era. Interesting just because you can see how some people used Hypercard back then (runs today on Runtime Revolution and thus cross-platform).
Building a Codeless Language Module with BBEdit 8.5 and (Ir-) Regular Expressions - since I keep looking for this, here's a guide on how to build codeless language modules for BBEdit and TextWrangler. In the new version, they can use regular expressions. Tip: try out the regular expressions in the grep search of BBEdit/TextWrangler, then you can see if they work correctly on a source.
Wikipedia:Articles for deletion/Ejabberd - and for those who want to endure the entire nonsense of the Wikipedia watchmen: the discussion page about the deletion request for Ejabberd in December. Just to explain: Ejabberd is used, among other things, by Facebook for their XMPP support for Facebook Chat ...