• AMMDI is an open-notebook hypertext writing experiment, authored by Mike Travers aka mtraven. It's a work in progress and some parts are more polished than others. Comments welcome! More.
Incoming links
from Marvin Minsky
  • On intentional programming.
    • I too am convinced that the days of programming as we know it are numbered, and that eventually we will construct large computer systems not by anything resembling today's meticulous but conceptually impoverished procedural specifications. Instead, we'll express our intentions about what should be done in terms of gestures and examples that will be better designed for expressing our wishes and convictions. Then these expressions will be submitted to immense, intelligent, intention-understanding programs that then will themselves construct the actual, new programs
    • In order for that to happen, though, we will have to invent and learn to use new technologies for "expressing intentions". To do this, we will have to break away from our old, though still evolving, programming languages, which are useful only for describing processes. But this brings with it some serious risks!.

intentional programming

30 Oct 2021 02:15 - 17 Jun 2023 08:29
Open in Logseq
    • Not sure I like this term, but I mean to designate all kinds of programming that is higher level than stepping a machine through mechanical steps.
    • Declarative programming like SQL - expresses a formal definition of an output. it is the job of another program (the query execution engine) to figure out how to compute it efficiently.
      • CSS as a terrible example
    • Constraint programming
    • Programming-by-example
      • In Robotics (Baxter)
    • AI/ML programming