5.861 Thoughts on “Hello world!”