• Coding glut

    From Don Y@3:633/10 to All on Monday, April 06, 2026 10:41:46
    NYT article "complaining" that AIs can create so much code in
    so little time that there is now a glut of code and a shortage
    of qualified engineers to review that code.

    I guess an acknowledgement that the code created was trained on
    cruft and, thus, *is* cruft.

    Would be a great time to be a senior software engineer -- deciding
    which projects go forward and which rot on the vine...

    [Of course, you'd have to be more interested in testing other peoples'
    ideas than creating your own!]

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Jeff Liebermann@3:633/10 to All on Monday, April 06, 2026 17:44:13
    On Mon, 6 Apr 2026 10:41:46 -0700, Don Y <blockedofcourse@foo.invalid>
    wrote:

    NYT article "complaining" that AIs can create so much code in
    so little time that there is now a glut of code and a shortage
    of qualified engineers to review that code.

    No problem. Just have a second AI review the code produced by the
    first AI. For example:
    <https://www.sonarsource.com/solutions/code-review/ai/>

    Disclaimer: I are not a programmist and have not tried any automated
    code review program.


    --
    Jeff Liebermann jeffl@cruzio.com
    PO Box 272 http://www.LearnByDestroying.com
    Ben Lomond CA 95005-0272 AE6KS 831-336-2558


    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Don Y@3:633/10 to All on Monday, April 06, 2026 19:42:27
    On 4/6/2026 5:44 PM, Jeff Liebermann wrote:
    On Mon, 6 Apr 2026 10:41:46 -0700, Don Y <blockedofcourse@foo.invalid>
    wrote:

    NYT article "complaining" that AIs can create so much code in
    so little time that there is now a glut of code and a shortage
    of qualified engineers to review that code.

    No problem. Just have a second AI review the code produced by the
    first AI. For example: <https://www.sonarsource.com/solutions/code-review/ai/>

    Disclaimer: I are not a programmist and have not tried any automated
    code review program.

    Dunno. I have two colleagues who are making a serious effort to see if
    AI can reduce their time spent coding and/or yield better code (in less
    time).

    So far, they describe it as comparable to teaching a child. You have to
    tell it *everything* -- to the point where it would just be easier to
    write the code yourself!

    E.g., "Accept a numerical value from the user constrained to the
    range of [23,1190]":

    Are leading zeroes supported?
    Are fractional values allowed?
    What to do if an invalid character is entered (e.g., non-numeric)?
    How wide is the keystroke accumulator?
    Can the accumulated value be CLEARED? Keystrokes "undone" (DEL)?
    Is a current/default value initially displayed?
    What happens to that as you start typing?
    What happens to your entry if you completely "undo" it?
    Is constraint checking done on-the-fly -- or, at termination?
    What happens if the constraint is violated?
    How do you abort the operation/restore default?
    Can (how?) you implement a timeout on the activity?
    What happens if it is signaled?
    Is the accumulator displayed left or right -justified?
    What if something else wants to use the display/keypad at this time?

    etc. It's a tiny piece of code that embodies lots of policy...
    that you have to explicitly specify to the AI.

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From john larkin@3:633/10 to All on Tuesday, April 07, 2026 11:49:03
    On Mon, 6 Apr 2026 19:42:27 -0700, Don Y <blockedofcourse@foo.invalid>
    wrote:

    On 4/6/2026 5:44 PM, Jeff Liebermann wrote:
    On Mon, 6 Apr 2026 10:41:46 -0700, Don Y <blockedofcourse@foo.invalid>
    wrote:

    NYT article "complaining" that AIs can create so much code in
    so little time that there is now a glut of code and a shortage
    of qualified engineers to review that code.

    No problem. Just have a second AI review the code produced by the
    first AI. For example:
    <https://www.sonarsource.com/solutions/code-review/ai/>

    Disclaimer: I are not a programmist and have not tried any automated
    code review program.

    Dunno. I have two colleagues who are making a serious effort to see if
    AI can reduce their time spent coding and/or yield better code (in less >time).

    So far, they describe it as comparable to teaching a child. You have to
    tell it *everything* -- to the point where it would just be easier to
    write the code yourself!

    The concept of using AI to design circuits and PCBs has the same
    problem: the problem description can be a bigger hassle than designing
    a board the old way.

    And when you design the schematic and PCB yourself, you can see
    possibilities and problems that the AI would not.

    I'm, going to a dinner/meetup tomorrow night where the AI hardware
    design boys will make their pitches. I'll try to be polite.


    John Larkin
    Highland Tech Glen Canyon Design Center
    Lunatic Fringe Electronics

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From piglet@3:633/10 to All on Tuesday, April 07, 2026 19:40:47
    john larkin <jl@glen--canyon.com> wrote:
    On Mon, 6 Apr 2026 19:42:27 -0700, Don Y <blockedofcourse@foo.invalid>
    wrote:

    On 4/6/2026 5:44 PM, Jeff Liebermann wrote:
    On Mon, 6 Apr 2026 10:41:46 -0700, Don Y <blockedofcourse@foo.invalid>
    wrote:

    NYT article "complaining" that AIs can create so much code in
    so little time that there is now a glut of code and a shortage
    of qualified engineers to review that code.

    No problem. Just have a second AI review the code produced by the
    first AI. For example:
    <https://www.sonarsource.com/solutions/code-review/ai/>

    Disclaimer: I are not a programmist and have not tried any automated
    code review program.

    Dunno. I have two colleagues who are making a serious effort to see if
    AI can reduce their time spent coding and/or yield better code (in less
    time).

    So far, they describe it as comparable to teaching a child. You have to
    tell it *everything* -- to the point where it would just be easier to
    write the code yourself!

    The concept of using AI to design circuits and PCBs has the same
    problem: the problem description can be a bigger hassle than designing
    a board the old way.

    And when you design the schematic and PCB yourself, you can see
    possibilities and problems that the AI would not.

    I'm, going to a dinner/meetup tomorrow night where the AI hardware
    design boys will make their pitches. I'll try to be polite.


    John Larkin
    Highland Tech Glen Canyon Design Center
    Lunatic Fringe Electronics


    Exactly! Designing the PCB yourself having designed the schematic yourself allows backtracking to restructure the schematic to make for a better PCB layout. I do that often.


    --
    piglet

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Phil Hobbs@3:633/10 to All on Tuesday, April 07, 2026 16:38:38
    On 2026-04-07 14:49, john larkin wrote:
    On Mon, 6 Apr 2026 19:42:27 -0700, Don Y <blockedofcourse@foo.invalid>
    wrote:

    On 4/6/2026 5:44 PM, Jeff Liebermann wrote:
    On Mon, 6 Apr 2026 10:41:46 -0700, Don Y <blockedofcourse@foo.invalid>
    wrote:

    NYT article "complaining" that AIs can create so much code in
    so little time that there is now a glut of code and a shortage
    of qualified engineers to review that code.

    No problem. Just have a second AI review the code produced by the
    first AI. For example:
    <https://www.sonarsource.com/solutions/code-review/ai/>

    Disclaimer: I are not a programmist and have not tried any automated
    code review program.

    Dunno. I have two colleagues who are making a serious effort to see if
    AI can reduce their time spent coding and/or yield better code (in less
    time).

    So far, they describe it as comparable to teaching a child. You have to
    tell it *everything* -- to the point where it would just be easier to
    write the code yourself!

    The concept of using AI to design circuits and PCBs has the same
    problem: the problem description can be a bigger hassle than designing
    a board the old way.

    And when you design the schematic and PCB yourself, you can see
    possibilities and problems that the AI would not.

    I'm, going to a dinner/meetup tomorrow night where the AI hardware
    design boys will make their pitches. I'll try to be polite.


    John Larkin
    Highland Tech Glen Canyon Design Center
    Lunatic Fringe Electronics

    My spies tell me that AI (Claude, specifically) is super useful in
    exploring different ways of factoring code. It'll code it up (more or
    less well) in several approaches, and let you see the level of complication.

    Cheers

    Phil Hobbs

    (Off to help sing the Hymn of Kassiani in the vigil matins for Holy
    Wednesday. That's magic.)

    --
    Dr Philip C D Hobbs
    Principal Consultant
    ElectroOptical Innovations LLC / Hobbs ElectroOptics
    Optics, Electro-optics, Photonics, Analog Electronics
    Briarcliff Manor NY 10510

    http://electrooptical.net
    http://hobbs-eo.com


    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From john larkin@3:633/10 to All on Tuesday, April 07, 2026 14:57:06
    On Tue, 7 Apr 2026 16:38:38 -0400, Phil Hobbs <pcdhSpamMeSenseless@electrooptical.net> wrote:

    On 2026-04-07 14:49, john larkin wrote:
    On Mon, 6 Apr 2026 19:42:27 -0700, Don Y <blockedofcourse@foo.invalid>
    wrote:

    On 4/6/2026 5:44 PM, Jeff Liebermann wrote:
    On Mon, 6 Apr 2026 10:41:46 -0700, Don Y <blockedofcourse@foo.invalid> >>>> wrote:

    NYT article "complaining" that AIs can create so much code in
    so little time that there is now a glut of code and a shortage
    of qualified engineers to review that code.

    No problem. Just have a second AI review the code produced by the
    first AI. For example:
    <https://www.sonarsource.com/solutions/code-review/ai/>

    Disclaimer: I are not a programmist and have not tried any automated
    code review program.

    Dunno. I have two colleagues who are making a serious effort to see if
    AI can reduce their time spent coding and/or yield better code (in less
    time).

    So far, they describe it as comparable to teaching a child. You have to >>> tell it *everything* -- to the point where it would just be easier to
    write the code yourself!

    The concept of using AI to design circuits and PCBs has the same
    problem: the problem description can be a bigger hassle than designing
    a board the old way.

    And when you design the schematic and PCB yourself, you can see
    possibilities and problems that the AI would not.

    I'm, going to a dinner/meetup tomorrow night where the AI hardware
    design boys will make their pitches. I'll try to be polite.


    John Larkin
    Highland Tech Glen Canyon Design Center
    Lunatic Fringe Electronics

    My spies tell me that AI (Claude, specifically) is super useful in
    exploring different ways of factoring code. It'll code it up (more or
    less well) in several approaches, and let you see the level of complication.

    Typing C, or something worse, never made much sense to me. Something
    different, vaguely like LabView, makes more sense.

    But hardware design is different.



    Cheers

    Phil Hobbs

    (Off to help sing the Hymn of Kassiani in the vigil matins for Holy >Wednesday. That's magic.)

    Well, some people like music. And can sing.


    John Larkin
    Highland Tech Glen Canyon Design Center
    Lunatic Fringe Electronics

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Ross Finlayson@3:633/10 to All on Wednesday, April 08, 2026 13:07:27
    On 04/08/2026 12:37 PM, Niocl?s P?l Caile?n de Ghloucester wrote:
    Don Y <blockedofcourse@foo.invalid> wrote: |------------------------------------------------------------------------| |"[. . .] I have two colleagues who are making a serious effort to see if| |AI can [. . .] yield better code [. . .] | |[. . .]" | |------------------------------------------------------------------------|

    Would they prefer to use formal methods?

    |-------------------------------------------------------------------------| |"So far, they describe it as comparable to teaching a child. You have to| |tell it *everything* -- to the point where it would just be easier to | |write the code yourself!" | |-------------------------------------------------------------------------|

    They are not the only ones who report so!

    |------------------------------------------------------------------------| |"[. . .] | |Is constraint checking done on-the-fly -- or, at termination?" | |------------------------------------------------------------------------|

    On-the-fly constraint enforcements can be annoying for a user.
    (S. HTTP://Gloucester.Insomnia247.NL/ fuer Kontaktdaten!)


    "Hello, World".



    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From joegwinn@3:633/10 to All on Wednesday, April 08, 2026 18:11:02
    On Tue, 7 Apr 2026 16:38:38 -0400, Phil Hobbs <pcdhSpamMeSenseless@electrooptical.net> wrote:

    On 2026-04-07 14:49, john larkin wrote:
    On Mon, 6 Apr 2026 19:42:27 -0700, Don Y <blockedofcourse@foo.invalid>
    wrote:

    On 4/6/2026 5:44 PM, Jeff Liebermann wrote:
    On Mon, 6 Apr 2026 10:41:46 -0700, Don Y <blockedofcourse@foo.invalid> >>>> wrote:

    NYT article "complaining" that AIs can create so much code in
    so little time that there is now a glut of code and a shortage
    of qualified engineers to review that code.

    No problem. Just have a second AI review the code produced by the
    first AI. For example:
    <https://www.sonarsource.com/solutions/code-review/ai/>

    Disclaimer: I are not a programmist and have not tried any automated
    code review program.

    Dunno. I have two colleagues who are making a serious effort to see if
    AI can reduce their time spent coding and/or yield better code (in less
    time).

    So far, they describe it as comparable to teaching a child. You have to >>> tell it *everything* -- to the point where it would just be easier to
    write the code yourself!

    The concept of using AI to design circuits and PCBs has the same
    problem: the problem description can be a bigger hassle than designing
    a board the old way.

    And when you design the schematic and PCB yourself, you can see
    possibilities and problems that the AI would not.

    I'm, going to a dinner/meetup tomorrow night where the AI hardware
    design boys will make their pitches. I'll try to be polite.


    John Larkin
    Highland Tech Glen Canyon Design Center
    Lunatic Fringe Electronics

    My spies tell me that AI (Claude, specifically) is super useful in
    exploring different ways of factoring code. It'll code it up (more or
    less well) in several approaches, and let you see the level of complication.

    I think it's Claude _Code_ that's very good at code review, not plain
    Claude. This from an article in the New York Times Magazine issue of
    Sunday 22 March 2026 titled "Coding After Coders", which claims 20:1
    coding effort reduction. The cost of computing is significant, but it
    still may be worth it.

    Joe



    Cheers

    Phil Hobbs

    (Off to help sing the Hymn of Kassiani in the vigil matins for Holy >Wednesday. That's magic.)

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Don Y@3:633/10 to All on Wednesday, April 08, 2026 15:49:11
    On 4/8/2026 12:37 PM, Niocl s P˘l Caile n de Ghloucester wrote:
    Don Y <blockedofcourse@foo.invalid> wrote: |------------------------------------------------------------------------| |"[. . .] I have two colleagues who are making a serious effort to see if| |AI can [. . .] yield better code [. . .] | |[. . .]" | |------------------------------------------------------------------------|

    Would they prefer to use formal methods?

    In a sense, using an AI forces *some* formal methods -- in that you have
    to provide the AI with a specification of what you seek. This is often
    more (and more detailed) than what you would provide a human coder.

    [By way of proof, gather up *any* specifications you've been given in
    the past decade -- for hardware OR software designs. Honestly appraise them
    to see how little/much they convey about an "accceptable design"]

    |-------------------------------------------------------------------------| |"So far, they describe it as comparable to teaching a child. You have to| |tell it *everything* -- to the point where it would just be easier to | |write the code yourself!" | |-------------------------------------------------------------------------|

    They are not the only ones who report so!

    Depending on choice of programming language, some may be very expressive
    in "describing" the solution they represent. And, of course, more exacting. So, if you can write the code as quickly and thoroughly as describing it,
    what value to the imprecise descriptive exercise?

    |------------------------------------------------------------------------| |"[. . .] | |Is constraint checking done on-the-fly -- or, at termination?" | |------------------------------------------------------------------------|

    On-the-fly constraint enforcements can be annoying for a user.

    Everything has constraints. They are enforced somehow and somewhere.

    E.g., I can type damn near anything I want and call it a "program".
    And, delude myself into thinking that it *is* -- until it encounters
    the criticism of a compiler!

    My washing machine (clothes) restricts the choices of various options
    based on the type of wash cycle I have selected. I may *want* to
    make a particular option selection but the machine simply won't offer
    it to me -- change the cycle type if you want a different set of options.

    My household thermostat won't let me set the heat to 100F nor the cooling
    to 40F.

    I designed a digital emulation of SWMBO's "bookshelf HiFi". Among other things, it supports 40 "presets" for the radio. And, the "virtual CD
    player" (could have!) supports an unlimited number of CDs ("playlists").

    But, the user interface is effectively a 10-key keypad. Accepting a
    selection as a series of keystrokes -- e.g., '2' '5' for "25" -- would significantly alter the legacy interface! This would actually select
    "2". And, then a short while later, "5"! Selecting "25" would be
    done as '+10' '+10' '5'. I.e., any single decimal digit implicitly
    implies an "ENTER" keystroke -- without having to alter the UX to
    include such a keystroke! So, you can select "1" through "9" with
    a single keystroke and "10" through "40" with 2 to 5 keystrokes.

    Clumsy but an essential part of the Stakeholders' Specifications!

    It appears the code writing AIs expect to process text (effectively).
    So, "25", "000000000000000000000000000000025", "24^H5" are all identical
    and none are constrained by the interface.
    with a single keystroke.


    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From john larkin@3:633/10 to All on Wednesday, April 08, 2026 16:08:05
    On Wed, 8 Apr 2026 13:07:27 -0700, Ross Finlayson
    <ross.a.finlayson@gmail.com> wrote:

    On 04/08/2026 12:37 PM, Niocl?s P?l Caile?n de Ghloucester wrote:
    Don Y <blockedofcourse@foo.invalid> wrote:
    |------------------------------------------------------------------------| >> |"[. . .] I have two colleagues who are making a serious effort to see if| >> |AI can [. . .] yield better code [. . .] | >> |[. . .]" | >> |------------------------------------------------------------------------| >>
    Would they prefer to use formal methods?

    |-------------------------------------------------------------------------| >> |"So far, they describe it as comparable to teaching a child. You have to| >> |tell it *everything* -- to the point where it would just be easier to | >> |write the code yourself!" | >> |-------------------------------------------------------------------------| >>
    They are not the only ones who report so!

    |------------------------------------------------------------------------| >> |"[. . .] | >> |Is constraint checking done on-the-fly -- or, at termination?" | >> |------------------------------------------------------------------------| >>
    On-the-fly constraint enforcements can be annoying for a user.
    (S. HTTP://Gloucester.Insomnia247.NL/ fuer Kontaktdaten!)


    "Hello, World".


    I wonder what language does the most complex Hello World program.

    PowerBasic:

    Print "Hello World!"


    John Larkin
    Highland Tech Glen Canyon Design Center
    Lunatic Fringe Electronics

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From john larkin@3:633/10 to All on Wednesday, April 08, 2026 16:11:43
    On Wed, 08 Apr 2026 16:08:05 -0700, john larkin <jl@glen--canyon.com>
    wrote:

    On Wed, 8 Apr 2026 13:07:27 -0700, Ross Finlayson ><ross.a.finlayson@gmail.com> wrote:

    On 04/08/2026 12:37 PM, Niocl?s P?l Caile?n de Ghloucester wrote:
    Don Y <blockedofcourse@foo.invalid> wrote:
    |------------------------------------------------------------------------| >>> |"[. . .] I have two colleagues who are making a serious effort to see if| >>> |AI can [. . .] yield better code [. . .] | >>> |[. . .]" | >>> |------------------------------------------------------------------------| >>>
    Would they prefer to use formal methods?

    |-------------------------------------------------------------------------| >>> |"So far, they describe it as comparable to teaching a child. You have to| >>> |tell it *everything* -- to the point where it would just be easier to | >>> |write the code yourself!" | >>> |-------------------------------------------------------------------------| >>>
    They are not the only ones who report so!

    |------------------------------------------------------------------------| >>> |"[. . .] | >>> |Is constraint checking done on-the-fly -- or, at termination?" | >>> |------------------------------------------------------------------------| >>>
    On-the-fly constraint enforcements can be annoying for a user.
    (S. HTTP://Gloucester.Insomnia247.NL/ fuer Kontaktdaten!)


    "Hello, World".


    I wonder what language does the most complex Hello World program.

    PowerBasic:

    Print "Hello World!"


    John Larkin
    Highland Tech Glen Canyon Design Center
    Lunatic Fringe Electronics


    public class HelloWorld implements Runnable {

    private static boolean printHello = true;

    private final String toPrint;
    private final boolean iPrintHello;
    private final Object lock;

    public static void main(String[] args) {
    final Object lock = new Object();
    // first thread prints Hello
    new Thread(new HelloWorld("Hello ", true, lock)).start();
    // second one prints World
    new Thread(new HelloWorld("World ", false, lock)).start();
    }

    public HelloWorld(String toPrint, boolean iPrintHello, Object
    lock) {
    this.toPrint = toPrint;
    this.iPrintHello = iPrintHello;
    this.lock = lock;
    }

    @Override
    public void run() {
    // don't let it run forever
    for (int i = 0; i < 1000 &&
    !Thread.currentThread().isInterrupted(); ) {
    // they need to synchronize on a common, constant object
    synchronized (lock) {
    // am I printing or waiting?
    if (printHello == iPrintHello) {
    System.out.print(toPrint);
    // switch the print-hello to the other value
    printHello = !printHello;
    // notify the other class that it can run now
    lock.notify();
    i++;
    } else {
    try {
    // wait until we get notified that we can
    print
    lock.wait();
    } catch (InterruptedException e) {
    // if thread is interrupted, _immediately_
    re-interrupt it
    Thread.currentThread().interrupt();
    return;
    }
    }
    }
    }
    }
    }


    John Larkin
    Highland Tech Glen Canyon Design Center
    Lunatic Fringe Electronics

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Ross Finlayson@3:633/10 to All on Wednesday, April 08, 2026 22:29:55
    On 04/08/2026 03:49 PM, Don Y wrote:
    On 4/8/2026 12:37 PM, Niocl s P˘l Caile n de Ghloucester wrote:
    Don Y <blockedofcourse@foo.invalid> wrote:
    |------------------------------------------------------------------------| >>
    |"[. . .] I have two colleagues who are making a serious effort to see
    if|
    |AI can [. . .] yield better code [. .
    .] |
    |[. .
    .]" |
    |------------------------------------------------------------------------| >>

    Would they prefer to use formal methods?

    In a sense, using an AI forces *some* formal methods -- in that you have
    to provide the AI with a specification of what you seek. This is often
    more (and more detailed) than what you would provide a human coder.

    [By way of proof, gather up *any* specifications you've been given in
    the past decade -- for hardware OR software designs. Honestly appraise
    them
    to see how little/much they convey about an "accceptable design"]

    |-------------------------------------------------------------------------| >>
    |"So far, they describe it as comparable to teaching a child. You
    have to|
    |tell it *everything* -- to the point where it would just be easier
    to |
    |write the code
    yourself!" |
    |-------------------------------------------------------------------------| >>

    They are not the only ones who report so!

    Depending on choice of programming language, some may be very expressive
    in "describing" the solution they represent. And, of course, more
    exacting.
    So, if you can write the code as quickly and thoroughly as describing it, what value to the imprecise descriptive exercise?

    |------------------------------------------------------------------------| >>
    |"[. .
    .] |
    |Is constraint checking done on-the-fly -- or, at
    termination?" |
    |------------------------------------------------------------------------| >>

    On-the-fly constraint enforcements can be annoying for a user.

    Everything has constraints. They are enforced somehow and somewhere.

    E.g., I can type damn near anything I want and call it a "program".
    And, delude myself into thinking that it *is* -- until it encounters
    the criticism of a compiler!

    My washing machine (clothes) restricts the choices of various options
    based on the type of wash cycle I have selected. I may *want* to
    make a particular option selection but the machine simply won't offer
    it to me -- change the cycle type if you want a different set of options.

    My household thermostat won't let me set the heat to 100F nor the cooling
    to 40F.

    I designed a digital emulation of SWMBO's "bookshelf HiFi". Among other things, it supports 40 "presets" for the radio. And, the "virtual CD
    player" (could have!) supports an unlimited number of CDs ("playlists").

    But, the user interface is effectively a 10-key keypad. Accepting a selection as a series of keystrokes -- e.g., '2' '5' for "25" -- would significantly alter the legacy interface! This would actually select
    "2". And, then a short while later, "5"! Selecting "25" would be
    done as '+10' '+10' '5'. I.e., any single decimal digit implicitly
    implies an "ENTER" keystroke -- without having to alter the UX to
    include such a keystroke! So, you can select "1" through "9" with
    a single keystroke and "10" through "40" with 2 to 5 keystrokes.

    Clumsy but an essential part of the Stakeholders' Specifications!

    It appears the code writing AIs expect to process text (effectively).
    So, "25", "000000000000000000000000000000025", "24^H5" are all identical
    and none are constrained by the interface.
    with a single keystroke.


    It used to be called "intentional programming" the usual idea
    of natural-language pseudo-code, then along the lines of
    "literate programming", documentation more or less tracking code.

    The "generative programming" has been around for more than
    four decades.

    Since "reflection" and "introspection" then for things
    like "schema-driven" the "code generation", reminds of
    things like building UI's automatically from database
    schemas since the '90's at least. It's pretty much
    usually so with accounts of "information_schema" schema
    or "all_tables" and friends.

    It's not a bad idea to implement navigation as accessible,
    even if for just one or two keys, then with regards to
    input methods and input method editors.

    Here the washing machine has a knob and its action
    is due a ratchet and a spring.

    "Coding assistants" after "grand schema frameworks"
    have been around a long time. I always wrote my own
    code, which usually includes reading all the code
    including all the framework code and even all the
    stack's code. If "programming is the art of naming
    things", it's a meticulous and informed act.

    The resource model and the process model about the
    distributed systems here is often enough about
    commodity nodes and units of work according to
    compilation units which is pretty much about modules
    then that for "re-using the code" that the
    library design is a fundamental task for architecture.

    Getting from scalars and vectors and arrays to
    trees is pretty much too involved for many coders.



    Brand new "coding glut"? Same old "fire hose".



    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From brian@3:633/10 to All on Thursday, April 09, 2026 13:40:15
    In message <iSmdnR7d38MVKEv0nZ2dnZfqnPidnZ2d@giganews.com>, Ross
    Finlayson <ross.a.finlayson@gmail.com> writes
    On 04/08/2026 12:37 PM, Niocl s P˘l Caile n de Ghloucester wrote:
    Don Y <blockedofcourse@foo.invalid> wrote:
    |------------------------------------------------------------------------| >> |"[. . .] I have two colleagues who are making a serious effort to see if| >> |AI can [. . .] yield better code [. . .] | >> |[. . .]" | >> |------------------------------------------------------------------------| >>
    Would they prefer to use formal methods?

    |-------------------------------------------------------------------------| >> |"So far, they describe it as comparable to teaching a child. You have to| >> |tell it *everything* -- to the point where it would just be easier to | >> |write the code yourself!" | >> |-------------------------------------------------------------------------| >>
    They are not the only ones who report so!

    |------------------------------------------------------------------------| >> |"[. . .] | >> |Is constraint checking done on-the-fly -- or, at termination?" | >> |------------------------------------------------------------------------| >>
    On-the-fly constraint enforcements can be annoying for a user.
    (S. HTTP://Gloucester.Insomnia247.NL/ fuer Kontaktdaten!)


    "Hello, World".


    AI says -
    Writing in FORTRAN IV (standardized as FORTRAN 66) is a bit of a trip
    back in time! Unlike modern Fortran, the older versions were designed
    with punch cards in mind, meaning the layout of your text matters just
    as much as the code itself.

    Here is the classic "Hello World" in FORTRAN IV:
    Fortran

    C THE 'C' IN COLUMN 1 INDICATES A COMMENT LINE
    WRITE(6, 10)
    10 FORMAT(12H HELLO WORLD)
    STOP
    END


    Not bad , but I'd have put "CALL EXIT" instead of "STOP"

    Bad Things? could happen back in the Iron Age if you used STOP - so
    I was told anyway.

    Brian
    --
    Brian Howie

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From joegwinn@3:633/10 to All on Thursday, April 09, 2026 10:53:50
    Today's Wall Street Journal mentioned that Meta has a competitor to
    Claude Code. No idea which is best for what. But trillionaires are
    fighting, so advancement will be rapid.

    Joe

    On Wed, 08 Apr 2026 18:11:02 -0400, joegwinn@comcast.net wrote:

    On Tue, 7 Apr 2026 16:38:38 -0400, Phil Hobbs ><pcdhSpamMeSenseless@electrooptical.net> wrote:

    On 2026-04-07 14:49, john larkin wrote:
    On Mon, 6 Apr 2026 19:42:27 -0700, Don Y <blockedofcourse@foo.invalid>
    wrote:

    On 4/6/2026 5:44 PM, Jeff Liebermann wrote:
    On Mon, 6 Apr 2026 10:41:46 -0700, Don Y <blockedofcourse@foo.invalid> >>>>> wrote:

    NYT article "complaining" that AIs can create so much code in
    so little time that there is now a glut of code and a shortage
    of qualified engineers to review that code.

    No problem. Just have a second AI review the code produced by the
    first AI. For example:
    <https://www.sonarsource.com/solutions/code-review/ai/>

    Disclaimer: I are not a programmist and have not tried any automated >>>>> code review program.

    Dunno. I have two colleagues who are making a serious effort to see if >>>> AI can reduce their time spent coding and/or yield better code (in less >>>> time).

    So far, they describe it as comparable to teaching a child. You have to >>>> tell it *everything* -- to the point where it would just be easier to
    write the code yourself!

    The concept of using AI to design circuits and PCBs has the same
    problem: the problem description can be a bigger hassle than designing
    a board the old way.

    And when you design the schematic and PCB yourself, you can see
    possibilities and problems that the AI would not.

    I'm, going to a dinner/meetup tomorrow night where the AI hardware
    design boys will make their pitches. I'll try to be polite.


    John Larkin
    Highland Tech Glen Canyon Design Center
    Lunatic Fringe Electronics

    My spies tell me that AI (Claude, specifically) is super useful in >>exploring different ways of factoring code. It'll code it up (more or >>less well) in several approaches, and let you see the level of complication.

    I think it's Claude _Code_ that's very good at code review, not plain
    Claude. This from an article in the New York Times Magazine issue of
    Sunday 22 March 2026 titled "Coding After Coders", which claims 20:1
    coding effort reduction. The cost of computing is significant, but it
    still may be worth it.

    Joe



    Cheers

    Phil Hobbs

    (Off to help sing the Hymn of Kassiani in the vigil matins for Holy >>Wednesday. That's magic.)

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Don Y@3:633/10 to All on Thursday, April 09, 2026 11:19:55
    On 4/9/2026 5:40 AM, brian wrote:

    Here is the classic "Hello World" in FORTRAN IV:
    Fortran

    C˙˙˙˙ THE 'C' IN COLUMN 1 INDICATES A COMMENT LINE 000001

    'C' has to be in column 6

    ˙˙˙˙˙ WRITE(6, 10) 000002
    ˙˙ 10 FORMAT(12H HELLO WORLD) 000003
    ˙˙˙˙˙ STOP 000004
    ˙˙˙˙˙ END 000005

    Adding sequence numbers is a "pro tip" if you've ever dropped a deck!
    (I've made no effort to count the character positions to ensure they
    are in columns [73,80])

    Not bad , but I'd have put "CALL EXIT" instead of "STOP"

    I think EXIT was an extension to the language (?)

    Bad Things? could happen back in the Iron Age˙ if you used STOP˙ - so I was told anyway.

    More interesting was stuff like:
    1 = 2
    And people think writing code *now* is hard...

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Don Y@3:633/10 to All on Thursday, April 09, 2026 13:19:20
    On 4/9/2026 12:11 PM, Niocl s P˘l Caile n de Ghloucester wrote:
    I like constraints and enforcements thereof! I am an Adaist who likes
    VHDL. I like strong typing.

    Constraints go beyond "strong typing". Data can be dynamic and still
    tightly constrained. E.g., an "A < B" constraint can't be enforced
    by strong typing -- the values of A and B can dynamically vary so
    you have to "run code" to ensure A is always less than B.

    If this is a true invariant, it applies to all operations on A (or B).

    So, if A=5 and B=8, attempting to set A to 9 can only happen
    after B has been increased to some value exceeding 9!

    A <- 5
    B <- 8
    A <- 9 constraint violated
    B <- 382

    while:

    A <- 5
    B <- 8
    B <- 382
    A <- 9 constraint NOT violated

    Strong typing would likely prevent:

    time_of_day now;
    now = 23:59:60 (!)

    Constraints could prevent the above if the associated "date" was
    not appropriate! In much the same way as ensuring a day-of-month
    is [1,31] without taking into account the actual month and/or year.

    I do not necessarily like on-the-fly
    constraint checking: an IDE which insists that Line X has a finished statement instead of letting me temporarily tweak Line Z before
    returning to and finishing Line X could annoy me. Conversely, I of
    course demand that I must finish Line X's statement by termination -
    i.e. a compiler which fails to provide a criticism that Line X is
    unfinished is not a compiler worth using. So I do demand enforcement!
    Constraints imposed on a developer occur in a relatively benign environment. The developer can adjust to meet the constraints.

    The bigger problem is when you are trying to constrain data (or actions) originating outside of a system. E.g., an (unpredictable) user.

    With hardware devices, if the user does something unexpected/stupid,
    the device is typically "allowed" to misbehave -- even spectacularly!
    Plug a 110V appliance into a 220V circuit and it's universally seen
    as a failure of the *user*, not the appliance designer.

    With software, the device is *expected* to catch user errors; there
    is no accommodating a design that can be borked by "bad input".

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Don Y@3:633/10 to All on Thursday, April 09, 2026 13:40:06
    On 4/9/2026 1:19 PM, Don Y wrote:
    On 4/9/2026 12:11 PM, Niocl s P˘l Caile n de Ghloucester wrote:
    I like constraints and enforcements thereof! I am an Adaist who likes
    VHDL. I like strong typing.

    Constraints go beyond "strong typing".˙ Data can be dynamic and still
    tightly constrained.˙ E.g., an "A < B" constraint can't be enforced
    by strong typing -- the values of A and B can dynamically vary so
    you have to "run code" to ensure A is always less than B.

    If this is a true invariant, it applies to all operations on A (or B).
    A good example of this is the definition of an "interval":
    a period of time between a START point and an END point.

    If (assuming just "times") the object is defined as
    (start, end), then, any change to start or end has
    to ensure the constraint is maintained for the composite
    object throughout the "change".

    This typically requires creating an atomic region bracketing
    the object's manipulation to ensure nothing else "sees"
    the object as it is transitioning -- and is in an inconsistent
    state.

    By contrast, if you define the object as (start, duration)
    you can use an unsigned for duration and, if you have
    atomic operators to alter start and duration data types,
    then you can alter the duration *or* the start (and, thus, end)
    with those operators without going to the trouble of
    "manually" creating an atomic operation as required would
    be required for the (start, end) implementation.

    I use an RDBMS to store all persistent data. This allows me
    to apply constraints on the data to prohibit "bad" data from
    being introduced. And, because of that, consumers are
    assured that the data retrieved meets those constraints.
    There is no need for them to "re-verify" the data received
    is intact.

    [Consider using regular files for data and having to *parse*
    those files to be sure their content is in the right format.
    Then, to have to apply sanity tests to those contents to
    further verify that the data "makes sense". All this because
    "regular files" don't prevent users from tinkering with their
    contents!!]

    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Ross Finlayson@3:633/10 to All on Thursday, April 09, 2026 19:36:18
    On 04/09/2026 01:40 PM, Don Y wrote:
    On 4/9/2026 1:19 PM, Don Y wrote:
    On 4/9/2026 12:11 PM, Niocl s P˘l Caile n de Ghloucester wrote:
    I like constraints and enforcements thereof! I am an Adaist who likes
    VHDL. I like strong typing.

    Constraints go beyond "strong typing". Data can be dynamic and still
    tightly constrained. E.g., an "A < B" constraint can't be enforced
    by strong typing -- the values of A and B can dynamically vary so
    you have to "run code" to ensure A is always less than B.

    If this is a true invariant, it applies to all operations on A (or B).
    A good example of this is the definition of an "interval":
    a period of time between a START point and an END point.

    If (assuming just "times") the object is defined as
    (start, end), then, any change to start or end has
    to ensure the constraint is maintained for the composite
    object throughout the "change".

    This typically requires creating an atomic region bracketing
    the object's manipulation to ensure nothing else "sees"
    the object as it is transitioning -- and is in an inconsistent
    state.

    By contrast, if you define the object as (start, duration)
    you can use an unsigned for duration and, if you have
    atomic operators to alter start and duration data types,
    then you can alter the duration *or* the start (and, thus, end)
    with those operators without going to the trouble of
    "manually" creating an atomic operation as required would
    be required for the (start, end) implementation.

    I use an RDBMS to store all persistent data. This allows me
    to apply constraints on the data to prohibit "bad" data from
    being introduced. And, because of that, consumers are
    assured that the data retrieved meets those constraints.
    There is no need for them to "re-verify" the data received
    is intact.

    [Consider using regular files for data and having to *parse*
    those files to be sure their content is in the right format.
    Then, to have to apply sanity tests to those contents to
    further verify that the data "makes sense". All this because
    "regular files" don't prevent users from tinkering with their
    contents!!]

    Eiffel much.

    Here what's perceived of interest is a "typing and templating
    assembler language", then with the idea that type theory makes
    guarantees for compilation, over the various processor architecures,
    those worked up apiece. Then constraints as pre/post conditions
    basically are for whatever way to make the cross-cutting concerns,
    the "aspects" usually the aspect-oriented programming.

    Then assembler can pretty simply surface C bindings, for things
    like various language bindings, "Application Binary Interface (ABI)".



    --- PyGate Linux v1.5.13
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)