@beka_valentine@kolektiva.social
Post #3600814
2026-07-01 18:07 UTC
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
Replies (1)
-
@beka_valentine@kolektiva.social 2026-07-01 18:10
the broad trend here in all of this is that there's a general lower regard for things that make users more capable and more skilled from the person who isn't a programmer, to the programmer who isn't a language dev, the things that cause them frustrations go ignored