Older blog entries for evilrobots (starting at number 23)

  • Douglas Hofstadter
  • Philip Wadler
  • Andrew D. Gordon
  • Benjamin C. Pierce
  • Olivier Danvy
  • 6 May 2002 (updated 6 May 2002 at 14:38 UTC) »

    new batch of used powells book came today: James Michener's "The Source", Will Durant's "Our Oriental Heritage: The story of civilization", Joseph Campbell "The hero with a thousand faces", Jared Diamond "Guns, Germs and Steel: The fates of human society", Sigmund Freud "Civilization and its discontents", the following items are not currently available "Seeds from a birch tree: writing haiku & the spiritual ? " by clark strand. ( i add that book so that it's over $50 in total. i like the fact that powell still ships the book to me without any shipping charge even though one book is not available. I never can appreciate accuracies of calculations done by my credit card companies. As a matter of fact, their calculation enrage me and i really like to spend some time to argue with them in court one of those days when there isn't more interesting book to read. )

    draft of an article intended for advogato posting.

    i don't see much point of arguing about different merits of programming languages. Having said that, i would like to argue a better way to define the results of all our previous arguments. With the agreed upon onset of a fix point, we can then conclude which language is more likely to provide a shorter cut under our pre-condition. The experiment i had in mind is like these:

    Two women in middle age, with sufficent training in scientific disciplines when they were young but for one reason or another, they did not pursuit the path of becoming scientists. One day, both of them read an old article about John Conway's game of life. They played the game since men have already implemented the game in Java, Python etc. One woman wish that she can implement the same game in a new language CLEAN by herself. But even if she did that, it is still questionable to say that CLEAN is clever than Java or Python because of the priori existence of the implementation in other languages. In the article, Conway conjectures ...

    i'd like to write an article "what's wrong with current conceptions about distance learning, multimedia and virtual reality?". And i'd like to send it to John Marlin for review first.

    Here's to scratch some ideas: distance? ->distance between different field of study? multimedia? -> multilanguage? multidemension? virtual reality? -> mental manifestation? Dr. Doree Duncan Seligmann, surfing web is a lonely experience? message in a bottle, subway surface, how naive! Dr. Oliver Sacks tell tales of his patients. Conway's game of life.

    From Philip Wadler's home to Avaya labs They have one in southern NJ. That's close to home. I can't refuse to submit a resume to them, can i?

    13 Apr 2002 (updated 14 Apr 2002 at 01:39 UTC) »
    Lambda the Ultimate Thursday, April 11, 2002. Isabelle/HOL: A Proof Assistant for Higher-Order Logic

    14 older entries...

    Share this page