Oracle Outage at JPMorgan and Formal Proof of DB Validity | Hacker News Reader