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  google  youtube.com  show  security  go  release  apple  video  arstechnica.com  web  nature.com  javascript  linux  trump  eurekalert.org  theregister.com 

The Promise, and Limitations, of Gossip Protocols (2007)

5 years ago cs.cornell.edu

Constructive mathematics and computer programming (1979)

5 years ago cs.cornell.edu

FPGAs Have the Wrong Abstraction

5 years ago cs.cornell.edu

Functional Programming in OCaml (2019)

5 years ago cs.cornell.edu ocaml

Data Structures and Functional Programming (ocaml and coq)

5 years ago cs.cornell.edu ocaml

Power Laws and Rich-Get-Richer Phenomena

6 years ago cs.cornell.edu

Common Knowledge Revisited (1995)

6 years ago cs.cornell.edu

Foundations of Data Science

6 years ago cs.cornell.edu

Practical Coinduction: "Our aim in this paper is to introduce an informal style of coinductive reasoning that can be quite useful in dealing with infinite data." [PDF]

6 years ago cs.cornell.edu pdf

LLVM for Grad Students

6 years ago cs.cornell.edu llvm

Malicious Code Detection for Open Firmware (2002)

7 years ago cs.cornell.edu

Generating compiler optimizations from proofs

7 years ago cs.cornell.edu compiler

Typed Assembly Language (1998)

7 years ago cs.cornell.edu

Verification of a practical, hardware, security architecture through static, info-flow analysis 2017

7 years ago cs.cornell.edu

Let's Fix OpenGL (2016)

7 years ago cs.cornell.edu

A dynamic programming solution to the n-queens problem (1992)

7 years ago cs.cornell.edu

Teechan: Payment Channels Using Trusted Execution Environments

7 years ago cs.cornell.edu

Probabilistic Programming

7 years ago cs.cornell.edu

Statistical Mistakes and How to Avoid Them

8 years ago cs.cornell.edu

Foundations of Data Science

8 years ago cs.cornell.edu

Fabric - High-level language for secure, distributed apps (2010-present)

8 years ago cs.cornell.edu

Cooperative Domain Name System

8 years ago cs.cornell.edu

Data Structures and Functional Programming in Standard ML

8 years ago cs.cornell.edu

3-D Depth Reconstruction from a Single Still Image (2007)

8 years ago cs.cornell.edu 3d

Networks, Crowds, and Markets: Reasoning About a Highly Connected World (2010)

8 years ago cs.cornell.edu

Yarn-Based Cloth Simulation

8 years ago cs.cornell.edu

Generating Compiler Optimizations from Proofs

9 years ago cs.cornell.edu compiler

ROSCoq – Robots Powered by Constructive Reals

9 years ago cs.cornell.edu

Opinion Mining with Deep Recurrent Neural Networks

9 years ago cs.cornell.edu

Foundations of Data Science by John Hopcroft [pdf]

9 years ago cs.cornell.edu pdf

More →