The best intro to start your journey. Excellent coverage of
CLOS.
Another great starting point with a different focus.
A 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.
Comments:
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.
http://slashdot.org/comments.pl?sid=130313&cid=10876098Vladimir Sedach
Post a Comment
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.
http://slashdot.org/comments.pl?sid=130313&cid=10876098Vladimir Sedach
# posted by 
: November 22, 2004 6:51 PM
: November 22, 2004 6:51 PMPost a Comment
Links to this post:
