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  theverge.com  arstechnica.com  web  show  google  video  medicine  game  go  microsoft  nature.com  health  psychology  brain  javascript  techcrunch.com  psypost.org 

Logic and Computation Intertwined

32 days ago cs.uwaterloo.ca formalmethods lisp

What This Country Needs is an 18¢ Piece (2002) [pdf]

9 months ago cs.uwaterloo.ca pdf

A Functional Introduction To Computer Science

15 months ago cs.uwaterloo.ca

A Chiral Aperiodic Monotile

16 months ago cs.uwaterloo.ca math

Slide to Unlock

16 months ago cs.uwaterloo.ca

An Aperiodic Monotile

18 months ago cs.uwaterloo.ca

Logic and Computation Intertwined

2 years ago cs.uwaterloo.ca

A Functional Introduction To Computer Science

2 years ago cs.uwaterloo.ca

A Semantics for the Essence of React

3 years ago cs.uwaterloo.ca react

The Limits of Correctness in Computers (1985)

3 years ago student.cs.uwaterloo.ca

Logic and Computation Intertwined

4 years ago cs.uwaterloo.ca

Grace: Safe and Efficient Concurrent Programming (2000)

5 years ago cs.uwaterloo.ca

E.F.Codd: A Relational Model of Data for Large Shared Data Banks (1970, PDF)

6 years ago cs.uwaterloo.ca pdf

Functional Data Structures

6 years ago cs.uwaterloo.ca

How to Read a Paper

6 years ago blizzard.cs.uwaterloo.ca

The Theory of Quantum Information

6 years ago cs.uwaterloo.ca

Four Dimensions of programming-language independence (1986)

7 years ago cs.uwaterloo.ca

What This Country Needs Is an 18¢ Piece

7 years ago cs.uwaterloo.ca

How to Read a Paper

7 years ago blizzard.cs.uwaterloo.ca

The Limits of Correctness (1985)

8 years ago student.cs.uwaterloo.ca