Notes on programming and distributed systems