[blihp]

They actually did... to a degree. The last artifact I'm aware of was called Frank[1] and incorporated a number of designs, concepts and DSLs the group presented and wrote papers[2] about over the years the project was active. However, I believe Alan was disappointed that he never achieved the 'from the ground up' deliverable that he really wanted as Frank relied on Squeak as its VM and OS. I think what he really had in mind was to have it at least generate its own low level machine code and possibly synthesize its own logic, where necessary, using FPGAs. (I may be imagining the FPGA part but seem to recall him talking about that at one point)

So while they never achieved the incredibly ambitious goal of everything in 20kloc, or doing it exactly how he wanted to, I think they showed it could be done (at least within that order of magnitude.) The amazing part is the incredible economy of some of the major subsystems they built.[3] Finally, they did assemble it all into a working demo. Unfortunately, without further funding that's where it ended.

[1] IIRC, it was because it was a bit of a Frankenstein solution: parts in Smalltalk, some serious hacks to the Smalltalk image, a couple of VM plugins in C for performance, parts in JavaScript, parts in various DSLs etc.

[2] All of which are publicly available including the code. While it's a bit high level and some of the concepts weren't fully fleshed out, I have managed to get some major pieces of it working with my own code so can attest to the fact that it does work and is useful as a starting point at least.

[3] The first time I really started looking under the covers of OMeta I kept wondering 'where the hell is the code?' After a while I realized that it was all there: it's one of the more amazing uses of recursion and (effectively) self-modifying code I've seen.

[DennisP]

Oh that's more than I realized. Is the demo available somewhere?

If they were making good progress and just ran out of funding, that's pretty sad.