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  environment  microsoft  web  vibecoding  go  trump  china  psychology  video  youtube.com  psypost.org  google  game  database  neuroscience  show 

Fifty Years of Open Source Software Supply Chain Security

2 months ago queue.acm.org security

Investigating the Luna-Terra Collapse as a Temporal Multilayer Graph

2 months ago dl.acm.org

The Last Solo Programmers

3 months ago cacm.acm.org

Efficient Computation of LALR(1) Look-Ahead Sets (1982) [pdf]

3 months ago dl.acm.org pdf

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

3 months ago queue.acm.org aws

A Relational Model of Data (1969)

2 months ago dl.acm.org compsci database pdf

Your Mouse Is a Database (2012)

2 months ago queue.acm.org database

Meta II a syntax-oriented compiler writing language (1964)

2 months ago dl.acm.org compiler meta

Data Race Freedom à la Mode

3 months ago dl.acm.org

C Is Not a Low-level Language: Your computer is not a fast PDP-11 (2018)

4 months ago dl.acm.org c

Richard Sutton and Andrew Barto Win 2024 Turing Award

4 months ago awards.acm.org ai turing

File Systems Unfit as Distributed Storage Back Ends (2019)

3 months ago dl.acm.org distributed pdf

Empowering WebAssembly with Thin Kernel Interfaces

3 months ago dl.acm.org kernel linux wasm

The Surprise of Multiple Dependency Graphs

3 months ago queue.acm.org pdf security

A systematic review of CS degree requirements of 250 programs worldwide finds only half offer a computing ethics class, and only a third require it

4 months ago dl.acm.org

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

3 months ago dl.acm.org editors pdf vcs

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

4 months ago dl.acm.org aws formalmethods

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

4 months ago dl.acm.org

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

4 months ago dl.acm.org compiler

21st Century C++

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

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

4 months ago cacm.acm.org rust security

Principles of a reversible programming language

4 months ago dl.acm.org pdf plt

Verus: A Practical Foundation for Systems Verification

4 months ago dl.acm.org rust

Questioning the Criteria for Evaluating Non-Cryptographic Hash Functions

4 months ago cacm.acm.org hash performance

Self-Designing Software

4 months ago cacm.acm.org ai

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

4 months ago dl.acm.org game video

The Ultimate Conditional Syntax

4 months ago dl.acm.org

An Experimental Study of Bitmap Compression vs. Inverted List Compression

4 months ago dl.acm.org compression

APL since 1978

4 months ago dl.acm.org apl historical

Role of Composition in Computer Programming (1995)

4 months ago dl.acm.org apl pdf plt

More →