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 govern.
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.
It is argued that computational law can be used as a governance tool and that a desirable goal would be to formalize the law that can and ought to be programmatically executable.
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
This work presents three delegation episodes in which epistemic engagement proved practicable while remaining auditable, one public record where a recommendation was withdrawn on its own stated terms, and one failure case illustrating oversight that requires no reasons for its discretionary choices.
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
While artificial intelligence (AI) offers promise as a tool for efficiency and access to justice, in public administration it also threatens to reproduce the perversity in Franz Kafka’s parable “Before the Law”: systems that mimic legality while rendering the law opaque and unreachable. I develop the concept of “Digi...
J. Allen· Law and Governance· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
