YHacker Newsscreenshots

cs.utexas.edu on Hacker News

17 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of cs.utexas.edu: The foolishness of "natural language programming" (1978)

The foolishness of "natural language programming" (1978)(cs.utexas.edu)

346 points by xiaoyu2006 4 days ago | 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.

edsger-dijkstra natural-language-programming formal-methods programming-languages

Screenshot of cs.utexas.edu: Anatomy of High-Performance Matrix Multiplication (2008) [pdf]

Anatomy of High-Performance Matrix Multiplication (2008) [pdf](cs.utexas.edu)

18 points by tosh 6 months ago | 0 comments

Screenshot of cs.utexas.edu: E.W.Dijkstra Archive

E.W.Dijkstra Archive (cs.utexas.edu)

133 points by surprisetalk 10 months ago | 12 comments

Screenshot of cs.utexas.edu: The undeserved status of the pigeon-hole principle (1991)

The undeserved status of the pigeon-hole principle (1991)(cs.utexas.edu)

7 points by tosh 11 months ago | 0 comments

Screenshot of cs.utexas.edu: The Manuscripts of Edsger W. Dijkstra

The Manuscripts of Edsger W. Dijkstra (cs.utexas.edu)

246 points by nathan-barry 11 months ago | 108 comments

Screenshot of cs.utexas.edu: Lively Linear Lisp (1992) [pdf]

Lively Linear Lisp (1992) [pdf](cs.utexas.edu)

68 points by todsacerdoti 1 year ago | 1 comments

Screenshot of cs.utexas.edu: The Humble Programmer (1972)

The Humble Programmer (1972)(cs.utexas.edu)

104 points by squircle 1 year ago | 28 comments

Screenshot of cs.utexas.edu: Dijkstra On the foolishness of "natural language programming"

Dijkstra On the foolishness of "natural language programming"(cs.utexas.edu)

390 points by nimbleplum40 1 year ago | 236 comments

Transcription of Edsger Dijkstra's manuscript EWD 667 arguing that programming in natural language is foolish and that formal symbolism is essential.

edsger-dijkstra natural-language-programming formal-methods programming-languages

Screenshot of cs.utexas.edu: Numbering should start at zero (1982)

Numbering should start at zero (1982)(cs.utexas.edu)

85 points by checkyoursudo 1 year ago | 218 comments

Screenshot of cs.utexas.edu: On the nature of computing science (1984)

On the nature of computing science (1984)(cs.utexas.edu)

258 points by ColinWright 1 year ago | 102 comments

Screenshot of cs.utexas.edu: On the cruelty of really teaching computing science (1988)

On the cruelty of really teaching computing science (1988)(cs.utexas.edu)

138 points by torstenvl 2 years ago | 102 comments

Screenshot of cs.utexas.edu: Memory Consistency Models: A Tutorial

Memory Consistency Models: A Tutorial (cs.utexas.edu)

57 points by fanf2 2 years ago | 11 comments

Screenshot of cs.utexas.edu: CS388: Natural Language Processing

CS388: Natural Language Processing (cs.utexas.edu)

115 points by gone35 2 years ago | 9 comments

Screenshot of cs.utexas.edu: A Parabel (1973)

A Parabel (1973)(cs.utexas.edu)

13 points by pncnmnp 2 years ago | 6 comments

Screenshot of cs.utexas.edu: The Bitter Lesson (2019) [pdf]

The Bitter Lesson (2019) [pdf](cs.utexas.edu)

76 points by jdkee 3 years ago | 49 comments

Screenshot of cs.utexas.edu: On understanding data abstraction, revisited (2009) [pdf]

On understanding data abstraction, revisited (2009) [pdf](cs.utexas.edu)

22 points by fogus 3 years ago | 3 comments

Screenshot of cs.utexas.edu: On the foolishness of “natural language programming” (1978)

On the foolishness of “natural language programming” (1978)(cs.utexas.edu)

93 points by behnamoh 3 years ago | 42 comments