Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Show HN: /r/place backed by the Bitcoin blockchain. Parent comment
> Updates to the protocol can be required to carry formal proofs indicating that they respect agreed core principles agreed upon by the stakeholders.
Which doesn't really make sense; how do you write a formal proof that something align with someone's core principles?
There are no comments on this comment yet.
> Updates to the protocol can be required to carry formal proofs indicating that they respect agreed core principles agreed upon by the stakeholders.
Which doesn't really make sense; how do you write a formal proof that something align with someone's core principles?