Search: www-formal.stanford.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ask HN: Why has Stanford killed the home page of John McCarthy?

13 years ago

12 points

2.

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

www-formal.stanford.edu

3 years ago

279 points

3.

John McCarthy: The Robot and the Baby

www-formal.stanford.edu

15 years ago

234 points

4.

Lisp: Notes on its Past and Future (1980)

www-formal.stanford.edu

8 months ago

193 points

5.

Recursive Functions of Symbolic Expressions and Their Computation by Machine

www-formal.stanford.edu

15 years ago

165 points

6.

Lisp inventor John McCarthy on human progress and its sustainability

www-formal.stanford.edu

15 years ago

136 points

7.

History of Lisp

www-formal.stanford.edu

13 years ago

130 points

8.

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

www-formal.stanford.edu

10 years ago

124 points

9.

John McCarthy's proposal for the language of the future

www-formal.stanford.edu

15 years ago

115 points

10.

John McCarthy's website where you can find all of his papers

www-formal.stanford.edu

15 years ago

105 points

11.

“The Robot and the Baby” by John McCarthy

www-formal.stanford.edu

12 years ago

104 points

12.

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

www-formal.stanford.edu

5 years ago

69 points

13.

Recursive Functions of Symbolic Expressions Computation by Machine (1960)

www-formal.stanford.edu

4 years ago

65 points

14.

Recursive Functions of Symbolic Expressions and Their Computation (1960)

www-formal.stanford.edu

10 years ago

61 points

15.

He who refuses to do arithmetic is doomed to talk nonsense

www-formal.stanford.edu

15 years ago

51 points

16.

Technology and the Position of Women by John McCarthy

www-formal.stanford.edu

12 years ago

49 points

17.

Some Philosophical Problems from the Standpoint of AI (1969) [pdf]

www-formal.stanford.edu

9 years ago

45 points

18.

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

www-formal.stanford.edu

11 years ago

40 points

19.

SF Bay Area Housing Crash Continues (2006)

www-formal.stanford.edu

12 years ago

40 points

20.

“The Home Information Terminal – A 1970 View” by John McCarthy [pdf]

www-formal.stanford.edu

11 years ago

39 points

21.

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

www-formal.stanford.edu

7 years ago

35 points

22.

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

www-formal.stanford.edu

11 years ago

27 points

23.

The Robot and the Baby (2004)

www-formal.stanford.edu

5 years ago

25 points

24.

John McCarthy on the importance of doing the math

www-formal.stanford.edu

16 years ago

22 points

25.

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

www-formal.stanford.edu

7 years ago

20 points

26.

Making Robots Conscious of Their Mental State (2002)

www-formal.stanford.edu

11 years ago

15 points

27.

John McCarthy turns 80

www-formal.stanford.edu

19 years ago

13 points

28.

The Home Information Terminal (1970) [pdf]

www-formal.stanford.edu

11 years ago

7 points

29.

An Everywhere Continuous Nowhere Differentiable Function, interesting proof by John McCarthy

www-formal.stanford.edu

19 years ago

7 points

30.

History of Lisp by John McCarthy (1979)

www-formal.stanford.edu

18 years ago

7 points