8.033 Thoughts on “Hello world!”