Software! Math! Data! The blog of R. Sean Bowman
The blog of R. Sean Bowman
August 29 2015

One problem I have faced a couple of times in the past is this: we’re given a list of objects, and a list of identifications of two objects. How many groups of objects are there after we perform the identifications? In mathematical parlance we’re given a set, a relation, and we’re asked to find the equivalence classes under the equivalence relation generated by the given relation.

Read more...


August 18 2015

I’ve been spending lots of time at the command line lately and thought I’d share a couple of useful bash aliases and functions that I use every day. Some are based on the awesome utilities fasd and fzf. The former provides tools to manage a database of frequently/recently used files and directories. (That description is not very user friendly: it’s easier than it sounds.) The latter is a curses based tool that selects one line of text from a bunch using interactive fuzzy matching.

Read more...


June 22 2015

Recently I saw a blurb for Drake, a tool similar to Make but made for munging data. This seems to be a popular topic these days; I was also reading a post about using Rake for similar things. I’d like to implement an example from Drake using Redo, which I’ve talked about some before. Drake looks like a very cool tool, and my intent is not to denigrate it, but rather to show that Redo can handle similar tasks.

Read more...


June 16 2015

I don’t have much more to say about Redo, but I should mention a few things and point out a few resources (including some criticism).

Read more...


June 05 2015

Here’s another example of a project I used the Redo build system for. Unlike the previous application, which was for a C++ project, this one is for a short book I was writing on derivatives in calculus. (I don’t think I ever finished it, though…) This example highlights the flexibility of Redo as a build system.

Read more...


May 11 2015

We’ve been talking about the Redo build system, and I promised some more interesting examples. This one comes from a project my colleague Itamar Gal and I did a few years back, and it shows off how easy and flexible Redo is for small/medium C++ projects.

Read more...