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

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

A bit of future Lisp [fiction] (www-formal.stanford.edu)

6 points

19 years ago

32.

The original Lisp paper – John McCarthy (1960) [pdf] (www-formal.stanford.edu)

6 points

9 years ago

33.

Lisp prehistory - Summer 1956 through Summer 1958 (www-formal.stanford.edu)

6 points

15 years ago

34.

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

6 points

15 years ago

35.

John McCarthy – Silicon Valley Innovations About Which I’m Skeptical (2002) (www-formal.stanford.edu)

5 points

12 years ago

36.

The Robot & The Baby - a science fiction story by John McCarthy (www-formal.stanford.edu)

5 points

15 years ago

37.

Ascribing Mental Qualities to Machines (John McCarthy 1979) (www-formal.stanford.edu)

5 points

10 years ago

38.

The Doctor's Dilemma (www-formal.stanford.edu)

5 points

16 years ago

39.

Keep The Boy In School [historic ad, 1921] (www-formal.stanford.edu)

4 points

18 years ago

40.

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

4 points

3 years ago

41.

The Sustainability of Human Progress (John McCarthy) (www-formal.stanford.edu)

4 points

18 years ago

42.

Common Sense Problem Page (www-formal.stanford.edu)

4 points

17 years ago

43.

John McCarthy's thoughts on home delivery, skywires, earlids, 21st century tech (www-formal.stanford.edu)

4 points

4 years ago

44.

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

4 points

9 years ago

45.

What Is Artificial Intelligence? (2007) [pdf] (www-formal.stanford.edu)

3 points

3 years ago

46.

Progress and its Sustainability (www-formal.stanford.edu)

3 points

18 years ago

47.

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

3 points

15 years ago

48.

The Common Business Communication Language, by John McCarthy [pdf] (www-formal.stanford.edu)

3 points

7 months ago

49.

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

3 points

7 months ago

50.

Recursive functions of S-expressions and their computation by machine (1960) (www-formal.stanford.edu)

3 points

2 years ago

51.

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

3 points

2 years ago

52.

Chaos and Moving Mars to a Better Climate (2007) [pdf] (www-formal.stanford.edu)

3 points

3 years ago

53.

What Futures Shall We Make? (John McCarthy) (www-formal.stanford.edu)

3 points

15 years ago

54.

Recursive Functions of Symbolic Expressions - John McCarthy (www-formal.stanford.edu)

3 points

15 years ago

55.

JMC's Elephant 2k language (resubmission) (www-formal.stanford.edu)

3 points

15 years ago

56.

Reminiscences on the History of Time Sharing (1983) (www-formal.stanford.edu)

3 points

6 years ago

57.

The Common Business Communication Language, by John McCarthy [pdf] (www-formal.stanford.edu)

3 points

6 years ago

58.

The Robot and the Baby – John McCarthy (web.archive.org)

3 points

6 years ago

59.

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

3 points

7 years ago

60.

Teller, Heisenberg and the atomic bomb (www-formal.stanford.edu)

3 points

16 years ago