Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  vibecoding  health  security  meta  arstechnica.com  linux  show  google  video  microsoft  i.redd.it  theguardian.com  psychology  game  openai  cnbc.com  web 

Use of Prolog for developing a new programming language (1992)

6 years ago pdfs.semanticscholar.org prolog

Technical usability of Wikidata’s linked data

6 years ago pdfs.semanticscholar.org

Behavioral Analysis of Obfuscated Code

7 years ago pdfs.semanticscholar.org

Whither Speech Recognition? (1969)

7 years ago pdfs.semanticscholar.org

Trends and Evolution of Window Interfaces (2003)

7 years ago pdfs.semanticscholar.org

Simplicity Helps You Find the Truth Without Pointing at It

7 years ago pdfs.semanticscholar.org

E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs

7 years ago pdfs.semanticscholar.org

R16: A New Transputer Design for FPGAs

7 years ago pdfs.semanticscholar.org

Active Text for Structuring and Understanding Source Code (1996)

7 years ago pdfs.semanticscholar.org

On the Expressiveness of Return-into-libc Attacks

7 years ago pdfs.semanticscholar.org

Popularity Dynamics and Intrinsic Quality in Reddit and Hacker News (2015)

7 years ago pdfs.semanticscholar.org reddit

The BLISS programming language: a history

7 years ago pdfs.semanticscholar.org

How to Write a Technical Paper

7 years ago pdfs.semanticscholar.org

Mathematicians have created a new model—of a variety commonly found in the world of finance—to show how to harvest a species at an optimal rate, while making sure that the animals do not get wiped out by chance

7 years ago semanticscholar.org

Oberon System Implemented on a Low-Cost FPGA Board (2015)

7 years ago pdfs.semanticscholar.org

TIL: A Type-Directed Optimizing Compiler for ML

7 years ago pdfs.semanticscholar.org compiler

Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior (1999)

7 years ago pdfs.semanticscholar.org kernel

The Abstract is an Enemy: Alternative Perspectives to Computational Thinking

7 years ago pdfs.semanticscholar.org

Towards High Assurance HTML5 Applications (2014)

7 years ago pdfs.semanticscholar.org html5

Set Theory and Algebra in CS: Introduction to Mathematical Modeling (2013)

7 years ago pdfs.semanticscholar.org

The Five Cognitive Distortions of People Who Get Stuff Done

7 years ago pdfs.semanticscholar.org

Faster, Scannerless, GLR Parsing (2009)

7 years ago pdfs.semanticscholar.org

Deterministically Deterring Timing Attacks in Deterland (2016)

7 years ago pdfs.semanticscholar.org

Computation at the Edge of Chaos (1990)

7 years ago pdfs.semanticscholar.org

Cognitive Networks: Brains, Internet, and Civilizations (2017)

7 years ago pdfs.semanticscholar.org

Adopting Cleanroom Software Engineering with a Phased Approach (1994)

7 years ago pdfs.semanticscholar.org

Implementation Techniques for Prolog [pdf]

7 years ago pdfs.semanticscholar.org pdf prolog

Oral conception. Impregnation via the proximal gastrointestinal tract... (1988)

7 years ago pdfs.semanticscholar.org

Design of the Burroughs B1700 (1972)

7 years ago pdfs.semanticscholar.org

The Comdyna GP-6 Analog Computer: Alive but not Exactly Kicking (2005)

7 years ago pdfs.semanticscholar.org

More →