Comments on "Why Engineers Should Consider Formal Methods"

October 20, 2009 A few quick comments on the excellent paper from 1997, "Why Engineers Should Consider Formal Methods".

Filed under computer-sciencesoftware-engineering

Money or Meaning: Spending Our Wealth of Time

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.

Filed under essay

Cleaning up erlang_markdown

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.

Filed under markdownerlang

A Failed Stack-based Markdown Interpreter

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.

Filed under markdownerlang

Proposal for Authenticating Web Callbacks

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?

Filed under web-callbacks

Generating RSS feeds via BeepBeep

September 20, 2009 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.

Filed under beepbeep

How Pitance Versions Documents in CouchDB

September 17, 2009 A quick overview of how I ended up versioning templates in Pitance, requiring a bit of extra meta-data as well as creative use of the query api.

Filed under couchdbpitance

Erlang Brush for SyntaxHighlighter

September 15, 2009 While adding SyntaxHighlighter support to Pitance, I went ahead and put together a very simple Erlang brush.

Filed under erlangpitancesyntaxhighlighter

Pitance: Template and Snippet Infrastructure

September 13, 2009 After several months of work, it is finally time to take the curtain off of Pitance. Pitance is an infrastructure for sharing and managing reusable templates and snippets, including a command-line client and an HTTP/JSON API.

Filed under beepbeeppitance

Load Balancing Across Erlang Process Groups

September 13, 2009 A quick look at a slightly novel solution for balancing load across process groups when building Erlang systems.

Filed under erlang

Changing Mimetypes for Text Responses in BeepBeep

September 4, 2009 A quick post on how to change mimetype in BeepBeep micro-framework for Erlang.

Filed under beepbeep