Links for 2015-04-20

by Michael Ruggiero

Propositions as Filenames, Builds as Proofs: The Essence of Make (

Why are build rules restricted to at most one universal quantifier? What would we gain my allowing unrestricted Horn clauses?

Centireading force: why reading a book 100 times is a great idea (

Part of the attraction of centireading is that it provides the physical activity of reading without the mental acuity usually required.

Morality and the Idea of Progress in Silicon Valley (

Words like innovation, impact and disruption invite an abstract style of thinking and talking that leaves little room for moral reflection. Talking about technology in terms of progress invites a technocratic and uncritical approach to thinking about the human good.