Another quick Clojure blog entry, this one on writing out file contents.
A brief overview to approaches to reading in files in Clojure.
A quick walkthrough for setting up the TLA+ tools on OS X.
A few quick comments on the excellent paper from 1997, "Why Engineers Should Consider Formal Methods".
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.
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.
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.
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?
BeepBeep is a great little web micro-framework, which I have enjoyed working with a lot. Sometimes when dealing with micro-frameworks you end up reinventing a wheel a lot. Sometimes that might be part of the appeal, either way, here is a quick look at generating RSS feeds using BeepBeep.
All Rights Reserved, Will Larson 2007 - 2013.