Arguing that the current average experience and proficiency of programmers is pretty low, and that programming malpractice incurs huge costs including the risk of occasional death of end-users, MIT Professor and Scheme co-inventor Gerald J. Sussman has proposed at ILC'2009 and on several other occasions [Update: as a joke ( Read more... )

I'm glad to announce the first public release of XCVBthe eXtensible Component Verifier and Builder for Common-Lisp ( Read more... )

I am glad to announce version 2.09 of my old piece of semi-useful software, CL-Launch, an infrastructure to easily make your Common Lisp software launchable from a Unix command line.
( Read more... )

I am pleased to tell you about the new release 1.74 of CL-Launch, that small infrastructure I wrote to make your Common Lisp software easy to access from a Unix command line.

Since I initially announced cl-launch on this blog ( Read more... )

I am glad to announce my latest piece of semi-useful software, CL-Launch, an infrastructure to easily make your Common Lisp software launchable from a Unix command line.
( Read more... )

Last month, I was thinking a lot about polyphasic sleep schedulesI didn't manage to discipline myself in such a schedule yet, and ( Read more... )

Derisive comments are often made about the syntax of Lisp, as witness some reproaches on my previous blog entry. Thus the half-joking, half-serious backronym of Lots of (Insipid | Irritating | Infuriating | Idiotic | ...) and (Spurious | Stubborn | Superfluous | Silly | ...) Parenthesesand accusations that Lisp syntax would make ( Read more... )

Lisp has this particularity that (1) there are distinct syntaxes for data structures and for program code, that (2) code syntax is a subset of data syntax (code can be seen as data), and that (3) data syntax can be embedded easily into code syntax (by enclosing it in the QUOTE special form). It is then possible to write in Lispa small program that ( Read more... )

So you think there is nothing interesting to say at the intersection of Computer Science and Political Economics? Well, Feynman said that Everything is interesting if you go into it deeply enough.And going deeply into it is precisely what I've been doing for ten years now ( Read more... )

Flow with the Tao, and the Tao will flow with you.

( Read more... )