Links for 2015-04-20

by Michael Ruggiero

Propositions as Filenames, Builds as Proofs: The Essence of Make (bentnib.org)

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 (theguardian.com)

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 (berkeleyjournal.org)

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.