Developments in reliable computing | lit.salon