2026-07-26 13:52 UTC
“We see documentation as unnecessary, because "talk is cheap, show me the code", but certain forms of knowledge can never be in the code. Knowledge like alternatives considered and rejected, paths explored and then backtracked, features that would be hard to add or trivial and why.”
— @Felienne@mastodon.social
https://www.felienne.nl/csoc-s01-e01/
Replies (1)
-
@RuthMalan@mastodon.social 2026-07-26 13:55
“This paper [Naur’s Programming as Theory Building] is so timely in times of LLMs because it gives us a definition for programming that an AI can never do, by definition. A large language model can never form a theory about what it is doing, that simply is not a goal of a language model. An LLM can not (consistently and correctly) answer questions about the code.”