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  psychology  arstechnica.com  web  environment  apple  nature.com  show  psypost.org  neuroscience  google  video  linux  javascript  release  biology 

Verus: A Practical Foundation for Systems Verification

2 months ago dl.acm.org rust

Questioning the Criteria for Evaluating Non-Cryptographic Hash Functions

2 months ago cacm.acm.org hash performance

Self-Designing Software

2 months ago cacm.acm.org ai

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

2 months ago dl.acm.org game video

The Ultimate Conditional Syntax

3 months ago dl.acm.org

An Experimental Study of Bitmap Compression vs. Inverted List Compression

2 months ago dl.acm.org compression

APL since 1978

2 months ago dl.acm.org apl historical

Role of Composition in Computer Programming (1995)

2 months ago dl.acm.org apl pdf plt

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

3 months ago cacm.acm.org programming

Towards an API for the Real Numbers Hans

2 months ago dl.acm.org api

Gary Marcus discusses AI's technical problems

2 months ago cacm.acm.org ai

Meta’s Hyperscale Infrastructure: Overview and Insights

3 months ago cacm.acm.org meta

Arithmetic Coding for Data Compression

3 months ago dl.acm.org compression compsci pdf

The Drunken Plagiarists - Working with Co-pilots

3 months ago queue.acm.org ai rant

Why Can't We Predict Earthquakes?

3 months ago cacm.acm.org

Life lessons from the first half-century of my career

3 months ago cacm.acm.org

Soundness and Completeness: Defined With Precision [2019]

3 months ago cacm.acm.org

Derivative grammars: a symbolic approach to parsing with derivatives

3 months ago dl.acm.org pdf plt

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

4 months ago cacm.acm.org

C Is Not a Low-level Language (2018)

4 months ago dl.acm.org c hardware pdf

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

3 months ago blog.ubiquity.acm.org

TensorRight: Automated Verification of Tensor Graph Rewrites

3 months ago dl.acm.org compiler

A history of APL in the USSR (1991)

3 months ago dl.acm.org apl historical pdf

I was wrong about the ethics crisis

4 months ago cacm.acm.org

Program Synthesis and Large Language Models

4 months ago cacm.acm.org

Intel's Fall from Grace

4 months ago cacm.acm.org intel

Controlling AI's Growing Energy Needs

5 months ago cacm.acm.org ai

Computer Architecture, Fifth Edition: A Quantitative Approach (2011)

5 months ago dl.acm.org

Compilation on the GPU? A Feasibility Study

5 months ago dl.acm.org gpu

You Don't Know Jack about Bandwidth

5 months ago queue.acm.org networking performance

More →