November 25, 2009 This article looks at a couple of approaches for implementing systems with recurring events using message-passing based concurrency (Erlang and Clojure are used in code snippets). In particular it looks at the ping-pong, circle, coordinator and gossip approaches to distributed communication.
November 24, 2009 A fairly indepth tutorial which takes a look at using Clojure to extract data from webpages, using agents to process data, and a few other knickknacks.
November 22, 2009 This post contains an extremely brief discussion on how Clojure agents differ from Erlang actors, and then follows with examples o fusing Clojure agents to serialize file writes, form message relays and perform parallel HTTP fetches.
November 16, 2009 Another quick Clojure blog entry, this one on writing out file contents.
November 16, 2009 A brief overview to approaches to reading in files in Clojure.
October 31, 2009 A quick walkthrough for setting up the TLA+ tools on OS X.
October 20, 2009 A few quick comments on the excellent paper from 1997, "Why Engineers Should Consider Formal Methods".
October 11, 2009 We don't know how long we'll live, but we do know our time is limited, and life could be thought of as our endeavor to optimize the economics of our time. Yet, much like the current financial debacle, often the attempt to optimize ends poorly.
October 11, 2009 After some additional work, erlang_markdown is cleaning up fairly well into a usable package. At this point, pretty much all of Markdown should be implemented outside of the alternative header syntax.
September 27, 2009 Spent a bit too much time this weekend trying to implement a stack-based Markdown interpreter in Erlang, and not quite enough time in the planning process. That said, it was a nice initial sketch, and in a few days I'll have time to rework it accordingly.
September 21, 2009 Web callbacks are a great idea, but are still lacking some conventions before they become a widespread feature for web services and APIs. One of the most important ones: how to authenticate clients registering for web callbacks?