Display options

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

Feedback? Email matthew@mastracci.com

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

A Flying Demo of ACL2 (2000)

3 years ago cs.utexas.edu

The Boyer-Moore Fast String Searching Algorithm

4 years ago cs.utexas.edu algorithm

Why numbering should start at zero (1982)

4 years ago cs.utexas.edu

On Understanding Data Abstraction, Revisited (2009)

4 years ago cs.utexas.edu

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

4 years ago cs.utexas.edu

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

4 years ago cs.utexas.edu

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

5 years ago cs.utexas.edu compiler

On Iteration and Recursion

5 years ago cs.utexas.edu

Truisms (1978)

5 years ago cs.utexas.edu

Numbering should start at zero, by Dijkstra

5 years ago cs.utexas.edu

Dijkstra: Philips and I – a few snapshots

5 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)

6 years ago cs.utexas.edu

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

6 years ago cs.utexas.edu

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

6 years ago cs.utexas.edu

Mondrian Memory Protection

6 years ago cs.utexas.edu

Finding prime numbers using Sieve of Eratosthenes in linear time.

6 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

More →