After a weekend full of parentheses in Amsterdam, I attended the Boston Lisp Meeting hosted at MIT. Peter Dillinger gave a presentation on the ACL2s, which is an Eclipse based user interface for the ACL2 theorem prover....
Wednesday, April 23, 2008
Monday, April 14, 2008
Chaosradio Express on Lisp
Last week, I have been a guest at Tim Pritlove's Chaosradio Express and he interviewed me about Lisp. The podcast is in german, we talked about how I came to Lisp and what I think it is abo...