EWD manuscripts

EWD manuscripts comprise a collection of handwritten notes, letters, and essays by computer science pioneer Edsger W. Dijkstra, spanning several decades of his academic career. Each manuscript is numbered with the prefix "EWD" followed by a sequence number, documenting Dijkstra's insights into computing, mathematics, and programming methodology. The manuscripts cover topics ranging from algorithm design and formal program verification to reflections on computer science education and the nature of computing as a discipline. Written in Dijkstra's characteristic style, these documents combine mathematical precision with philosophical observations about the practice of programming. The collection serves as both a historical record of early computer science development and a repository of foundational ideas that continue to influence software engineering. Through these writings, Dijkstra advocates for rigor in programming and emphasizes the importance of mathematical thinking in software development. The manuscripts reveal an underlying tension between the practical demands of computing and the quest for mathematical elegance, highlighting Dijkstra's vision of programming as an intellectual discipline rather than mere technical craftsmanship.

There are not enough internet reviews to create a summary of this book. Instead, here is a summary of reviews of Edsger Dijkstra's overall work: Readers praise Dijkstra's clear, direct writing style and his ability to distill complex concepts into understandable principles. Many cite his EWD manuscripts as transformative for their understanding of programming methodology and algorithm design. Liked: - Mathematical precision and logical reasoning - Focus on program correctness and formal verification - Sharp wit and uncompromising stance on quality - Handwritten notes that feel personal and authentic Disliked: - Writing can come across as arrogant and dismissive - Some arguments seen as too idealistic/impractical - Harsh criticism of popular programming languages - Papers require strong mathematical background On Goodreads, his collected works "Selected Writings on Computing" averages 4.3/5 stars from 89 ratings. Individual EWD manuscripts shared online receive consistent praise from computer science students and professionals, though some criticize his combative tone. One reader notes: "Brilliant insights wrapped in brutal honesty - not for the thin-skinned." Many programming forums reference and debate his ideas, particularly around structured programming and the GOTO controversy, showing his lasting influence on software development discussions.

Selected Writings on Computing by Donald E. Knuth A collection of essays and papers that explore fundamental computing concepts through mathematical precision and systematic thinking.

The Science of Programming by David Gries The text presents programming as a mathematical discipline with formal proofs and structured program development methods.

A Discipline of Programming by Edsger Dijkstra This work introduces systematic program construction methods using predicate calculus and mathematical reasoning.

Notes on Structured Programming by O.J. Dahl, E.W. Dijkstra, and C.A.R. Hoare The book presents programming methodology through mathematical rigor and systematic development techniques.

Mathematics of Program Construction by Roland Backhouse The text demonstrates the relationship between mathematics and program development through derivational programming methods.

🔷 The "EWD manuscripts" are actually a collection of over 1300 numbered papers, letters, and essays that Dijkstra wrote throughout his career, each numbered with the prefix "EWD" 🔷 Dijkstra wrote all his manuscripts by hand, using a fountain pen, and insisted on this method even in the age of computers because he believed it encouraged more careful and thoughtful composition 🔷 These manuscripts were distributed through a unique "subscription" system where copies would be sent to a select group of computer scientists, who would then make further copies for their colleagues 🔷 Many fundamental computer science concepts were first introduced in these manuscripts, including the semaphore construct for synchronizing processes and the famous "Dining Philosophers" problem 🔷 After Dijkstra's death in 2002, all his manuscripts were digitized and made freely available online through the University of Texas at Austin, where he spent the latter part of his career