A quick walkthrough for setting up the TLA+ tools on OS X.
I like LifeFlow. I like it a lot, you'd hope so, because I'm probably the only person who seriously uses it. That said, there are a number of issues that make it difficult to work with, and they need to be resolved before the blog platform is genuinely usable.
This third part of the series working on Dynamo works on refactoring the code thus far into something more workable. In particular we add unittests and convert the message-passing based implementation into an OTP gen_server.
I've simplified the process of deploying django-springsteen on the Google App Engine down to a several minute process. Take a look.
This is the new home of an old entry from the now defunct original incarnation of *Irrational Exuberance*. These entries are almost two years old, and haven't necessarily aged well, but maybe that's a good thing. This one talks about object orientation often blinding us from simple solutions.
I spent much of the day writing Mahou, which is the Japanese word for magic, and is now also a Yahoo! Boss Search Mashup Framework and Cappuccino (and Google App Engine, while we're at it) powered image search engine. It's a pretty interesting application, and even the least technical readers might enjoy playing around with it a bit.
Recently I have run into a few situations where I really wanted to avoid Markdown messing with segments of text, and there isn't a completely intuitive way to deal with that by default, so I put together a quick solution. And.. while I was at it I added some support for rendering Textile and ReST from within Markdown as well.
Here is my first attempt at putting together some thoughts on a computer science paper, in this case Jim Gray's A Transaction Model from 1980. It is an excellent paper which pushed me to think about my current work project in a broader light, and also inspired some ideas about potential future side-projects to experiment with.
Quick posting of my solution to extremely poor wireless connectivity on my MacBook.
It can be a bit awkward to implement MarkDown and Code Syntax highlighting together in your Django applications. But making them play nicely together doesn't have to be a hassle. Beyond that, its about time to teach your Django blog to automagickly create MarkDown references for you. If only it would stop begging at the dinner table...
Software engineer, technical leader, sci-fi reader, and so on. Born in NC, living in SF, and glad to grab a coffee.