An exploratory analysis of nearly 6,000 real-world coding agent sessions is reported, finding that such records support analysis of turn authorship, degrees of human specification, and subsequent machine activity, but they cannot establish displaced choice or programmer awareness.
The MPL (the Moral Programming Language) is proposed, a notation whose rendered form is the primary representation of the moral behaviour a user intends, by which the LLM is demoted from moral agent to authoring assistant, and a plain-language projection of its proposals is delivered to the people the system would gove...
There appears to be two distinct camps gathering steam as AI coding agents get increasingly adept at generating software on the basis of some light natural language specifications: those who want to maximally remove the ‘error-prone’ sentient bags of mostly water at the keyboard and those who stubbornly assert their ow...
E. Glassman· Companion Proceedings of the...· 0 citations
An anecdotal account of AI agents, equipped with a CLI and a proof assistant, producing thousands of lines of machine-checked code, and the role of the human expert, whose contribution reduces to providing natural-language problem descriptions, reviewing auto-generated specifications, and occasionally supplying a key i...
Eleftherios Ioannidis, Nikhil Swamy, Gabriel Ebner et al.· Proc. ACM Program. Lang.· 1 citation
Kurt Wonnegut’s Player Piano is a cautionary tale about the social and ethical consequences of unchecked automation that raises pressing questions about what work means when machines can perform tasks more efficiently than humans, and how societies might cope with the loss of purpose and community that meaningful labor...
Eva Lindell, Marcus Persson, Kristina Palm· Nordic Journal of Working Li...· 0 citations
A two-dimensional design space is introduced in which both dimensions are organised into five operational levels, making the coupling explicit and navigable, and six architectural tactics for adjusting a deployment’s position within it are proposed, offering a shared vocabulary for compliance-aware agentic AI design.
D. Safin, Dian Baltaa, Timon Sengewaldb et al.· EGOV-CeDEM-ePart 2026· 0 citations
It is argued that while Generative AI is clever, it is not wise, and that a world governed by AI would be a world that had gained in cleverness, but had lost wisdom.
Michael Wilby· Human Affairs· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
