DBOS Inc., a new startup led by prominent computer scientists, launched today with $8.5 million in seed funding and an operating ...