the #miniKanren #logic-programming EDSL in a web-based #Scheme interpreter, interspersed with an explanation. #KANREN
comparing the #miniKanren #logic-programming language (a version of #Kanren) to #Prolog.
"Theano": a #Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently, using #Numpy arrays, #GPGPU (NVIDIA only?), compilation of expression graphs to C, and symbolic differentiation. 3-clause BSD license.
“Cellular senescence—the permanent arrest of cycling in normally proliferating cells such as fibroblasts—contributes both to age‐related loss of mammalian tissue homeostasis and acts as a tumour suppressor mechanism.” So, curing #aging does cause #cancer! #longevity