Elektrine lite

← Feed

@jmcastagnetto@mastodon.social

Post #643217

2026-03-11 13:51 UTC

#TIL that, again, #Djikstra was a ahead of his time, saying that what we call #VibeCoding is flawed because a language is a less precise tool than a formal representation: 'On the foolishness of "natural language programming"' (late 1970s) https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html #AI

Replies (3)

  • Good find. @jmcastagnetto

    Open ##1581413

  • @jmcastagnetto Formal representation is really hard for most humans. For this and other reasons, much of pre-LLM software is so lousy that the issues introduced by "natural language programming" are just a small part of the problem. Vibe coders are not competing against perfect software. They are competing against the mess we have now.

    Open ##1581414

  • @mike@sauropods.win 2026-03-16 09:58

    @jmcastagnetto As usual for Dijskstra, excellent analysis written in lumpen, impenetrable prose.

    Open ##1581415