Mike Kinsley, apparently, has been running federal budget numbers through through a spreadsheet for years. It’s an odd hobby, but he’s come up with some interesting results.