Notes from Underground: Software Tardigrades

– [Cryptobiosis](http://www.ncbi.nlm.nih.gov/pubmed/11...) is a peculiar state of biological organization – [Automatic bug repair](http://news.mit.edu/2015/automatic-co...) and LLMs – [Tardigrades and foreign DNA](http://uncnews.unc.edu/2015/11/23/a-h...) – Sussman’s “[Evolvability and Robust Design](https://ewh.ieee.org/r1/boston/comput...)” and [the Art of the Propagator](https://dspace.mit.edu/handle/1721.1/...). Also look at Sussman and Hanson’s book [Software Design for Flexibility: How to Avoid Programming Yourself into a Corner](https://www.amazon.com/Software-Desig...). – [Deep Specification](http://www.csail.mit.edu/chlipala_10_...) :F