Hacker News new | past | comments | ask | show | jobs | submit login

that's ideal. But what happens if there's a bug? Who decides such an interaction of the law is a bug?



A senate sub-committee should hear all filed bug reports and decide on rule modifications to fix bugs. Major amendments should be passed by both houses like its already the case today.

If one has a formal model for law, most bugs and conflicts can be found out via a formal verification engine itself. Like TLA+.


The Mythical Judge AI...

Recourse may not be processed

Terminate




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: