There's a new prerelease posted (the link in the post above has been updated). This one improves the server lobby experience, alerting players when other players connect/disconnect and providing a list of currently-connected players.
v0.3.2.0b is released! This is the stable release for v0.3.x, so it should be around for a good long while. (Future updates will likely not touch the user-facing mechanics much, in favor of speed and accuracy improvements for the AI.)