The Singularity Institute just announced the release of the Open Cognition Framework developed by Ben Goertzel.

The Open Cognition Framework (OpenCog) is software for the collaborative development of safe and beneficial Artificial General Intelligence.

OpenCog provides research scientists and software developers with a common platform to build and share artificial intelligence programs. The framework includes:

• a flexible and highly optimized in-memory database for knowledge representation,
• a plug-in architecture for cognitive algorithms and a cognitive process scheduler,
• a built-in LISP-like programming language, and
• other components to support artificial intelligence research and development.

Programs written or adapted for OpenCog may be combined and used in concert with one another for experimentation or to achieve better results compared to their stand-alone counterparts.

I will be visiting Boston next week for ten days. So, if you're in the region and would like to meet up for a beer or two drop me an email or ping me via Skype (ID: lispmeister).

Things I look forward to: Bookstores, though my credit card is now labeled "Not valid in bookstores unless holder is accompanied by a responsible person", visiting the Computer Museum, specifically the CADR shrine and picking up the three OLPC X0 laptops I ordered in December.

Markus Völter interviewed Dick Gabriel at OOPSLA 2007. Don't miss Dick's explanation of Lisp's EVAL! [via Mike Ajemian]

Dick initiated the idea of a Master of Fine Arts in Software and my recent experience with the software creation process, if you dare call it a process, in the financial industry indicates, we should make it mandatory for any software architecture position.

And in closing let me quote from Dick's essay The Art of Lisp & Writing:

Lisp is the language of loveliness. With it a great programmer can make a beautiful, operating thing, a thing organically created and formed through the interaction of a programmer/artist and a medium of expression that happens to execute on a computer.

Links:

• Innovation Happens Elsewhere by Ron Goldman and Richard P. Gabriel
• Poem a Day project by Richard P. Gabriel
• Eternal Flame/God Wrote in LISP interpreted by Julia Ecklar
• The Art of Lisp & Writing by Richard P. Gabriel (the foreword to Successful Lisp by David B. Lamkins)
• Markus Völter's homepage

Reading Greg Linden's blog I realized that the technology I developed for medigist five years ago was an excercise in computational advertising.

Here's a project overview:

• Web-crawl a list of URLs and fetch new medical news content [Common Lisp]
• Clean up news using source specific filters and store into database [Common Lisp]
• Automatically tag news according to medical themes using a statistical text classifier [Common Lisp]
• Web subscription interface for medical topics [PHP]
• Manage advertising campaigns and related medical topics and upload PDF ads [PHP]
• Create monthly medical journal (PDF) for each user containing personalized news and ads [Perl, TeX]
• Track click-through rate for news and ads using a trampoline for each embedded article and ad [PHP]
• Do post analysis on click-throughs to improve content and ad selection for each user [Common Lisp]

Recently Dan Weinreb mentioned a paper about ObjectStore he co-authored with Charles Lamb, Gordon Landis and Jack Orenstein in 1991. It's a bit hard to find unless you have an ACM account. I've made it available here. Enjoy!

After reading Dan Weinreb's posting I ordered three OLPC XO notebooks. I've met Walter Bender some years ago through a licensing deal with MIT Media Lab. He is now heading the OLPC initiative. This is quite likely the most significant project since Tim Berners Lee's invention of the WWW.

Some nice features of the XO-1:

• Comes with source code for all applications and most of the operating system. There's even a View Source button on the keyboard that shows the code of what's running.
• Based on Linux, but application code is in Python
• 1200x900 7.5" diagonal LCD that works without backlight in bright daylight
• Wireless networking capable of mesh mode
• 2- or 5-cell LiFePO4 battery pack
• Built in color camera

Links:

• Review of the XO-1 by a 12 year old blogger
• Great technical info in the video of the talk at Google by Ivan Krstic, who is the architect of Bitfrost but talks about all aspects of the system

Link to the source article in European Psychiatry.

During lunch Paul Dale and I talked about self modifying code and how it might apply to real world systems. Later that same day I did a quick check on Wikipedia to read up on the current state of the art. I was surprised to find a link to a paper about self modifying kernel code by Henry Massalin. Reading his PhD thesis about the Synthesis kernel, like learning Lisp, is a mind altering experience. This guy is a genius! My first thought after reading the introduction was: This has to be added to the Movitz kernel!

The Synthesis paper lists four new ideas:

• Run-time code synthesis — a systematic way of creating executable machine code at runtime to optimize frequently-used kernel routines — queues, buffers, context switchers, interrupt handlers, and system call dispatchers — for specific situations, greatly reducing their execution time.
• Fine-grained scheduling — a new process-scheduling technique based on the idea of feedback that performs frequent scheduling actions and policy adjustments (at sub-millisecond intervals) resulting in an adaptive, self-tuning system that can support real-time data streams.
• Lock-free optimistic synchronization is shown to be a practical, efficient alternative to lock-based synchronization methods for the implementation of multiprocessor operating system kernels.
• An extensible kernel design that provides for simple expansion to support new kernel services and hardware devices while allowing a tight coupling between the kernel and the application, blurring the distinction between user and kernel services.

I was curious what a guy like Henry had been doing since finishing his PhD in 1992. Some googling showed that he's working for MicroUnity, a startup that somehow never got any serious traction, filing one patent after another. He is famous for giving people piggyback rides (the inventors of UNIX among them) and he is now known as Ms. Alexia Massalin. Talk about self modification!

Links:

• Synthesis: An Efficient Implementation of Fundamental Operating System Services, Henry Massalin's PhD thesis
• Synthesis, original location of the same paper as Postscript
• Movitz: a Common Lisp x86 development platform, a project started by Frode Vatvedt Fjeld
• Qua, a WIRED article about Henry Massalin
• Superoptimizer: a look at the smallest program by Henry Massalin
• MicroUnity homepage, Alexia Massalin's current employer
• In the Land of the Weird, Standing Out Takes a Little Work, NYTimes article about Dean Dierschow and Alexia Massalin

Marc Andreessen writes about the three different levels of web platforms in this recent blog posting.

I'd like to point out that, as far as I know, Viaweb, an online shop system build by Paul Graham and Robert Morris, was the first level 3 web platform according to the definition given by Andreessen:

A Level 3 platform's apps run inside the platform itself -- the platform provides the "runtime environment" within which the app's code runs.

When one of the customer support people came to me with a report of a bug in the editor, I would load the code into the Lisp interpreter and log into the user's account. If I was able to reproduce the bug I'd get an actual break loop, telling me exactly what was going wrong. Often I could fix the code and release a fix right away. And when I say right away, I mean while the user was still on the phone.

Such fast turnaround on bug fixes put us into an impossibly tempting position. If we could catch and fix a bug while the user was still on the phone, it was very tempting for us to give the user the impression that they were imagining it. And so we sometimes (to their delight) had the customer support people tell the user to just try logging in again and see if they still had the problem. And of course when the user logged back in they'd get the newly released version of the software with the bug fixed, and everything would work fine. I realize this was a bit sneaky of us, but it was also a lot of fun.

Links:

• Beating the Averages by Paul Graham
• The Other Road Ahead by Paul Graham
• Lisp in Web-Based Applications by Paul Graham

For about a year now I've been working for a company in the FX market. As a newcomer to the financial services industry I had to do some background reading. I enjoyed Emanuel Derman's [1] lucid account of his life as a quant. The rise of algorithmic trading in FX over the last couple of years created a tremendous demand for new and more sophisticated models for all financial markets and products. Cornelius Luca [2] wrote the most comprehensive introduction to FX markets I could find. Though a bit lacking on the theoretical side, it gives a good overview about FX products, trading strategies and market dynamics.

The financial services industry is totally hooked on Java. It's just amazing to me, but Java, the second coming of COBOL, is the ecosystem. Unless you look at financial models, which are still mostly done in C++. Although the amount of daily transactions in the FX market is truly mind-boggling, software practice in the industry is in the same wretched state as everywhere else. This is not necessarily a reflection of the intelligence and dedication of the people involved, but when it comes to software, even in high-stakes environments, people work with tools and in a state of mind similar to the Dark Ages. Amazing.

References:

• [1] My Life as a Quant: Reflections on Physics and Finance by Emmanuel Derman
• [2] Trading in the Global Currency Markets, 3rd Edition by Cornelius Luca