The buzzword "web3" suggests the lax, security-poor programming habits of the web. When crypto or smart contracts are programmed like a web page they are doomed. Sustainably successful blockchains and their apps are based on far more secure, careful, and slow programming methods.
-
Are formally verifiable smart contracts (like, using functional programming languages) slow, careful programming? Or are all smart contract systems just to much attack surface to protect.
If it makes programmers take the time to actually, rigorously, thoroughly inspect and verify the code. The actual time smart eyeballs spend on the code is more important than the particular formalizations that hopefully motivate it.
-
-
You used two spaces after a period again, Satoshi
-
Many people use two spaces after a period. It was taught in schools.
-
Yeah, Satoshi’s school. /s. I was taught to type this way as well. :)
End of conversation
New conversation -
-
-
Asking a lot of web devs. Are you in support of the Frozen Realms API / attenuated DOM?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.