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

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?

12 points

13 years ago

2.

John McCarthy’s collection of numerical facts for use in elisp programs (www-formal.stanford.edu)

279 points

3 years ago

3.

John McCarthy: The Robot and the Baby (www-formal.stanford.edu)

234 points

15 years ago

4.

Lisp: Notes on its Past and Future (1980) (www-formal.stanford.edu)

193 points

7 months ago

5.

Recursive Functions of Symbolic Expressions and Their Computation by Machine (www-formal.stanford.edu)

165 points

15 years ago

6.

Lisp inventor John McCarthy on human progress and its sustainability (www-formal.stanford.edu)

136 points

15 years ago

7.

History of Lisp (www-formal.stanford.edu)

130 points

13 years ago

8.

A Proposal For the Dartmouth Summer Research Project on A.I. (1955) (www-formal.stanford.edu)

124 points

10 years ago

9.

John McCarthy's proposal for the language of the future (www-formal.stanford.edu)

115 points

15 years ago

10.

John McCarthy's website where you can find all of his papers (www-formal.stanford.edu)

105 points

15 years ago

11.

“The Robot and the Baby” by John McCarthy (www-formal.stanford.edu)

104 points

12 years ago

12.

A Proposal for the Dartmouth Research Project on Artificial Intelligence (1955) (www-formal.stanford.edu)

69 points

5 years ago

13.

Recursive Functions of Symbolic Expressions Computation by Machine (1960) (www-formal.stanford.edu)

65 points

4 years ago

14.

Recursive Functions of Symbolic Expressions and Their Computation (1960) (www-formal.stanford.edu)

61 points

10 years ago

15.

He who refuses to do arithmetic is doomed to talk nonsense (www-formal.stanford.edu)

51 points

15 years ago

16.

Technology and the Position of Women by John McCarthy (www-formal.stanford.edu)

49 points

12 years ago

17.

Some Philosophical Problems from the Standpoint of AI (1969) [pdf] (www-formal.stanford.edu)

45 points

9 years ago

18.

Human-Level AI Is Harder Than It Seemed in 1955 – John McCarthy (2006) (www-formal.stanford.edu)

40 points

11 years ago

19.

SF Bay Area Housing Crash Continues (2006) (www-formal.stanford.edu)

40 points

12 years ago

20.

“The Home Information Terminal – A 1970 View” by John McCarthy [pdf] (www-formal.stanford.edu)

39 points

11 years ago

21.

John McCarthy‘s ACM paper on Lisp from April 1960 (59 years ago) [pdf] (www-formal.stanford.edu)

35 points

7 years ago

22.

Elephant 2000: A Programming Language Based on Speech Acts (1989) (www-formal.stanford.edu)

27 points

11 years ago

23.

The Robot and the Baby (2004) (www-formal.stanford.edu)

25 points

5 years ago

24.

John McCarthy on the importance of doing the math (www-formal.stanford.edu)

22 points

16 years ago

25.

Review of “Artificial Intelligence: A General Survey” (1993) (www-formal.stanford.edu)

20 points

7 years ago

26.

Making Robots Conscious of Their Mental State (2002) (www-formal.stanford.edu)

15 points

10 years ago

27.

John McCarthy turns 80 (www-formal.stanford.edu)

13 points

19 years ago

28.

The Home Information Terminal (1970) [pdf] (www-formal.stanford.edu)

7 points

11 years ago

29.

An Everywhere Continuous Nowhere Differentiable Function, interesting proof by John McCarthy (www-formal.stanford.edu)

7 points

19 years ago

30.

History of Lisp by John McCarthy (1979) (www-formal.stanford.edu)

7 points

18 years ago