From Newsgroup: comp.programming
No, from specifications to code we go code generation.
The hard tasks are before that: going from informal
needs to formal requirements (the problem domain),
aka the analysis hurdle with an "impossible" task;
then from requirements to the formal specifications
(the solution domain), with the engineering hurdle
of life cycles and constraints that are orthogonal
to the problems themselves. AI, that AI, could help
with natural language, and that's pretty much it:
tools that can talk, not tools that can think or
even count...
Benjamin Pierce: Properties for the People (YouTube)
Topos Institute Colloquium, 26th of February 2026. <
https://www.youtube.com/live/4E0a-bZyIpM?t=766>
--- Synchronet 3.21b-Linux NewsLink 1.2