An hour soliloquy sharing a note sent to me by Edrx on their type theory, the need for intracommunity visibility to share common lisp (type) system knowledge and useage, the direct applicability of per program type theories in the lisp programming context, movement towards communities of kittens. Some links: https://screwlisp.small-web.org/ https://math.andrej.com/2020/09/14/a-general-definition-of-dependent-type-theories/ https://gamerplus.org/@screwlisp/114582085549457491 https://mathstodon.xyz/@rwxrwxrwx/114582526939181121 Kittens: https://kitten.small-web.org/

mdh (https://mdhughes.tech/) is going to use #gopher at least!