Books of Note

Practical Common
LispThe best intro to start your journey. Excellent coverage of CLOS.

ANSI Common
LispAnother great starting point with a different focus.

Paradigms of Artificial Intelligence
ProgrammingA superb set of Lisp examples. Not just for the AI crowd.

Monday, November 22, 2004

Coding for Space 

I found this on OSNews today: an interview with Mike Deliman, a Wind River engineer who has worked on some of the NASA/JPL space probes. It's interesting to hear this side of things, given Ron Garret's (aka Erann Gat) view of Lisp at JPL.


I wrote up some of my thoughts (and a bunch more links) on this and Remote Agent on Slashdot (and in addition discussed some formal verification things). Even though they may have dumped Lisp, it does seem that NASA is at least trying to use formal verification, even if it is to verify things written with spit and duct tape. Sedach

Post a Comment

Links to this post:

Create a Link

This page is powered by Blogger. Isn't yours?