Misalignment of trust is a category of bug in my book; right next to logic error...

		thomastjeffery 37 days ago \| parent \| context \| favorite \| on: Lean proved this program correct; then I found a b... Misalignment of trust is a category of bug in my book; right next to logic error.