A critique of programming languages, professional habits and computing education, questioning whether avoiding uncomfortable conclusions undermines the integrity of computer science.
A critique of exaggerated claims about computers, advocating sceptical public understanding and questioning whether automation necessarily improves human activities.
A critique of commercial pressures, technological hype and educational shortcomings that divert computing science from simplicity, precision and disciplined reasoning.