Formal methods, software history, chocolatiering. Easily nerd-sniped. Wrote Practical TLA+ (http:// is.gd/ptlaplus ). DMs open, ask questions! Newsletter: http:// is.gd/zWfYjd
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
By embedding Twitter content in your website or app, you are agreeing to the Twitter Developer Agreement and Developer Policy.
The fastest way to share someone else’s Tweet with your followers is with a Retweet. Tap the icon to send it instantly.
One of my most controversial software opinions is that your sleep quality and stress level matter far, far more than the languages you use or the practices you follow. Nothing else comes close: not type systems, not TDD, not formal methods, not ANYTHING. Allow me to explain why.
Name anything technical that "improves software", and I guarantee you the empirical results are mixed. They may have evangelists, but the actual, rigorous research, the trials and case studies and ethnographies, will see, at best, a weak signal. Most likely it's inconclusive.