On 5/26/26 11:00 PM, Tim Daly wrote: > Even more amusing is that I have written several programs recently > using Claude Code. I haven't even looked at the generated source code. > Indeed one of the systems now just generates binary without code. > So clearly I have no idea what I'm talking about. History is harsh. :-) > > The goal these days is to communicate from machine to machine > not human to human. The task is to create "skills", essentially > sets of prompts that focus the LLMs attention and indicate goals > for agents. For example, > https://github.com/human-avatar/skills-for-humanity <https://github.com/ > human-avatar/skills-for-humanity> > What about machine to human?
Do you think LLMs can understand Axiom? Can it help people to complete the goal of document Axiom in literature programming style? So that humans can understand Axiom completely? - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/2ee4746e-e977-4145-a7d1-9eabc6df83e5%40gmail.com.
