The Schemachine - a formally verified Scheme CPU:
https://legacy.cs.indiana.edu/ftp/techreports/TR544.pdf
>>11
I can't seem to find any information on that. The auction did get some press, like https://www.wired.com/2015/03/meet-thousand-dollar-algorithms-auction/, which gives the bids at the time of writing in the low thousands:
There’s also a printout of Abelson’s Turtle Geometry, the first algorithm president Obama coded last year at a middle school in New Jersey ($1,300); a license of Anthony Ferraro’s Hypothetical Beats, which converts algorithms into music ($2,250); a framed illustration depicting Ok Cupid’s compatibility algorithms ($1,800), and two framed Scheme-81 chips, the hardware implementation of Gerald Sussman’s Scheme coding dialect.
The fact that they gave the bids for every other item listed in the sentence and delineated the items with a semicolon, as is proper, but then switched to a comma in front of the Scheme-81 chips makes me think that they just slapped it on at the end as an afterthought and didn't even bother to properly proofread the article. I guess that's Wired's "journalism" for you.