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  trump  health  go  web  china  google  linux  show  vibecoding  nytimes.com  theguardian.com  tomshardware.com  game  microsoft  video  security  cnbc.com 

A Basis for a Mathematical Theory of Computation

11 months ago www-formal.stanford.edu

John McCarthy’s collection of numerical facts for use in elisp programs

23 months ago www-formal.stanford.edu

Recursive Functions of Symbolic Expressions Computation by Machine (1960)

2 years ago www-formal.stanford.edu

The Robot and the Baby (2004)

3 years ago www-formal.stanford.edu

A Proposal for the Dartmouth Research Project on Artificial Intelligence (1955)

4 years ago www-formal.stanford.edu ai

Review of “Artificial Intelligence: A General Survey” (1993)

5 years ago www-formal.stanford.edu ai

John McCarthy‘s ACM paper on Lisp from April 1960 (59 years ago)

6 years ago www-formal.stanford.edu lisp

History of Lisp

6 years ago www-formal.stanford.edu lisp

Some Philosophical Problems from the Standpoint of AI (1969)

8 years ago www-formal.stanford.edu ai

Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I (1960)

8 years ago www-formal.stanford.edu

A Proposal For the Dartmouth Summer Research Project on A.I. (1955)

9 years ago www-formal.stanford.edu ai

Recursive Functions of Symbolic Expressions and Their Computation (1960)

9 years ago www-formal.stanford.edu

Making Robots Conscious of Their Mental State (2002)

9 years ago www-formal.stanford.edu

Recursive Functions of Symbolic Expressions andTheir Computation by Machine, Part I

9 years ago www-formal.stanford.edu

The Home Information Terminal (1970)

9 years ago www-formal.stanford.edu

Elephant 2000: A Programming Language Based on Speech Acts (1998)

10 years ago www-formal.stanford.edu

Human-Level AI Is Harder Than It Seemed in 1955 – John McCarthy (2006)

10 years ago www-formal.stanford.edu ai

San Francisco losing population at the fastest rate of cities in the US (2006)

11 years ago www-formal.stanford.edu