Blog

A nice little John Hurt tune. And you can hear the soothing sounds of traffic in the background. Just wish I could sing better. And play better too, as long as we’re wishing.

Farther Along

A marvelous introduction to systems theory, including some of the common traps that systems fall into and how to get out of them. Clear, illuminating, and very accessible to the lay reader. Highly recommended.

A gentle introduction to specifying concurrent systems with the Temporal Logic of Actions, and the use of the TLC model checker to test them out.

A murder mystery set in the ancient Ottoman Empire, centering around the lives of the miniaturists who illuminate books. Nice, but a bit long-winded.

Can’t believe I only just discovered Elmore Leonard. Luckily there’s plenty more where this came from.

Piotr Dobrogost has converted the entire series into complete html and pdf versions. Thank you, Piotr!

Pratchett has fashioned a lot of interesting characters over the course of this massive series, but I think Samuel Vimes and the cast surrounding him are the author’s finest creations.

Yang Xiaowei has translated a large portion of the Twisted Introduction into Chinese. Thank you, Yang!

Another great ending. Getting lucky with these lately.

Really fun series. Thanks, Amy, for giving them to Beth!