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  google  psychology  apple  china  neuroscience  show  theregister.com  arstechnica.com  theguardian.com  go  web  psypost.org  linux  nytimes.com  cnbc.com 

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

5 months ago dl.acm.org editors pdf vcs

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods

5 months ago dl.acm.org aws formalmethods

On the criteria to be used in decomposing systems into modules (1972)

5 months ago dl.acm.org

A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Applications

5 months ago dl.acm.org compiler

21st Century C++

6 months ago cacm.acm.org c++ programming

It is time to standardize principles and practices for software memory safety

6 months ago cacm.acm.org rust security

Principles of a reversible programming language

6 months ago dl.acm.org pdf plt

Verus: A Practical Foundation for Systems Verification

6 months ago dl.acm.org rust

Questioning the Criteria for Evaluating Non-Cryptographic Hash Functions

6 months ago cacm.acm.org hash performance

Self-Designing Software

6 months ago cacm.acm.org ai

Study Examines How to Thoughtfully Represent ADHD in Video Games Through Teen Perspectives

6 months ago dl.acm.org game video

The Ultimate Conditional Syntax

6 months ago dl.acm.org

An Experimental Study of Bitmap Compression vs. Inverted List Compression

6 months ago dl.acm.org compression

APL since 1978

6 months ago dl.acm.org apl historical

Role of Composition in Computer Programming (1995)

6 months ago dl.acm.org apl pdf plt

Should We Sing the Praises of Agile, or Bury It?

6 months ago cacm.acm.org programming

Towards an API for the Real Numbers Hans

6 months ago dl.acm.org api

Gary Marcus discusses AI's technical problems

6 months ago cacm.acm.org ai

Meta’s Hyperscale Infrastructure: Overview and Insights

6 months ago cacm.acm.org meta

Arithmetic Coding for Data Compression

6 months ago dl.acm.org compression compsci pdf

The Drunken Plagiarists - Working with Co-pilots

7 months ago queue.acm.org ai rant

Why Can't We Predict Earthquakes?

6 months ago cacm.acm.org

Life lessons from the first half-century of my career

7 months ago cacm.acm.org

Soundness and Completeness: Defined With Precision [2019]

7 months ago cacm.acm.org

Derivative grammars: a symbolic approach to parsing with derivatives

7 months ago dl.acm.org pdf plt

Software Bugs Led to 'One of the Greatest Miscarriages of Justice'

7 months ago cacm.acm.org

C Is Not a Low-level Language (2018)

7 months ago dl.acm.org c hardware pdf

Why can't programmers be more like ants? Or a lesson in stigmergy (2015)

7 months ago blog.ubiquity.acm.org

TensorRight: Automated Verification of Tensor Graph Rewrites

7 months ago dl.acm.org compiler

A history of APL in the USSR (1991)

7 months ago dl.acm.org apl historical pdf

More →