Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  trump  psychology  arstechnica.com  psypost.org  environment  show  vibecoding  go  game  neuroscience  apple  java  web  nature.com  javascript  security 

A parable by Dijkstra

6 years ago cs.utexas.edu

Embedding ACL2 Models in End-User Applications (2013)

6 years ago cs.utexas.edu

A Short Introduction to the Art of Programming (1971)

7 years ago cs.utexas.edu art

A Survey of Rollback-Recovery Protocols in Message-Passing Systems (2002)

7 years ago cs.utexas.edu

CS109: Ethical Foundations of Computer Science (UTexas)

7 years ago cs.utexas.edu

Non-photorealism

7 years ago cs.utexas.edu

On hygiene, intellectual and otherwise (1989)

7 years ago cs.utexas.edu

The humble Programmer

7 years ago cs.utexas.edu

ACL2

7 years ago cs.utexas.edu

Industrial Hardware and Software Verification with ACL2

7 years ago cs.utexas.edu

Anthropomorphism in science and mathematics

8 years ago cs.utexas.edu

E. W. Dijkstra Archive: the manuscripts of Edsger W. Dijkstra (1930–2002)

8 years ago cs.utexas.edu

Fidex: Filtering Spreadsheet Data using Examples (2016)

8 years ago cs.utexas.edu

E.W. Dijkstra: Why numbering should start at zero

8 years ago cs.utexas.edu

UpRight Cluster Services (2009)

8 years ago cs.utexas.edu

E.W. Dijkstra Archive: The Humble Programmer

8 years ago cs.utexas.edu

Dijkstra on how the basic concepts of operating systems, were brought about

9 years ago cs.utexas.edu

EWD 340: The humble programmer

9 years ago cs.utexas.edu

E.W. Dijkstra Archive: Computing Science: Achievements and Challenges

9 years ago cs.utexas.edu

On the fact that the Atlantic Ocean has two sides

9 years ago cs.utexas.edu

Prudent Engineering Practice for Cryptographic Protocols (1994)

9 years ago cs.utexas.edu

Transactional Linux System Calls

9 years ago cs.utexas.edu linux

E.W. Dijkstra Archive: Why numbering should start at zero

9 years ago cs.utexas.edu

On the reliability of programs, by Dijkstra

9 years ago cs.utexas.edu

Practical Extensibility with Object Algebras (2012)

9 years ago cs.utexas.edu

An approach to systems verification (1989)

9 years ago cs.utexas.edu

EWD 196: The structure of the 'THE'-multiprogramming system (1968)

9 years ago cs.utexas.edu

Dijkstra on "The Humble Programmer"

9 years ago cs.utexas.edu

On the cruelty of really teaching computer science (1988)

9 years ago cs.utexas.edu

Dr. R. W. Hamming's Advice on Research

9 years ago cs.utexas.edu

More →