News for hackers. Stuff that matters.
Re:Computational Law, Symbolic Discourse, and the AI Constit... by umanwizard on Wednesday October 12, 2016 @09:31PM (#12697733)
Luckily things are interpreted by human judges who can use discretion and interpret things in a sort of "do what I mean" way, so "bugginess" isn't as big of an issue as it is in coding.
Re:Computational Law, Symbolic Discourse, and the AI Constit... by posterboy on Thursday October 13, 2016 @05:56AM (#12699603)
This is as true as ever changing compiler extensions like undefined behaviour optimizations have proven a success for maintainable and portablility.
Re:Computational Law, Symbolic Discourse, and the AI Constit... by hprotagonist on Wednesday October 12, 2016 @10:57PM (#12698109)
this is the crux of the thing.
Re:Computational Law, Symbolic Discourse, and the AI Constit... by TeMPOraL on Thursday October 13, 2016 @09:47AM (#12700713)
Well, until we reach smarter-than-human AI, you ultimately have to base everything in society on trust. That's why I actually find the ideas around trustless systems to be potentially dangerous.

Discretion of a human judge is grease on the gears of law.