Wittgenstein for programmers

Harrison Ainsworth's Wittgenstein for programmers is an awesome project. And very quotable:

• Where a proposition describes the world, a program constructs the imagination.
• The limits of our programming-languages mean the limits of our imagination.
• What can be designed at all can be designed precisely. What is unknown we must leave uncoded.