3 ms·
It really is a whole new class of software I think - trustless software that is also "open source" and holds billions of dollars of value is the sort of thing w
by idiotsecant 5y ago
It really is a whole new class of software I think - trustless software that is also "open source" and holds billions of dollars of value is the sort of thing where formal proofiness starts to look reasonable.