Retrospective: An Axiomatic Basis for Computer Programming

-
http://cacm.acm.org/magazines/2009/10/42360-retrospective-an-axiomatic-basis-for-computer-programming/fulltext

Comments

Post a Comment

Popular posts from this blog

Free Will versus the Programmed Brain

-
http://www.sciam.com/article.cfm?id=free-will-vs-programmed-brain&sc=WR_20080826 People are starting to understand that a human being is just a collection of neurons. Things are determined. Humans are behaving as per how the brain works. Brain has 100 billion neurons and the complex connections help in the complex behaviour. Neurons are so big that there is no place for uncertainty principle or principles of quantum mechanics. Or could it be that the dendrites and axons are smaller than neurons that uncertainty principle may apply. I guess that even if that is true, it may not be the reason for the stable complex behaviour and free will. But overall I do believe that a human brain is a determined machine. Quantum uncertainty would not apply. At the same time, I would say that every human being is morally responsible for his own actions. Another way of saying this is that my brain is determined to say that "things are determined but I am morally responsible for my own actio...
Read more

Time management tips

-
http://timeman.com/time-management-tips/time-management-tips-for-getting-results *) Many people concentrate on what I call “ant stomping” when they should concentrate on “elephant hunting.” When you focus on stomping ants you confuse activity with accomplishment. *) You’re going for the small insignificant tasks that are easy to do. They can be done quickly, so you give yourself the illusion that you’re really accomplishing a lot, when in actuality you’re getting further and further behind because you’re overlooking the elephant hunting. *) Elephant hunting means to pursue significant projects that have long-term payoffs for you. If you’re busy stomping ants all day long, you might not even be aware that you’re totally ignoring some of your elephants. *) Solving problems is “fire fighting.” You’d be better off in the long run figuring out how to prevent fires in the first place instead of constantly reacting to problems. Preventing fires puts us ahead of the game–and saves ...
Read more

The Top Idea in Your Mind

-
http://paulgraham.com/top.html " I think most people have one top idea in their mind at any given time. That's the idea their thoughts will drift toward when they're allowed to drift freely. " " Someone who does you an injury hurts you twice: first by the injury itself, and second by taking up your time afterward thinking about it." " Turning the other cheek turns out to have selfish advantages." " There are two types of thoughts especially worth avoiding. One is thoughts about money. Getting money is almost by definition an attention sink. The other is disputes. These too are engaging in the wrong way: they have the same velcro-like shape as genuinely interesting ideas, but without the substance. So avoid disputes if you want to get real work done. "
Read more