avatar
GitHub LinkedIn sources

A quote from An Early Program Proof by Alan Turing found on Friday, Apr 3, 2020 .

In order to assist the checker, the programmer should make assertions about the various states that the machine can reach.


A quote from An Early Program Proof by Alan Turing found on Friday, Apr 3, 2020 .

the programmer should make a number of definite assertions which can be checked individually, and from which the correctness of the whole programme easily follows.


A quote from The Emperor's Old Clothes found on Monday, Mar 23, 2020 .

The price of reliability is the pursuit of the utmost simplicity. It is a price which the very rich find most hard to pay.


A quote from The Emperor's Old Clothes found on Monday, Mar 23, 2020 .

If our basic tool, the language in which we design and code our programs, is also complicated, the language itself becomes part of the problem rather than part of its solution.


A quote from The Emperor's Old Clothes found on Monday, Mar 23, 2020 .

A feature which is omitted can always be added later, when its design and its implications are well understood. A feature which is included before it is fully understood can never be removed later.


A quote from The Emperor's Old Clothes found on Monday, Mar 23, 2020 .

I conclude that there are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies and the other way is to make it so complicated that there are no obvious deficiencies.


A quote from The Emperor's Old Clothes found on Monday, Mar 23, 2020 .

we recognized that a subset could be an improvement on the original.


A quote from The Emperor's Old Clothes found on Monday, Mar 23, 2020 .

First, we certainly want programs to be read by people and people prefer to read things once in a single pass.


A quote from The Emperor's Old Clothes found on Monday, Mar 23, 2020 .

In any respectable branch of engineering, failure to observe such elementary precautions would have long been against the law.


Switchboard

Creating a little reverse proxy configured by mDNS written on Monday, Feb 17, 2020 .







A quote from Structure and Interpretation of Computer Programs found on Tuesday, May 7, 2019 .

you must read and write computer programs—many of them. It doesn’t matter much what the programs are about or what applications they serve. (p. xi)