35.847 Thoughts to “Hello world!”