JIM HORNING

Good judgement comes from experience. Experience comes from bad judgement.

Nothing is as simple as we hope it will be.

Computer Science is the only discipline in which we view adding a new wing to a building as being maintenance.

To treat programming scientifically, it must be possible to specify the required properties of programs precisely. Formality is certainly not an end in itself. The importance of formal specifications must ultimately rest in their utility -in whether or not they are used to improve the quality of software or to reduce the cost of producing and maintaining software.

Tribes will be defined by social enclaves on the internet, rather than by geography or kinship, but the world will be more fragmented and less tolerant, since ones real-world surroundings will not have the homogeneity of ones online clan.

Good judgement comes from experience. Experience comes from bad judgement.

Nothing is as simple as we hope it will be.

To treat programming scientifically, it must be possible to specify the required properties of programs precisely. Formality is certainly not an end in itself. The importance of formal specifications must ultimately rest in their utility -in whether or not they are used to improve the quality of software or to reduce the cost of producing and maintaining software.

Tribes will be defined by social enclaves on the internet, rather than by geography or kinship, but the world will be more fragmented and less tolerant, since ones real-world surroundings will not have the homogeneity of ones online clan.

Computer Science is the only discipline in which we view adding a new wing to a building as being maintenance.