After hours of judging, the judges declare that:
For more details, see the results page, or view the video of the announcment made at ICFP.
Good news! Amongst the dusty archives we found the original technical report that must have inspired the design of the quirky Lambda-Man CPU. You can find a scan of this report online . So the Lambda-Man CPU turns out to be a hardware implementation of the SECD machine . We did wonder why the CPU registers were called %s %e %c and %d !