[FRIAM] genai and critical thinking

[Roger Critchlow]

On Tue, Feb 11, 2025 at 10:15 AM Marcus Daniels <marcus at snoutfarm.com>
wrote:

>  *[...]* the evolving code itself -- code that can have informative types
> and even carry proofs.   The weirdest thing about using AI is that it has
> no opinions.  Claude will rewrite code without asking (seemingly having no
> self-control), but it will not confront you like a frustrated colleague
> might.  It is happy to let you make a mess provided its sense of idiomatic
> code patterns are satisfied.
>

 This echoed something an old boss wrote me today:

I have much enjoyment torturing llms. I can get off the rails rather
> easily.  They have no state, by themselves they cannot calculate parity or
> play nim perfectly.


Or one might say, they have no purpose.

-- rec --
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20250211/17c3ef7d/attachment.html>