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  google  javascript  web  go  theregister.com  arstechnica.com  apple  security  release  show  nature.com  microsoft  youtube.com  theverge.com  chrome  linux 

E.W.Dijkstra Archive: On the foolishness of “natural language programming”

4 years ago cs.utexas.edu

A Simple Scheme Compiler

4 years ago cs.utexas.edu compiler scheme

My new iPhone runs Z3 faster than my (rather expensive) Intel desktop

4 years ago cs.utexas.edu apple intel iphone

The undeserved status of the pigeon-hole principle (1991)

4 years ago cs.utexas.edu

To the members of the Budget Council (2001)

4 years ago cs.utexas.edu

Memory Consistency Models (2016)

4 years ago cs.utexas.edu

Synthesizing JIT Compilers for In-Kernel DSLs

4 years ago cs.utexas.edu compiler

On Iteration and Recursion

4 years ago cs.utexas.edu

Truisms (1978)

4 years ago cs.utexas.edu

Numbering should start at zero, by Dijkstra

4 years ago cs.utexas.edu

Dijkstra: Philips and I – a few snapshots

4 years ago cs.utexas.edu

On the cruelty of really teaching computing science (1988)

5 years ago cs.utexas.edu

The Most Dangerous Code in the World

5 years ago cs.utexas.edu

Dijkstra Archive (1930-2002)

5 years ago cs.utexas.edu

Computer Science vs. Computing Science

5 years ago cs.utexas.edu

How do we tell truths that might hurt? (Dijkstra, 1982)

5 years ago cs.utexas.edu

Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls

5 years ago cs.utexas.edu

50th Anniversary of "Go-to statement considered harmful"

5 years ago cs.utexas.edu

Mondrian Memory Protection

5 years ago cs.utexas.edu

Finding prime numbers using Sieve of Eratosthenes in linear time.

5 years ago cs.utexas.edu

TxFS: Leveraging File-System Crash Consistency to Provide Transactions

6 years ago cs.utexas.edu

Pixel Objectness

6 years ago vision.cs.utexas.edu

Why numbering should start at zero (1982)

6 years ago cs.utexas.edu

E.W. Dijkstra Archive: On the cruelty of really teaching computing science (EWD 1036)

6 years ago cs.utexas.edu

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)

6 years ago cs.utexas.edu art

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

6 years ago cs.utexas.edu

CS109: Ethical Foundations of Computer Science (UTexas)

6 years ago cs.utexas.edu

Non-photorealism

6 years ago cs.utexas.edu

More →