@beka_valentine@kolektiva.social
Post #3600815
2026-07-01 18:05 UTC
the routes into the techniques of PLT are rather limited and sparse
and on top of that, there is also a general tendency for PLT research to avoid the empirically-linked dimensions of theory, such as the issue of boilerplate and similar things
Replies (1)
-
@beka_valentine@kolektiva.social 2026-07-01 18:07
a lot of theoretical work is done on PURELY theory internal things, and so places where theory can touch reality tend to be neglected more PLT people are probably working on homotopy type theory right now than are working boilerplate