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  health  apple  video  psychology  psypost.org  youtube.com  techcrunch.com  linux  show  web  theguardian.com  trump  security  neuroscience  release  go  javascript 

Categorical semantics of digital circuits

8 years ago researchblogs.cs.bham.ac.uk

Why is lambda calculus named after that specific Greek letter? Do not believe the rumours!

8 years ago researchblogs.cs.bham.ac.uk lambda

A short fable of software engineering vs. regular engineering

8 years ago researchblogs.cs.bham.ac.uk

Computability: The Greatest Law of Physics

9 years ago researchblogs.cs.bham.ac.uk

A Simple Proof Checker for Teaching

9 years ago researchblogs.cs.bham.ac.uk

What things compute?

9 years ago researchblogs.cs.bham.ac.uk

Algebraic knot theory for kids: equations

9 years ago researchblogs.cs.bham.ac.uk

Two views of programming language design

9 years ago researchblogs.cs.bham.ac.uk

The limits of type theory: computation vs. interaction

9 years ago researchblogs.cs.bham.ac.uk

Inventing an algebraic knot theory for eight year olds, part 4: Equations

9 years ago researchblogs.cs.bham.ac.uk

Inventing an algebraic knot theory for eight year olds (III)

9 years ago researchblogs.cs.bham.ac.uk