
BICA Labs
@bicalabsBICA Labs performs cross-disciplinary research on new cognitive architectures inspired by biology
Resource Credits
Available
Used
Turing, Gödel and Chaos in Smart Contracts: why bugs are inevitable and why it is a much bigger problem for Ethereum than for any other computer
While developing Turing-complete smart contracts it is always hard to assure the absence of significant bugs and errors. Decades of software development in modern computer industry have shown that software