He did and it is, but it may be worth noting that the code in SICM is what he calls "Programming for the Expression of Ideas", as expressed at this Lambda Jam t

He did and it is, but it may be worth noting that the code in SICM is what he calls "Programming for the Expression of Ideas", as expressed at this Lambda Jam talk: https://www.infoq.com/presentations/Expression-of-Ideas/ https://www.infoq.com/presentations/Expression-of-Ideas/ Another interesting piece he wrote is The Art of the Propagator, which is also freely available. His CSAIL page has more of his publications: https://groups.csail.mit.edu/mac/users/gjs/ https://groups.csail.mit.edu/mac/users/gjs/