5 stories tagged computer-science-history, newest first.
346 points by xiaoyu2006 | 246 comments
Transcription of Edsger Dijkstra's 1978 essay EWD 667 arguing that programming in natural language is misguided and formal symbolism is a privilege.
1957 points by speckx | 256 comments
Computational Complexity blog post marking the death of Turing Award winner Tony Hoare at 92, with personal reflections by Jim Miles.
![Screenshot of ipaidia.gr: Fabrice Bellard: Biography (2009) [pdf]](https://hn.urlbox.com/shots/renders/2025/12/24/7b6ce608-283e-4193-b480-6158e32ad751.jpg)
344 points by lioeters | 120 comments
A PDF biography of programmer Fabrice Bellard by Andy Gocke and Nick Pizzolato, covering his background and influential software contributions.
390 points by nimbleplum40 | 236 comments
Transcription of Edsger Dijkstra's manuscript EWD 667 arguing that programming in natural language is foolish and that formal symbolism is essential.
342 points by throwup238 | 195 comments
Inference Review essay by Krzysztof Apt profiling the life and contributions of computer scientist Edsger Dijkstra.