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  trump  health  apple  go  nature.com  show  video  vibecoding  psychology  java  environment  web  neuroscience  youtube.com  google  game  biology 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

On the cruelty of really teaching computing science (1988)

39 days ago cs.utexas.edu compsci philosophy

Dijkstra On the foolishness of "natural language programming"

57 days ago cs.utexas.edu

Numbering should start at zero (1982)

2 months ago cs.utexas.edu

ACL2

3 months ago cs.utexas.edu formalmethods lisp

On the nature of computing science (1984)

5 months ago cs.utexas.edu

Why numbering should start at 0 - Edsger Dijkstra

6 months ago cs.utexas.edu

On the cruelty of really teaching computing science

7 months ago cs.utexas.edu compsci education

On the cruelty of really teaching computing science (1988)

9 months ago cs.utexas.edu

CS388: Natural Language Processing

12 months ago cs.utexas.edu

Memory Consistency Models: A Tutorial

12 months ago cs.utexas.edu tutorial

Notes on Structured Programming (1970) [pdf]

13 months ago cs.utexas.edu pdf

A Parabel (1973)

14 months ago cs.utexas.edu

The Bitter Lesson (2019) [pdf]

21 months ago cs.utexas.edu pdf

Numbering Should Start at Zero

22 months ago cs.utexas.edu

On understanding data abstraction, revisited (2009) [pdf]

24 months ago cs.utexas.edu pdf

On the foolishness of “natural language programming” (1978)

24 months ago cs.utexas.edu

Cramming More Components onto Integrated Circuits (1965) [pdf]

2 years ago cs.utexas.edu pdf

By way of introduction – EWD 1041 (1989)

2 years ago cs.utexas.edu

Symbolic Programming with Clojure [pdf]

2 years ago cs.utexas.edu clojure lisp pdf

Extensibility for the Masses (2012)

2 years ago cs.utexas.edu

There is no ‘royal road’ to geometry (1982)

2 years ago cs.utexas.edu

An Introduction to Binary Decision Diagrams

2 years ago cs.utexas.edu

Efficiently Computing SSA Form and the Control Dependence Graph (1991)

2 years ago cs.utexas.edu

You and Your Research

2 years ago cs.utexas.edu

Proving the Coding Interview

3 years ago cs.utexas.edu

Neurosymbolic Programming (2021)

3 years ago cs.utexas.edu

(Development of) AppleScript

3 years ago cs.utexas.edu

The Threats to Computing Science

3 years ago cs.utexas.edu

Neuro Evolving Robot Operatives

3 years ago nn.cs.utexas.edu

A commemoration of Edsger Dijkstra

3 years ago cs.utexas.edu

More →