21.006 Thoughts to “Hello world!”