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  google  video  media  openai  web  nytimes.com  china  reuters.com  biology  apple  javascript  youtube.com  linux  cancer  go  security  microsoft 

Making Bitcoin Legal

7 years ago cl.cam.ac.uk bitcoin

Exploring New Attack Vectors for Exploitation of Smartphones (2017)

7 years ago cl.cam.ac.uk

The Notion of Proof in Hardware Verification (draft) (1989)

7 years ago cl.cam.ac.uk

ML For The Working Programmer, 2nd ed.

7 years ago cl.cam.ac.uk

Some Were Meant for C: The Endurance of an Unmanageable Language

8 years ago cl.cam.ac.uk c

Network Semantics

8 years ago cl.cam.ac.uk

Why Cryptosystems Fail (1993)

8 years ago cl.cam.ac.uk

ML for the Working Programmer, 2nd Edition (1996)

8 years ago cl.cam.ac.uk

ASCII and Unicode quotation marks

8 years ago cl.cam.ac.uk unicode

Some Were Meant for C: The Endurance of an Unmanageable Language

8 years ago cl.cam.ac.uk c

Firmament: Fast, Centralized Scheduling at Scale (2016)

8 years ago cl.cam.ac.uk

A Generic Synthesisable Test Bench

8 years ago cl.cam.ac.uk

Comparison of AArch64 Dynamic Binary Modification Tools

8 years ago cl.cam.ac.uk aarch64

Visual Cryptography Kit

8 years ago cl.cam.ac.uk

ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician

8 years ago cl.cam.ac.uk

Chaffinch: Confidentiality in the Face of Legal Threats

8 years ago cl.cam.ac.uk

Building Auto-Tuners with Structured Bayesian Optimization

8 years ago cl.cam.ac.uk

Understanding the Basis of the Kalman Filter

8 years ago cl.cam.ac.uk

A semantic model for a substantial fragment of C

8 years ago cl.cam.ac.uk c

Algebraic Subtyping

8 years ago cl.cam.ac.uk

Algebraic Subtyping [pdf]

8 years ago cl.cam.ac.uk pdf

Course materials from Cambridge's Optimizing Compilers course

8 years ago cl.cam.ac.uk compiler

Custom ELF program headers—what, why and how

8 years ago cl.cam.ac.uk

Debugging with the natives, part 2

8 years ago cl.cam.ac.uk debugging

Polymorphism, subtyping and type inference in MLsub [PDF]

9 years ago cl.cam.ac.uk pdf

The Missing Link: Explaining ELF Static Linking, Semantically

9 years ago cl.cam.ac.uk

Kalman Filter via a Simple and Intuitive Derivation

9 years ago cl.cam.ac.uk

The Operating System: Should There Be One? (2013)

9 years ago cl.cam.ac.uk

The Lynx Queue

9 years ago cl.cam.ac.uk

OCaml inside: a drop-in replacement for libtls

9 years ago cl.cam.ac.uk ocaml

More →