Thats great! However does someone know if there is still someone working on http://www.sicpdistilled.com/ ?