2026-09-20 01:41 UTC
Should we make programming languages that are 'easier' for LLMs to write code for? Nope. In fact, we need languages where LLM-generated code can be verified more easily!
Replies (1)
-
@ashguy@infosec.exchange 2026-09-21 01:22
@sree@ublog.thirdlaw.net I've 100% been thinking about this myself. More and more needs to be put into the formalization of these systems if we're going to continue relying on these tools.