Sign up to save your podcasts
Or
Share #LispyGopherClimate #typeTheory #eev #blogging #programming #community
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
#LispyGopherClimate #typeTheory #eev #blogging #programming #community
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!
View all episodes
By 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!