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  show  vibecoding  health  apple  psypost.org  psychology  google  arstechnica.com  video  iran  web  i.redd.it  reuters.com  release  neuroscience  game  theguardian.com 

LLM Hallucinations in Practical Code Generation

8 months ago dl.acm.org llm

A Dynamic Graph Approach to Immediate Cycle Collection

8 months ago dl.acm.org compiler lisp

Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)

8 months ago dl.acm.org

StarMalloc: verified memory allocator

9 months ago dl.acm.org compsci formalmethods security

The Ubiquitous Skiplist: A Survey of What Cannot be Skipped About the Skiplist and its Applications in Data Systems

8 months ago dl.acm.org

Handling bidirectional control flow

9 months ago dl.acm.org pdf plt

A Case for Feminism in Programming Language Design (2024)

9 months ago dl.acm.org

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

9 months ago queue.acm.org aws rust

Systems Correctness Practices at Amazon Web Services

9 months ago cacm.acm.org amazon formalmethods testing web

New Reddit post analysis identifies potentially harmful online actors based solely on their behavioral patterns

10 months ago dl.acm.org reddit