Display options

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

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  rust  github.com  security  web  go  vibecoding  linux  tomshardware.com  psychology  reuters.com  show  google  nature.com  i.redd.it  javascript  psypost.org  health  arstechnica.com  theverge.com 

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

3 years ago cs.utexas.edu

You and Your Research

3 years ago cs.utexas.edu

Proving the Coding Interview

4 years ago cs.utexas.edu

Neurosymbolic Programming (2021)

4 years ago cs.utexas.edu

(Development of) AppleScript

4 years ago cs.utexas.edu

The Threats to Computing Science

4 years ago cs.utexas.edu

Neuro Evolving Robot Operatives

4 years ago nn.cs.utexas.edu

A commemoration of Edsger Dijkstra

4 years ago cs.utexas.edu

A Flying Demo of ACL2 (2000)

4 years ago cs.utexas.edu

The Boyer-Moore Fast String Searching Algorithm

5 years ago cs.utexas.edu algorithm

Why numbering should start at zero (1982)

5 years ago cs.utexas.edu

On Understanding Data Abstraction, Revisited (2009)

5 years ago cs.utexas.edu

The TRIPS project: an explicit data graph execution (EDGE) processor

5 years ago cs.utexas.edu

How do we tell truths that might hurt? – E.W.Dijkstra

5 years ago cs.utexas.edu

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

5 years ago cs.utexas.edu

A Simple Scheme Compiler

5 years ago cs.utexas.edu compiler scheme

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

5 years ago cs.utexas.edu apple intel iphone

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

5 years ago cs.utexas.edu

To the members of the Budget Council (2001)

5 years ago cs.utexas.edu

Memory Consistency Models (2016)

5 years ago cs.utexas.edu

Synthesizing JIT Compilers for In-Kernel DSLs

5 years ago cs.utexas.edu compiler

On Iteration and Recursion

6 years ago cs.utexas.edu

Truisms (1978)

6 years ago cs.utexas.edu

Numbering should start at zero, by Dijkstra

6 years ago cs.utexas.edu

Dijkstra: Philips and I – a few snapshots

6 years ago cs.utexas.edu

On the cruelty of really teaching computing science (1988)

6 years ago cs.utexas.edu

The Most Dangerous Code in the World

6 years ago cs.utexas.edu

Dijkstra Archive (1930-2002)

6 years ago cs.utexas.edu

Computer Science vs. Computing Science

6 years ago cs.utexas.edu

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

7 years ago cs.utexas.edu

More →