Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I had to read it a few times too, I'm still not entirely convinced that "being able to reason mathematically about independent distributed systems was a unique application of a ledger" actually parses into anything.

Is 'being able to reason' an 'application of a' ?

It looks... off



Their application of a ledger allows the reasoning




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

Search: