Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Be in nature. Being outdoors and in nature is one of the best ways to help you see the bigger picture. If you take time to stare at the vastness of the ocean or up at the sky, it’ll take you out of that small mindset and away from the shit that’s irrelevant.